implicit final class UnionOps[A <: |[_, _]] extends AnyVal
Operations on union types.
- Alphabetic
- By Inheritance
- UnionOps
- AnyVal
- Any
- by from
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- All
Instance Constructors
- new UnionOps(self: A)
Value Members
- final def !=(arg0: scala.Any): Boolean
- Definition Classes
- Any
- final def ##(): Int
- Definition Classes
- Any
- def +(other: String): String
- def ->[B](y: B): (UnionOps[A], B)
- final def ==(arg0: scala.Any): Boolean
- Definition Classes
- Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def ensuring(cond: (UnionOps[A]) ⇒ Boolean, msg: ⇒ scala.Any): UnionOps[A]
- def ensuring(cond: (UnionOps[A]) ⇒ Boolean): UnionOps[A]
- def ensuring(cond: Boolean, msg: ⇒ scala.Any): UnionOps[A]
- def ensuring(cond: Boolean): UnionOps[A]
- def formatted(fmtstr: String): String
- def getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def merge[B](implicit ev: Evidence[A, B]): B
Explicitly merge a union type to a supertype (which might not be a union type itself).
Explicitly merge a union type to a supertype (which might not be a union type itself).
This needs evidence that
A <: B
. - val self: A
- def toString(): String
- Definition Classes
- Any
- def →[B](y: B): (UnionOps[A], B)