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
/
Result
/
Satisfied
Satisfied
case
object
Satisfied
extends
Success
Graph
Supertypes
trait
Singleton
trait
Product
trait
Mirror
trait
Serializable
trait
Product
trait
Equals
class
Success
class
Result
[
Nothing
]
class
Object
trait
Matchable
class
Any
Type members
Value members
Type members
Inherited types
type
MirroredElemLabels
=
EmptyTuple
Inherited from
Singleton
type
MirroredElemTypes
=
EmptyTuple
Inherited from
Singleton
type
MirroredLabel
<:
String
The name of the type
The name of the type
Inherited from
Mirror
type
MirroredMonoType
=
Singleton
Inherited from
Singleton
type
MirroredType
=
Singleton
Inherited from
Singleton
Value members
Inherited methods
def
fromProduct
(p:
Product
):
MirroredMonoType
Inherited from
Singleton
def
productElementNames
:
Iterator
[
String
]
Inherited from
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from
Product
final override
def
success
:
Boolean
Definition Classes
Success
->
Result
Inherited from
Success