object AST in kiama.example.lambda

kiama.example.lambda

object AST

[source: kiama/example/lambda/AST.scala]

object AST: extends AnyRef

A simple lambda calculus.

Type Summary
`type`	Idn Identifiers are represented as strings.

Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized

Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf

Class Summary
`case class`	App (`val` l : Exp, `val` r : Exp) `extends` Exp Application of l to r.
`abstract class`	Exp `extends` scala.Product Expressions.
`case class`	Lam (`val` x : java.lang.String, `val` e : Exp) `extends` Exp Lambda expressions binding x within e.
`case class`	Num (`val` i : Int) `extends` Exp Numeric expressions.
`case class`	Sub (`val` m : Exp, `val` x : java.lang.String, `val` n : Exp) `extends` Exp Substitution of n for x within m.
`case class`	Var (`val` x : java.lang.String) `extends` Exp Variable expressions.

Type Details

type Idn

Identifiers are represented as strings.