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

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



Description 



Documentation 

cata :: Functor f => Algebra f a > FixF f > a 

g_cata :: (Functor f, Comonad w) => Dist f w > GAlgebra f w a > FixF f > a 

distCata :: Functor f => Dist f Identity 

bicata :: QFunctor f Hask Hask => Algebra (f b) a > Fix f b > a 

g_bicata :: (QFunctor f Hask Hask, Comonad w) => Dist (f b) w > GAlgebra (f b) w a > Fix f b > a 

hcata :: HFunctor f => HAlgebra f a > FixH f :~> a 

kcata :: HFunctor f => InterpreterT f g h > FixH f :~> Ran g h 

runkcata :: HFunctor f => InterpreterT f g h > FixH f a > (a > g b) > h b 

Produced by Haddock version 2.1.0 