category-extras-0.53.3: Various modules and constructs inspired by category theory

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Functor.Lambek

Contents

Description

 

Synopsis

Lambek's Lemma

lambek :: Functor f => Algebra f (FixF f) -> Coalgebra f (FixF f)Source

hlambek :: HFunctor f => HAlgebra f (FixH f) -> HCoalgebra f (FixH f)Source

colambek :: Functor f => Coalgebra f (FixF f) -> Algebra f (FixF f)Source

hcolambek :: HFunctor f => HCoalgebra f (FixH f) -> HAlgebra f (FixH f)Source