category-extras-0.44.1: Various modules and constructs inspired by category theory.Source codeContentsIndex
Control.Comonad.Composition
Portabilitynon-portable (functional-dependencies)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
composing a comonad with a copointed endofunctor yields a comonad given a distributive law
Produced by Haddock version 2.1.0