Control.Morphism.Postpro

See Maarten Fokkinga''s PhD Dissertation for postpro. g_postpro is an obvious generalization.

Documentation

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

g_postpro :: (Functor f, Monad m) => Dist m f -> GCoalgebra f m a -> (f :~> f) -> a -> FixF f

Generalized postpromorphisms