NamedTupleDecomposition
Separate from NamedTuple object so that we can match on the opaque type NamedTuple.
Attributes
- Graph
-
- Supertypes
- Self type
Members list
Type members
Types
The value types of a named tuple represented as a regular tuple.
The value types of a named tuple represented as a regular tuple.
Attributes
The names of a named tuple, represented as a tuple of literal string values.
The names of a named tuple, represented as a tuple of literal string values.
Attributes
Extensions
Extensions
The tuple consisting of all elements of this tuple followed by all elements of tuple that. The names of the two tuples must be disjoint.
The tuple consisting of all elements of this tuple followed by all elements of tuple that. The names of the two tuples must be disjoint.
Attributes
The value (without the name) at index n of this tuple
The value (without the name) at index n of this tuple
Attributes
The tuple consisting of all elements of this tuple except the first n ones, or no elements if n exceeds size.
The tuple consisting of all elements of this tuple except the first n ones, or no elements if n exceeds size.
Attributes
The first element value of this tuple
The first element value of this tuple
Attributes
The tuple consisting of all elements of this tuple except the last one
The tuple consisting of all elements of this tuple except the last one
Attributes
The last element value of this tuple
The last element value of this tuple
Attributes
The named tuple consisting of all element values of this tuple mapped by the polymorphic mapping function f. The names of elements are preserved. If x = (n1 = v1, ..., ni = vi) then x.map(f) =(n1 = f(v1), ..., ni = f(vi))`.
The named tuple consisting of all element values of this tuple mapped by the polymorphic mapping function f. The names of elements are preserved. If x = (n1 = v1, ..., ni = vi) then x.map(f) =(n1 = f(v1), ..., ni = f(vi))`.
Attributes
The named tuple consisting of all elements of this tuple in reverse
The named tuple consisting of all elements of this tuple in reverse
Attributes
The number of elements in this tuple
The number of elements in this tuple
Attributes
The tuple (x.take(n), x.drop(n))
The tuple (x.take(n), x.drop(n))
Attributes
The tuple consisting of all elements of this tuple except the first one
The tuple consisting of all elements of this tuple except the first one
Attributes
The tuple consisting of the first n elements of this tuple, or all elements if n exceeds size.
The tuple consisting of the first n elements of this tuple, or all elements if n exceeds size.
Attributes
An array consisting of all element values
An array consisting of all element values
Attributes
An immutable array consisting of all element values
An immutable array consisting of all element values
Attributes
A list consisting of all element values
A list consisting of all element values
Attributes
An immutable map consisting of all element values preserving the order of fields. Keys are the names of the elements.
An immutable map consisting of all element values preserving the order of fields. Keys are the names of the elements.
Attributes
The named tuple consisting of all element values of this tuple zipped with corresponding element values in named tuple that. If the two tuples have different sizes, the extra elements of the larger tuple will be disregarded. The names of x and that at the same index must be the same. The result tuple keeps the same names as the operand tuples.
The named tuple consisting of all element values of this tuple zipped with corresponding element values in named tuple that. If the two tuples have different sizes, the extra elements of the larger tuple will be disregarded. The names of x and that at the same index must be the same. The result tuple keeps the same names as the operand tuples.