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
Used by in this set · 19
- adjunctions-4.4.4
- bifunctors-5.6.3
- foldl-1.4.18
- free-5.2
- hedgehog-classes-0.2.5.4
- hnix-0.17.0
- invariant-0.6.5
- kan-extensions-5.2.8
- keys-3.12.5
- lens-5.3.6
- nonempty-containers-0.3.6.0
- pointed-5.0.5
- profunctors-5.6.3
- rebase-1.23
- recursion-schemes-5.2.3
- semigroupoids-6.0.2
- trifecta-2.1.4
- vector-instances-3.4.3
- vector-sized-1.6.1