org.scalacheck.effect
package org.scalacheck.effect
Type members
Classlikes
An effectful property.
Effectful properties are ones in which each sample evaluates in a type constructor.
That is, instead of directly computing a result from a single sample of generated values,
the result is computed in some effect
A property which computes in an effect
That is, instead of directly computing a result from a single sample of generated values,
the result is computed in some effect
F[_]
-- e.g., cats.effect.IO
or scala.concurrent.Future
.A property which computes in an effect
F[_]
has the type PropF[F]
.PropF[F]
instances can be constructed for any effect which has a MonadError[F, Throwable]
instance.The most common way to construct
the
the result of a single sample,
are treated as falsifications.
PropF[F]
values is by using one of the forAllF
methods onthe
PropF
companion. These are analogous to Prop.forAll
from ScalaCheck. When computingthe result of a single sample,
F[Unit]
values are treated as successes and any exceptions thrownare treated as falsifications.
- Companion
- object