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

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



Description 
Generalized hylomorphisms


Synopsis 



Documentation 

hylo :: Functor f => Algebra g b > (f :~> g) > Coalgebra f a > a > b 
hylo :: (g b > b) > (forall c. f c > g c) > (a > f b) > a > b


g_hylo :: (Comonad w, Functor f, Monad m) => Dist g w > Dist m f > GAlgebra g w b > (f :~> g) > GCoalgebra f m a > 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


bihylo :: QFunctor f Hask Hask => Algebra (g d) b > (f c :~> g d) > Coalgebra (f c) a > a > b 

g_bihylo :: (Comonad w, QFunctor f Hask Hask, Monad m) => Dist (g d) w > Dist m (f c) > GAlgebra (g d) w b > (f c :~> g d) > GCoalgebra (f c) m a > a > b 

hhylo :: HFunctor f => HAlgebra f b > HCoalgebra f a > a :~> b 
higher order hylomorphisms for use in building up and tearing down higher order functors


Produced by Haddock version 2.1.0 