kiama 0.9.0 API
kiama.example.lambda2

trait Reduce
[source: kiama/example/lambda2/Reduce.scala]
trait Reduce
extends RewritingEvaluator
Evaluation of lambda calculus using global beta reduction with meta-level substitution and arithmetic operations.
Direct Known Subclasses:
ReduceEvaluator, ReduceSubst
Value Summary
lazy val arithop : Strategy
lazy val beta : Strategy
lazy val evals : Strategy
The strategy to use to perform the evaluation.
Values and Variables inherited from Rewriter
failure, id, eq, equal, issubterm, ispropersubterm, issuperterm, ispropersuperterm, isleaf, isinnernode
Methods inherited from RewritingEvaluator
eval
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 Evaluator
reducesinlambdas, substitute
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
lazy val evals : Strategy
The strategy to use to perform the evaluation.
Overrides
RewritingEvaluator.evals
lazy val beta : Strategy
lazy val arithop : Strategy
kiama 0.9.0 API