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 ConstMapper[T, C] extends DepFn2[T, C]

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

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

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

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

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

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

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

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

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

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

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

8. trait IsComposite[P] extends AnyRef

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

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

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

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

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

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

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

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

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

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

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

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

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

    Type class supporting prepending to this tuple.

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

    Type class supporting removal of an element from this tuple.

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

    Type class supporting removal of a sublist from this tuple.

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

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

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

    Type class supporting reversing this tuple.

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

    Type class supporting reverse prepending to this tuple.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Type class supporting transposing this tuple.

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

    Type class supporting unification of this tuple.

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

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

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