Type class supporting permuting this Tuple
into the same order as another Tuple
with
the same element types.
Type class supporting permuting this Tuple
into the same order as another Tuple
with
the same element types.
Type class supporting access to the nth element of this tuple.
Type class supporting access to the nth element of this tuple. Available only if this tuple has at least n elements.
Type Class witnessing that this tuple can be collected with a 'Poly' to produce a new tuple
Type class supporting mapping a constant valued function over this tuple.
Type class supporting removal of the first n elements of this tuple.
Type class supporting removal of the first n elements of this tuple. Available only if this tuple has at least n elements.
Type class supporting producing a tuple of shape N
filled with elements of type A
.
Type class supporting access to the all elements of this tuple of type U
.
Type class supporting access to the all elements of this tuple of type different than U
.
Type class supporting flatmapping a higher ranked function over this tuple.
Typeclass supporting grouping this Tuple
into tuples of N
items each, at Step
apart.
Typeclass supporting grouping this Tuple
into tuples of N
items each, at Step
apart. If Step
equals N
then the groups do not overlap.
Type class supporting access to all but the last element of this tuple.
Type class supporting access to all but the last element of this tuple. Available only if this tuple has at least one element.
Type class witnessing that this tuple is composite and providing access to head and tail.
Type class supporting access to the last element of this tuple.
Type class supporting access to the last element of this tuple. Available only if this tuple has at least one element.
Type class supporting left-folding a polymorphic binary function over this tuple.
Type class supporting left-reducing a polymorphic binary function over this tuple.
Type class supporting left-scanning a binary polymorphic function over this tuple.
Type class supporting computing the type-level Nat corresponding to the length of this tuple.
Type class supporting mapping a polymorphic function over this tuple and then folding the result using a monomorphic function value.
Type class supporting mapping a higher ranked function over this tuple.
Type class supporting replacement of the first element of type U from this tuple with the result of its transformation via a given function into a new element of type V.
Type class supporting replacement of the first element of type U from this tuple with the result of
its transformation via a given function into a new element of type V.
Available only if this tuple contains an element of type U
.
Type class supporting replacement of the N
th element of this Tuple
with the result of
calling F
on it.
Type class supporting replacement of the N
th element of this Tuple
with the result of
calling F
on it.
Available only if this Tuple
contains at least N
elements.
Typeclass supporting grouping this Tuple
into tuples of N
items each, at Step
apart.
Typeclass supporting grouping this Tuple
into tuples of N
items each, at Step
apart. If Step
equals N
then the groups do not overlap.
Use the elements in Pad
as necessary to complete last partition
up to n
items. In case there are not enough padding elements, return a partition
with less than n
items.
Type class supporting the patching of a tuple.
Typer class supporting the calculation of every permutation of this tuple
Type class supporting prepending to this tuple.
Type class supporting removal of an element from this tuple.
Type class supporting removal of an element from this tuple. Available only if this tuple contains an
element of type U
.
Type class supporting removal of a sublist from this tuple.
Type class supporting removal of a sublist from this tuple. Available only if this tuple contains a
sublist of type SL
.
The elements of SL
do not have to be contiguous in this tuple.
Type class supporting replacement of the Nth element of this tuple with an element of type V.
Type class supporting replacement of the Nth element of this tuple with an element of type V. Available only if this tuple contains at least N elements.
Type class supporting replacement of the first element of type V from this tuple with an element of type U.
Type class supporting replacement of the first element of type V from this tuple with an element of type U.
Available only if this tuple contains an element of type V
.
Type class supporting reversing this tuple.
Type class supporting reverse prepending to this tuple.
Type class supporting splitting this tuple at the nth element returning the reverse prefix and suffix as a pair.
Type class supporting splitting this tuple at the nth element returning the reverse prefix and suffix as a pair. Available only if this tuple has at least n elements.
Type class supporting splitting this tuple at the first occurrence of an element of type U
returning the reverse
prefix and suffix as a pair.
Type class supporting splitting this tuple at the first occurrence of an element of type U
returning the reverse
prefix and suffix as a pair. Available only if this tuple contains an element of type U
.
Type class supporting splitting this tuple at the last occurrence of an element of type U
returning the reverse
prefix and suffix as a pair.
Type class supporting splitting this tuple at the last occurrence of an element of type U
returning the reverse
prefix and suffix as a pair. Available only if this tuple contains an element of type U
.
Type class supporting right-folding a polymorphic binary function over this tuple.
Type class supporting right-reducing a polymorphic binary function over this tuple.
Type class supporting right-scanning a binary polymorphic function over this tuple.
Type class supporting rotating a tuple left
Type class supporting rotating a tuple right
Type class supporting access to the first element of this tuple of type U
.
Type class supporting access to the first element of this tuple of type U
. Available only if this tuple
contains an element of type U
.
Type class supporting splitting this tuple at the nth element returning the prefix and suffix as a pair.
Type class supporting splitting this tuple at the nth element returning the prefix and suffix as a pair. Available only if this tuple has at least n elements.
Type class supporting splitting this tuple at the first occurrence of an element of type U
returning the prefix
and suffix as a pair.
Type class supporting splitting this tuple at the first occurrence of an element of type U
returning the prefix
and suffix as a pair. Available only if this tuple contains an element of type U
.
Type class supporting splitting this tuple at the last occurrence of an element of type U
returning the prefix
and suffix as a pair.
Type class supporting splitting this tuple at the last occurrence of an element of type U
returning the prefix
and suffix as a pair. Available only if this tuple contains an element of type U
.
Type class supporting unification of all elements that are subtypes of B
in this tuple to B
, with all other
elements left unchanged.
Type class supporting retrieval of the first n elements of this tuple.
Type class supporting retrieval of the first n elements of this tuple. Available only if this tuple has at least n elements.
Type class supporting conversion of this tuple to an Array
with elements typed as the least upper bound
of the types of the elements of this tuple.
Type class supporting conversion of this tuple to an Array
with elements typed as the least upper bound
of the types of the elements of this tuple.
Provided for backward compatibility.
Type class computing the coproduct type corresponding to this tuple.
Type class supporting conversion of this tuple to a List
with elements typed as the least upper bound
of the types of the elements of this tuple.
Type class supporting conversion of this tuple to a List
with elements typed as the least upper bound
of the types of the elements of this tuple.
Provided for backward compatibility.
Type class supporting conversion of this tuple to a Sized[M[Lub], N]
with elements typed as
the least upper bound Lub of the types of the elements of this tuple.
Type class computing the sum type corresponding to this tuple.
Type class supporting conversion of this tuple to a M
with elements typed as the least upper bound
of the types of the elements of this tuple.
Type class supporting transposing this tuple.
Type class supporting unification of this tuple.
Type class supporting zipping this this tuple of monomorphic function values with its argument tuple of correspondingly typed function arguments returning the result of each application as a tuple.
Type class supporting zipping this this tuple of monomorphic function values with its argument tuple of correspondingly typed function arguments returning the result of each application as a tuple. Available only if there is evidence that the corresponding function and argument elements have compatible types.
Type class supporting zipping a tuple with a constant, resulting in a tuple of tuples of the form ({element from input tuple}, {supplied constant})
Type class supporting zipping this tuple with a tuple of tuples returning a tuple of tuples with each element of this tuple prepended to the corresponding tuple element of the argument tuple.
Type class supporting zipping a tuple with its element indices, resulting in a tuple of tuples of the form ({element from input tuple}, {element index})