GeneratingREPL

def generator : Arbitrary[T]

The generator to use to make values of type T.

def != (arg0: AnyRef): Boolean

def != (arg0: Any): Boolean

def ## (): Int

def == (arg0: AnyRef): Boolean

def == (arg0: Any): Boolean

def asInstanceOf [T0] : T0

def clone (): AnyRef

def eq (arg0: AnyRef): Boolean

def equals (arg0: Any): Boolean

def finalize (): Unit

def getClass (): java.lang.Class[_]

def hashCode (): Int

def isInstanceOf [T0] : Boolean

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

def ne (arg0: AnyRef): Boolean

def notify (): Unit

def notifyAll (): Unit

def process (t: T): Unit

Process a generated value.

def processline (line: String): Unit

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

def prompt (): String

Display a prompt.

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

Carry out setup processing for the REPL.

def synchronized [T0] (arg0: ⇒ T0): T0

def toString (): String

def wait (): Unit

def wait (arg0: Long, arg1: Int): Unit

def wait (arg0: Long): Unit