test
test
nyaya.test
DefaultSettings
Domain
Domain
Disjunction
IntoSeq
Mapped
OptionT
OverSeq
Pair
DomainExt
Executor
DataCtx
Executor
GenExt
PTest
BatchSize
PropExt
PropTest
PropTestOps
PropTestOps
Result
Result
Error
Failure
Falsified
Proved
Satisfied
Success
RunState
RunState
SampleSize
Samples
Settings
Settings
SingleThreadedExecutor
test
/
nyaya.test
/
PropExt
PropExt
final
class
PropExt
[
A
](
p:
Prop
[
A
])
extends
AnyVal
Graph
Supertypes
class
AnyVal
trait
Matchable
class
Any
Value members
Value members
Concrete methods
def
mustBeProvedBy
(
d:
Domain
[
A
])(
implicit
S:
Settings
):
Unit
def
mustBeProvedBy_
[
B
<:
A
](
d:
Domain
[
B
])(
implicit
S:
Settings
):
Unit
def
mustBeSatisfiedBy
(
g:
Gen
[
A
])(
implicit
S:
Settings
):
Unit
def
mustBeSatisfiedBy_
[
B
<:
A
](
g:
Gen
[
B
])(
implicit
S:
Settings
):
Unit