category-extras-0.44.1: Various modules and constructs inspired by category theory.

Control.Morphism.Cata

Description

cata :: Functor f => Alg f a -> Fix f -> aSource

g_cata :: (Functor f, Comonad w) => Dist f w -> AlgW f w a -> Fix f -> aSource

distCata :: Functor f => Dist f IdentitySource

bicata :: Bifunctor f => Alg (f b) a -> FixB f b -> aSource

g_bicata :: (Bifunctor f, Comonad w) => Dist (f b) w -> AlgW (f b) w a -> FixB f b -> aSource

hcata :: HFunctor f => AlgH f a -> Natural (FixH f) aSource