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 |

Embedding an R snippet on your website

Add the following code to your website.

For more information on customizing the embed code, read Embedding Snippets.