​

DA.Tuple

Tuple - Ubiquitous functions of tuples.

​

Module Snapshot

​

Functions

​

first

first : (a -> a') -> (a, b) -> (a', b) The pair obtained from a pair by application of a programmer supplied function to the argument pair’s first field.

​

second

second : (b -> b') -> (a, b) -> (a, b') The pair obtained from a pair by application of a programmer supplied function to the argument pair’s second field.

​

both

both : (a -> b) -> (a, a) -> (b, b) The pair obtained from a pair by application of a programmer supplied function to both the argument pair’s first and second fields.

​

swap

swap : (a, b) -> (b, a) The pair obtained from a pair by permuting the order of the argument pair’s first and second fields.

​

dupe

dupe : a -> (a, a) Duplicate a single value into a pair.

dupe 12 == (12, 12)

​

fst3

fst3 : (a, b, c) -> a Extract the ‘fst’ of a triple.

​

snd3

snd3 : (a, b, c) -> b Extract the ‘snd’ of a triple.

​

thd3

thd3 : (a, b, c) -> c Extract the final element of a triple.

​

curry3

curry3 : ((a, b, c) -> d) -> a -> b -> c -> d Converts an uncurried function to a curried function.

​

uncurry3

uncurry3 : (a -> b -> c -> d) -> (a, b, c) -> d Converts a curried function to a function on a triple.