Documentation

First element of a tuple.

fst : (a,b) -> a

Second element of a tuple.

snd : (a,b) -> a

Convert an uncurried function to a curried one.

curry : ((a, b) -> c) -> a -> b -> c

Convert a curried function to an uncurried one.

uncurry : (a -> b -> c) -> (a, b) -> c

Swap the elements of a tuple.

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

Equality of pairs of boxed integers.