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

Linear Supertypes
Serializable, Serializable, DepFn1[C], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Split
  2. Serializable
  3. Serializable
  4. DepFn1
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract type Left <: Coproduct
  2. type Out = Either[Left, Right]
    Definition Classes
    Split → DepFn1
  3. abstract type Right <: Coproduct

Abstract Value Members

  1. abstract def apply(t: C): Out
    Definition Classes
    DepFn1

Concrete Value Members

  1. def coproduct(c: C): :+:[Left, :+:[Right, CNil]]