category-extras-0.44.4: Various modules and constructs inspired by category theory
Control.Functor.Algebra
Description
type Alg f a = f a -> aSource
type CoAlg f a = a -> f aSource
type AlgW f w a = f (w a) -> aSource
type CoAlgM f m a = a -> f (m a)Source
liftAlg :: (Functor f, Comonad w) => Alg f a -> AlgW f w aSource
liftCoAlg :: (Functor f, Monad m) => CoAlg f a -> CoAlgM f m aSource