scalacheck-effect/org.scalacheck.effect/PropF

PropF

object PropF
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

case class Result[F[_]](status: Status, args: List[Arg[Any]], collected: Set[Any], labels: Set[String])(implicit F: MonadError[F, Throwable]) extends PropF[F]

Value members

Concrete methods

def apply[F[_]](f: Parameters => PropF[F])(implicit F: MonadError[F, Throwable]): PropF[F]
def boolean[F[_]](b: Boolean)(implicit F: MonadError[F, Throwable]): PropF[F]
def exception[F[_]](t: Throwable)(implicit F: MonadError[F, Throwable]): PropF[F]
def falsified[F[_]](implicit F: MonadError[F, Throwable]): PropF[F]
def forAllF[F[_], T1, P](g1: Gen[T1])(f: T1 => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, P](g1: Gen[T1], g2: Gen[T2])(f: (T1, T2) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3])(f: (T1, T2, T3) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, T4, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4])(f: (T1, T2, T3, T4) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty, s4: Shrink[T4], pp4: T4 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, T4, T5, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5])(f: (T1, T2, T3, T4, T5) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty, s4: Shrink[T4], pp4: T4 => Pretty, s5: Shrink[T5], pp5: T5 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, T4, T5, T6, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6])(f: (T1, T2, T3, T4, T5, T6) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty, s4: Shrink[T4], pp4: T4 => Pretty, s5: Shrink[T5], pp5: T5 => Pretty, s6: Shrink[T6], pp6: T6 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, T4, T5, T6, T7, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7])(f: (T1, T2, T3, T4, T5, T6, T7) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty, s4: Shrink[T4], pp4: T4 => Pretty, s5: Shrink[T5], pp5: T5 => Pretty, s6: Shrink[T6], pp6: T6 => Pretty, s7: Shrink[T7], pp7: T7 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, T4, T5, T6, T7, T8, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7], g8: Gen[T8])(f: (T1, T2, T3, T4, T5, T6, T7, T8) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], s1: Shrink[T1], pp1: T1 => Pretty, s2: Shrink[T2], pp2: T2 => Pretty, s3: Shrink[T3], pp3: T3 => Pretty, s4: Shrink[T4], pp4: T4 => Pretty, s5: Shrink[T5], pp5: T5 => Pretty, s6: Shrink[T6], pp6: T6 => Pretty, s7: Shrink[T7], pp7: T7 => Pretty, s8: Shrink[T8], pp8: T8 => Pretty): PropF[F]
def forAllF[F[_], T1, P](f: T1 => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, P](f: (T1, T2) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, P](f: (T1, T2, T3) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, T4, P](f: (T1, T2, T3, T4) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], s4: Shrink[T4], pp4: T4 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, T4, T5, P](f: (T1, T2, T3, T4, T5) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], s4: Shrink[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], s5: Shrink[T5], pp5: T5 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, T4, T5, T6, P](f: (T1, T2, T3, T4, T5, T6) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], s4: Shrink[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], s5: Shrink[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], s6: Shrink[T6], pp6: T6 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, T4, T5, T6, T7, P](f: (T1, T2, T3, T4, T5, T6, T7) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], s4: Shrink[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], s5: Shrink[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], s6: Shrink[T6], pp6: T6 => Pretty, a7: Arbitrary[T7], s7: Shrink[T7], pp7: T7 => Pretty): PropF[F]
def forAllF[F[_], T1, T2, T3, T4, T5, T6, T7, T8, P](f: (T1, T2, T3, T4, T5, T6, T7, T8) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], s1: Shrink[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], s2: Shrink[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], s3: Shrink[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], s4: Shrink[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], s5: Shrink[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], s6: Shrink[T6], pp6: T6 => Pretty, a7: Arbitrary[T7], s7: Shrink[T7], pp7: T7 => Pretty, a8: Arbitrary[T8], s8: Shrink[T8], pp8: T8 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, P](g1: Gen[T1])(f: T1 => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, P](f: T1 => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, P](g1: Gen[T1], g2: Gen[T2])(f: (T1, T2) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, P](f: (T1, T2) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3])(f: (T1, T2, T3) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, P](f: (T1, T2, T3) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, T4, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4])(f: (T1, T2, T3, T4) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty, pp4: T4 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, T4, P](f: (T1, T2, T3, T4) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], pp4: T4 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, T4, T5, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5])(f: (T1, T2, T3, T4, T5) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty, pp4: T4 => Pretty, pp5: T5 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, T4, T5, P](f: (T1, T2, T3, T4, T5) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], pp5: T5 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, T4, T5, T6, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6])(f: (T1, T2, T3, T4, T5, T6) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty, pp4: T4 => Pretty, pp5: T5 => Pretty, pp6: T6 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, T4, T5, T6, P](f: (T1, T2, T3, T4, T5, T6) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], pp6: T6 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, T4, T5, T6, T7, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7])(f: (T1, T2, T3, T4, T5, T6, T7) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty, pp4: T4 => Pretty, pp5: T5 => Pretty, pp6: T6 => Pretty, pp7: T7 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, T4, T5, T6, T7, P](f: (T1, T2, T3, T4, T5, T6, T7) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], pp6: T6 => Pretty, a7: Arbitrary[T7], pp7: T7 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, T4, T5, T6, T7, T8, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7], g8: Gen[T8])(f: (T1, T2, T3, T4, T5, T6, T7, T8) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], pp1: T1 => Pretty, pp2: T2 => Pretty, pp3: T3 => Pretty, pp4: T4 => Pretty, pp5: T5 => Pretty, pp6: T6 => Pretty, pp7: T7 => Pretty, pp8: T8 => Pretty): PropF[F]
def forAllNoShrinkF[F[_], T1, T2, T3, T4, T5, T6, T7, T8, P](f: (T1, T2, T3, T4, T5, T6, T7, T8) => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], a1: Arbitrary[T1], pp1: T1 => Pretty, a2: Arbitrary[T2], pp2: T2 => Pretty, a3: Arbitrary[T3], pp3: T3 => Pretty, a4: Arbitrary[T4], pp4: T4 => Pretty, a5: Arbitrary[T5], pp5: T5 => Pretty, a6: Arbitrary[T6], pp6: T6 => Pretty, a7: Arbitrary[T7], pp7: T7 => Pretty, a8: Arbitrary[T8], pp8: T8 => Pretty): PropF[F]
def forAllShrinkF[F[_], T, P](gen: Gen[T], shrink: T => Stream[T])(f: T => P)(implicit toProp: P => PropF[F], F: MonadError[F, Throwable], pp: T => Pretty): PropF[F]
def passed[F[_]](implicit F: MonadError[F, Throwable]): PropF[F]
def proved[F[_]](implicit F: MonadError[F, Throwable]): PropF[F]
def status[F[_]](status: Status)(implicit F: MonadError[F, Throwable]): PropF[F]
def undecided[F[_]](implicit F: MonadError[F, Throwable]): PropF[F]

Implicits

Implicits

implicit def effectOfPropFToPropF[F[_]](fa: F[PropF[F]])(implicit F: MonadError[F, Throwable]): PropF[F]
implicit def effectOfUnitToPropF[F[_]](fu: F[Unit])(implicit F: MonadError[F, Throwable]): PropF[F]