 | category-extras-0.53.6: Various modules and constructs inspired by category theory | Contents | Index |
| Control.Morphism.Cata |
|
| ||||||||
| ||||||||
| 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 :: QFunctor f Hask Hask => Algebra (f b) a -> Fix f b -> a | ||||||||
| g_bicata :: (QFunctor f 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 | ||||||||
| kcata :: HFunctor f => InterpreterT f g h -> FixH f :~> Ran g h | ||||||||
| runkcata :: HFunctor f => InterpreterT f g h -> FixH f a -> (a -> g b) -> h b | ||||||||
| Produced by Haddock version 2.1.0 |