NamedTupleDecomposition
Separate from NamedTuple object so that we can match on the opaque type NamedTuple.
Attributes
- Source
- NamedTuple.scala
- Graph
-
- Supertypes
- Self type
Members list
Type members
Types
The value types of a named tuple represented as a regular tuple.
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
- Source
- NamedTuple.scala
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
- Source
- NamedTuple.scala
The value (without the name) at index n
of this tuple
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
- Source
- NamedTuple.scala
The first element value of this tuple
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
- Source
- NamedTuple.scala
The last element value of this tuple
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
- Source
- NamedTuple.scala
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
- Source
- NamedTuple.scala
The number of elements in this tuple
The tuple (x.take(n), x.drop(n))
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
- Source
- NamedTuple.scala
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
- Source
- NamedTuple.scala
An array consisting of all element values
An immutable array consisting of all element values
A list consisting of all element values
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.
Attributes
- Source
- NamedTuple.scala