id -package:llvm-hs-pure -package:classy-prelude -package:med-module -package:graphql

Identity function.

id x = x

the identity morphism

Combinator for the id attribute. Example:

div ! id "bar" $ "Hello."

Result:

<div id="bar">Hello.</div>

the identity morphism

the identity morphism

Identity function.

id x = x

Identity bijection.

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