|
Control.Comonad.Density | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
The density comonad for a functor. aka the comonad cogenerated by a functor
The ''density'' term dates back to Dubuc''s 1974 thesis. The term
''monad genererated by a functor'' dates back to 1972 in Street''s
''Formal Theory of Monads''.
|
|
Synopsis |
|
|
|
Documentation |
|
|
Constructors | forall b . Density (k b -> a) (k b) | |
| Instances | |
|
|
|
|
|
|
|
Nat(k, s.k) is isomorphic to Nat (Density k, s) (forwards)
|
|
|
Nat(k, s.k) is isomorphic to Nat (Density k, s) (backwards)
|
|
|
The natural isomorphism between a comonad w and the comonad generated by w (forwards).
|
|
|
The natural isomorphism between a comonad w and the comonad generated by w (backwards).
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |