category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Morphism.Cata
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
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 :: QFunctor f Hask Hask => Algebra (f b) a -> Fix f b -> aSource
g_bicata :: (QFunctor f 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
Produced by Haddock version 2.4.2