Pure

Instance Constructors

new Pure(value: Node, identity: TypeSymbol = new AnonTypeSymbol)

Type Members

type Self = Pure

Definition Classes
Pure → SimplyTypedNode → Node

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

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

Implicit information
This member is added by an implicit conversion from Pure to ArrowAssoc[Pure] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def :@(newType: 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 ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
final def buildCopy: Self

Build a copy of this node with the current children.
Build a copy of this node with the current children.

Attributes
protected[this]
Definition Classes
UnaryNode → Node
def buildType: CollectionType

Attributes
protected
Definition Classes
Pure → SimplyTypedNode
def child: Node

Definition Classes
Pure → UnaryNode
def childNames: 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
Pure → Node
lazy val children: ConstArray[Node]

All child nodes of this node.
All child nodes of this node. Must be implemented by subclasses.

Definition Classes
UnaryNode → Node
final def childrenForeach[R](f: (Node) ⇒ R): Unit

Apply a side-effecting function to all direct children from left to right.
Apply a side-effecting function to all direct children from left to right. Note that
```
n.childrenForeach(f)
```
is equivalent to
```
n.children.foreach(f)
```
but can be implemented more efficiently in Node subclasses. n.children.foreach(f) }}} implemented more efficiently in Node subclasses. n.childrenForeach(f) }}} implemented more efficiently in Node subclasses.
Definition Classes
UnaryNode → Node
def clone(): AnyRef

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

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

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

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

Implicit information
This member is added by an implicit conversion from Pure to Ensuring[Pure] performed by method Ensuring 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 Pure to StringFormat[Pure] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def getDumpInfo: DumpInfo

Return the name, main info, attribute info and named children
Return the name, main info, attribute info and named children

Definition Classes
Node → Dumpable
def hasType: Boolean

Check if this node has a type without marking the type as seen.
Check if this node has a type without marking the type as seen.

Definition Classes
Node
val identity: TypeSymbol

Definition Classes
Pure → TypeGenerator
final def infer(scope: Scope = Map.empty, typeChildren: 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 true. if retype is also 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 first.

Definition Classes
Node
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def mapChildren(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 true, the type of this node is kept even when the children have changed.

Definition Classes
UnaryNode → Node
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def nodeType: Type

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

Definition Classes
Node
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def peekType: Type

Get the current type of this node for debug output without marking it as seen.
Get the current type of this node for debug output without marking it as seen.

Attributes
protected[this]
Definition Classes
Node
def rebuild(child: Node): Pure

Attributes
protected[this]
Definition Classes
Pure → UnaryNode
final def rebuild(ch: ConstArray[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 reuse the current node. This method always returns a fresh copy.

Attributes
protected[this]
Definition Classes
UnaryNode → Node
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
final def toString(): String

Definition Classes
Node → AnyRef → Any
final def untyped: Self

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

Definition Classes
Node
val value: Node
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( ... )
final def withChildren(ch2: ConstArray[Node]): Self

Rebuild this node with new child nodes unless all children are identical to the current ones, in which case this node is returned.
Rebuild this node with new child nodes unless all children are identical to the current ones, in which case this node is returned.

Definition Classes
Node
final def withInferredType(scope: Scope, typeChildren: Boolean): Self

Definition Classes
SimplyTypedNode → Node
def →[B](y: B): (Pure, B)

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

Related Doc: package ast

final case class Pure(value: Node, identity: TypeSymbol = new AnonTypeSymbol) extends UnaryNode with SimplyTypedNode with TypeGenerator with Product with Serializable

Instance Constructors

new Pure(value: Node, identity: TypeSymbol = new AnonTypeSymbol)

Type Members

type Self = Pure

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

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

final def :@(newType: Type): Self

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

final def buildCopy: Self

def buildType: CollectionType

def child: Node

def childNames: Seq[String]

lazy val children: ConstArray[Node]

final def childrenForeach[R](f: (Node) ⇒ R): Unit

def clone(): AnyRef

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

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

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

def ensuring(cond: Boolean): Pure

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def getDumpInfo: DumpInfo

def hasType: Boolean

val identity: TypeSymbol

final def infer(scope: Scope = Map.empty, typeChildren: Boolean = false): Self

final def isInstanceOf[T0]: Boolean

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

final def ne(arg0: AnyRef): Boolean

def nodeType: Type

final def notify(): Unit

final def notifyAll(): Unit

def peekType: Type

def rebuild(child: Node): Pure

final def rebuild(ch: ConstArray[Node]): Self

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

final def toString(): String

final def untyped: Self

val value: Node

final def wait(): Unit

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

final def wait(arg0: Long): Unit

final def withChildren(ch2: ConstArray[Node]): Self

final def withInferredType(scope: Scope, typeChildren: Boolean): Self

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from TypeGenerator

Inherited from SimplyTypedNode

Inherited from UnaryNode

Inherited from Node

Inherited from Dumpable

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Pure to any2stringadd[Pure]

Inherited by implicit conversion StringFormat from Pure to StringFormat[Pure]

Inherited by implicit conversion Ensuring from Pure to Ensuring[Pure]

Inherited by implicit conversion ArrowAssoc from Pure to ArrowAssoc[Pure]

Ungrouped