LambdaGen

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. implicit def arbExp: Arbitrary[Exp]

   Definition Classes

   Generator

7. implicit def arbVar: Arbitrary[Var]

   Definition Classes

   Generator

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws()

10. val emitter: Emitter

    Definition Classes

    StdoutEmitter

11. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

12. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

13. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    Definition Classes

    Generator

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

    Definition Classes

    Generator

16. val genIdn: Gen[String]

    Definition Classes

    Generator

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

    Definition Classes

    Generator

18. val genLeafExp: Gen[Exp with Product with Serializable]

    Definition Classes

    Generator

19. val genNum: Gen[Num]

    Definition Classes

    Generator

20. val genVar: Gen[Var]

    Definition Classes

    Generator

21. def generator: Arbitrary[Exp]

    The generator to use to make values of type T.

    The generator to use to make values of type T.

    Definition Classes

    LambdaGen → GeneratingREPLBase

22. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

23. def hashCode(): Int

    Definition Classes

    AnyRef → Any

24. val ignoreWhitespaceLines: Boolean

    Don't ignore whitespace lines since we are using them to indicate the generation command.

    Don't ignore whitespace lines since we are using them to indicate the generation command.

    Definition Classes

    GeneratingREPLBase → REPLBase

25. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

26. def main(args: Array[String]): Unit

    Definition Classes

    REPLBase

27. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

28. final def notify(): Unit

    Definition Classes

    AnyRef

29. final def notifyAll(): Unit

    Definition Classes

    AnyRef

30. def process(t: Exp): Unit

    Process a generated value.

    Process a generated value. Default: print it.

    Definition Classes

    GeneratingREPLBase

31. def processline(line: String): Unit

    Generate a new instance and print it, ignoring the input line.

    Generate a new instance and print it, ignoring the input line.

    Definition Classes

    GeneratingREPLBase → REPLBase

32. val prompt: String

    Display a prompt.

    Display a prompt.

    Definition Classes

    GeneratingREPLBase → REPLBase

33. def setup(args: Array[String]): Boolean

    Carry out setup processing for the REPL.

    Carry out setup processing for the REPL.

    Definition Classes

    GeneratingREPLBase → REPLBase

34. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

35. def toString(): String

    Definition Classes

    AnyRef → Any

36. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

37. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

38. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()