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

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

Description

Synopsis

hbuild :: (HFunctor f, Functor c) => (forall x. HAlgebra f x -> c :~> x) -> c :~> FixH f kbuild :: HFunctor f => (forall x. HAlgebra f x -> Lan g h :~> x) -> Lan g h :~> FixH f

Documentation

hbuild :: (HFunctor f, Functor c) => (forall x. HAlgebra f x -> c :~> x) -> c :~> FixH f

forall h g. hcata h . hbuild g = g h cannot be realized as a RULE because h and g are not monotypes. Kan extended build, gbuild in Ghani/Johann parlance, but g_foo currently denotes generalized in the 'has a parameterizing (co)monad' sense.

kbuild :: HFunctor f => (forall x. HAlgebra f x -> Lan g h :~> x) -> Lan g h :~> FixH f

forall h g. kcata h . kbuild g = g (interpreterAlgebra h) cannot be realized as a RULE because h and g are not monotypes.

Produced by Haddock version 2.1.0