trait Binders extends AbstractSyntax with Mappable

This component provides functionality for enforcing variable binding during parse-time.

When parsing simple languages, like Featherweight Scala, these parser combinators will fully enforce the binding discipline. When names are allowed to be left unqualified, these mechanisms would have to be complemented by an extra phase that resolves names that couldn't be resolved using the naive binding rules. (Maybe some machinery to model implicit' binders (e.g., this' and imported qualifiers) and selection on a binder will suffice?)


  1. Mappable
  2. AbstractSyntax
  3. AnyRef
  4. Any

Type Members

  1. class BinderEnv extends AnyRef

    An environment that maps a NameElement' to the scope in which it is bound

  2. trait BindingSensitive extends AnyRef

  3. class BoundElement[boundElement <: NameElement](el: boundElement, scope: Scope[boundElement]) extends NameElement with Proxy with BindingSensitive with Product

    A BoundElement' is bound in a certain scope scope', which keeps track of the actual element thatel' stands for

  4. trait Element extends Positional

    The base class for elements of the abstract syntax tree

  5. trait Mappable[T] extends AnyRef

  6. trait Mapper extends AnyRef

  7. trait NameElement extends Element

    The base class for elements in the AST that represent names {@see Binders}

  8. trait ReturnAndDo[T] extends AnyRef

    Returns a given result, but executes the supplied closure before returning

  9. class Scope[binderType <: NameElement] extends Iterable[binderType]

    A Scope' keeps track of one or more syntactic elements that represent bound names

  10. class UnboundElement[N <: NameElement] extends NameElement

    A variable that escaped its scope (i

  11. class UnderBinder[binderType <: NameElement, elementT] extends Element with BindingSensitive

    Represents an element with variables that are bound in a certain scope

Value Members

  1. object EmptyBinderEnv extends BinderEnv

  2. def ListIsMappable[t](xs: List[t])(arg0: (t) ⇒ Mappable[t]): Mappable[List[t]]

  3. def NameElementIsMappable(self: NameElement): Mappable[NameElement]

  4. def OptionIsMappable[t](xs: Option[t])(arg0: (t) ⇒ Mappable[t]): Mappable[Option[t]]

  5. def ScopeIsMappable[bt <: NameElement](scope: Scope[bt])(arg0: (bt) ⇒ Mappable[bt]): Mappable[Scope[bt]]

  6. def StringIsMappable(s: String): Mappable[String]

  7. object UnderBinder extends AnyRef

  8. def UnderBinderIsMappable[bt <: NameElement, st](ub: UnderBinder[bt, st])(arg0: (bt) ⇒ Mappable[bt], arg1: (st) ⇒ Mappable[st]): Mappable[UnderBinder[bt, st]]

  9. def UserNameElementIsMappable[t <: NameElement](self: t): Mappable[t]

  10. def equals(arg0: Any): Boolean

    This method is used to compare the receiver object (this) with the argument object (arg0) for equivalence

    This method is used to compare the receiver object (this) with the argument object (arg0) for equivalence.

    The default implementations of this method is an equivalence relation:

    • It is reflexive: for any instance x of type Any, x.equals(x) should return true.
    • It is symmetric: for any instances x and y of type Any, x.equals(y) should return true if and only if y.equals(x) returns true.
    • It is transitive: for any instances x, y, and z of type AnyRef if x.equals(y) returns true and y.equals(z) returns true, then x.equals(z) should return true.

    If you override this method, you should verify that your implementation remains an equivalence relation. Additionally, when overriding this method it is often necessary to override hashCode to ensure that objects that are "equal" (o1.equals(o2) returns true) hash to the same Int (o1.hashCode.equals(o2.hashCode)).


    the object to compare against this object for equality.


    true if the receiver object is equivalent to the argument; false otherwise.

    definition classes: AnyRef ⇐ Any
  11. def hashCode(): Int

    Returns a hash code value for the object

    Returns a hash code value for the object.

    The default hashing algorithm is platform dependent.

    Note that it is allowed for two objects to have identical hash codes (o1.hashCode.equals(o2.hashCode)) yet not be equal (o1.equals(o2) returns false). A degenerate implementation could always return 0. However, it is required that if two objects are equal (o1.equals(o2) returns true) that they have identical hash codes (o1.hashCode.equals(o2.hashCode)). Therefore, when overriding this method, be sure to verify that the behavior is consistent with the equals method.

    definition classes: AnyRef ⇐ Any
  12. def return_[T](result: T): ReturnAndDo[T]

  13. def sequence[bt <: NameElement, st](orig: List[UnderBinder[bt, st]])(arg0: (st) ⇒ Mappable[st]): UnderBinder[bt, List[st]]

    If a list of UnderBinder's all have the same scope, they can be turned in to an UnderBinder containing a list of the elements in the original UnderBinder'

    If a list of UnderBinder's all have the same scope, they can be turned in to an UnderBinder containing a list of the elements in the original UnderBinder'.

    The name sequence' comes from the fact that this method's type is equal to the type of monadic sequence.

  14. def toString(): String

    Returns a string representation of the object

    Returns a string representation of the object.

    The default representation is platform dependent.

    definition classes: AnyRef ⇐ Any
  15. def unsequence[bt <: NameElement, st](orig: UnderBinder[bt, List[st]])(arg0: (st) ⇒ Mappable[st]): List[UnderBinder[bt, st]]