kriens (version 0.1)

identity2: The Identity Arrow

Description

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

Usage

identity2(x, ret)

Arguments

x

The value on which the function operates

ret

The following computation

Value

This function always returns the original arrow.