|
Control.Morphism.Build | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
Synopsis |
|
|
|
Documentation |
|
|
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.
|
|
|
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.4.2 |