Package5.0.10ControlComonads
comonad
Comonads
- Version5.0.10
- CategoryControl, Comonads
- LicenceBSD-3-Clause
- AuthorEdward A. Kmett
- MaintainerEdward A. Kmett <ekmett@gmail.com>
- Homepagegithub.com/ekmett/comonad
- Pinned byhackage comonad 5.0.10
- Sourcehackage.haskell.org/package/comonad-5.0.10
Modules
- Control.Comonad
- Control.Comonad.EnvThe Env comonad (aka the Coreader, Environment, or Product comonad) A co-Kleisli arrow in the Env comonad is isomorphic to a Kleisli arrow
- Control.Comonad.Env.Class
- Control.Comonad.Hoist.Class
- Control.Comonad.Identity
- Control.Comonad.Store
- Control.Comonad.Store.Class
- Control.Comonad.Traced
- Control.Comonad.Traced.Class
- Control.Comonad.Trans.Class
- Control.Comonad.Trans.EnvThe environment comonad holds a value along with some retrievable context. This module specifies the environment comonad transformer (aka…
- Control.Comonad.Trans.Identity
- Control.Comonad.Trans.StoreThe store comonad holds a constant value along with a modifiable accessor
- Control.Comonad.Trans.TracedThe trace comonad builds up a result by prepending monoidal values to each
- Data.Functor.Composition
Description
Comonads.
Depends on
6 packages- base-4.23.0.0with GHC
- containers-0.8with GHC
- distributive-0.6.3in this set
- indexed-traversable-0.1.5in this set
- tagged-0.8.11in this set
- transformers-0.6.3.0with GHC