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

Attributes

Source: NamedTuple.scala

typeHead[X <:AnyNamedTuple] =Elem[X, 0]

The type of the first element value of a named tuple

Attributes

Source: NamedTuple.scala

typeInit[X <:AnyNamedTuple] =NamedTuple[Init[Names[X]],Init[DropNames[X]]]

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

Attributes

Source: NamedTuple.scala

typeLast[X <:AnyNamedTuple] =Last[DropNames[X]]

The type of the last element value of a named tuple

Attributes

Source: NamedTuple.scala

typeMap[X <:AnyNamedTuple,F[_ <:Union[DropNames[X]]]] =NamedTuple[Names[X],Map[DropNames[X],F]]

The type of the named tupleX mapped with the type-level functionF. IfX = (n1 : T1, ..., ni : Ti) thenMap[X, F] =(n1 : F[T1], ..., ni : F[Ti])`.

Attributes

Source: NamedTuple.scala

opaquetypeNamedTuple[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)]

Attributes

Source: NamedTuple.scala

typeReverse[X <:AnyNamedTuple] =NamedTuple[Reverse[Names[X]],Reverse[DropNames[X]]]

A named tuple with the elements of tupleX in reversed order

Attributes

Source: NamedTuple.scala

typeSize[X <:AnyNamedTuple] =Size[DropNames[X]]

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

Attributes

Source: NamedTuple.scala

typeSplit[X <:AnyNamedTuple,N <:Int] = (Take[X,N],Drop[X,N])

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

Attributes

Source: NamedTuple.scala

typeTail[X <:AnyNamedTuple] =Drop[X, 1]

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

Attributes

Source: NamedTuple.scala

typeTake[X <:AnyNamedTuple,N <:Int] =NamedTuple[Take[Names[X],N],Take[DropNames[X],N]]

The type of the named tuple consisting of the firstN elements ofX, or all elements ifN exceedsSize[X].

Attributes

Source: NamedTuple.scala

typeZip[X <:AnyNamedTuple,Y <:AnyNamedTuple] =Names[X] match{ caseNames[Y] =>NamedTuple[Names[X],Zip[DropNames[X],DropNames[Y]]] }

The type of the named tuple consisting of all element values of named tupleX zipped with corresponding element values of named tupleY. If the two tuples have different sizes, the extra elements of the larger tuple will be disregarded. The names ofX andY 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

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

Attributes

Source: NamedTuple.scala

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

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