EmptyTuple

case object EmptyTuple extends Tuple

A tuple of 0 elements.

Source:
Tuple.scala
trait Singleton
trait Product
trait Mirror
trait Tuple
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Inherited types

The names of the product elements

The names of the product elements

Inherited from:
Singleton
Source:
Mirror.scala

The name of the type

The name of the type

Inherited from:
Mirror
Source:
Mirror.scala

The mirrored *-type

The mirrored *-type

Inherited from:
Singleton
Source:
Mirror.scala
Inherited from:
Singleton
Source:
Mirror.scala

Value members

Concrete methods

override def toString(): String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Returns:

a string representation of the object.

Definition Classes
Source:
Tuple.scala

Inherited methods

inline def *:[H, This >: EmptyTuple.type <: 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)

Inherited from:
Tuple
Source:
Tuple.scala
inline def ++[This >: EmptyTuple.type <: 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)

Inherited from:
Tuple
Source:
Tuple.scala
inline def :*[This >: EmptyTuple.type <: 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

Inherited from:
Tuple
Source:
Tuple.scala
inline def drop[This >: EmptyTuple.type <: 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.

Inherited from:
Tuple
Source:
Tuple.scala

Create a new instance of type T with elements taken from product p.

Create a new instance of type T with elements taken from product p.

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

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

Inherited from:
Product
Source:
Product.scala

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Returns:

in the default implementation, an Iterator[Any]

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

Return the size (or arity) of the tuple

Return the size (or arity) of the tuple

Inherited from:
Tuple
Source:
Tuple.scala
inline def splitAt[This >: EmptyTuple.type <: Tuple](n: Int): (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.

Inherited from:
Tuple
Source:
Tuple.scala
inline def take[This >: EmptyTuple.type <: 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.

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

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

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

Create a copy of this tuple as a List

Create a copy of this tuple as a List

Inherited from:
Tuple
Source:
Tuple.scala
inline def zip[This >: EmptyTuple.type <: 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

Inherited from:
Tuple
Source:
Tuple.scala