Description Usage Arguments Value Note Author(s) References See Also Examples
Creates the monoid binary operator for a monoid in the Continuation category.
1 | monoid(op)
|
op |
The binary operator to be be insert in the monoid (multiplication). |
It returns a function of the type h(f, g)
where f
and 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 f
and 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.
Matteo Provenzano
http://www.alephdue.com
https://en.wikipedia.org/wiki/Monoid_(category_theory)
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.