object Checkers extends Checkers
Companion object that facilitates the importing of Checkers
members as
an alternative to mixing it in. One use case is to import Checkers
members so you can use
them in the Scala interpreter.
- Alphabetic
- By Inheritance
- Checkers
- Checkers
- ScalaCheckConfiguration
- Configuration
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- case class MaxDiscardedFactor extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
- case class MinSize extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
- case class MinSuccessful extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
- sealed abstract class PropertyCheckConfigParam extends Product with Serializable
- Definition Classes
- Configuration
- case class PropertyCheckConfiguration extends Product with Serializable
- Definition Classes
- Configuration
- case class SizeRange extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
- case class Workers extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
Value Members
- def check(p: Prop, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfiguration, prettifier: Prettifier, pos: Position): Assertion
Check a property.
Check a property.
- p
the property to check
- Definition Classes
- Checkers
- Exceptions thrown
TestFailedException
if a test case is discovered for which the property doesn't hold.
- def check(p: Prop, prms: Parameters)(implicit prettifier: Prettifier, pos: Position): Assertion
Check a property with the given testing parameters.
Check a property with the given testing parameters.
- p
the property to check
- prms
the test parameters
- Definition Classes
- Checkers
- Exceptions thrown
TestFailedException
if a test case is discovered for which the property doesn't hold.
- def check[A1, A2, A3, A4, A5, A6, P](f: (A1, A2, A3, A4, A5, A6) => P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfiguration, p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) => Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) => Pretty, a6: Arbitrary[A6], s6: Shrink[A6], pp6: (A6) => Pretty, prettifier: Prettifier, pos: Position): Assertion
Convert the passed 6-arg function into a property, and check it.
Convert the passed 6-arg function into a property, and check it.
- f
the function to be converted into a property and checked
- Definition Classes
- Checkers
- Exceptions thrown
TestFailedException
if a test case is discovered for which the property doesn't hold.
- def check[A1, A2, A3, A4, A5, P](f: (A1, A2, A3, A4, A5) => P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfiguration, p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) => Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) => Pretty, prettifier: Prettifier, pos: Position): Assertion
Convert the passed 5-arg function into a property, and check it.
Convert the passed 5-arg function into a property, and check it.
- f
the function to be converted into a property and checked
- Definition Classes
- Checkers
- Exceptions thrown
TestFailedException
if a test case is discovered for which the property doesn't hold.
- def check[A1, A2, A3, A4, P](f: (A1, A2, A3, A4) => P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfiguration, p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) => Pretty, prettifier: Prettifier, pos: Position): Assertion
Convert the passed 4-arg function into a property, and check it.
Convert the passed 4-arg function into a property, and check it.
- f
the function to be converted into a property and checked
- Definition Classes
- Checkers
- Exceptions thrown
TestFailedException
if a test case is discovered for which the property doesn't hold.
- def check[A1, A2, A3, P](f: (A1, A2, A3) => P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfiguration, p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) => Pretty, prettifier: Prettifier, pos: Position): Assertion
Convert the passed 3-arg function into a property, and check it.
Convert the passed 3-arg function into a property, and check it.
- f
the function to be converted into a property and checked
- Definition Classes
- Checkers
- Exceptions thrown
TestFailedException
if a test case is discovered for which the property doesn't hold.
- def check[A1, A2, P](f: (A1, A2) => P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfiguration, p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty, prettifier: Prettifier, pos: Position): Assertion
Convert the passed 2-arg function into a property, and check it.
Convert the passed 2-arg function into a property, and check it.
- f
the function to be converted into a property and checked
- Definition Classes
- Checkers
- Exceptions thrown
TestFailedException
if a test case is discovered for which the property doesn't hold.
- def check[A1, P](f: (A1) => P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfiguration, p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, prettifier: Prettifier, pos: Position): Assertion
Convert the passed 1-arg function into a property, and check it.
Convert the passed 1-arg function into a property, and check it.
- f
the function to be converted into a property and checked
- Definition Classes
- Checkers
- Exceptions thrown
TestFailedException
if a test case is discovered for which the property doesn't hold.
- implicit val generatorDrivenConfig: PropertyCheckConfiguration
- Definition Classes
- Configuration
- def getParameter(configParams: Seq[PropertyCheckConfigParam], config: PropertyCheckConfiguration): Parameter
- Definition Classes
- Configuration
- def maxDiscardedFactor(value: PosZDouble): MaxDiscardedFactor
- Definition Classes
- Configuration
- def minSize(value: PosZInt): MinSize
- Definition Classes
- Configuration
- def minSuccessful(value: PosInt): MinSuccessful
- Definition Classes
- Configuration
- def sizeRange(value: PosZInt): SizeRange
- Definition Classes
- Configuration
- def workers(value: PosInt): Workers
- Definition Classes
- Configuration