Description Usage Arguments Value Author(s)
The identity arrow for the Continuation category for which holds: f %.% identity2 = f = identity2 %.% f
1 | identity2(x, ret)
|
x |
The value on which the function operates |
ret |
The following computation |
This function always returns the original arrow.
Matteo Provenzano
http://www.alephdue.com
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.