NonEmptyTuple

scala.NonEmptyTuple
sealed trait NonEmptyTuple extends Tuple

Tuple of arbitrary non-zero arity

Attributes

Source
Tuple.scala
Graph
Supertypes
trait Tuple
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class H *: T

Members list

Value members

Concrete methods

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

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

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

Attributes

Source
Tuple.scala
inline def head[This >: NonEmptyTuple <: NonEmptyTuple]: Head[This]

Get the head of this tuple

Get the head of this tuple

Attributes

Source
Tuple.scala
inline def init[This >: NonEmptyTuple <: NonEmptyTuple]: Init[This]

Get the initial part of the tuple without its last element

Get the initial part of the tuple without its last element

Attributes

Source
Tuple.scala
inline def last[This >: NonEmptyTuple <: NonEmptyTuple]: Last[This]

Get the last of this tuple

Get the last of this tuple

Attributes

Source
Tuple.scala
inline def tail[This >: NonEmptyTuple <: NonEmptyTuple]: Tail[This]

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

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

Attributes

Source
Tuple.scala

Inherited methods

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)

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

Attributes

Inherited from:
Tuple
Source
Tuple.scala
inline def ++[This >: NonEmptyTuple <: Tuple](that: Tuple): Concat[This, that.type]

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

Inherited from:
Tuple
Source
Tuple.scala
inline def :*[This >: NonEmptyTuple <: Tuple, L](x: L): Append[This, L]

Return a copy of this tuple with an element appended

Return a copy of this tuple with an element appended

Attributes

Inherited from:
Tuple
Source
Tuple.scala
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.

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

Attributes

Returns

true if this instance can possibly equal that, otherwise false

Inherited from:
Equals
Source
Equals.scala
inline def drop[This >: NonEmptyTuple <: Tuple](n: Int): Drop[This, n.type]

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

Inherited from:
Tuple
Source
Tuple.scala
inline def map[F[_]](f: [t] => (x$1: t) => F[t]): Map[Tuple.this.type, 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.

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

Inherited from:
Tuple
Source
Tuple.scala

The size of this product.

The size of this product.

Attributes

Returns

for a product A(x1, ..., xk), returns k

Inherited from:
Product
Source
Product.scala

The nth element of this product, 0-based.

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

Attributes

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
Product.scala

The name of the nth element of this product, 0-based.

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

Attributes

Returns

the name of the specified element

Throws

IndexOutOfBoundsException if the n is out of range(n < 0 || n >= productArity).

Inherited from:
Product
Source
Product.scala

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

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

Attributes

Inherited from:
Product
Source
Product.scala

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

Inherited from:
Product
Source
Product.scala

A string used in the toString methods of derived classes.

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.

Attributes

Returns

in the default implementation, the empty string

Inherited from:
Product
Source
Product.scala
inline def size[This >: NonEmptyTuple <: Tuple]: Size[This]

Return the size (or arity) of the tuple

Return the size (or arity) of the tuple

Attributes

Inherited from:
Tuple
Source
Tuple.scala
inline def splitAt[This >: NonEmptyTuple <: Tuple](n: Int): Split[This, n.type]

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

Inherited from:
Tuple
Source
Tuple.scala
inline def take[This >: NonEmptyTuple <: Tuple](n: Int): Take[This, n.type]

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

Inherited from:
Tuple
Source
Tuple.scala
inline def toArray: Array[Object]

Create a copy of this tuple as an Array

Create a copy of this tuple as an Array

Attributes

Inherited from:
Tuple
Source
Tuple.scala
inline def toIArray: IArray[Object]

Create a copy of this tuple as an IArray

Create a copy of this tuple as an IArray

Attributes

Inherited from:
Tuple
Source
Tuple.scala
inline def toList: List[Union[Tuple.this.type]]

Create a copy of this tuple as a List

Create a copy of this tuple as a List

Attributes

Inherited from:
Tuple
Source
Tuple.scala
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

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

Attributes

Inherited from:
Tuple
Source
Tuple.scala

Experimental methods

inline def reverse[This >: NonEmptyTuple <: Tuple]: Reverse[This]

Given a tuple (a1, ..., am), returns the reversed tuple (am, ..., a1) consisting all its elements.

Given a tuple (a1, ..., am), returns the reversed tuple (am, ..., a1) consisting all its elements.

Attributes

Experimental
true
Inherited from:
Tuple
Source
Tuple.scala