test/nyaya.test/PropExt

PropExt

final class PropExt[A](p: Prop[A]) extends AnyVal
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def mustBeProvedBy(d: Domain[A])(S: Settings): Unit
def mustBeProvedBy_[B <: A](d: Domain[B])(S: Settings): Unit
def mustBeSatisfiedBy(g: Gen[A])(S: Settings): Unit
def mustBeSatisfiedBy_[B <: A](g: Gen[B])(S: Settings): Unit