CoproductOps

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. def adjoined(implicit adjoin: Adjoin[C]): ops.adjoin.Adjoin.Out

   Adjoins the elements of this Coproduct by flattening any Coproduct elements.

7. def align[K <: Coproduct](k: K)(implicit align: Align[C, K]): K

   Permutes this Coproduct into the same order as another Coproduct.

   Permutes this Coproduct into the same order as another Coproduct. Available only if both Coproducts have elements of the same types.

8. def align[K <: Coproduct](implicit align: Align[C, K]): K

   Permutes this Coproduct into the same order as another Coproduct.

   Permutes this Coproduct into the same order as another Coproduct. An explicit type argument must be supplied. Available only if both Coproducts have elements of the same types.

9. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

10. def at(n: Nat)(implicit at: At[C, N]): Option[A]

    Returns the nth element of this Coproduct.

    Returns the nth element of this Coproduct. Available only if there is evidence that this Coproduct has at least n elements.

11. def at[N <: Nat](implicit at: At[C, N]): Option[A]

    Returns the nth element of this Coproduct.

    Returns the nth element of this Coproduct. An explicit type must be provided. Available only if there is evidence that this Coproduct has at least n elements.

12. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

13. def deembed[Sub <: Coproduct](implicit basis: Basis[C, Sub]): Out

    De-embeds a sub-Coproduct from this Coproduct if possible.

14. def drop(n: Nat)(implicit drop: Drop[C, N]): Out

    Drops the first n elements of this Coproduct.

    Drops the first n elements of this Coproduct. Available only if there is evidence that this Coproduct has at least n elements.

15. def drop[N <: Nat](implicit drop: Drop[C, N]): Out

    Drops the first n elements of this Coproduct.

    Drops the first n elements of this Coproduct. An explicit type argument must be provided. Available only if there is evidence that this Coproduct has at least n elements.

16. def embed[Super <: Coproduct](implicit basis: Basis[Super, C]): Super

    Embeds this Coproduct into a "bigger" Coproduct if possible.

17. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

18. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

19. def extendLeft[T]: :+:[T, C]

    Extend this Coproduct on the left.

20. def extendLeftBy[K <: Coproduct](implicit extendLeftBy: ExtendLeftBy[K, C]): Out

    Extend this Coproduct on the left.

21. def extendRight[T](implicit extendRight: ExtendRight[C, T]): Out

    Extend this Coproduct on the right.

22. def extendRightBy[K <: Coproduct](implicit extendRightBy: ExtendRightBy[C, K]): Out

    Extend this Coproduct on the right.

23. def filter[U](implicit partition: Partition[C, U]): Option[Prefix]

    Returns all elements of type U of this Coproduct.

    Returns all elements of type U of this Coproduct. An explicit type argument must be provided.

24. def filterNot[U](implicit partition: Partition[C, U]): Option[Suffix]

    Returns all elements of type different than U of this Coproduct.

    Returns all elements of type different than U of this Coproduct. An explicit type argument must be provided.

25. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

26. def flatMap(op: Poly)(implicit flatMap: FlatMap[C, op.type]): Out

    Flatmaps a higher rank function across this Coproduct.

27. def fold(f: Poly)(implicit folder: Folder[f.type, C]): ops.coproduct.Folder.Out

    Computes a fold over this Coproduct using the higher ranked function f.

    Computes a fold over this Coproduct using the higher ranked function f. Available only if there is evidence f can be applied all the elements of this Coproduct.

28. def foldLeft[In](z: In)(op: Poly)(implicit folder: LeftFolder[C, In, op.type]): ops.coproduct.LeftFolder.Out

    Computes a left fold over this Coproduct using the polymorphic binary combining operator op.

29. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

30. def hashCode(): Int

    Definition Classes

    AnyRef → Any

31. def head(implicit cc: IsCCons[C]): Option[H]

    Returns the head of this Coproduct

32. def init(implicit il: InitLast[C]): Option[I]

    Returns all elements except the last

33. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

34. def last(implicit il: InitLast[C]): Option[L]

    Returns the last element of this 'Coproduct'

35. def length(implicit length: Length[C]): Out

    Compute the length of this Coproduct.

36. def map(f: Poly)(implicit mapper: Mapper[f.type, C]): Out

    Maps a higher rank function across this Coproduct.

37. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

38. final def notify(): Unit

    Definition Classes

    AnyRef

39. final def notifyAll(): Unit

    Definition Classes

    AnyRef

40. def partition[U](implicit partition: Partition[C, U]): Either[Prefix, Suffix]

41. def partitionC[U](implicit partition: Partition[C, U]): :+:[Prefix, :+:[Suffix, CNil]]

42. def removeElem[U](implicit remove: Remove[C, U]): Either[U, Rest]

    Returns the first element of type U of this Coproduct plus the remainder of the Coproduct.

    Returns the first element of type U of this Coproduct plus the remainder of the Coproduct. An explicit type argument must be provided. Available only if there is evidence that this Coproduct has an element of type U.

43. def removeElemC[U](implicit remove: Remove[C, U]): :+:[U, Rest]

    Returns the first element of type U of this Coproduct plus the remainder of the Coproduct.

    Returns the first element of type U of this Coproduct plus the remainder of the Coproduct. An explicit type argument must be provided. Available only if there is evidence that this Coproduct has an element of type U.

44. def reverse(implicit reverse: Reverse[C]): Out

    Reverses this Coproduct.

45. def rotateLeft(n: Nat)(implicit rotateLeft: RotateLeft[C, N]): Out

    Rotate this 'Coproduct' left by n

46. def rotateLeft[N <: Nat](implicit rotateLeft: RotateLeft[C, N]): Out

    Rotate this 'Coproduct' left by N.

    Rotate this 'Coproduct' left by N. An explicit type argument must be provided.

47. def rotateRight(n: Nat)(implicit rotateRight: RotateRight[C, N]): Out

    Rotate this 'Coproduct' right by n

48. def rotateRight[N <: Nat](implicit rotateRight: RotateRight[C, N]): Out

    Rotate this 'Coproduct' right by N.

    Rotate this 'Coproduct' right by N. An explicit type argument must be provided.

49. def select[T](implicit selector: Selector[C, T]): Option[T]

    Returns the first element of type U of this Coproduct.

    Returns the first element of type U of this Coproduct. An explicit type argument must be provided. Available only if there is evidence that this Coproduct has an element of type U.

50. def split(n: Nat)(implicit split: Split[C, N]): Out

    Splits this Coproduct at the nth element, returning the prefix and suffix as a pair.

    Splits this Coproduct at the nth element, returning the prefix and suffix as a pair. Available only if there is evidence that this Coproduct has at least n elements.

51. def split[N <: Nat](implicit split: Split[C, N]): Out

    Splits this Coproduct at the nth element, returning the prefix and suffix as a pair.

    Splits this Coproduct at the nth element, returning the prefix and suffix as a pair. An explicit type argument must be provided. Available only if there is evidence that this Coproduct has at least n elements.

52. def splitC(n: Nat)(implicit split: Split[C, N]): :+:[Left, :+:[Right, CNil]]

53. def splitC[N <: Nat](implicit split: Split[C, N]): :+:[Left, :+:[Right, CNil]]

54. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

55. def tail(implicit cc: IsCCons[C]): Option[T]

    Returns the tail of this Coproduct

56. def take(n: Nat)(implicit take: Take[C, N]): Out

    Takes the first n elements of this Coproduct.

    Takes the first n elements of this Coproduct. Available only if there is evidence that this Coproduct has at least n elements.

57. def take[N <: Nat](implicit take: Take[C, N]): Out

    Takes the first n elements of this Coproduct.

    Takes the first n elements of this Coproduct. An explicit type argument must be provided. Available only if there is evidence that this Coproduct has at least n elements.

58. def toString(): String

    Definition Classes

    AnyRef → Any

59. def unify(implicit unifier: Unifier[C]): ops.coproduct.Unifier.Out

    Returns an Coproduct typed as a repetition of the least upper bound of the types of the elements of this Coproduct.

60. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

61. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

62. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

63. def zipWithKeys[K <: HList](implicit zipWithKeys: ZipWithKeys[K, C]): Out

    Converts this Coproduct of values into a union with given keys.

    Converts this Coproduct of values into a union with given keys. A type argument must be provided.

64. def zipWithKeys[K <: HList](keys: K)(implicit zipWithKeys: ZipWithKeys[K, C]): Out

    Converts this Coproduct of values into a union with the provided keys.