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
/
Disjunction
Disjunction
final
class
Disjunction
[A, B](a:
Domain
[
A
], b:
Domain
[
B
]) extends
Domain
[
A
\/
B
]
Graph
Supertypes
trait
Domain
[
A
\/
B
]
class
Object
trait
Matchable
class
Any
Value members
Value members
Concrete methods
override
def
apply
(i:
Int
):
A
\/
B
Definition Classes
Domain
Inherited methods
def
***
[B](b:
Domain
[B]):
Domain
[(
A
\/
B
, B)]
Inherited from
Domain
def
+++
[B](b:
Domain
[B]):
Domain
[
A
\/
B
\/
B]
Inherited from
Domain
def
array
(r:
Range
)(t:
ClassTag
[
A
\/
B
]):
Domain
[
Array
[
A
\/
B
]]
Inherited from
Domain
def
array
(s:
Int
)(t:
ClassTag
[
A
\/
B
]):
Domain
[
Array
[
A
\/
B
]]
Inherited from
Domain
def
either
[B](b:
Domain
[B]):
Domain
[
Either
[
A
\/
B
, B]]
Inherited from
Domain
def
iterator
:
Iterator
[
A
\/
B
]
Inherited from
Domain
def
list
(r:
Range
):
Domain
[
List
[
A
\/
B
]]
Inherited from
Domain
def
list
(s:
Int
):
Domain
[
List
[
A
\/
B
]]
Inherited from
Domain
def
map
[B](f:
A
\/
B
=> B):
Domain
[B]
Inherited from
Domain
def
option
:
Domain
[
Option
[
A
\/
B
]]
Inherited from
Domain
def
pair
:
Domain
[(
A
\/
B
,
A
\/
B
)]
Inherited from
Domain
def
seq
[S[_]](r:
Range
)(c:
Factory
[
A
\/
B
, S[
A
\/
B
]]):
Domain
[S[
A
\/
B
]]
Inherited from
Domain
def
subst
[B >:
A
\/
B
]:
Domain
[B]
Inherited from
Domain
def
triple
:
Domain
[(
A
\/
B
,
A
\/
B
,
A
\/
B
)]
Inherited from
Domain
def
vector
(r:
Range
):
Domain
[
Vector
[
A
\/
B
]]
Inherited from
Domain
def
vector
(s:
Int
):
Domain
[
Vector
[
A
\/
B
]]
Inherited from
Domain
Concrete fields
override
val
size
:
Int