id -package:brittany -package:base -package:dimensional -package:patrol

Identity function.

id x = x

Combinator for the id attribute. Example:

div ! id "bar" $ "Hello."

Result:

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

Identity function.

id x = x

This function might seem useless at first glance, but it can be very useful in a higher order context.

Examples

>>> length $ filter id [True, True, False, True]
3

>>> Just (Just 3) >>= id
Just 3

>>> foldr id 0 [(^3), (*5), (+2)]
1000

the identity morphism

the identity morphism

Identity function.

id x = x

The ID scalar type represents a unique identifier, often used to refetch an object or as key for a cache. The ID type appears in a JSON response as a String; however, it is not intended to be human-readable. When expected as an input type, any string (such as "4") or integer (such as 4) input value will be accepted as an ID.

Identity bijection.

the identity morphism