Packages

final case class Bind(generator: TermSymbol, from: Node, select: Node) extends BinaryNode with DefNode with Product with Serializable

A .flatMap call of type (CollectionType(c, _), CollectionType(_, u)) => CollectionType(c, u).

Source
Node.scala
Linear Supertypes
Serializable, Product, Equals, DefNode, BinaryNode, Node, Dumpable, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Bind
  2. Serializable
  3. Product
  4. Equals
  5. DefNode
  6. BinaryNode
  7. Node
  8. Dumpable
  9. AnyRef
  10. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new Bind(generator: TermSymbol, from: Node, select: Node)

Type Members

  1. type Self = Bind
    Definition Classes
    Bind → Node

Value Members

  1. 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
  2. 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
    Bind → Node
  3. lazy val children: ConstArray[Node]

    All child nodes of this node.

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

    Definition Classes
    BinaryNode → Node
  4. 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.

    Definition Classes
    BinaryNode → Node
  5. val from: Node
  6. val generator: TermSymbol
  7. def generators: ConstArray[(TermSymbol, Node)]
    Definition Classes
    Bind → DefNode
  8. 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
    Bind → Node → Dumpable
  9. 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
  10. 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
  11. def left: Node
    Definition Classes
    Bind → BinaryNode
  12. 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
    BinaryNode → Node
  13. final def mapScopedChildren(f: (Option[TermSymbol], Node) => Node): Self with DefNode
    Definition Classes
    DefNode
  14. final def mapSymbols(f: (TermSymbol) => TermSymbol): Node
    Definition Classes
    DefNode
  15. def nodeType: Type

    The current type of this node.

    The current type of this node.

    Definition Classes
    Node
  16. def productElementNames: Iterator[String]
    Definition Classes
    Product
  17. def right: Node
    Definition Classes
    Bind → BinaryNode
  18. val select: Node
  19. def self: Bind
    Definition Classes
    Bind → Node
  20. final def toString(): String
    Definition Classes
    Node → AnyRef → Any
  21. 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
  22. 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
  23. def withInferredType(scope: Scope, typeChildren: Boolean): Self
    Definition Classes
    Bind → Node