tuple

Type Members

1. trait At[T, N <: Nat] extends DepFn1[T] with Serializable

   

   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.

2. trait Collect[T, P <: Poly] extends DepFn1[T] with Serializable

   

   Type Class witnessing that this tuple can be collected with a 'Poly' to produce a new tuple

3. trait ConstMapper[T, C] extends DepFn2[T, C] with Serializable

   

   Type class supporting mapping a constant valued function over this tuple.

4. trait Drop[T, N <: Nat] extends DepFn1[T] with Serializable

   

   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.

5. trait Fill[N, A] extends DepFn1[A] with Serializable

   

   Type class supporting producing a tuple of shape N filled with elements of type A.

6. trait Filter[T, U] extends DepFn1[T] with Serializable

   

   Type class supporting access to the all elements of this tuple of type U.

7. trait FilterNot[T, U] extends DepFn1[T] with Serializable

   

   Type class supporting access to the all elements of this tuple of type different than U.

8. trait FlatMapper[T, P] extends DepFn1[T] with Serializable

   

   Type class supporting flatmapping a higher ranked function over this tuple.

9. trait Grouper[T, N <: Nat, Step <: Nat] extends DepFn1[T] with Serializable

   

   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.

10. trait Init[T] extends DepFn1[T] with Serializable

    

    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.

11. trait IsComposite[P] extends Serializable

    

    Type class witnessing that this tuple is composite and providing access to head and tail.

12. trait Last[T] extends DepFn1[T] with Serializable

    

    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.

13. trait LeftFolder[T, U, P] extends DepFn2[T, U] with Serializable

    

    Type class supporting left-folding a polymorphic binary function over this tuple.

14. trait LeftReducer[T, P] extends DepFn1[T] with Serializable

    

    Type class supporting left-reducing a polymorphic binary function over this tuple.

15. trait LeftScanner[T, In, P <: Poly] extends DepFn2[T, In] with Serializable

    

    Type class supporting left-scanning a binary polymorphic function over this tuple.

16. trait Length[T] extends DepFn1[T] with Serializable

    

    Type class supporting computing the type-level Nat corresponding to the length of this tuple.

17. trait MapFolder[T, R, P] extends Serializable

    

    Type class supporting mapping a polymorphic function over this tuple and then folding the result using a monomorphic function value.

18. trait Mapper[T, P] extends DepFn1[T] with Serializable

    

    Type class supporting mapping a higher ranked function over this tuple.

19. trait Modifier[T, U, V] extends DepFn2[T, (U) ⇒ V] with Serializable

    

    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.

20. trait ModifierAt[T, N <: Nat, U, V] extends DepFn2[T, (U) ⇒ V]

    

    Type class supporting replacement of the Nth element of this Tuple with the result of calling F on it.

    Type class supporting replacement of the Nth element of this Tuple with the result of calling F on it. Available only if this Tuple contains at least N elements.

21. trait PaddedGrouper[T, N <: Nat, Step <: Nat, Pad] extends DepFn2[T, Pad] with Serializable

    

    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.

22. trait Patcher[N <: Nat, M <: Nat, T, InT] extends DepFn2[T, InT] with Serializable

    

    Type class supporting the patching of a tuple.

23. trait Permutations[T] extends DepFn1[T] with Serializable

    

    Typer class supporting the calculation of every permutation of this tuple

24. trait Prepend[T, U] extends DepFn2[T, U] with Serializable

    

    Type class supporting prepending to this tuple.

25. trait Remove[T, U] extends DepFn1[T] with Serializable

    

    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.

26. trait RemoveAll[T, S] extends DepFn1[T] with Serializable

    

    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.

27. trait ReplaceAt[T, N <: Nat, U] extends DepFn2[T, U] with Serializable

    

    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.

28. trait Replacer[T, U, V] extends DepFn2[T, U] with Serializable

    

    Type class supporting replacement of the first element of type U from this tuple with an element of type V.

    Type class supporting replacement of the first element of type U from this tuple with an element of type V. Available only if this tuple contains an element of type U.

29. trait Reverse[T] extends DepFn1[T] with Serializable

    

    Type class supporting reversing this tuple.

30. trait ReversePrepend[T, U] extends DepFn2[T, U] with Serializable

    

    Type class supporting reverse prepending to this tuple.

31. trait ReverseSplit[T, N <: Nat] extends DepFn1[T] with Serializable

    

    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.

32. trait ReverseSplitLeft[T, U] extends DepFn1[T] with Serializable

    

    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.

33. trait ReverseSplitRight[T, U] extends DepFn1[T] with Serializable

    

    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.

34. trait RightFolder[T, U, P] extends DepFn2[T, U] with Serializable

    

    Type class supporting right-folding a polymorphic binary function over this tuple.

35. trait RightReducer[T, P] extends DepFn1[T] with Serializable

    

    Type class supporting right-reducing a polymorphic binary function over this tuple.

36. trait RightScanner[T, In, P <: Poly] extends DepFn2[T, In] with Serializable

    

    Type class supporting right-scanning a binary polymorphic function over this tuple.

37. trait RotateLeft[T, N <: Nat] extends DepFn1[T] with Serializable

    

    Type class supporting rotating a tuple left

38. trait RotateRight[T, N <: Nat] extends DepFn1[T] with Serializable

    

    Type class supporting rotating a tuple right

39. trait Selector[T, U] extends DepFn1[T] with Serializable

    

    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.

40. trait Split[T, N <: Nat] extends DepFn1[T] with Serializable

    

    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.

41. trait SplitLeft[T, U] extends DepFn1[T] with Serializable

    

    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.

42. trait SplitRight[T, U] extends DepFn1[T] with Serializable

    

    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.

43. trait SubtypeUnifier[T, B] extends DepFn1[T] with Serializable

    

    Type class supporting unification of all elements that are subtypes of B in this tuple to B, with all other elements left unchanged.

44. trait Take[T, N <: Nat] extends DepFn1[T] with Serializable

    

    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.

45. trait ToArray[T, Lub] extends DepFn1[T]

    

    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.

46. trait ToCoproduct[T] extends Serializable

    

    Type class computing the coproduct type corresponding to this tuple.

47. trait ToList[T, Lub] extends DepFn1[T] with Serializable

    

    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.

48. trait ToSized[T, M[_]] extends DepFn1[T] with Serializable

    

    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.

49. trait ToSum[T] extends Serializable

    

    Type class computing the sum type corresponding to this tuple.

50. trait ToTraversable[T, M[_]] extends DepFn1[T] with Serializable

    

    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.

51. trait Transposer[T] extends DepFn1[T] with Serializable

    

    Type class supporting transposing this tuple.

52. trait Unifier[T] extends DepFn1[T] with Serializable

    

    Type class supporting unification of this tuple.

53. trait ZipApply[FT, AT] extends DepFn2[FT, AT] with Serializable

    

    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.

54. trait ZipConst[T, C] extends DepFn2[T, C] with Serializable

    

    Type class supporting zipping a tuple with a constant, resulting in a tuple of tuples of the form ({element from input tuple}, {supplied constant})

55. trait ZipOne[H, T] extends DepFn2[H, T] with Serializable

    

    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.

56. trait ZipWithIndex[T] extends DepFn1[T] with Serializable

    

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