category-extras-0.44.1: Various modules and constructs inspired by category theory. Source code Contents Index

Control.Morphism.Meta Portability non-portable (rank-2 polymorphism) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Generalized metamorphisms

Documentation

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

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 Source

Produced by Haddock version 2.1.0