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 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 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.
Type class supporting access to all but the last element of this tuple.
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 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 Nth element of this Tuple with the result of
calling F on it.
Typeclass supporting grouping this Tuple into tuples of N items each, at Step
apart.
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 a sublist from 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 first element of type V from this tuple with an element of type U.
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 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 last occurrence of an element of type U returning the reverse
prefix and suffix as a pair.
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 splitting this tuple at the nth element 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.
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 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 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 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 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 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})