comonad

• 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

• base-4.20.2.0with GHC
• containers-0.7with GHC
• distributive-0.6.2.1in this set
• indexed-traversable-0.1.4in this set
• tagged-0.8.9in this set
• transformers-0.6.1.1with GHC
• transformers-compat-0.7.2in this set

Used by in this set · 16

• adjunctions-4.4.3
• bifunctors-5.6.2
• foldl-1.4.18
• free-5.2
• invariant-0.6.4
• kan-extensions-5.2.7
• keys-3.12.3
• lens-5.3.5
• pointed-5.0.4
• profunctors-5.6.3
• rebase-1.21.2
• recursion-schemes-5.2.3
• semigroupoids-6.0.1
• trifecta-2.1.4
• vector-instances-3.4.2
• vector-sized-1.6.1