Skip to main content

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

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.