category-extras-0.44.1: 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