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 - Sourcecomonad-5.
0. 10 on Hackage
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.22.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.1.2with GHC