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
15 modules- Control.Comonad17
- Control.Comonad.Env8The 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.Class2
- Control.Comonad.Hoist.Class1
- Control.Comonad.Identity1
- Control.Comonad.Store6
- Control.Comonad.Store.Class3
- Control.Comonad.Traced18
- Control.Comonad.Traced.Class2
- Control.Comonad.Trans.Class1
- Control.Comonad.Trans.Env9The environment comonad holds a value along with some retrievable context. This module specifies the environment comonad transformer (aka…
- Control.Comonad.Trans.Identity1
- Control.Comonad.Trans.Store11The store comonad holds a constant value along with a modifiable accessor
- Control.Comonad.Trans.Traced8The trace comonad builds up a result by prepending monoidal values to each
- Data.Functor.Composition1
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