|
Control.Morphism.Prepro | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
See Maarten Fokkinga''s PhD Dissertation for cascade and prepro.
g_prepro is an obvious generalization. The prepro variants of other
morphisms are distributed through the corresponding files.
|
|
Synopsis |
|
|
|
Documentation |
|
|
Fokkinga's Prepromorphism
|
|
|
Generalized prepromorphisms, parameterized by a comonad
This is used to generate most of the specialized prepromorphisms in other modules.
You can use the distributive law combinators to build up analogues of other recursion
schemes.
|
|
|
cascade f . map f = map f . cascade f cascade f = biprepro InB (first f) cascade f = x where x = InB . bimap id (x . fmap f) . outB cascade f = x where x = InB . bimap id (fmap f . x) . outB |
|
|
Prepromorphisms for bifunctors
|
|
|
Generalized bifunctor prepromorphism, parameterized by a comonad
|
|
Produced by Haddock version 2.4.2 |