FR
PréludeChargé par défaut — aucun import nécessaire.

Pair operations

Synopsis
fst : (a, b) -> a

Extract the first element of a pair.

snd : (a, b) -> b

Extract the second element of a pair.

swap : (a, b) -> (b, a)

Swap the elements of a pair.