category-extras-0.50.3: Various modules and constructs inspired by category theoryContentsIndex
Control.Morphism.Cata
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward 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 :: Bifunctor f Hask Hask Hask => Algebra (f b) a -> Fix f b -> a
g_bicata :: (Bifunctor f Hask 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
Produced by Haddock version 2.1.0