trait Generator in kiama.example.lambda

kiama.example.lambda

trait Generator

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

trait Generator: extends AnyRef

ScalaCheck generators for programs in the lambda language.

Direct Known Subclasses:: TestBase, LambdaGen

Value Summary
`val`	genIdn : org.scalacheck.Gen[java.lang.String]
`val`	genLeafExp : org.scalacheck.Gen[Exp]
`val`	genNum : org.scalacheck.Gen[Num]
`val`	genVar : org.scalacheck.Gen[Var]

Method Summary
`implicit def`	arbExp : org.scalacheck.Arbitrary[Exp]
`implicit def`	arbVar : org.scalacheck.Arbitrary[Var]
`def`	genAppExp (sz : Int) : org.scalacheck.Gen[App]
`def`	genExp (sz : Int) : org.scalacheck.Gen[Exp]
`def`	genLamExp (sz : Int) : org.scalacheck.Gen[Lam]

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 genNum : org.scalacheck.Gen[Num]

val genIdn : org.scalacheck.Gen[java.lang.String]

val genVar : org.scalacheck.Gen[Var]

val genLeafExp : org.scalacheck.Gen[Exp]

Method Details

implicit def arbVar : org.scalacheck.Arbitrary[Var]

def genLamExp(sz : Int) : org.scalacheck.Gen[Lam]

def genAppExp(sz : Int) : org.scalacheck.Gen[App]

def genExp(sz : Int) : org.scalacheck.Gen[Exp]

implicit def arbExp : org.scalacheck.Arbitrary[Exp]