object LambdaGen in kiama.example.lambda

kiama.example.lambda

object LambdaGen

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

object LambdaGen: extends GeneratingREPL[Exp] with Generator

A read-eval-print loop for generating random expressions.

Values and Variables inherited from Generator
genNum, genIdn, genVar, genLeafExp

Method Summary
`def`	generator : org.scalacheck.Arbitrary[Exp] The generator to use to make values of type T.

Methods inherited from Generator
arbVar, genLamExp, genAppExp, genExp, arbExp

Methods inherited from GeneratingREPL
setup, prompt, processline, process

Methods inherited from REPL
main

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

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

Method Details

def generator : org.scalacheck.Arbitrary[Exp]

The generator to use to make values of type T.

Overrides: GeneratingREPL.generator