 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Morphism.Postpro  Portability  nonportable (rank2 polymorphism)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



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


Synopsis 



Documentation 

postpro :: Functor f => Coalgebra 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


bipostpro :: Bifunctor f Hask Hask Hask => Coalgebra (f a) c > (f a :~> f a) > c > Fix f a 

g_bipostpro :: (Bifunctor f Hask Hask Hask, Monad m) => Dist m (f a) > GCoalgebra (f a) m c > (f a :~> f a) > c > Fix f a 

Produced by Haddock version 2.1.0 