comonad

Comonads

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