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

Portabilitynon-portable (rank-2 polymorphism)
MaintainerEdward Kmett <>



A very basic Jeremy Gibbons metamorphism, without all the productive stream stuff. See: TODO: Add some support for spigot algorithms over streams/lists.


meta :: (Functor f, Functor g) => Coalgebra f b -> (a -> b) -> Algebra g a -> FixF g -> FixF fSource

g_meta :: (Monad m, Functor f, Comonad w, Functor g) => Dist m f -> Dist g w -> GCoalgebra f m b -> (a -> b) -> GAlgebra g w a -> FixF g -> FixF fSource