kiama 0.9.0 API
kiama.example.lambda

trait Evaluator
[source: kiama/example/lambda/Evaluator.scala]
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.
Direct Known Subclasses:
TestBase, Lambda
Value Summary
val normal : Strategy
Normal-order reduction
val xgc_reduction : Strategy
\xgc-reduction
Values and Variables inherited from Rewriter
failure, id, eq, equal, issubterm, ispropersubterm, issuperterm, ispropersuperterm, isleaf, isinnernode
Method Summary
def fv (t : Exp) : scala.collection.immutable.Set[java.lang.String]
Free variables
Methods inherited from Rewriter
strategyf, strategy, rulef, rule, termToStrategy, queryf, query, term, para, child, all, one, some, rewrite, collects, collectl, count, attempt, repeat, repeat, repeat, repeat1, repeat1, repeatuntil, loop, loopnot, doloop, loopiter, loopiter, not, where, test, breadthfirst, topdown, topdownS, bottomup, bottomupS, downup, downup, downupS, downupS, dontstop, oncetd, oncebu, sometd, somebu, outermost, innermost, innermost2, reduce, alltd, alldownup2, alltdfold, somedownup, manybu, manytd, leaves, leaves, everywherebu, everywheretd, restore, restorealways, lastly, ior, or, and
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
val xgc_reduction : Strategy
\xgc-reduction
val normal : Strategy
Normal-order reduction
Method Details
def fv(t : Exp) : scala.collection.immutable.Set[java.lang.String]
Free variables
kiama 0.9.0 API