std/core/tuple▲toc

Standard tuple functions.

.

fun tuple2/(==)( (a, b), (a, b), ?fst/(==) : (a, a) -> e boolstd/core/types/bool: V, ?snd/(==) : (b, b) -> e boolstd/core/types/bool: V ) : e boolstd/core/types/bool: V

Element-wise tuple equality.

fun tuple2/cmp( (a, b), (a, b), ?fst/cmp : (a, a) -> e orderstd/core/types/order: V, ?snd/cmp : (b, b) -> e orderstd/core/types/order: V ) : e orderstd/core/types/order: V

Order on tuples.

fun tuple2/map( t : (a, a), f : (a) -> e b ) : e (b, b)

Map a function over a tuple of elements of the same type.

fun tuple2/show( x : (a, b), ?fst/show : (a) -> e stringstd/core/types/string: V, ?snd/show : (b) -> e stringstd/core/types/string: V ) : e stringstd/core/types/string: V

Show a tuple.

fun tuple3/(==)( (a, b, c), (a, b, c), ?fst/(==) : (a, a) -> e boolstd/core/types/bool: V, ?snd/(==) : (b, b) -> e boolstd/core/types/bool: V, ?thd/(==) : (c, c) -> e boolstd/core/types/bool: V ) : e boolstd/core/types/bool: V

Element-wise triple equality.

fun tuple3/cmp( (a, b, c), (a, b, c), ^?fst/cmp : (a, a) -> e orderstd/core/types/order: V, ^?snd/cmp : (b, b) -> e orderstd/core/types/order: V, ^?thd/cmp : (c, c) -> e orderstd/core/types/order: V ) : e orderstd/core/types/order: V

Order on triples.

fun tuple3/map( t : (a, a, a), f : (a) -> e b ) : e (b, b, b)

Map a function over a triple of elements of the same type.

fun tuple3/show( x : (a, b, c), ?fst/show : (a) -> e stringstd/core/types/string: V, ?snd/show : (b) -> e stringstd/core/types/string: V, ?thd/show : (c) -> e stringstd/core/types/string: V ) : e stringstd/core/types/string: V

Show a triple.

fun tuple4/(==)( (a, b, c, d), (a, b, c, d), ?fst/(==) : (a, a) -> e boolstd/core/types/bool: V, ?snd/(==) : (b, b) -> e boolstd/core/types/bool: V, ?thd/(==) : (c, c) -> e boolstd/core/types/bool: V, ?field4/(==) : (d, d) -> e boolstd/core/types/bool: V ) : e boolstd/core/types/bool: V

Element-wise quadruple equality.

fun tuple4/cmp( (a, b, c, d), (a, b, c, d), ^?fst/cmp : (a, a) -> e orderstd/core/types/order: V, ^?snd/cmp : (b, b) -> e orderstd/core/types/order: V, ^?thd/cmp : (c, c) -> e orderstd/core/types/order: V, ^?field4/cmp : (d, d) -> e orderstd/core/types/order: V ) : e orderstd/core/types/order: V

Order on quadruples.

fun tuple4/map( t : (a, a, a, a), f : (a) -> e b ) : e (b, b, b, b)

Map a function over a quadruple of elements of the same type.

fun tuple4/show( x : (a, b, c, d), ?fst/show : (a) -> e stringstd/core/types/string: V, ?snd/show : (b) -> e stringstd/core/types/string: V, ?thd/show : (c) -> e stringstd/core/types/string: V, ?field4/show : (d) -> e stringstd/core/types/string: V ) : e stringstd/core/types/string: V

Show a quadruple.

fun tuple5/(==)( (a, b, c, d, a1), (a, b, c, d, a1), ?fst/(==) : (a, a) -> e boolstd/core/types/bool: V, ?snd/(==) : (b, b) -> e boolstd/core/types/bool: V, ?thd/(==) : (c, c) -> e boolstd/core/types/bool: V, ?field4/(==) : (d, d) -> e boolstd/core/types/bool: V, ?field5/(==) : (a1, a1) -> e boolstd/core/types/bool: V ) : e boolstd/core/types/bool: V

Element-wise quintuple equality.

fun tuple5/cmp( (a, b, c, d, a1), (a, b, c, d, a1), ^?fst/cmp : (a, a) -> e orderstd/core/types/order: V, ^?snd/cmp : (b, b) -> e orderstd/core/types/order: V, ^?thd/cmp : (c, c) -> e orderstd/core/types/order: V, ^?field4/cmp : (d, d) -> e orderstd/core/types/order: V, ^?field5/cmp : (a1, a1) -> e orderstd/core/types/order: V ) : e orderstd/core/types/order: V

Order on quintuples.

fun tuple5/map( t : (a, a, a, a, a), f : (a) -> e b ) : e (b, b, b, b, b)

Map a function over a quintuple of elements of the same type.

fun tuple5/show( x : (a, b, c, d, a1), ?fst/show : (a) -> e stringstd/core/types/string: V, ?snd/show : (b) -> e stringstd/core/types/string: V, ?thd/show : (c) -> e stringstd/core/types/string: V, ?field4/show : (d) -> e stringstd/core/types/string: V, ?field5/show : (a1) -> e stringstd/core/types/string: V ) : e stringstd/core/types/string: V

Show a quintuple.

fun unit/(==)( a : (), b : () ) : boolstd/core/types/bool: V

Compare unit values. Useful to build composite equality for structures containing a unit (e.g. either).

fun unit/cmp( a : (), b : () ) : orderstd/core/types/order: V

Order on unit.

fun unit/order2( a : (), b : () ) : order2std/core/types/order2: V -> V<()>

Fip ordering of unit values.

fun unit/show( u : () ) : stringstd/core/types/string: V

Convert a unit value () to a string.

fun show-tuple( x : (a, b), showfst : (a) -> e stringstd/core/types/string: V, showsnd : (b) -> e stringstd/core/types/string: V ) : e stringstd/core/types/string: V

deprecated, use tuple2/showstd/core/tuple/tuple2/show: forall<a,b,e> (x : (a, b), @implicit/fst/show : (a) -> e string, @implicit/snd/show : (b) -> e string) -> e string instead.

private import std/core/typesstd/core/types, std/core/hndstd/core/hnd