std/core/tuple▲toc

Standard tuple functions.

.

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

Element-wise tuple equality.

fun tuple2/cmp( (a, b), (a, b), ?fst/cmp : (a, a) -> orderstd/core/types/order: V, ?snd/cmp : (b, b) -> orderstd/core/types/order: V ) : 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) -> boolstd/core/types/bool: V, ?snd/(==) : (b, b) -> boolstd/core/types/bool: V, ?thd/(==) : (c, c) -> boolstd/core/types/bool: V ) : boolstd/core/types/bool: V

Element-wise triple equality.

fun tuple3/cmp( (a, b, c), (a, b, c), ^?fst/cmp : (a, a) -> orderstd/core/types/order: V, ^?snd/cmp : (b, b) -> orderstd/core/types/order: V, ^?thd/cmp : (c, c) -> orderstd/core/types/order: V ) : 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/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 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