trait FlatSpecCheckLaws extends Checkers
Integration of Scalatest AnyFlatSpec with Scalaz law checkers, or any other
purely Scalacheck-defined tests, for that matter. Each invocation should go
in a separate behavior of
category, as test names will collide otherwise.
Usage:
behavior of "Blah Functor"
checkLaws(ScalazProperties.functor.laws[Blah])
- Self Type
- FlatSpecCheckLaws with AnyFlatSpec
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- FlatSpecCheckLaws
- Checkers
- ScalaCheckConfiguration
- Configuration
- AnyRef
- Any
- Hide All
- Show All
Visibility
- 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
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def check(p: Prop, configParams: (FlatSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (FlatSpecCheckLaws.this)#PropertyCheckConfiguration, prettifier: Prettifier, pos: Position): Assertion
- Definition Classes
- Checkers
- def check(p: Prop, prms: Parameters)(implicit prettifier: Prettifier, pos: Position): Assertion
- Definition Classes
- Checkers
- def check[A1, A2, A3, A4, A5, A6, P](f: (A1, A2, A3, A4, A5, A6) => P, configParams: (FlatSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (FlatSpecCheckLaws.this)#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
- Definition Classes
- Checkers
- def check[A1, A2, A3, A4, A5, P](f: (A1, A2, A3, A4, A5) => P, configParams: (FlatSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (FlatSpecCheckLaws.this)#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
- Definition Classes
- Checkers
- def check[A1, A2, A3, A4, P](f: (A1, A2, A3, A4) => P, configParams: (FlatSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (FlatSpecCheckLaws.this)#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
- Definition Classes
- Checkers
- def check[A1, A2, A3, P](f: (A1, A2, A3) => P, configParams: (FlatSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (FlatSpecCheckLaws.this)#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
- Definition Classes
- Checkers
- def check[A1, A2, P](f: (A1, A2) => P, configParams: (FlatSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (FlatSpecCheckLaws.this)#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
- Definition Classes
- Checkers
- def check[A1, P](f: (A1) => P, configParams: (FlatSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (FlatSpecCheckLaws.this)#PropertyCheckConfiguration, p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, prettifier: Prettifier, pos: Position): Assertion
- Definition Classes
- Checkers
- def checkLaws(props: Properties)(implicit generatorDrivenConfig: (FlatSpecCheckLaws.this)#PropertyCheckConfiguration, prettifier: Prettifier, pos: Position): Unit
Like
check(props)
but with much better test reporting. - def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- implicit val generatorDrivenConfig: (FlatSpecCheckLaws.this)#PropertyCheckConfiguration
- Definition Classes
- Configuration
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def getParameter(configParams: Seq[PropertyCheckConfigParam], config: (FlatSpecCheckLaws.this)#PropertyCheckConfiguration): Parameter
- Definition Classes
- Configuration
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def maxDiscardedFactor(value: PosZDouble): (FlatSpecCheckLaws.this)#MaxDiscardedFactor
- Definition Classes
- Configuration
- def minSize(value: PosZInt): (FlatSpecCheckLaws.this)#MinSize
- Definition Classes
- Configuration
- def minSuccessful(value: PosInt): (FlatSpecCheckLaws.this)#MinSuccessful
- Definition Classes
- Configuration
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- def sizeRange(value: PosZInt): (FlatSpecCheckLaws.this)#SizeRange
- Definition Classes
- Configuration
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- def workers(value: PosInt): (FlatSpecCheckLaws.this)#Workers
- Definition Classes
- Configuration
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated