category-extras-0.53.0: Various modules and constructs inspired by category theory
Control.Functor.Lambek
Contents
Description
Synopsis
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