test
test
nyaya.test
DefaultSettings
Domain
Domain
Mapped
OptionT
Disjunction
Pair
OverSeq
IntoSeq
DomainExt
Executor
DataCtx
Executor
GenExt
PTest
BatchSize
ParallelExecutor
ParallelExecutor
PropExt
PropTest
PropTestOps
PropTestOps
Result
Result
Success
Satisfied
Proved
Failure
Falsified
Error
RunState
RunState
SampleSize
Samples
Settings
Settings
SingleThreadedExecutor
test
/
nyaya.test
/
Domain
Domain
trait
Domain
[A]
Companion
object
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
class
Mapped
[
A
,
B
]
class
OptionT
[
A
]
class
Disjunction
[
A
,
B
]
class
Pair
[
A
,
B
]
class
OverSeq
[
A
]
class
IntoSeq
[
S
,
A
]
Value members
Value members
Abstract methods
def
apply
(i:
Int
):
A
Concrete methods
def
***
[B](b:
Domain
[B]):
Domain
[(
A
, B)]
def
+++
[B](b:
Domain
[B]):
Domain
[
A
\/
B]
def
array
(s:
Int
)(t:
ClassTag
[
A
]):
Domain
[
Array
[
A
]]
def
array
(r:
Range
)(t:
ClassTag
[
A
]):
Domain
[
Array
[
A
]]
def
either
[B](b:
Domain
[B]):
Domain
[
Either
[
A
, B]]
def
iterator
:
Iterator
[
A
]
def
list
(s:
Int
):
Domain
[
List
[
A
]]
def
list
(r:
Range
):
Domain
[
List
[
A
]]
def
map
[B](f:
A
=> B):
Domain
[B]
def
option
:
Domain
[
Option
[
A
]]
def
pair
:
Domain
[(
A
,
A
)]
def
seq
[S[_]](r:
Range
)(c:
Factory
[
A
, S[
A
]]):
Domain
[S[
A
]]
def
subst
[B >:
A
]:
Domain
[B]
def
triple
:
Domain
[(
A
,
A
,
A
)]
def
vector
(s:
Int
):
Domain
[
Vector
[
A
]]
def
vector
(r:
Range
):
Domain
[
Vector
[
A
]]
Abstract fields
val
size
:
Int