NonEmptyTuple

Get the i-th element of this tuple. Equivalent to productElement but with a precise return type.

Get the head of this tuple

Get the initial part of the tuple without its last element

Get the last of this tuple

Get the tail of 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)

Return a new tuple by concatenating this tuple with that tuple. This operation is O(this.size + that.size)

Return a copy of this tuple with an element appended

Given a tuple (a1, ..., am), returns the tuple (an+1, ..., am) consisting all its elements except the first n ones.

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.

Return the size (or arity) of the tuple

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 the tuple (a1, ..., an) consisting of its first n elements.

Create a copy of this tuple as an Array

Create a copy of this tuple as an IArray

Create a copy of this tuple as a List

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