| Portability | non-portable (functional-dependencies) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Comonad.Composition
Description
composing a comonad with a copointed endofunctor yields a comonad given a distributive law
category-extras-0.44.1: Various modules and constructs inspired by category theory.
| Portability | non-portable (functional-dependencies) |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
Control.Comonad.Composition
Description
composing a comonad with a copointed endofunctor yields a comonad given a distributive law