NamedTuple

A type which is a supertype of all named tuples

Type of the concatenation of two tuples X and Y

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 element value at position N in the named tuple X

The type of the empty named tuple

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.

The type of the first element value of a named tuple

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

The type of the last element value of a named tuple

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 to which named tuples get mapped to. For instance, (name: String, age: Int) gets mapped to NamedTuple[("name", "age"), (String, Int)]

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

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

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

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

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 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))

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)).

The empty named tuple