Type class supporting permuting this Coproduct
into the same order as another Coproduct
with
the same element types.
Typeclass checking that : - coproduct is a sub-union of a bigger coproduct - embeds a sub-coproduct into a bigger coproduct
Typeclass converting a Coproduct
to an Either
Type class supporting dropping the first n
-elements of this Coproduct
Typeclass converting an Either
to a Coproduct
Type class supporting extending a coproduct on the right
Type class providing access to init and last of a Coproduct
Type class providing access to head and tail of a Coproduct
Type class supporting computing the type-level Nat corresponding to the length of this Coproduct'.
Type class supporting prepending to this Coproduct
.
Type class supporting reifying a Coproduct
of singleton types.
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 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 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})