category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

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

Contents Lambek's Lemma

Description

Synopsis

lambek :: Functor f => Algebra f (FixF f) -> Coalgebra f (FixF f) hlambek :: HFunctor f => HAlgebra f (FixH f) -> HCoalgebra f (FixH f) colambek :: Functor f => Coalgebra f (FixF f) -> Algebra f (FixF f) hcolambek :: HFunctor f => HCoalgebra f (FixH f) -> HAlgebra f (FixH f)

Lambek's Lemma

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

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

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

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

Produced by Haddock version 2.1.0