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]
Source:
PropF.scala
trait Product
trait Equals
trait PropF[F]
class Object
trait Matchable
class Any

Value members

Concrete methods

Inherited methods

def check(testParams: Parameters, genParams: Parameters): F[Result]

Checks this property.

Checks this property.

Inherited from:
PropF
Source:
PropF.scala
def checkOne(params: Parameters): F[Result[F]]

Checks a single sample.

Checks a single sample.

Inherited from:
PropF
Source:
PropF.scala
def flatMap(f: Result[F] => PropF[F]): PropF[F]
Inherited from:
PropF
Source:
PropF.scala
def map(f: Result[F] => Result[F]): PropF[F]
Inherited from:
PropF
Source:
PropF.scala
def productIterator: Iterator[Any]
Inherited from:
Product

Implicits

Implicits

implicit val F: MonadError[F, Throwable]