Tuple

Imports

open Array;

Table of Contents

Types

(type)

type Tuple

Creates a new tuple from two values.

def new (x: a) (y: b) : Tuple

Returns the first element of the tuple.

def fst (t: Tuple) : a

Returns the second element of the tuple.

def snd (t: Tuple) : b

Swaps the elements of the tuple.

def swap (t: Tuple) : Tuple

Maps a function over the first element of the tuple.

def map_fst (f: (a : t) -> c) (t: Tuple) : Tuple

Maps a function over the second element of the tuple.

def map_snd (f: (b : t) -> c) (t: Tuple) : Tuple

Converts a tuple to a list.

def to_list (t: Tuple) : Array a

Checks if two tuples are equal.

def eq (t1: Tuple) (t2: Tuple) : Bool

Returns the length of the tuple.

def length (t: Tuple) : Int