Type Members

1.  trait Align[A <: Coproduct, B <: Coproduct] extends (A) => B with Serializable

   Type class supporting permuting this Coproduct into the same order as another Coproduct with the same element types.

2.  trait At[C <: Coproduct, N <: Nat] extends DepFn1[C] with Serializable

   Type class supporting getting the Nth type from a coproduct C.

3.  trait Basis[Super <: Coproduct, Sub <: Coproduct] extends DepFn1[Super] with Serializable

   Type class checking that : - coproduct is a sub-union of a bigger coproduct - embeds a sub-coproduct into a bigger coproduct

4.  sealed trait CoproductToEither[C <: Coproduct] extends DepFn1[C] with Serializable

   Type class converting a Coproduct to an Either

5.  trait Drop[C <: Coproduct, N <: Nat] extends DepFn1[C] with Serializable

   Type class supporting dropping the first n-elements of this Coproduct

6.  sealed trait EitherToCoproduct[L, R] extends DepFn1[Either[L, R]] with Serializable

   Type class converting an Either to a Coproduct

7.  trait EitherToCoproductLowPrio extends AnyRef
8.  trait ExtendBy[L <: Coproduct, R <: Coproduct] extends Serializable

   Type class which combines the functionality of ExtendRightBy and ExtendLeftBy.

   Type class which combines the functionality of ExtendRightBy and ExtendLeftBy. The combined coproduct and be produced by either providing the left part or the right part.

9.  trait ExtendLeftBy[L <: Coproduct, R <: Coproduct] extends DepFn1[R] with Serializable

   Extend a coproduct to the left by another coproduct.

   Extend a coproduct to the left by another coproduct. Conceptually similar to prepending a List to the original List

10.  trait ExtendRight[C <: Coproduct, T] extends DepFn1[C] with Serializable

    Type class supporting extending a coproduct on the right

11.  trait ExtendRightBy[L <: Coproduct, R <: Coproduct] extends DepFn1[L] with Serializable

    Similar to ExtendLeftBy.

    Similar to ExtendLeftBy. Conceptually similar to appending a List to the original List

12.  trait Filter[C <: Coproduct, U] extends DepFn1[C] with Serializable

    Type class which filters a coproduct by a type U, producing a coproduct containing only U.

    Type class which filters a coproduct by a type U, producing a coproduct containing only U. (The output is a coproduct because type U may occur multiple times in the original coproduct)

13.  trait FilterNot[C <: Coproduct, U] extends DepFn1[C] with Serializable

    Type class which filters a coproduct by a type U, producing a coproduct that does not contain U If U does not exist in the coproduct, the original coproduct is returned

14.  trait FlatMap[C <: Coproduct, F <: Poly] extends DepFn1[C] with Serializable

    For each type in the coproduct run a function (provide in Poly) which produces some coproduct, then flatten all the resulting coproducts.

    For each type in the coproduct run a function (provide in Poly) which produces some coproduct, then flatten all the resulting coproducts. This is conceptually similar to List#flatMap with the list items being types

15.  trait Folder[F <: Poly, C <: Coproduct] extends DepFn1[C] with Serializable

    Type class folding all possible types of a coproduct down to a single type

16.  trait IndexOf[C <: Coproduct, A] extends DepFn0 with Serializable

    find index of A in C

17.  trait InitLast[C <: Coproduct] extends Serializable

    Type class providing access to init and last of a Coproduct

18.  trait Inject[C <: Coproduct, I] extends Serializable

    Type class for converting a value of type I into the coproduct C.

    Type class for converting a value of type I into the coproduct C. (Type I need to occur in the coproduct C)

19.  trait IsCCons[C <: Coproduct] extends Serializable

    Type class providing access to head and tail of a Coproduct

20.  trait LeftFolder[C <: Coproduct, In, F] extends DepFn2[C, In] with Serializable

    Type class which performs left fold on a coproduct.

    Type class which performs left fold on a coproduct. Provided with a dependent function that can convert all types in a coproduct into the same type as the initial value of type In, combines the actual value of the coproduct with the initial value

21.  trait Length[C <: Coproduct] extends DepFn0 with Serializable

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

22.  sealed trait LiftAll[F[_], In <: Coproduct] extends AnyRef

    Type class supporting finding a typeclass instance for each type in a coproduct, resulting in a coproduct of typeclass instances.

