scalacheck 1.6 API
org.scalacheck

object Prop
[source: org/scalacheck/Prop.scala]
object Prop
extends AnyRef
Type Summary
type Args
type FM
Value Summary
lazy val falsified : Prop
lazy val passed : Prop
lazy val proved : Prop
lazy val undecided : Prop
Method Summary
def ==> (b : => Boolean, p : => Prop) : Prop
Implication
def =? [T](x : T, y : T)(implicit pp : (T) => Pretty) : Prop
def ?= [T](x : T, y : T)(implicit pp : (T) => Pretty) : Prop
def all (ps : Prop*) : Prop
Combines properties into one, which is true if and only if all the properties are true
def apply (f : (Params) => Result) : Prop
def apply (r : Result) : Prop
def atLeastOne (ps : Prop*) : Prop
Combines properties into one, which is true if at least one of the properties is true
def classify (c : => Boolean, ifTrue : Any, ifFalse : Any)(prop : Prop) : Prop
Collect data for presentation in test report
def classify (c : => Boolean, ifTrue : Any)(prop : Prop) : Prop
Collect data for presentation in test report
def collect [T](t : T)(prop : Prop) : Prop
Collect data for presentation in test report
def collect [T, P](f : (T) => P)(implicit view$3 : (P) => Prop) : (T) => Prop
Collect data for presentation in test report
def exception (e : java.lang.Throwable) : Prop
A property that denotes an exception
def exists [A, P](f : (A) => P)(implicit pv : (P) => Prop, implicit pp : (A) => Pretty, implicit aa : Arbitrary[A]) : Prop
Existential quantifier for an explicit generator.
def exists [A, P](g : Gen[A])(f : (A) => P)(implicit pv : (P) => Prop, implicit pp : (A) => Pretty) : Prop
Existential quantifier for an explicit generator.
implicit def extendedAny [T](x : => T)(implicit view$2 : (T) => Pretty) : ExtendedAny[T]
implicit def extendedBoolean (b : Boolean) : AnyRef
def forAll [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 p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty, implicit s4 : Shrink[T4], implicit pp4 : (T4) => Pretty, implicit s5 : Shrink[T5], implicit pp5 : (T5) => Pretty, implicit s6 : Shrink[T6], implicit pp6 : (T6) => Pretty, implicit s7 : Shrink[T7], implicit pp7 : (T7) => Pretty, implicit s8 : Shrink[T8], implicit pp8 : (T8) => Pretty) : Prop
Universal quantifier for eight explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll [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 p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty, implicit s4 : Shrink[T4], implicit pp4 : (T4) => Pretty, implicit s5 : Shrink[T5], implicit pp5 : (T5) => Pretty, implicit s6 : Shrink[T6], implicit pp6 : (T6) => Pretty, implicit s7 : Shrink[T7], implicit pp7 : (T7) => Pretty) : Prop
Universal quantifier for seven explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll [T1, P](g1 : Gen[T1])(f : (T1) => P)(implicit p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty) : Prop
Universal quantifier for an explicit generator. Shrinks failed arguments with the default shrink function for the type
def forAll [A1, A2, A3, A4, A5, A6, A7, A8, P](f : (A1, A2, A3, A4, A5, A6, A7, A8) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty, implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit pp4 : (A4) => Pretty, implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit pp5 : (A5) => Pretty, implicit a6 : Arbitrary[A6], implicit s6 : Shrink[A6], implicit pp6 : (A6) => Pretty, implicit a7 : Arbitrary[A7], implicit s7 : Shrink[A7], implicit pp7 : (A7) => Pretty, implicit a8 : Arbitrary[A8], implicit s8 : Shrink[A8], implicit pp8 : (A8) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll [A1, A2, A3, A4, A5, P](f : (A1, A2, A3, A4, A5) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty, implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit pp4 : (A4) => Pretty, implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit pp5 : (A5) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll [T1, T2, T3, P](g1 : Gen[T1], g2 : Gen[T2], g3 : Gen[T3])(f : (T1, T2, T3) => P)(implicit p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty) : Prop
Universal quantifier for three explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll [A1, A2, A3, P](f : (A1, A2, A3) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll [A1, A2, A3, A4, A5, A6, P](f : (A1, A2, A3, A4, A5, A6) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty, implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit pp4 : (A4) => Pretty, implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit pp5 : (A5) => Pretty, implicit a6 : Arbitrary[A6], implicit s6 : Shrink[A6], implicit pp6 : (A6) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll [A1, P](f : (A1) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll [A1, A2, A3, A4, P](f : (A1, A2, A3, A4) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty, implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit pp4 : (A4) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll [A1, A2, A3, A4, A5, A6, A7, P](f : (A1, A2, A3, A4, A5, A6, A7) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty, implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit pp4 : (A4) => Pretty, implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit pp5 : (A5) => Pretty, implicit a6 : Arbitrary[A6], implicit s6 : Shrink[A6], implicit pp6 : (A6) => Pretty, implicit a7 : Arbitrary[A7], implicit s7 : Shrink[A7], implicit pp7 : (A7) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll [A1, A2, P](f : (A1, A2) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll [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 p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty, implicit s4 : Shrink[T4], implicit pp4 : (T4) => Pretty, implicit s5 : Shrink[T5], implicit pp5 : (T5) => Pretty, implicit s6 : Shrink[T6], implicit pp6 : (T6) => Pretty) : Prop
Universal quantifier for six explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll [T1, T2, P](g1 : Gen[T1], g2 : Gen[T2])(f : (T1, T2) => P)(implicit p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty) : Prop
Universal quantifier for two explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll [T1, T2, T3, T4, P](g1 : Gen[T1], g2 : Gen[T2], g3 : Gen[T3], g4 : Gen[T4])(f : (T1, T2, T3, T4) => P)(implicit p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty, implicit s4 : Shrink[T4], implicit pp4 : (T4) => Pretty) : Prop
Universal quantifier for four explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll [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 p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty, implicit s4 : Shrink[T4], implicit pp4 : (T4) => Pretty, implicit s5 : Shrink[T5], implicit pp5 : (T5) => Pretty) : Prop
Universal quantifier for five explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAllNoShrink [T1, T2, T3, P](g1 : Gen[T1], g2 : Gen[T2], g3 : Gen[T3])(f : (T1, T2, T3) => P)(implicit p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty) : Prop
Universal quantifier for three explicit generators. Does not shrink failed test cases.
def forAllNoShrink [T1, T2, P](g1 : Gen[T1], g2 : Gen[T2])(f : (T1, T2) => P)(implicit p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty) : Prop
Universal quantifier for two explicit generators. Does not shrink failed test cases.
def forAllNoShrink [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 p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty, implicit pp4 : (T4) => Pretty, implicit pp5 : (T5) => Pretty) : Prop
Universal quantifier for five explicit generators. Does not shrink failed test cases.
def forAllNoShrink [T1, P](g1 : Gen[T1])(f : (T1) => P)(implicit pv : (P) => Prop, implicit pp1 : (T1) => Pretty) : Prop
Universal quantifier for an explicit generator. Does not shrink failed test cases.
def forAllNoShrink [T1, T2, T3, T4, P](g1 : Gen[T1], g2 : Gen[T2], g3 : Gen[T3], g4 : Gen[T4])(f : (T1, T2, T3, T4) => P)(implicit p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty, implicit pp4 : (T4) => Pretty) : Prop
Universal quantifier for four explicit generators. Does not shrink failed test cases.
def forAllNoShrink [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 p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty, implicit pp4 : (T4) => Pretty, implicit pp5 : (T5) => Pretty, implicit pp6 : (T6) => Pretty) : Prop
Universal quantifier for six explicit generators. Does not shrink failed test cases.
def forAllNoShrink [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 p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty, implicit pp4 : (T4) => Pretty, implicit pp5 : (T5) => Pretty, implicit pp6 : (T6) => Pretty, implicit pp7 : (T7) => Pretty, implicit pp8 : (T8) => Pretty) : Prop
Universal quantifier for eight explicit generators. Does not shrink failed test cases.
def forAllNoShrink [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 p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty, implicit pp4 : (T4) => Pretty, implicit pp5 : (T5) => Pretty, implicit pp6 : (T6) => Pretty, implicit pp7 : (T7) => Pretty) : Prop
Universal quantifier for seven explicit generators. Does not shrink failed test cases.
def forAllShrink [T, P](g : Gen[T], shrink : (T) => scala.Stream[T])(f : (T) => P)(implicit view$5 : (T) => Pretty, implicit view$6 : (P) => Prop) : Prop
Universal quantifier for an explicit generator. Shrinks failed arguments with the given shrink function
def iff [T](x : T, f : scala.PartialFunction[T, Prop]) : Prop
Property holds only if the given partial function is defined at x, and returns a property that holds
def imply [T](x : T, f : scala.PartialFunction[T, Prop]) : Prop
Implication with several conditions
def noneFailing [T](gs : scala.Seq[Gen[T]]) : Prop
A property that holds iff none of the given generators fails generating a value
implicit def propBoolean (b : Boolean) : Prop
def secure [P](p : => P)(implicit view$4 : (P) => Prop) : Prop
Wraps and protects a property
def sizedProp (f : (Int) => Prop) : Prop
A property that depends on the generator size
def someFailing [T](gs : scala.Seq[Gen[T]]) : Prop
A property that holds if at least one of the given generators fails generating a value
def throws [T <: java.lang.Throwable](x : => Any, c : java.lang.Class[T]) : Prop
A property that holds if the given statement throws an exception of the specified type
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Class Summary
sealed case class Exception (val e : java.lang.Throwable) extends Status with scala.Product
Evaluating the property raised an exception
class ExtendedAny [T](x : => T, implicit view$1 : (T) => Pretty) extends AnyRef
case class Params (val genPrms : Params, val freqMap : FreqMap) extends scala.Product
Property parameters
class Result (val status : Status, val args : scala.List, val collected : scala.collection.immutable.Set[Any], val labels : scala.collection.immutable.Set[java.lang.String]) extends AnyRef
The result of evaluating a property
sealed trait Status extends AnyRef
Object Summary
case object False extends Status with scala.Product
The property was false
case object Proof extends Status with scala.Product
The property was proved
object Result extends AnyRef
case object True extends Status with scala.Product
The property was true
case object Undecided extends Status with scala.Product
The property could not be falsified or proved
Type Details
type Args
type FM
Value Details
lazy val undecided : Prop
lazy val falsified : Prop
lazy val proved : Prop
lazy val passed : Prop
Method Details
def apply(f : (Params) => Result) : Prop
def apply(r : Result) : Prop
implicit def extendedBoolean(b : Boolean) : AnyRef
implicit def extendedAny[T](x : => T)(implicit view$2 : (T) => Pretty) : ExtendedAny[T]
implicit def propBoolean(b : Boolean) : Prop
def exception(e : java.lang.Throwable) : Prop
A property that denotes an exception
def ?=[T](x : T, y : T)(implicit pp : (T) => Pretty) : Prop
def =?[T](x : T, y : T)(implicit pp : (T) => Pretty) : Prop
def sizedProp(f : (Int) => Prop) : Prop
A property that depends on the generator size
def ==>(b : => Boolean, p : => Prop) : Prop
Implication
def imply[T](x : T, f : scala.PartialFunction[T, Prop]) : Prop
Implication with several conditions
def iff[T](x : T, f : scala.PartialFunction[T, Prop]) : Prop
Property holds only if the given partial function is defined at x, and returns a property that holds
def all(ps : Prop*) : Prop
Combines properties into one, which is true if and only if all the properties are true
def atLeastOne(ps : Prop*) : Prop
Combines properties into one, which is true if at least one of the properties is true
def someFailing[T](gs : scala.Seq[Gen[T]]) : Prop
A property that holds if at least one of the given generators fails generating a value
def noneFailing[T](gs : scala.Seq[Gen[T]]) : Prop
A property that holds iff none of the given generators fails generating a value
def throws[T <: java.lang.Throwable](x : => Any, c : java.lang.Class[T]) : Prop
A property that holds if the given statement throws an exception of the specified type
def collect[T, P](f : (T) => P)(implicit view$3 : (P) => Prop) : (T) => Prop
Collect data for presentation in test report
def collect[T](t : T)(prop : Prop) : Prop
Collect data for presentation in test report
def classify(c : => Boolean, ifTrue : Any)(prop : Prop) : Prop
Collect data for presentation in test report
def classify(c : => Boolean, ifTrue : Any, ifFalse : Any)(prop : Prop) : Prop
Collect data for presentation in test report
def secure[P](p : => P)(implicit view$4 : (P) => Prop) : Prop
Wraps and protects a property
def exists[A, P](f : (A) => P)(implicit pv : (P) => Prop, implicit pp : (A) => Pretty, implicit aa : Arbitrary[A]) : Prop
Existential quantifier for an explicit generator.
def exists[A, P](g : Gen[A])(f : (A) => P)(implicit pv : (P) => Prop, implicit pp : (A) => Pretty) : Prop
Existential quantifier for an explicit generator.
def forAllNoShrink[T1, P](g1 : Gen[T1])(f : (T1) => P)(implicit pv : (P) => Prop, implicit pp1 : (T1) => Pretty) : Prop
Universal quantifier for an explicit generator. Does not shrink failed test cases.
def forAllNoShrink[T1, T2, P](g1 : Gen[T1], g2 : Gen[T2])(f : (T1, T2) => P)(implicit p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty) : Prop
Universal quantifier for two explicit generators. Does not shrink failed test cases.
def forAllNoShrink[T1, T2, T3, P](g1 : Gen[T1], g2 : Gen[T2], g3 : Gen[T3])(f : (T1, T2, T3) => P)(implicit p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty) : Prop
Universal quantifier for three explicit generators. Does not shrink failed test cases.
def forAllNoShrink[T1, T2, T3, T4, P](g1 : Gen[T1], g2 : Gen[T2], g3 : Gen[T3], g4 : Gen[T4])(f : (T1, T2, T3, T4) => P)(implicit p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty, implicit pp4 : (T4) => Pretty) : Prop
Universal quantifier for four explicit generators. Does not shrink failed test cases.
def forAllNoShrink[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 p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty, implicit pp4 : (T4) => Pretty, implicit pp5 : (T5) => Pretty) : Prop
Universal quantifier for five explicit generators. Does not shrink failed test cases.
def forAllNoShrink[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 p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty, implicit pp4 : (T4) => Pretty, implicit pp5 : (T5) => Pretty, implicit pp6 : (T6) => Pretty) : Prop
Universal quantifier for six explicit generators. Does not shrink failed test cases.
def forAllNoShrink[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 p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty, implicit pp4 : (T4) => Pretty, implicit pp5 : (T5) => Pretty, implicit pp6 : (T6) => Pretty, implicit pp7 : (T7) => Pretty) : Prop
Universal quantifier for seven explicit generators. Does not shrink failed test cases.
def forAllNoShrink[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 p : (P) => Prop, implicit pp1 : (T1) => Pretty, implicit pp2 : (T2) => Pretty, implicit pp3 : (T3) => Pretty, implicit pp4 : (T4) => Pretty, implicit pp5 : (T5) => Pretty, implicit pp6 : (T6) => Pretty, implicit pp7 : (T7) => Pretty, implicit pp8 : (T8) => Pretty) : Prop
Universal quantifier for eight explicit generators. Does not shrink failed test cases.
def forAllShrink[T, P](g : Gen[T], shrink : (T) => scala.Stream[T])(f : (T) => P)(implicit view$5 : (T) => Pretty, implicit view$6 : (P) => Prop) : Prop
Universal quantifier for an explicit generator. Shrinks failed arguments with the given shrink function
def forAll[T1, P](g1 : Gen[T1])(f : (T1) => P)(implicit p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty) : Prop
Universal quantifier for an explicit generator. Shrinks failed arguments with the default shrink function for the type
def forAll[T1, T2, P](g1 : Gen[T1], g2 : Gen[T2])(f : (T1, T2) => P)(implicit p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty) : Prop
Universal quantifier for two explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll[T1, T2, T3, P](g1 : Gen[T1], g2 : Gen[T2], g3 : Gen[T3])(f : (T1, T2, T3) => P)(implicit p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty) : Prop
Universal quantifier for three explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll[T1, T2, T3, T4, P](g1 : Gen[T1], g2 : Gen[T2], g3 : Gen[T3], g4 : Gen[T4])(f : (T1, T2, T3, T4) => P)(implicit p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty, implicit s4 : Shrink[T4], implicit pp4 : (T4) => Pretty) : Prop
Universal quantifier for four explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll[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 p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty, implicit s4 : Shrink[T4], implicit pp4 : (T4) => Pretty, implicit s5 : Shrink[T5], implicit pp5 : (T5) => Pretty) : Prop
Universal quantifier for five explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll[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 p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty, implicit s4 : Shrink[T4], implicit pp4 : (T4) => Pretty, implicit s5 : Shrink[T5], implicit pp5 : (T5) => Pretty, implicit s6 : Shrink[T6], implicit pp6 : (T6) => Pretty) : Prop
Universal quantifier for six explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll[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 p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty, implicit s4 : Shrink[T4], implicit pp4 : (T4) => Pretty, implicit s5 : Shrink[T5], implicit pp5 : (T5) => Pretty, implicit s6 : Shrink[T6], implicit pp6 : (T6) => Pretty, implicit s7 : Shrink[T7], implicit pp7 : (T7) => Pretty) : Prop
Universal quantifier for seven explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll[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 p : (P) => Prop, implicit s1 : Shrink[T1], implicit pp1 : (T1) => Pretty, implicit s2 : Shrink[T2], implicit pp2 : (T2) => Pretty, implicit s3 : Shrink[T3], implicit pp3 : (T3) => Pretty, implicit s4 : Shrink[T4], implicit pp4 : (T4) => Pretty, implicit s5 : Shrink[T5], implicit pp5 : (T5) => Pretty, implicit s6 : Shrink[T6], implicit pp6 : (T6) => Pretty, implicit s7 : Shrink[T7], implicit pp7 : (T7) => Pretty, implicit s8 : Shrink[T8], implicit pp8 : (T8) => Pretty) : Prop
Universal quantifier for eight explicit generators. Shrinks failed arguments with the default shrink function for the type
def forAll[A1, P](f : (A1) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll[A1, A2, P](f : (A1, A2) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll[A1, A2, A3, P](f : (A1, A2, A3) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll[A1, A2, A3, A4, P](f : (A1, A2, A3, A4) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty, implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit pp4 : (A4) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll[A1, A2, A3, A4, A5, P](f : (A1, A2, A3, A4, A5) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty, implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit pp4 : (A4) => Pretty, implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit pp5 : (A5) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll[A1, A2, A3, A4, A5, A6, P](f : (A1, A2, A3, A4, A5, A6) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty, implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit pp4 : (A4) => Pretty, implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit pp5 : (A5) => Pretty, implicit a6 : Arbitrary[A6], implicit s6 : Shrink[A6], implicit pp6 : (A6) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll[A1, A2, A3, A4, A5, A6, A7, P](f : (A1, A2, A3, A4, A5, A6, A7) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty, implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit pp4 : (A4) => Pretty, implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit pp5 : (A5) => Pretty, implicit a6 : Arbitrary[A6], implicit s6 : Shrink[A6], implicit pp6 : (A6) => Pretty, implicit a7 : Arbitrary[A7], implicit s7 : Shrink[A7], implicit pp7 : (A7) => Pretty) : Prop
Converts a function into a universally quantified property
def forAll[A1, A2, A3, A4, A5, A6, A7, A8, P](f : (A1, A2, A3, A4, A5, A6, A7, A8) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit pp1 : (A1) => Pretty, implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit pp2 : (A2) => Pretty, implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit pp3 : (A3) => Pretty, implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit pp4 : (A4) => Pretty, implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit pp5 : (A5) => Pretty, implicit a6 : Arbitrary[A6], implicit s6 : Shrink[A6], implicit pp6 : (A6) => Pretty, implicit a7 : Arbitrary[A7], implicit s7 : Shrink[A7], implicit pp7 : (A7) => Pretty, implicit a8 : Arbitrary[A8], implicit s8 : Shrink[A8], implicit pp8 : (A8) => Pretty) : Prop
Converts a function into a universally quantified property
scalacheck 1.6 API