category-extras-0.52.0: Various modules and constructs inspired by category theory

Control.Morphism.Cata

Description

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

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

distCata :: Functor f => Dist f IdentitySource

bicata :: Bifunctor f Hask Hask Hask => Algebra (f b) a -> Fix f b -> aSource

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

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

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

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