tuple

Type Members

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

   Type class supporting access to the nth element of this tuple.

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

   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]

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

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

   Type class supporting removal of the first n elements of this tuple.

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

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

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

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

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

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

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

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

9. trait Init[T] extends DepFn1[T]

   Type class supporting access to all but the last element of this tuple.

10. trait IsComposite[P] extends AnyRef

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

11. trait Last[T] extends DepFn1[T]

    Type class supporting access to the last element of this tuple.

12. trait LeftFolder[T, U, P] extends DepFn2[T, U]

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

13. trait LeftReducer[T, P] extends DepFn1[T]

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

14. trait LeftScanner[T, In, P <: Poly] extends DepFn2[T, In]

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

15. trait Length[T] extends DepFn1[T]

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

16. trait MapFolder[T, R, P] extends AnyRef

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

17. trait Mapper[T, P] extends DepFn1[T]

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

18. trait Modifier[T, U, V] extends DepFn2[T, (U) ⇒ 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.

19. trait Patcher[N <: Nat, M <: Nat, T, InT] extends DepFn2[T, InT]

    Type class supporting the patching of a tuple.

20. trait Permutations[T] extends DepFn1[T]

    Typer class supporting the calculation of every permutation of this tuple

21. trait Prepend[T, U] extends DepFn2[T, U]

    Type class supporting prepending to this tuple.

22. trait Remove[T, U] extends DepFn1[T]

    Type class supporting removal of an element from this tuple.

23. trait RemoveAll[T, S] extends DepFn1[T]

    Type class supporting removal of a sublist from this tuple.

24. trait ReplaceAt[T, N <: Nat, U] extends DepFn2[T, U]

    Type class supporting replacement of the Nth element of this tuple with an element of type V.

25. trait Replacer[T, U, V] extends DepFn2[T, U]

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

26. trait Reverse[T] extends DepFn1[T]

    Type class supporting reversing this tuple.

27. trait ReversePrepend[T, U] extends DepFn2[T, U]

    Type class supporting reverse prepending to this tuple.

28. trait ReverseSplit[T, N <: Nat] extends DepFn1[T]

    Type class supporting splitting this tuple at the nth element returning the reverse prefix and suffix as a pair.

29. trait ReverseSplitLeft[T, U] extends DepFn1[T]

    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.

30. trait ReverseSplitRight[T, U] extends DepFn1[T]

    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.

31. trait RightFolder[T, U, P] extends DepFn2[T, U]

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

32. trait RightReducer[T, P] extends DepFn1[T]

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

33. trait RightScanner[T, In, P <: Poly] extends DepFn2[T, In]

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

34. trait RotateLeft[T, N <: Nat] extends DepFn1[T]

    Type class supporting rotating a tuple left

35. trait RotateRight[T, N <: Nat] extends DepFn1[T]

    Type class supporting rotating a tuple right

36. trait Selector[T, U] extends DepFn1[T]

    Type class supporting access to the first element of this tuple of type U.

37. trait Split[T, N <: Nat] extends DepFn1[T]

    Type class supporting splitting this tuple at the nth element returning the prefix and suffix as a pair.

38. trait SplitLeft[T, U] extends DepFn1[T]

    Type class supporting splitting this tuple at the first occurrence of an element of type U returning the prefix and suffix as a pair.

39. trait SplitRight[T, U] extends DepFn1[T]

    Type class supporting splitting this tuple at the last occurrence of an element of type U returning the prefix and suffix as a pair.

40. trait SubtypeUnifier[T, B] extends DepFn1[T]

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

41. trait Take[T, N <: Nat] extends DepFn1[T]

    Type class supporting retrieval of the first n elements of this tuple.

42. 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.

43. trait ToList[T, Lub] extends DepFn1[T]

    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.

44. trait ToSized[T, M[_]] extends DepFn1[T]

    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.

45. trait ToTraversable[T, M[_]] extends DepFn1[T]

    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.

46. trait Transposer[T] extends DepFn1[T]

    Type class supporting transposing this tuple.

47. trait Unifier[T] extends DepFn1[T]

    Type class supporting unification of this tuple.

48. trait ZipApply[FT, AT] extends DepFn2[FT, AT]

    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.

49. trait ZipConst[T, C] extends DepFn2[T, C]

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

50. trait ZipOne[H, T] extends DepFn2[H, T]

    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.