Union

Provides a facility for specifying unboxed union types of arbitrary ordinality in the Scala type system.

This clever technique was proposed by Miles Sabin: http://chuusai.com/2011/06/09/scala-union-types-curry-howard

Usage:

Example:

import com.gensler.scalavro.util.Union._

type UnionISB = union [Int] #or [String] #or [Boolean]

def unionPrint[T : prove [UnionISB] #containsType](t: T) =
  t match {
    case i: Int     => println(i)
    case s: String  => println(s)
    case b: Boolean => println(b)
  }

unionPrint(true) // "true"
unionPrint(55)   // 55

Linear Supertypes

UnionTypeHelpers, AnyRef, Any

Type Members

trait Disjunction[A] extends AnyRef

Definition Classes
UnionTypeHelpers
sealed trait not[-A] extends AnyRef

Definition Classes
UnionTypeHelpers
type prove[U] = AnyRef { type containsType[X] = <:<[com.gensler.scalavro.util.Union.not[com.gensler.scalavro.util.Union.not[X]],U] }
type union[A] = AnyRef { ... /* 2 definitions in type refinement */ }

Value Members

final def !=(arg0: AnyRef): Boolean

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

Definition Classes
Any
final def ##(): Int

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

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

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def combine[C, T](implicit arg0: scala.reflect.api.JavaUniverse.TypeTag[C], arg1: scala.reflect.api.JavaUniverse.TypeTag[T]): Union[not[C with not[T]]]

Returns a new Union constructed from a conjunction of Union.
INTERNAL API
Returns a new Union constructed from a conjunction of Union.not[_] types and an additional type to add to the conjunction.
Given C = not[A] with not[B] and T, this method returns a Union wrapping the equivalent of union[A] #or [B] #or [T].
A TypeTag describing the conjunction of negations unwrapped from the underlying union type is readily available via its underlyingConjunctionTag method.
Usage:
```
val binaryUnion = new Union[union [Int] #or [String]]

val ternaryUnion = Union.combine(
  binaryUnion.underlyingConjunctionTag,
  typeTag[Boolean]
)

ternaryUnion.typeMembers // yields Vector(Int, String, Boolean)
```
C
the starting conjunction of negations
T
the type to add to the conjunction before negation

Attributes
protected[com.gensler.scalavro]
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
def unary[T](implicit arg0: scala.reflect.api.JavaUniverse.TypeTag[T]): Union[not[not[T]]]

Constructs a new unary union instance with the supplied type as its only member type.
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( ... )

object Union extends UnionTypeHelpers

Type Members

trait Disjunction[A] extends AnyRef

sealed trait not[-A] extends AnyRef

type prove[U] = AnyRef { type containsType[X] = <:<[com.gensler.scalavro.util.Union.not[com.gensler.scalavro.util.Union.not[X]],U] }

type union[A] = AnyRef { ... /* 2 definitions in type refinement */ }

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def combine[C, T](implicit arg0: scala.reflect.api.JavaUniverse.TypeTag[C], arg1: scala.reflect.api.JavaUniverse.TypeTag[T]): Union[not[C with not[T]]]

INTERNAL API

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

def unary[T](implicit arg0: scala.reflect.api.JavaUniverse.TypeTag[T]): Union[not[not[T]]]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from UnionTypeHelpers

Inherited from AnyRef

Inherited from Any

Ungrouped