test/nyaya.test/PropTestOps

PropTestOps

trait PropTestOps
Companion
object
class Object
trait Matchable
class Any
object PropTest

Value members

Concrete methods

def printPropFailureInfo[A](p: Prop[A], runs: Int, f: Failure[Any])(S: Settings): Unit
def proveProp[A](p: Prop[A], d: Domain[A])(S: Settings): Unit
def testProp[A](p: Prop[A], g: Gen[A])(S: Settings): Unit
def throwPropFailure[A](p: Prop[A], f: Failure[Any]): Nothing

Implicits

Implicits

@inline
implicit def autoToOpsDomainExt[A](d: Domain[A]): DomainExt[A]
@inline
implicit def autoToOpsGenExt[A](g: Gen[A]): GenExt[A]
@inline
implicit def autoToOpsPropExt[A](p: Prop[A]): PropExt[A]