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]
trait Serializable
trait Product
trait Equals
trait PropF[F]
class Object
trait Matchable
class Any

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]