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
object
Domain
Companion
class
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Type members
Value members
Implicits
Type members
Classlikes
final
class
Disjunction
[A, B](a:
Domain
[
A
], b:
Domain
[
B
]) extends
Domain
[
A
\/
B
]
final
class
IntoSeq
[S[_], A](a:
Domain
[
A
], r:
Range
)(c:
Factory
[
A
,
S
[
A
]]) extends
Domain
[
S
[
A
]]
final
class
Mapped
[A, B](u:
Domain
[
A
], f:
A
=>
B
) extends
Domain
[
B
]
final
class
OptionT
[A](u:
Domain
[
A
]) extends
Domain
[
Option
[
A
]]
final
class
OverSeq
[A](as:
IndexedSeq
[
A
]) extends
Domain
[
A
]
final
class
Pair
[A, B](a:
Domain
[
A
], b:
Domain
[
B
]) extends
Domain
[(
A
,
B
)]
Value members
Concrete methods
def
ofRange
(r:
Range
):
Domain
[
Int
]
def
ofRangeN
[A](r:
NumericRange
[A]):
Domain
[A]
def
ofValues
[A](as: A*):
Domain
[A]
Concrete fields
val
boolean
:
Domain
[
Boolean
]
lazy
val
byte
:
Domain
[
Byte
]
Implicits
Implicits
implicit
val
domainInstance
:
Functor
[[A] =>>
Domain
[A]]