DA.Tuple

Documentation Index

Fetch the complete documentation index at: https://docs.canton.network/llms.txt Use this file to discover all available pages before exploring further.

DA.Tuple

Reference documentation for Daml module DA.Tuple.

DA.Tuple

Tuple - Ubiquitous functions of tuples.

Module Snapshot

Stable. 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.

Mirrored from Canton Network official documentation (CC-BY-4.0) by CC Privacy Club for learning purposes.