Creates the monoid binary operator for a monoid in the Continuation category.
The binary operator to be be insert in the monoid (multiplication).
It returns a function of the type
h(f, g) where
g must be elements of the monoid and objects in the Continuation category. The function
h will return a function of the type
t(x, ret) which can be used in the Continuation category.
The developer must make sure that the function
g are elements of a monoid and of the Continuation category. The developer must also ensure that the operator
op is the monoid's binary operator.
1 2 3 4 5 6 7 8 9 10 11 12 13
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.