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

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

Description

Documentation

type Alg f a = f a -> a Source

type CoAlg f a = a -> f a Source

type AlgW f w a = f (w a) -> a Source

type CoAlgM f m a = a -> f (m a) Source

liftAlg :: (Functor f, Comonad w) => Alg f a -> AlgW f w a Source

liftCoAlg :: (Functor f, Monad m) => CoAlg f a -> CoAlgM f m a Source

Produced by Haddock version 2.1.0