Trait NonEmptyTuple.NonEmptyTuple

sealed trait NonEmptyTuple extends Tuple

Tuple of arbitrary non-zero arity

Supertypes	trait Tuple trait Product trait Equals class Object trait Matchable class Any
Known subtypes	class H *: T

Concrete methods

Source

inline def apply[This >: NonEmptyTuple <: NonEmptyTuple](n: Int): Elem[This, Int]

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

Source

inline def head[This >: NonEmptyTuple <: NonEmptyTuple]: Head[This]

Get the head of this tuple

Source

inline def init[This >: NonEmptyTuple <: NonEmptyTuple]: Init[This]

Get the initial part of the tuple without its last element

Source

inline def last[This >: NonEmptyTuple <: NonEmptyTuple]: Last[This]

Get the last of this tuple

Source

inline def tail[This >: NonEmptyTuple <: NonEmptyTuple]: Tail[This]

Get the tail of this tuple. This operation is O(this.size)

Inherited methods

Source

inline def *:[H, This >: NonEmptyTuple <: Tuple](x: H): H *: This

Return a new tuple by prepending the element to this tuple. This operation is O(this.size)

Inherited from	Tuple

Source

inline def ++[This >: NonEmptyTuple <: Tuple](that: Tuple): Concat[This, Tuple]

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

Inherited from	Tuple

Source

inline def :*[This >: NonEmptyTuple <: Tuple, L](x: L): Append[This, L]

Return a copy of this tuple with an element appended

Inherited from	Tuple

Source

def canEqual(that: Any): Boolean

A method that should be called from every well-designed equals method that is open to be overridden in a subclass. See Programming in Scala, Chapter 28 for discussion and design.

Value parameters	that the value being probed for possible equality
Returns	true if this instance can possibly equal that, otherwise false
Inherited from	Equals

Source

inline def drop[This >: NonEmptyTuple <: Tuple](n: Int): Drop[This, Int]

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

Inherited from	Tuple

Source

inline def map[F[_]](f: [t] => (x$1: t) => F[t]): Map[Tuple, F]

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.

Inherited from	Tuple

Source

def productArity: Int

The size of this product.

Returns	for a product A(x1, ..., xk), returns k
Inherited from	Product

Source

def productElement(n: Int): Any

The nth element of this product, 0-based. In other words, for a product A(x1, ..., xk), returns x(n+1) where 0 <= n < k.

Value parameters	n the index of the element to return
Returns	the element n elements after the first element
Throws	IndexOutOfBoundsException if the n is out of range(n < 0 || n >= productArity).
Inherited from	Product

Source

def productElementName(n: Int): String

The name of the nth element of this product, 0-based. In the default implementation, an empty string.

Value parameters	n the index of the element name to return
Returns	the name of the specified element
Throws	IndexOutOfBoundsException if the n is out of range(n < 0 || n >= productArity).
Inherited from	Product

Source

def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

Inherited from	Product

Source

def productIterator: Iterator[Any]

An iterator over all the elements of this product.

Returns	in the default implementation, an Iterator[Any]
Inherited from	Product

Source

def productPrefix: String

A string used in the toString methods of derived classes. Implementations may override this method to prepend a string prefix to the result of toString methods.

Returns	in the default implementation, the empty string
Inherited from	Product

Source

inline def size[This >: NonEmptyTuple <: Tuple]: Size[This]

Return the size (or arity) of the tuple

Inherited from	Tuple

Source

inline def splitAt[This >: NonEmptyTuple <: Tuple](n: Int): (This, Int)

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.

Inherited from	Tuple

Source

inline def take[This >: NonEmptyTuple <: Tuple](n: Int): Take[This, Int]

Given a tuple (a1, ..., am), returns the tuple (a1, ..., an) consisting of its first n elements.

Inherited from	Tuple

Source

inline def toArray: Array[Object]

Create a copy of this tuple as an Array

Inherited from	Tuple

Source

inline def toIArray: IArray[Object]

Create a copy of this tuple as an IArray

Inherited from	Tuple

Source

inline def toList: List[Union[Tuple]]

Create a copy of this tuple as a List

Inherited from	Tuple

Source

inline def zip[This >: NonEmptyTuple <: Tuple, T2 <: Tuple](t2: T2): Zip[This, T2]

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

Inherited from	Tuple