Comonad
libretto.Comonad
Witnesses that F
is a comonad in the category ->
.
Attributes
- Graph
-
- Supertypes
Members list
Value members
Inherited methods
Composition with a contravariant functor. Results in a contravariant functor.
Composition with a contravariant functor. Results in a contravariant functor.
Attributes
- Inherited from:
- Functor
In this article