category-extras-0.53.5: Various modules and constructs inspired by category theory
Source code
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)
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
Produced by
Haddock
version 2.4.2