coproduct

Type Members

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.
trait At[C <: Coproduct, N <: Nat] extends DepFn1[C] with Serializable
trait Basis[Super <: Coproduct, Sub <: Coproduct] extends DepFn1[Super] with Serializable

Typeclass checking that : - coproduct is a sub-union of a bigger coproduct - embeds a sub-coproduct into a bigger coproduct
sealed trait CoproductToEither[C <: Coproduct] extends DepFn1[C] with Serializable

Typeclass converting a Coproduct to an Either
trait Drop[C <: Coproduct, N <: Nat] extends DepFn1[C] with Serializable

Type class supporting dropping the first n-elements of this Coproduct
sealed trait EitherToCoproduct[L, R] extends DepFn1[Either[L, R]] with Serializable

Typeclass converting an Either to a Coproduct
trait EitherToCoproductLowPrio extends AnyRef
trait ExtendBy[L <: Coproduct, R <: Coproduct] extends Serializable
trait ExtendLeftBy[L <: Coproduct, R <: Coproduct] extends DepFn1[R] with Serializable
trait ExtendRight[C <: Coproduct, T] extends DepFn1[C] with Serializable

Type class supporting extending a coproduct on the right
trait ExtendRightBy[L <: Coproduct, R <: Coproduct] extends DepFn1[L] with Serializable
trait Filter[C <: Coproduct, U] extends DepFn1[C] with Serializable
trait FilterNot[C <: Coproduct, U] extends DepFn1[C] with Serializable
trait FlatMap[C <: Coproduct, F <: Poly] extends DepFn1[C] with Serializable
trait Folder[F <: Poly, C <: Coproduct] extends DepFn1[C] with Serializable
trait InitLast[C <: Coproduct] extends Serializable

Type class providing access to init and last of a Coproduct
trait Inject[C <: Coproduct, I] extends Serializable
trait IsCCons[C <: Coproduct] extends Serializable

Type class providing access to head and tail of a Coproduct
trait LeftFolder[C <: Coproduct, In, F] extends DepFn2[C, In] with Serializable
trait Length[C <: Coproduct] extends DepFn0 with Serializable

Type class supporting computing the type-level Nat corresponding to the length of this Coproduct'.
sealed trait LiftAll[F[_], In <: Coproduct] extends AnyRef
trait LowPriorityPrepend extends LowestPriorityPrepend
trait LowPriorityRemove extends AnyRef
trait LowPriorityRemoveLast extends AnyRef
trait LowPriorityRotateLeft extends AnyRef
trait LowPriorityRotateRight extends AnyRef
trait LowestPriorityPrepend extends AnyRef
trait Mapper[F <: Poly, C <: Coproduct] extends DepFn1[C] with Serializable
trait Partition[C <: Coproduct, U] extends DepFn1[C] with Serializable
trait Prepend[P <: Coproduct, S <: Coproduct] extends DepFn1[Either[P, S]] with Serializable

Type class supporting prepending to this Coproduct.
trait Reify[L <: Coproduct] extends DepFn0 with Serializable

Type class supporting reifying a Coproduct of singleton types.
trait Remove[C <: Coproduct, U] extends DepFn1[C] with Serializable
trait RemoveLast[C <: Coproduct, I] extends DepFn1[C] with Serializable
trait Reverse[C <: Coproduct] extends DepFn1[C] with Serializable

Type class supporting reversing a Coproduct
trait RotateLeft[C <: Coproduct, N <: Nat] extends DepFn1[C] with Serializable

Type class supporting rotating a Coproduct left
trait RotateRight[C <: Coproduct, N <: Nat] extends DepFn1[C] with Serializable

Type class supporting rotating a Coproduct right
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( ... )
trait RuntimeInjectLowPrio extends AnyRef
trait Selector[C <: Coproduct, T] extends Serializable
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
trait Take[C <: Coproduct, N <: Nat] extends DepFn1[C] with Serializable

Type class supporting taking the first n-elements of this Coproduct
trait ToHList[L <: Coproduct] extends Serializable

