id -package:invertible package:rec-def

The identity function. This is useful when tying the knot, to avoid a loop that bottoms out:

let x = x in RB.get x

will not work, but

>>> let x = RB.id x in RB.get x
False

does.

RB.get (RB.id r) === RB.get r

The identity function. This is useful when tying the knot, to avoid a loop that bottoms out:

let x = x in RDB.get x

will not work, but

>>> let x = RDB.id x in RDB.get x
True

does. | prop> RDB.get (RDB.id r) === RDB.get r

The identity function. This is useful when tying the knot, to avoid a loop that bottoms out:

let x = x in RS.get x

will not work, but

>>> let x = RS.id x in RS.get x
fromList []

does. | prop> RS.get (RS.id s) === RS.get s