scalacheck-effect
scalacheck-effect
org.scalacheck.effect
PropF
PropF
Result
scalacheck-effect
/
org.scalacheck.effect
/
PropF
/
Result
Result
case
class
Result
[F[_]](status:
Status
, args:
List
[
Arg
[
Any
]], collected:
Set
[
Any
], labels:
Set
[
String
])(implicit F:
MonadError
[
F
,
Throwable
]) extends
PropF
[
F
]
Graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
trait
PropF
[
F
]
class
Object
trait
Matchable
class
Any
Value members
Implicits
Value members
Concrete methods
def
failure
:
Boolean
Inherited methods
def
check
(testParams:
Parameters
, genParams:
Parameters
):
F
[
Result
]
Checks this property.
Checks this property.
Inherited from
PropF
def
checkOne
(params:
Parameters
):
F
[
Result
[
F
]]
Checks a single sample.
Checks a single sample.
Inherited from
PropF
def
flatMap
(f:
Result
[
F
] =>
PropF
[
F
]):
PropF
[
F
]
Inherited from
PropF
def
map
(f:
Result
[
F
] =>
Result
[
F
]):
PropF
[
F
]
Inherited from
PropF
def
productElementNames
:
Iterator
[
String
]
Inherited from
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from
Product
Implicits
Implicits
implicit
val
F
:
MonadError
[
F
,
Throwable
]