Package4.4.3Data StructuresAdjunctions
adjunctions
Adjunctions and representable functors
- Version4.4.3
- CategoryData Structures, Adjunctions
- LicenceBSD-2-Clause
- AuthorEdward A. Kmett
- MaintainerEdward A. Kmett <ekmett@gmail.com>
- Homepagegithub.com/ekmett/adjunctions
- Pinned byhackage adjunctions 4.4.3
- Sourcehackage.haskell.org/package/adjunctions-4.4.3
Modules
11 modules- Control.Comonad.Representable.Store7This is a generalized Store Comonad, parameterized by a Representable Functor.
- Control.Comonad.Trans.Adjoint4
- Control.Monad.Representable.Reader6Representable functors on Hask are all monads, because they are isomorphic to
- Control.Monad.Representable.State14A generalized State monad, parameterized by a Representable functor.
- Control.Monad.Trans.Adjoint4
- Control.Monad.Trans.Contravariant.Adjoint4Uses a contravariant adjunction: f -| g : Hask^op -> Hask to build a Comonad to Monad transformer. Sadly, the dual construction,
- Control.Monad.Trans.Conts8Cont r ~ Contravariant.Adjoint (Op r) (Op r)
- Data.Functor.Adjunction15
- Data.Functor.Contravariant.Adjunction4
- Data.Functor.Contravariant.Rep3Representable contravariant endofunctors over the category of Haskell
- Data.Functor.Rep31Representable endofunctors over the category of Haskell types are
Description
Adjunctions and representable functors.
Depends on
15 packages- array-0.5.8.0with GHC
- base-4.20.2.0with GHC
- comonad-5.0.9in this set
- containers-0.7with GHC
- contravariant-1.5.5in this set
- distributive-0.6.2.1in this set
- free-5.2in this set
- mtl-2.3.1with GHC
- profunctors-5.6.3in this set
- semigroupoids-6.0.1in this set
- semigroups-0.20in this set
- tagged-0.8.9in this set
- transformers-0.6.1.1with GHC
- transformers-compat-0.7.2in this set
- void-0.7.3in this set