Object EmptyTuple.EmptyTuple

case object EmptyTuple extends Tuple

A tuple of 0 elements.

Supertypes	trait Singleton trait Product trait Mirror trait Serializable trait Tuple trait Product trait Equals class Object trait Matchable class Any
Self type	EmptyTuple.type

Inherited types

Source

type MirroredElemLabels = EmptyTuple

The names of the product elements

Inherited from	Singleton

Source

type MirroredElemTypes = EmptyTuple

Inherited from	Singleton

Source

type MirroredLabel <: String

The name of the type

Inherited from	Mirror

Source

type MirroredMonoType = Singleton.this.type

The mirrored *-type

Inherited from	Singleton

Source

type MirroredType = Singleton.this.type

Inherited from	Singleton

Concrete methods

Source

override def toString(): String

Returns a string representation of the object.

The default representation is platform dependent.

Returns	a string representation of the object.
Definition Classes	Any

Inherited methods

Source

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)

Inherited from	Tuple

Source

inline def ++[This >: EmptyTuple.type <: 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 >: EmptyTuple.type <: Tuple, L](x: L): Append[This, L]

Return a copy of this tuple with an element appended

Inherited from	Tuple

Source

inline def drop[This >: EmptyTuple.type <: 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

def fromProduct(p: Product): MirroredMonoType

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

Inherited from	Singleton

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 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

inline def size[This >: EmptyTuple.type <: Tuple]: Size[This]

Return the size (or arity) of the tuple

Inherited from	Tuple

Source

inline def splitAt[This >: EmptyTuple.type <: 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 >: EmptyTuple.type <: 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 >: 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

Inherited from	Tuple