Type class supporting permuting this Coproduct
into the same order as another Coproduct
with
the same element types.
Type class supporting getting the Nth type from a coproduct C.
Type class checking that : - coproduct is a sub-union of a bigger coproduct - embeds a sub-coproduct into a bigger coproduct
Type class converting a Coproduct
to an Either
Type class supporting dropping the first n
-elements of this Coproduct
Type class converting an Either
to a Coproduct
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.
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
Type class supporting extending a coproduct on the right
Similar to ExtendLeftBy.
Similar to ExtendLeftBy. Conceptually similar to appending a List to the original List
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)
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
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
Type class folding all possible types of a coproduct down to a single type
find index of A in C
Type class providing access to init and last of a Coproduct
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)
Type class providing access to head and tail of a Coproduct
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
Type class supporting computing the type-level Nat corresponding to the length of this Coproduct'.
Type class supporting finding a typeclass instance for each type in a coproduct, resulting in a coproduct of typeclass instances.
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
Type class for filtering coproduct by type U, splitting into a coproduct containing only type U and a coproduct of all other types.
Type class supporting prepending to this Coproduct
.
Type class supporting reifying a Coproduct
of singleton types.
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.
Type class similar to Remove, but removes the last occurance of the specified type (I) instead
Type class supporting reversing a Coproduct
Type class supporting rotating a Coproduct left
Type class supporting rotating a Coproduct right
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
.
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
Type class supporting splitting this Coproduct
at the nth element returning prefix and suffix as a coproduct
Type class supporting taking the first n
-elements of this Coproduct
Type class computing the HList
type corresponding to this Coproduct
.
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)
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})
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
})
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})
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