Control.Morphism.Prepro

See Maarten Fokkinga''s PhD Dissertation for cascade and prepro. g_prepro is an obvious generalization.

Documentation

prepro :: Functor f => (f c -> c) -> (f :~> f) -> FixF f -> c

g_prepro :: (Functor f, Comonad w) => Dist f w -> GAlgebra f w a -> (f :~> f) -> FixF f -> a

Generalized prepromorphisms

cascade :: Bifunctor s Hask Hask Hask => (a -> a) -> Fix s a -> Fix s a

cascade f . map f = map f . cascade f