test/nyaya.test/SingleThreadedExecutor

SingleThreadedExecutor

object SingleThreadedExecutor extends Executor
trait Executor
class Object
trait Matchable
class Any

Value members

Concrete methods

override def prove[A](p: Prop[A], d: Domain[A], S: Settings): RunState[A]
Definition Classes
override def run[A](p: Prop[A], g: () => A, S: Settings): RunState[A]
Definition Classes