Dotty Documentation


@Child sealed trait NonEmptyTuple
extends Object with Tuple

Tuple of arbitrary non-zero arity

[-] Constructors

[-] Members

[+] @Body inline def apply ( n: Int ) : Elem [ This, n.type ]

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

[+] @Body inline def tail : Tail [ This ]

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