Scala 3/scala/Tuple13

Tuple13

final case class Tuple13[+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8, +T9, +T10, +T11, +T12, +T13](_1: T1, _2: T2, _3: T3, _4: T4, _5: T5, _6: T6, _7: T7, _8: T8, _9: T9, _10: T10, _11: T11, _12: T12, _13: T13) extends Product13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]

A tuple of 13 elements; the canonical representation of a scala.Product13.

Value Params
_1

Element 1 of this Tuple13

_10

Element 10 of this Tuple13

_11

Element 11 of this Tuple13

_12

Element 12 of this Tuple13

_13

Element 13 of this Tuple13

_2

Element 2 of this Tuple13

_3

Element 3 of this Tuple13

_4

Element 4 of this Tuple13

_5

Element 5 of this Tuple13

_6

Element 6 of this Tuple13

_7

Element 7 of this Tuple13

_8

Element 8 of this Tuple13

_9

Element 9 of this Tuple13

Constructor

Create a new tuple with 13 elements. Note that it is more idiomatic to create a Tuple13 via (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13)

Source
Tuple13.scala
trait Tuple
trait Product13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

override def toString(): String
Definition Classes
Source
Tuple13.scala

Inherited methods

inline def *:[H, This >: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) <: Tuple](x: H): H *: This

Return a new tuple by prepending the element to this tuple.

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 >: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) <: Tuple](that: Tuple): Concat[This, that]

Return a new tuple by concatenating this tuple with that tuple.

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 apply[This >: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) <: NonEmptyTuple](n: Int): Elem[This, n]

Get the i-th element of this tuple.

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

Inherited from
NonEmptyTuple
Source
Tuple.scala
inline def drop[This >: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) <: Tuple](n: Int): Drop[This, n]

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
inline def head[This >: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) <: NonEmptyTuple]: Head[This]

Get the head of this tuple

Get the head of this tuple

Inherited from
NonEmptyTuple
Source
Tuple.scala
inline def map[F[_]](f: [t] => (x$1: t) => F[t]): Map[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13), F]

Called on a tuple (a1, ..., an), returns a new tuple (f(a1), ..., f(an)).

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
override def productArity: Int

The arity of this product.

The arity of this product.

Returns

13

Definition Classes
Inherited from
Product13
Source
Product13.scala
@throws(scala.Predef.classOf[scala.IndexOutOfBoundsException])
override def productElement(n: Int): Any

Returns the n-th projection of this product if 0 <= n < productArity, otherwise throws an IndexOutOfBoundsException.

Returns the n-th projection of this product if 0 <= n < productArity, otherwise throws an IndexOutOfBoundsException.

Value Params
n

number of the projection to be returned

Returns

same as ._(n+1), for example productElement(0) is the same as ._1.

Throws
IndexOutOfBoundsException

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

Definition Classes
Inherited from
Product13
Source
Product13.scala
def productElementNames: Iterator[String]

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
def productIterator: Iterator[Any]

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 >: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) <: 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 >: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) <: Tuple](n: Int): (This, n)

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 tail[This >: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) <: NonEmptyTuple]: Tail[This]

Get the tail of this tuple.

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

Inherited from
NonEmptyTuple
Source
Tuple.scala
inline def take[This >: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) <: Tuple](n: Int): Take[This, n]

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 this tuple as an Array

Create a copy this tuple as an Array

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

Create a copy this tuple as an IArray

Create a copy this tuple as an IArray

Inherited from
Tuple
Source
Tuple.scala
inline def toList: List[Union[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)]]

Create a copy this tuple as a List

Create a copy this tuple as a List

Inherited from
Tuple
Source
Tuple.scala
inline def zip[This >: (T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) <: Tuple, T2 <: Tuple](t2: T2): Zip[This, T2]

Given two tuples, (a1, ..., an) and (a1, ..., an), returns a tuple ((a1, b1), ..., (an, bn)).

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