Union

Instance Constructors

new Union(left: Node, right: Node, all: Boolean, leftGen: Symbol = new AnonSymbol(), rightGen: Symbol = new AnonSymbol())

Type Members

type Self = Union

Definition Classes
Union → SimplyTypedNode → Node

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
def +(other: String): String

Implicit information
This member is added by an implicit conversion from Union to StringAdd performed by method any2stringadd in scala.Predef.
Definition Classes
StringAdd
def ->[B](y: B): (Union, B)

Implicit information
This member is added by an implicit conversion from Union to ArrowAssoc[Union] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: AnyRef): Boolean

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

Definition Classes
Any
val all: Boolean
final def asInstanceOf[T0]: T0

Definition Classes
Any
def buildType: Type

Attributes
protected
Definition Classes
Union → SimplyTypedNode
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def ensuring(cond: (Union) ⇒ Boolean, msg: ⇒ Any): Union

Implicit information
This member is added by an implicit conversion from Union to Ensuring[Union] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (Union) ⇒ Boolean): Union

Implicit information
This member is added by an implicit conversion from Union to Ensuring[Union] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Union

Implicit information
This member is added by an implicit conversion from Union to Ensuring[Union] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): Union

Implicit information
This member is added by an implicit conversion from Union to Ensuring[Union] performed by method any2Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from Union to StringFormat performed by method any2stringfmt in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

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

Definition Classes
Any
val left: Node

Definition Classes
Union → BinaryNode
val leftGen: Symbol
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def nodeBuildTypedNode[T >: Union.this.type <: Node](newNode: T, newType: Type): T

Definition Classes
Node
def nodeChildNames: collection.Seq[String]

Names for the child nodes to show in AST dumps.
Names for the child nodes to show in AST dumps. Defaults to a numbered sequence starting at 0 but can be overridden by subclasses to produce more suitable names.

Definition Classes
Union → Node
lazy val nodeChildren: collection.Seq[Node]

Definition Classes
BinaryNode → Node
def nodeGenerators: collection.Seq[(Symbol, Node)]

Definition Classes
Union → DefNode
def nodeHasType: Boolean

Definition Classes
Node
final def nodeIntrinsicSymbol: IntrinsicSymbol

The intrinsic symbol that points to this Node object.
The intrinsic symbol that points to this Node object.

Definition Classes
Node
final def nodeMapChildren(f: (Node) ⇒ Node, keepType: Boolean = false): Self

Apply a mapping function to all children of this node and recreate the node with the new children.
Apply a mapping function to all children of this node and recreate the node with the new children. If all new children are identical to the old ones, this node is returned. If keepType is set to true, the type of this node is kept even if the children have changed.

Definition Classes
Node
final def nodeMapGenerators(f: (Symbol) ⇒ Symbol): Node

Definition Classes
DefNode
final def nodeMapScopedChildren(f: (Option[Symbol], Node) ⇒ Node): Self with DefNode

Definition Classes
DefNode
def nodePeekType: Type

Definition Classes
Node
def nodeRebuild(left: Node, right: Node): Union

Attributes
protected[this]
Definition Classes
Union → BinaryNode
final def nodeRebuild(ch: IndexedSeq[Node]): Self

Rebuild this node with a new list of children.
Rebuild this node with a new list of children. Implementations of this method *must not* perform any optimization to reuse the current node. This method always returns a fresh copy.

Attributes
protected[this]
Definition Classes
BinaryNode → Node
final def nodeRebuildOrThis(ch: IndexedSeq[Node]): Self

Rebuild this node with a new list of children unless all children are identical to the current ones.
Rebuild this node with a new list of children unless all children are identical to the current ones.

Attributes
protected[this]
Definition Classes
Node
def nodeRebuildWithGenerators(gen: IndexedSeq[Symbol]): Union

Attributes
protected[this]
Definition Classes
Union → DefNode
def nodeRebuildWithType(tpe: Type): Self

Definition Classes
Node
def nodeType: Type

The current type of this node
The current type of this node

Definition Classes
Node
final def nodeTyped(tpe: Type): Union.this.type

Return this Node with a Type assigned.
Return this Node with a Type assigned. This may only be called on freshly constructed nodes with no other existing references, i.e. creating the Node plus assigning it a Type must be atomic.

Definition Classes
Node
final def nodeTypedOrCopy(tpe: Type): Self

Return this Node with a Type assigned (if no other type has been seen for it yet) or a typed copy.
Return this Node with a Type assigned (if no other type has been seen for it yet) or a typed copy.

Definition Classes
Node
final def nodeUntypedOrCopy: Self

