| ||||||||
| ||||||||
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 |