 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Morphism.Build  Portability  nonportable (rank2 polymorphism)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



Description 


Synopsis 



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 