DA.Tuple

Reference documentation for Daml module DA.Tuple.

DA.Tuple

Tuple - Ubiquitous functions of tuples.

Module Snapshot

Lifecycle

Stable.

Notices

Status: active Introduced in: 3.4.9 Removed in: - Warnings: 0 Deprecations: 0 Deprecated since: -

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.