kiama 0.9.0 API

This document is the API specification for kiama 0.9.0 API

Class Summary
trait Evaluator extends Rewriter
Lambda calculus evaluator following Rose's \xgc, ie with explicit substitutions and garbage collection. See "Explicit Substitution - Tutorial and Survey, Kristoffer H. Rose, BRICS LS-96-3, October 1996.
trait Generator extends AnyRef
ScalaCheck generators for programs in the lambda language.
trait Parser extends CharPackratParsers with AnyRef
Parser to AST.
trait TestBase extends Parser with Generator with Evaluator
Basis for tests using the lambda calculus language. Includes access to the parser, generator and evaluator.
Object Summary
object AST extends AnyRef
A simple lambda calculus.
object Lambda extends ParsingREPL[Exp] with Parser with Evaluator
A read-eval-print loop for evaluation of lambda calculus expressions.
object LambdaGen extends GeneratingREPL[Exp] with Generator
A read-eval-print loop for generating random expressions.