Packages

t

com.daml.scalatest

WordSpecCheckLaws

trait WordSpecCheckLaws extends Checkers

Integration of Scalatest AnyWordSpec with Scalaz law checkers, or any other purely Scalacheck-defined tests, for that matter. Each invocation should go in a separate should category, as test names will collide otherwise.

Usage:

"Blah Functor" should {
  checkLaws(ScalazProperties.functor.laws[Blah])
}
Self Type
WordSpecCheckLaws with AnyWordSpec
Linear Supertypes
Checkers, ScalaCheckConfiguration, Configuration, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. WordSpecCheckLaws
  2. Checkers
  3. ScalaCheckConfiguration
  4. Configuration
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class MaxDiscardedFactor extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  2. case class MinSize extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  3. case class MinSuccessful extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  4. sealed abstract class PropertyCheckConfigParam extends Product with Serializable
    Definition Classes
    Configuration
  5. case class PropertyCheckConfiguration extends Product with Serializable
    Definition Classes
    Configuration
  6. case class SizeRange extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  7. case class Workers extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def check(p: Prop, configParams: (WordSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (WordSpecCheckLaws.this)#PropertyCheckConfiguration, prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Checkers
  6. def check(p: Prop, prms: Parameters)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Checkers
  7. def check[A1, A2, A3, A4, A5, A6, P](f: (A1, A2, A3, A4, A5, A6) => P, configParams: (WordSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (WordSpecCheckLaws.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
  8. def check[A1, A2, A3, A4, A5, P](f: (A1, A2, A3, A4, A5) => P, configParams: (WordSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (WordSpecCheckLaws.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
  9. def check[A1, A2, A3, A4, P](f: (A1, A2, A3, A4) => P, configParams: (WordSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (WordSpecCheckLaws.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
  10. def check[A1, A2, A3, P](f: (A1, A2, A3) => P, configParams: (WordSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (WordSpecCheckLaws.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
  11. def check[A1, A2, P](f: (A1, A2) => P, configParams: (WordSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (WordSpecCheckLaws.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
  12. def check[A1, P](f: (A1) => P, configParams: (WordSpecCheckLaws.this)#PropertyCheckConfigParam*)(implicit config: (WordSpecCheckLaws.this)#PropertyCheckConfiguration, p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Checkers
  13. def checkLaws(props: Properties)(implicit generatorDrivenConfig: (WordSpecCheckLaws.this)#PropertyCheckConfiguration, prettifier: Prettifier, pos: Position): Unit

    Like check(props) but with much better test reporting.

  14. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  17. implicit val generatorDrivenConfig: (WordSpecCheckLaws.this)#PropertyCheckConfiguration
    Definition Classes
    Configuration
  18. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  19. def getParameter(configParams: Seq[PropertyCheckConfigParam], config: (WordSpecCheckLaws.this)#PropertyCheckConfiguration): Parameter
    Definition Classes
    Configuration
  20. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. def maxDiscardedFactor(value: PosZDouble): (WordSpecCheckLaws.this)#MaxDiscardedFactor
    Definition Classes
    Configuration
  23. def minSize(value: PosZInt): (WordSpecCheckLaws.this)#MinSize
    Definition Classes
    Configuration
  24. def minSuccessful(value: PosInt): (WordSpecCheckLaws.this)#MinSuccessful
    Definition Classes
    Configuration
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  28. def sizeRange(value: PosZInt): (WordSpecCheckLaws.this)#SizeRange
    Definition Classes
    Configuration
  29. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  30. def toString(): String
    Definition Classes
    AnyRef → Any
  31. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  32. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  33. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  34. def workers(value: PosInt): (WordSpecCheckLaws.this)#Workers
    Definition Classes
    Configuration

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @Deprecated
    Deprecated

Inherited from Checkers

Inherited from ScalaCheckConfiguration

Inherited from Configuration

Inherited from AnyRef

Inherited from Any

Ungrouped