category-extras-0.52.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