NamedTuple

scala.NamedTuple
opaque object NamedTuple

Attributes

Experimental
true
Source
NamedTuple.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
NamedTuple.type

Members list

Type members

Types

opaque type AnyNamedTuple

A type which is a supertype of all named tuples

A type which is a supertype of all named tuples

Attributes

Source
NamedTuple.scala

Type of the concatenation of two tuples X and Y

Type of the concatenation of two tuples X and Y

Attributes

Source
NamedTuple.scala
type Drop[X <: AnyNamedTuple, N <: Int] = NamedTuple[Drop[Names[X], N], Drop[DropNames[X], N]]

The type of the named tuple consisting of all elements of X except the first N ones, or no elements if N exceeds Size[X].

The type of the named tuple consisting of all elements of X except the first N ones, or no elements if N exceeds Size[X].

Attributes

Source
NamedTuple.scala
type Elem[X <: AnyNamedTuple, N <: Int] = Elem[DropNames[X], N]

The type of the element value at position N in the named tuple X

The type of the element value at position N in the named tuple X

Attributes

Source
NamedTuple.scala

The type of the empty named tuple

The type of the empty named tuple

Attributes

Source
NamedTuple.scala
type From[T] <: AnyNamedTuple

A type specially treated by the compiler to represent all fields of a class argument T as a named tuple. Or, if T is already a named tyuple, From[T] is the same as T.

A type specially treated by the compiler to represent all fields of a class argument T as a named tuple. Or, if T is already a named tyuple, From[T] is the same as T.

Attributes

Source
NamedTuple.scala
type Head[X <: AnyNamedTuple] = Elem[X, 0]

The type of the first element value of a named tuple

The type of the first element value of a named tuple

Attributes

Source
NamedTuple.scala

The type of the initial part of a named tuple without its last element

The type of the initial part of a named tuple without its last element

Attributes

Source
NamedTuple.scala
type Last[X <: AnyNamedTuple] = Last[DropNames[X]]

The type of the last element value of a named tuple

The type of the last element value of a named tuple

Attributes

Source
NamedTuple.scala
type Map[X <: AnyNamedTuple, F[_ <: Union[DropNames[X]]]] = NamedTuple[Names[X], Map[DropNames[X], F]]

The type of the named tuple X mapped with the type-level function F. If X = (n1 : T1, ..., ni : Ti) then Map[X, F] =(n1 : F[T1], ..., ni : F[Ti])`.

The type of the named tuple X mapped with the type-level function F. If X = (n1 : T1, ..., ni : Ti) then Map[X, F] =(n1 : F[T1], ..., ni : F[Ti])`.

Attributes

Source
NamedTuple.scala
opaque type NamedTuple[N <: Tuple, +V <: Tuple]

The type to which named tuples get mapped to. For instance, (name: String, age: Int) gets mapped to NamedTuple[("name", "age"), (String, Int)]

The type to which named tuples get mapped to. For instance, (name: String, age: Int) gets mapped to NamedTuple[("name", "age"), (String, Int)]

Attributes

Source
NamedTuple.scala

A named tuple with the elements of tuple X in reversed order

A named tuple with the elements of tuple X in reversed order

Attributes

Source
NamedTuple.scala
type Size[X <: AnyNamedTuple] = Size[DropNames[X]]

The size of a named tuple, represented as a literal constant subtype of Int

The size of a named tuple, represented as a literal constant subtype of Int

Attributes

Source
NamedTuple.scala
type Split[X <: AnyNamedTuple, N <: Int] = (Take[X, N], Drop[X, N])

The pair type `(Take(X, N), Drop[X, N]).

The pair type `(Take(X, N), Drop[X, N]).

Attributes

Source
NamedTuple.scala
type Tail[X <: AnyNamedTuple] = Drop[X, 1]

The type of a named tuple consisting of all elements of named tuple X except the first one

The type of a named tuple consisting of all elements of named tuple X except the first one

Attributes

Source
NamedTuple.scala
type Take[X <: AnyNamedTuple, N <: Int] = NamedTuple[Take[Names[X], N], Take[DropNames[X], N]]

The type of the named tuple consisting of the first N elements of X, or all elements if N exceeds Size[X].

The type of the named tuple consisting of the first N elements of X, or all elements if N exceeds Size[X].

Attributes

Source
NamedTuple.scala
type Zip[X <: AnyNamedTuple, Y <: AnyNamedTuple] = Names[X] match { case Names[Y] => NamedTuple[Names[X], Zip[DropNames[X], DropNames[Y]]] }

The type of the named tuple consisting of all element values of named tuple X zipped with corresponding element values of named tuple Y. If the two tuples have different sizes, the extra elements of the larger tuple will be disregarded. The names of X and Y at the same index must be the same. The result tuple keeps the same names as the operand tuples. For example, if

The type of the named tuple consisting of all element values of named tuple X zipped with corresponding element values of named tuple Y. If the two tuples have different sizes, the extra elements of the larger tuple will be disregarded. The names of X and Y at the same index must be the same. The result tuple keeps the same names as the operand tuples. For example, if

   X = (n1 : S1, ..., ni : Si)
   Y = (n1 : T1, ..., nj : Tj)  where j >= i

then

   Zip[X, Y] = (n1 : (S1, T1), ..., ni: (Si, Ti))

Attributes

Source
NamedTuple.scala

Value members

Concrete methods

def apply[N <: Tuple, V <: Tuple](x: V): NamedTuple[N, V]

Attributes

Source
NamedTuple.scala
inline def build[N <: Tuple]()[V <: Tuple](x: V): NamedTuple[N, V]

A named tuple expression will desugar to a call to build. For instance, (name = "Lyra", age = 23) will desugar to build[("name", "age")]()(("Lyra", 23)).

A named tuple expression will desugar to a call to build. For instance, (name = "Lyra", age = 23) will desugar to build[("name", "age")]()(("Lyra", 23)).

Attributes

Source
NamedTuple.scala
def unapply[N <: Tuple, V <: Tuple](x: NamedTuple[N, V]): Some[V]

Attributes

Source
NamedTuple.scala

Concrete fields

val Empty: Empty

The empty named tuple

The empty named tuple

Attributes

Source
NamedTuple.scala

Extensions

Extensions

extension [V <: Tuple](x: V)
inline def withNames[N <: Tuple]: NamedTuple[N, V]

Attributes

Source
NamedTuple.scala
extension [N <: Tuple, V <: Tuple](x: NamedTuple[N, V])
inline def head: Elem[V, 0]

The first element value of this tuple

The first element value of this tuple

Attributes

Source
NamedTuple.scala
inline def toTuple: V

The underlying tuple without the names

The underlying tuple without the names

Attributes

Source
NamedTuple.scala

Exports

Defined exports

final type DropNames = [NT <: AnyNamedTuple] =>> DropNames[NT]
Exported from NamedTupleDecomposition$

Attributes

Source
NamedTuple.scala
final type Names = [X <: AnyNamedTuple] =>> Names[X]
Exported from NamedTupleDecomposition$

Attributes

Source
NamedTuple.scala