Object scala.EmptyTuple

object EmptyTuple extends Tuple

A tuple of 0 elements.

Concrete methods

Source

def canEqual(that: Any): Boolean

Source

override def productArity: Int

Source@throws(scala.Predef.classOf[scala.IndexOutOfBoundsException])

override def productElement(n: Int): Any

Source

override def toString(): String

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)

Source

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)

Source@experimental

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

Return a copy of this tuple with an element appended

Source

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.

Source

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.

Source

def productElementName(n: Int): String

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

Source

def productElementNames: Iterator[String]

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

Source

def productIterator: Iterator[Any]

An iterator over all the elements of this 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.

Source

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

Return the size (or arity) of the tuple

Source

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.

Source

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.

Source

inline def toArray: Array[Object]

Create a copy of this tuple as an Array

Source

inline def toIArray: IArray[Object]

Create a copy of this tuple as an IArray

Source

inline def toList: List[Union[EmptyTuple.type]]

Create a copy of this tuple as a List

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