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
Result
object
Result
Companion
class
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Type members
Value members
Type members
Classlikes
final case
class
Error
[+A](a:
Option
[
A
], error:
Throwable
) extends
Failure
[
A
]
sealed abstract
class
Failure
[+A] extends
Result
[
A
]
final case
class
Falsified
[+A](a:
A
, eval:
Eval
) extends
Failure
[
A
]
case
object
Proved
extends
Success
case
object
Satisfied
extends
Success
sealed abstract
class
Success
extends
Result
[
Nothing
]
Value members
Concrete methods
def
apply
[A](a: A, e:
Eval
):
Result
[A]