|category-extras-0.53.6: Various modules and constructs inspired by category theory||Contents||Index|
|Portability||non-portable (rank-2 polymorphism)|
|Maintainer||Edward Kmett <firstname.lastname@example.org>|
|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|