Type class computing the HList type corresponding to this Coproduct.
trait Unifier[C <: Coproduct] extends DepFn1[C] with Serializable
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})
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})
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})
trait ZipWithKeys[K <: HList, V <: Coproduct] extends DepFn1[V] with Serializable

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object Align extends Serializable
object At extends Serializable
object Basis extends Serializable
object CoproductToEither extends Serializable
object Drop extends Serializable
object EitherToCoproduct extends EitherToCoproductLowPrio with Serializable
object ExtendBy extends Serializable
object ExtendLeftBy extends Serializable
object ExtendRight extends Serializable
object ExtendRightBy extends Serializable
object Filter extends Serializable
object FilterNot extends Serializable
object FlatMap extends Serializable
object Folder extends Serializable
object InitLast extends Serializable
object Inject extends Serializable
object IsCCons extends Serializable
object LeftFolder extends Serializable
object Length extends Serializable
object LiftAll
object Mapper extends Serializable
object Partition extends Serializable
object Prepend extends LowPriorityPrepend with Serializable
object Reify extends Serializable
object Remove extends LowPriorityRemove with Serializable
object RemoveLast extends LowPriorityRemoveLast with Serializable
object Reverse extends Serializable
object RotateLeft extends LowPriorityRotateLeft with Serializable
object RotateRight extends LowPriorityRotateRight with Serializable
object RuntimeInject extends RuntimeInjectLowPrio with Serializable
object Selector extends Serializable
object Split extends Serializable
object Take extends Serializable
object ToHList extends Serializable
object Unifier extends Serializable
object ZipConst extends Serializable
object ZipWith extends Serializable
object ZipWithIndex extends Serializable
object ZipWithKeys extends Serializable
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
implicit object cnilOrdering extends Ordering[CNil]
implicit def coproductPartialOrdering[H, T <: Coproduct](implicit ordering: Ordering[H], partialOrdering: PartialOrdering[T]): PartialOrdering[:+:[H, T]]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package ops

object coproduct

Type Members

trait Align[A <: Coproduct, B <: Coproduct] extends (A) ⇒ B with Serializable

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

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

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

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

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

trait EitherToCoproductLowPrio extends AnyRef

trait ExtendBy[L <: Coproduct, R <: Coproduct] extends Serializable

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

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

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

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

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

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

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

trait InitLast[C <: Coproduct] extends Serializable

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

trait IsCCons[C <: Coproduct] extends Serializable

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

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

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

trait LowPriorityPrepend extends LowestPriorityPrepend

trait LowPriorityRemove extends AnyRef

trait LowPriorityRemoveLast extends AnyRef

trait LowPriorityRotateLeft extends AnyRef

trait LowPriorityRotateRight extends AnyRef

trait LowestPriorityPrepend extends AnyRef

trait Mapper[F <: Poly, C <: Coproduct] extends DepFn1[C] with Serializable

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

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

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

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

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

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

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

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

trait RuntimeInject[C <: Coproduct] extends Serializable

trait RuntimeInjectLowPrio extends AnyRef

trait Selector[C <: Coproduct, T] extends Serializable

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

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

trait ToHList[L <: Coproduct] extends Serializable

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

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

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

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

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

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Align extends Serializable

object At extends Serializable

object Basis extends Serializable

object CoproductToEither extends Serializable

object Drop extends Serializable

object EitherToCoproduct extends EitherToCoproductLowPrio with Serializable

object ExtendBy extends Serializable

object ExtendLeftBy extends Serializable

object ExtendRight extends Serializable

object ExtendRightBy extends Serializable

object Filter extends Serializable

object FilterNot extends Serializable

object FlatMap extends Serializable

object Folder extends Serializable

object InitLast extends Serializable

object Inject extends Serializable

object IsCCons extends Serializable

object LeftFolder extends Serializable

object Length extends Serializable

object LiftAll

object Mapper extends Serializable

object Partition extends Serializable

object Prepend extends LowPriorityPrepend with Serializable

object Reify extends Serializable

object Remove extends LowPriorityRemove with Serializable