Return this Node with no Type assigned (if it's type has not been observed yet) or an untyped copy.
Return this Node with no Type assigned (if it's type has not been observed yet) or an untyped copy.

Definition Classes
Node
final def nodeWithComputedType(scope: SymbolScope = SymbolScope.empty, typeChildren: Boolean = false, retype: Boolean = false): Self

Rebuild this node and all children with their computed type.
Rebuild this node and all children with their computed type. If this node already has a type, the children are only type-checked again if typeChildren is set to true. if retype is also set to true, the existing type of this node is replaced. If this node does not yet have a type, the types of all children are computed.

Definition Classes
Node
final def nodeWithComputedType2(scope: SymbolScope, typeChildren: Boolean, retype: Boolean): Self

Definition Classes
SimplyTypedNode → Node
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val right: Node

Definition Classes
Union → BinaryNode
val rightGen: Symbol
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
Union → Node → 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( ... )
def →[B](y: B): (Union, B)

Implicit information
This member is added by an implicit conversion from Union to ArrowAssoc[Union] performed by method any2ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Shadowed Implicit Value Members

val self: Any
Implicit information
This member is added by an implicit conversion from Union to StringAdd performed by method any2stringadd in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(union: StringAdd).self
Definition Classes
StringAdd
val self: Any
Implicit information
This member is added by an implicit conversion from Union to StringFormat performed by method any2stringfmt in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(union: StringFormat).self
Definition Classes
StringFormat

Deprecated Value Members

def x: Union
Implicit information
This member is added by an implicit conversion from Union to ArrowAssoc[Union] performed by method any2ArrowAssoc in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(union: ArrowAssoc[Union]).x
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use leftOfArrow instead
def x: Union
Implicit information
This member is added by an implicit conversion from Union to Ensuring[Union] performed by method any2Ensuring in scala.Predef.
Shadowing
This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
To access this member you can use a type ascription:
(union: Ensuring[Union]).x
Definition Classes
Ensuring
Annotations
@deprecated
Deprecated
(Since version 2.10.0) Use resultOfEnsuring instead

final case class Union(left: Node, right: Node, all: Boolean, leftGen: Symbol = new AnonSymbol(), rightGen: Symbol = new AnonSymbol()) extends BinaryNode with DefNode with SimplyTypedNode with Product with Serializable

Instance Constructors

new Union(left: Node, right: Node, all: Boolean, leftGen: Symbol = new AnonSymbol(), rightGen: Symbol = new AnonSymbol())

Type Members

type Self = Union

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (Union, B)

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

val all: Boolean

final def asInstanceOf[T0]: T0

def buildType: Type

def clone(): AnyRef

def ensuring(cond: (Union) ⇒ Boolean, msg: ⇒ Any): Union

def ensuring(cond: (Union) ⇒ Boolean): Union

def ensuring(cond: Boolean, msg: ⇒ Any): Union

def ensuring(cond: Boolean): Union

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

val left: Node

val leftGen: Symbol

final def ne(arg0: AnyRef): Boolean

def nodeBuildTypedNode[T >: Union.this.type <: Node](newNode: T, newType: Type): T

def nodeChildNames: collection.Seq[String]

lazy val nodeChildren: collection.Seq[Node]

def nodeGenerators: collection.Seq[(Symbol, Node)]

def nodeHasType: Boolean

final def nodeIntrinsicSymbol: IntrinsicSymbol

final def nodeMapChildren(f: (Node) ⇒ Node, keepType: Boolean = false): Self

final def nodeMapGenerators(f: (Symbol) ⇒ Symbol): Node

final def nodeMapScopedChildren(f: (Option[Symbol], Node) ⇒ Node): Self with DefNode

def nodePeekType: Type

def nodeRebuild(left: Node, right: Node): Union

final def nodeRebuild(ch: IndexedSeq[Node]): Self

final def nodeRebuildOrThis(ch: IndexedSeq[Node]): Self

def nodeRebuildWithGenerators(gen: IndexedSeq[Symbol]): Union

def nodeRebuildWithType(tpe: Type): Self

def nodeType: Type

final def nodeTyped(tpe: Type): Union.this.type

final def nodeTypedOrCopy(tpe: Type): Self

final def nodeUntypedOrCopy: Self

final def nodeWithComputedType(scope: SymbolScope = SymbolScope.empty, typeChildren: Boolean = false, retype: Boolean = false): Self

final def nodeWithComputedType2(scope: SymbolScope, typeChildren: Boolean, retype: Boolean): Self

final def notify(): Unit

final def notifyAll(): Unit

val right: Node

val rightGen: Symbol

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def →[B](y: B): (Union, B)

Shadowed Implicit Value Members

val self: Any

val self: Any

Deprecated Value Members

def x: Union

def x: Union

Inherited from Serializable

Inherited from java.io.Serializable

Inherited from Product

Inherited from Equals

Inherited from SimplyTypedNode

Inherited from DefNode

Inherited from BinaryNode

Inherited from Node

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Union to StringAdd

Inherited by implicit conversion any2stringfmt from Union to StringFormat

Inherited by implicit conversion any2ArrowAssoc from Union to ArrowAssoc[Union]