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