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

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Morphism.Cata

Description

 

Documentation

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