identity2: The Identity Arrow

Description Usage Arguments Value Author(s)

Description

The identity arrow for the Continuation category for which holds: f %.% identity2 = f = identity2 %.% f

Usage

1
identity2(x, ret)

Arguments

x

The value on which the function operates

ret

The following computation

Value

This function always returns the original arrow.

Author(s)

Matteo Provenzano
http://www.alephdue.com


kriens documentation built on May 1, 2019, 10:50 p.m.

Related to identity2 in kriens...