object LambdaTree

A simple lambda calculus abstract syntax.

Source
LambdaTree.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LambdaTree
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class AddOp () extends Op with Product with Serializable

    Primitive integer addition.

  2. case class App (e1: Exp, e2: Exp) extends Exp with Product with Serializable

    Application of l to r.

  3. case class Bind (i: Idn, e: Exp) extends Product with Serializable

    A single binding from a set of parallel bindings (Letp).

    A single binding from a set of parallel bindings (Letp). No type information because these bindings are only used inside the parallel evaluation mechanisms.

  4. sealed abstract class Exp extends TreeNode

    Expressions.

  5. case class FunType (t1: Type, t2: Type) extends Type with Product with Serializable

    Function type from an argument type arg to a result type res.

  6. type Idn = String

    Identifiers are represented as strings.

  7. case class IntType () extends Type with Product with Serializable

    Primitive integer type.

  8. case class Lam (i: Idn, t: Type, e: Exp) extends Exp with Product with Serializable

    Lambda expressions binding name of type tipe within body.

  9. case class Let (i: Idn, t: Type, e1: Exp, e2: Exp) extends Exp with Product with Serializable

    Bind name of type tipe to the value of exp in body.

  10. case class Letp (bs: Seq[Bind], e: Exp) extends Exp with Product with Serializable

    Parallel bindings in body.

  11. case class NoType () extends Type with Product with Serializable

    No type has been specified.

  12. case class Num (n: Int) extends Exp with Product with Serializable

    Numeric expressions.

  13. sealed abstract class Op extends AnyRef

    Primitive binary operators.

  14. case class Opn (e1: Exp, o: Op, e2: Exp) extends Exp with Product with Serializable

    An application of a primitive binary operation.

  15. case class SubOp () extends Op with Product with Serializable

    Primitive integer subtraction.

  16. sealed abstract class Type extends TreeNode

    Types.

  17. case class UnknownType () extends Type with Product with Serializable

    The entity cannot be typed.

  18. case class Var (i: Idn) extends Exp with Product with Serializable

    Variable expressions.

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def App(s1: ⇒ Strategy, s2: ⇒ Strategy): Strategy
  5. def Bind(s1: ⇒ Strategy, s2: ⇒ Strategy): Strategy
  6. def Lam(s1: ⇒ Strategy, s2: ⇒ Strategy, s3: ⇒ Strategy): Strategy
  7. def Let(s1: ⇒ Strategy, s2: ⇒ Strategy, s3: ⇒ Strategy, s4: ⇒ Strategy): Strategy
  8. def Letp(s1: ⇒ Strategy, s2: ⇒ Strategy): Strategy
  9. def Opn(s1: ⇒ Strategy, s2: ⇒ Strategy, s3: ⇒ Strategy): Strategy
  10. def Var(s1: ⇒ Strategy): Strategy
  11. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  12. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  13. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  15. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  18. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def notify(): Unit
    Definition Classes
    AnyRef
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  22. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  23. def toString(): String
    Definition Classes
    AnyRef → Any
  24. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped