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

Control.Morphism.Build

Description

Synopsis

Documentation

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

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 fSource

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