Control.Morphism.Meta

Generalized metamorphisms

Documentation

meta :: (Functor f, Functor g) => CoAlg f b -> (a -> b) -> Alg g a -> Fix g -> Fix f

g_meta :: (Monad m, Functor f, Comonad w, Functor g) => Dist m f -> Dist g w -> CoAlgM f m b -> (a -> b) -> AlgW g w a -> Fix g -> Fix f