|
Control.Morphism.Hylo | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
Generalized hylomorphisms
|
|
Synopsis |
|
|
|
Documentation |
|
|
hylo :: (g b -> b) -> (forall c. f c -> g c) -> (a -> f b) -> a -> b
|
|
|
g_hylo :: (Comonad w, Functor f, Monad m) => (forall d. g (w d) -> w (g d)) -> (forall e. m (f e) -> f (m e)) -> (g (w b) -> b) -> (forall c. f c -> g c) -> a -> f (m a) -> a -> b
|
|
|
|
|
|
|
higher order hylomorphisms for use in building up and tearing down higher order functors
|
|
Produced by Haddock version 2.4.2 |