Members list
Value members
Concrete methods
Return a new tuple by prepending the element to this tuple.
This operation is O(this.size)
Return a new tuple by prepending the element to this tuple.
This operation is O(this.size)
Attributes
Return a new tuple by concatenating this tuple with that tuple.
This operation is O(this.size + that.size)
Return a new tuple by concatenating this tuple with that tuple.
This operation is O(this.size + that.size)
Attributes
Return a copy of this tuple with an element appended
Return a copy of this tuple with an element appended
Attributes
Given a tuple (a1, ..., am), returns the tuple (an+1, ..., am) consisting
all its elements except the first n ones.
Given a tuple (a1, ..., am), returns the tuple (an+1, ..., am) consisting
all its elements except the first n ones.
Attributes
Called on a tuple (a1, ..., an), returns a new tuple (f(a1), ..., f(an)).
The result is typed as (F[A1], ..., F[An]) if the tuple type is fully known.
If the tuple is of the form a1 *: ... *: Tuple (that is, the tail is not known
to be the cons type.
Called on a tuple (a1, ..., an), returns a new tuple (f(a1), ..., f(an)).
The result is typed as (F[A1], ..., F[An]) if the tuple type is fully known.
If the tuple is of the form a1 *: ... *: Tuple (that is, the tail is not known
to be the cons type.
Attributes
Return the size (or arity) of the tuple
Return the size (or arity) of the tuple
Attributes
Given a tuple (a1, ..., am), returns a pair of the tuple (a1, ..., an)
consisting of the first n elements, and the tuple (an+1, ..., am) consisting
of the remaining elements.
Given a tuple (a1, ..., am), returns a pair of the tuple (a1, ..., an)
consisting of the first n elements, and the tuple (an+1, ..., am) consisting
of the remaining elements.
Attributes
Given a tuple (a1, ..., am), returns the tuple (a1, ..., an) consisting
of its first n elements.
Given a tuple (a1, ..., am), returns the tuple (a1, ..., an) consisting
of its first n elements.
Attributes
Create a copy of this tuple as an Array
Create a copy of this tuple as an Array
Attributes
Create a copy of this tuple as an IArray
Create a copy of this tuple as an IArray
Attributes
Create a copy of this tuple as a List
Create a copy of this tuple as a List
Attributes
Given two tuples, (a1, ..., an) and (a1, ..., an), returns a tuple
((a1, b1), ..., (an, bn)). If the two tuples have different sizes,
the extra elements of the larger tuple will be disregarded.
The result is typed as ((A1, B1), ..., (An, Bn)) if at least one of the
tuple types has a EmptyTuple tail. Otherwise the result type is
(A1, B1) *: ... *: (Ai, Bi) *: Tuple
Given two tuples, (a1, ..., an) and (a1, ..., an), returns a tuple
((a1, b1), ..., (an, bn)). If the two tuples have different sizes,
the extra elements of the larger tuple will be disregarded.
The result is typed as ((A1, B1), ..., (An, Bn)) if at least one of the
tuple types has a EmptyTuple tail. Otherwise the result type is
(A1, B1) *: ... *: (Ai, Bi) *: Tuple