test
test
nyaya.test
DefaultSettings
Domain
Domain
Mapped
OptionT
Disjunction
Pair
OverSeq
IntoSeq
DomainExt
Executor
DataCtx
Executor
GenExt
PTest
BatchSize
PropExt
PropTest
PropTestOps
PropTestOps
Result
Result
Success
Satisfied
Proved
Failure
Falsified
Error
RunState
RunState
SampleSize
Samples
Settings
Settings
SingleThreadedExecutor
test
/
nyaya.test
/
PropTestOps
PropTestOps
object
PropTestOps
extends
PropTestOps
Companion
class
Graph
Supertypes
trait
PropTestOps
class
Object
trait
Matchable
class
Any
Value members
Implicits
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
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