test/nyaya.test/PropTest

PropTest

object PropTest extends PropTestOps
class Object
trait Matchable
class Any

Value members

Inherited methods

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

Implicits

Implicits

Inherited implicits

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