module Control.Functor.Lambek
(
lambek
, hlambek
, colambek
, hcolambek
) where
import Control.Functor.Algebra
import Control.Functor.Fix
import Control.Functor.HigherOrder
import Control.Morphism.Cata
import Control.Morphism.Ana
lambek :: Functor f => Algebra f (FixF f) -> Coalgebra f (FixF f)
lambek inF = cata (fmap inF)
hlambek :: HFunctor f => HAlgebra f (FixH f) -> HCoalgebra f (FixH f)
hlambek inH = hcata (hfmap inH)
colambek :: Functor f => Coalgebra f (FixF f) -> Algebra f (FixF f)
colambek out = ana (fmap out)
hcolambek :: HFunctor f => HCoalgebra f (FixH f) -> HAlgebra f (FixH f)
hcolambek out = hana (hfmap out)