ScalaCheck 1.2
org.scalacheck

object Prop
[source: org/scalacheck/Prop.scala]
object Prop
extends Properties
Value Summary
lazy val falsified : Prop
val name : java.lang.String
lazy val proved : Prop
lazy val undecided : Prop
Method Summary
def ==> (b : => Boolean, p : => Prop) : Prop
Implication
def all (ps : scala.Iterable[Prop]) : Prop
Combines properties into one, which is true if and only if all the properties are true
def exception (e : java.lang.Throwable) : Prop
A property that denotes an exception
def exists (ps : scala.Iterable[Prop]) : Prop
Combines properties into one, which is true if at least one of the properties is true
implicit def extendedAny [T](x : T) : ExtendedAny[T]
implicit def extendedBoolean (b : Boolean) : ExtendedBoolean
def forAll [A, P](g : Gen[A])(f : (A) => P)(implicit view$1 : (P) => Prop) : Prop
Universal quantifier
def forAllDefaultShrink [T, P](g : Gen[T])(f : (T) => P)(implicit s : Shrink[T], implicit p : (P) => Prop) : Prop
Universal quantifier, shrinks failed arguments with the default shrink function for the type
def forAllShrink [A, P](g : Gen[A], shrink : (A) => scala.Stream[A])(f : (A) => P)(implicit view$2 : (P) => Prop) : Prop
Universal quantifier, shrinks failed arguments with 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.Iterable[Gen[T]]) : Prop
A property that holds iff none of the given generators fails generating a value
implicit def propBoolean (b : Boolean) : Prop
def property [A1, A2, A3, P](f : (A1, A2, A3) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3]) : Prop
Converts a function into a property
def property [A1, P](f : (A1) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1]) : Prop
Converts a function into a property
def property [A1, A2, P](f : (A1, A2) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2]) : Prop
Converts a function into a property
def property [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 a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit a6 : Arbitrary[A6], implicit s6 : Shrink[A6]) : Prop
Converts a function into a property
def property [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 a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5]) : Prop
Converts a function into a property
def property [A1, A2, A3, A4, P](f : (A1, A2, A3, A4) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4]) : Prop
Converts a function into a property
def property [P](p : => P)(implicit view$3 : (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.Iterable[Gen[T]]) : Prop
A property that holds if at least one of the given generators fails generating a value
Methods inherited from Properties
specify, specify, specify, specify, specify, specify, specify, checkProperties, checkProperties, checkProperties, checkProperties, testCases, allProperties
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
case class Exception (val as : scala.List[Arg], val e : java.lang.Throwable) extends Result with scala.Product
Evaluating the property with the given arguments raised an exception
class ExtendedAny [T](x : T) extends AnyRef
Any with support for implication and iff
class ExtendedBoolean (b : Boolean) extends AnyRef
Boolean with support for implication
case class False (val as : scala.List[Arg]) extends Result with scala.Product
The property was false with the given arguments
sealed abstract class Result (val args : scala.List[Arg]) extends AnyRef
The result of evaluating a property
case class True (val as : scala.List[Arg]) extends Result with scala.Product
The property was true with the given arguments
Value Details
val name : java.lang.String
Overrides
Properties.name
lazy val undecided : Prop
lazy val falsified : Prop
lazy val proved : Prop
Method Details
implicit def extendedBoolean(b : Boolean) : ExtendedBoolean
implicit def extendedAny[T](x : T) : ExtendedAny[T]
implicit def propBoolean(b : Boolean) : Prop
def exception(e : java.lang.Throwable) : Prop
A property that denotes an exception
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 : scala.Iterable[Prop]) : Prop
Combines properties into one, which is true if and only if all the properties are true
def exists(ps : scala.Iterable[Prop]) : Prop
Combines properties into one, which is true if at least one of the properties is true
def forAll[A, P](g : Gen[A])(f : (A) => P)(implicit view$1 : (P) => Prop) : Prop
Universal quantifier
def forAllShrink[A, P](g : Gen[A], shrink : (A) => scala.Stream[A])(f : (A) => P)(implicit view$2 : (P) => Prop) : Prop
Universal quantifier, shrinks failed arguments with given shrink function
def forAllDefaultShrink[T, P](g : Gen[T])(f : (T) => P)(implicit s : Shrink[T], implicit p : (P) => Prop) : Prop
Universal quantifier, shrinks failed arguments with the default shrink function for the type
def someFailing[T](gs : scala.Iterable[Gen[T]]) : Prop
A property that holds if at least one of the given generators fails generating a value
def noneFailing[T](gs : scala.Iterable[Gen[T]]) : Prop
A property that holds iff none of the given generators fails generating a value
def property[P](p : => P)(implicit view$3 : (P) => Prop) : Prop
Wraps and protects a property
def property[A1, P](f : (A1) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1]) : Prop
Converts a function into a property
def property[A1, A2, P](f : (A1, A2) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2]) : Prop
Converts a function into a property
def property[A1, A2, A3, P](f : (A1, A2, A3) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3]) : Prop
Converts a function into a property
def property[A1, A2, A3, A4, P](f : (A1, A2, A3, A4) => P)(implicit p : (P) => Prop, implicit a1 : Arbitrary[A1], implicit s1 : Shrink[A1], implicit a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4]) : Prop
Converts a function into a property
def property[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 a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5]) : Prop
Converts a function into a property
def property[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 a2 : Arbitrary[A2], implicit s2 : Shrink[A2], implicit a3 : Arbitrary[A3], implicit s3 : Shrink[A3], implicit a4 : Arbitrary[A4], implicit s4 : Shrink[A4], implicit a5 : Arbitrary[A5], implicit s5 : Shrink[A5], implicit a6 : Arbitrary[A6], implicit s6 : Shrink[A6]) : Prop
Converts a function into a property
ScalaCheck 1.2