23.  trait LowPriorityPrepend extends LowestPriorityPrepend
24.  trait LowPriorityRemove extends AnyRef
25.  trait LowPriorityRemoveLast extends AnyRef
26.  trait LowPriorityRotateLeft extends AnyRef
27.  trait LowPriorityRotateRight extends AnyRef
28.  trait LowestPriorityPrepend extends AnyRef
29.  trait Mapper[F <: Poly, C <: Coproduct] extends DepFn1[C] with Serializable

    For each type in a coproduct, map it to another type.

    For each type in a coproduct, map it to another type. Conceptually similar to List#map

30.  trait Partition[C <: Coproduct, U] extends DepFn1[C] with Serializable

    Type class for filtering coproduct by type U, splitting into a coproduct containing only type U and a coproduct of all other types.

31.  trait Prepend[P <: Coproduct, S <: Coproduct] extends DepFn1[Either[P, S]] with Serializable

    Type class supporting prepending to this Coproduct.

32.  trait Reify[L <: Coproduct] extends DepFn0 with Serializable

    Type class supporting reifying a Coproduct of singleton types.

33.  trait Remove[C <: Coproduct, U] extends DepFn1[C] with Serializable

    Type class that can removes the first occurrence of a particular type from a coproduct, splitting it into the specified type U and a coproduct representing the rest of the coproduct (with first occurrence of U removed).

    Type class that can removes the first occurrence of a particular type from a coproduct, splitting it into the specified type U and a coproduct representing the rest of the coproduct (with first occurrence of U removed). Also provides the inverse method which allows for reconstructing the original coproduct from its subparts.

34.  trait RemoveLast[C <: Coproduct, I] extends DepFn1[C] with Serializable

    Type class similar to Remove, but removes the last occurance of the specified type (I) instead

35.  trait Reverse[C <: Coproduct] extends DepFn1[C] with Serializable

    Type class supporting reversing a Coproduct

36.  trait RotateLeft[C <: Coproduct, N <: Nat] extends DepFn1[C] with Serializable

    Type class supporting rotating a Coproduct left

37.  trait RotateRight[C <: Coproduct, N <: Nat] extends DepFn1[C] with Serializable

    Type class supporting rotating a Coproduct right

38.  trait RuntimeInject[C <: Coproduct] extends Serializable

    Type class supporting the injection of runtime values of type Any in Coproduct.

    Type class supporting the injection of runtime values of type Any in Coproduct.

    Annotations

    @implicitNotFound("Implicit not found. CNil has no values, so it's impossible to convert anything to it")

39.  trait RuntimeInjectLowPrio extends AnyRef
40.  trait Selector[C <: Coproduct, T] extends Serializable

    Type class for attempting to get a value of type T out of an instance of corpdocut C.

    Type class for attempting to get a value of type T out of an instance of corpdocut C. If the coproduct instance is not of the specified type, None is returned

41.  trait Split[C <: Coproduct, N <: Nat] extends DepFn1[C] with Serializable

    Type class supporting splitting this Coproduct at the nth element returning prefix and suffix as a coproduct

42.  trait Take[C <: Coproduct, N <: Nat] extends DepFn1[C] with Serializable

    Type class supporting taking the first n-elements of this Coproduct

43.  trait ToHList[L <: Coproduct] extends Serializable

    Type class computing the HList type corresponding to this Coproduct.

44.  trait Unifier[C <: Coproduct] extends DepFn1[C] with Serializable

    Type class that unifies all the types in a coproduct into one single type which is their closest common parent type (i.e.

    Type class that unifies all the types in a coproduct into one single type which is their closest common parent type (i.e. least upper bound of all the types in the coproduct)

45.  trait ZipConst[Z, V <: Coproduct] extends DepFn2[Z, V] with Serializable

    Type class supporting zipping this Coproduct with a constant of type Z returning a Coproduct of tuples of the form ({element from input Coproduct}, {supplied constant})

46.  trait ZipWith[H <: HList, V <: Coproduct] extends DepFn2[H, V] with Serializable

    Type class supporting zipping a Coproduct with an HList, resulting in a Coproduct of tuples of the form ({element from input Coproduct}, {element from input HList})

47.  trait ZipWithIndex[C <: Coproduct] extends DepFn1[C] with Serializable

    Type class supporting zipping a Coproduct with its element indices, resulting in a Coproduct of tuples of the form ({element from input tuple}, {element index})

48.  trait ZipWithKeys[K <: HList, V <: Coproduct] extends DepFn1[V] with Serializable

    Type class that zips an HList with a Coproduct, producing a Coproduct of tuples where each element from the original coproduct is combined with the matching HList element