catalysts.specs2.testkit

LawChecks

trait LawChecks extends lawkit.LawChecks with Discipline

Self Type
LawChecks with SpecificationLike with TestKit
Linear Supertypes
Discipline, ScalaCheck, GenInstances, ScalaCheckPropertyDsl, FragmentsFactory, AsResultProp, AsResultPropLowImplicits, ScalaCheckParameters, ScalaCheckPropertyCheck, ExpectationsCreation, MatchResultStackTrace, ScalaCheckPropertyCreation, lawkit.LawChecks, AnyRef, Any
Known Subclasses
TestSuite
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. LawChecks
  2. Discipline
  3. ScalaCheck
  4. GenInstances
  5. ScalaCheckPropertyDsl
  6. FragmentsFactory
  7. AsResultProp
  8. AsResultPropLowImplicits
  9. ScalaCheckParameters
  10. ScalaCheckPropertyCheck
  11. ExpectationsCreation
  12. MatchResultStackTrace
  13. ScalaCheckPropertyCreation
  14. LawChecks
  15. AnyRef
  16. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. case class LawChecker[L <: Laws] extends Product with Serializable

    Definition Classes
    LawChecks

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  7. implicit def asResultToProp[R](r: R)(implicit arg0: AsResult[R]): Prop

    Definition Classes
    AsResultProp

  8. def check(prop: Prop, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): Result

    Definition Classes
    ScalaCheckPropertyCheck

  9. def checkAll(name: String, ruleSet: RuleSet)(implicit p: Parameters): Fragments

    Definition Classes
    Discipline

  10. def checkAllLaws(name: String, ruleSet: RuleSet): (LawChecks.this)#Structure

    Definition Classes
    LawChecks → LawChecks

  11. def checkFailure[T](m: MatchResult[T]): MatchResult[T]

    Attributes
    protected
    Definition Classes
    ExpectationsCreation

  12. def checkMatchResultFailure[T](m: MatchResult[T]): MatchResult[T]

    Attributes
    protected
    Definition Classes
    ExpectationsCreation

  13. def checkProperties(properties: Properties, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): Result

    Definition Classes
    ScalaCheckPropertyCheck

  14. def checkResultFailure(r: ⇒ Result): Result

    Attributes
    protected
    Definition Classes
    ExpectationsCreation

  15. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  16. def createExpectable[T](t: ⇒ T, alias: Option[(String) ⇒ String]): Expectable[T]

    Definition Classes
    ExpectationsCreation

  17. def createExpectable[T](t: ⇒ T, alias: (String) ⇒ String): Expectable[T]

    Definition Classes
    ExpectationsCreation

  18. def createExpectable[T](t: ⇒ T, alias: ⇒ String): Expectable[T]

    Definition Classes
    ExpectationsCreation

  19. def createExpectable[T](t: ⇒ T): Expectable[T]

    Definition Classes
    ExpectationsCreation

  20. def createExpectableWithShowAs[T](t: ⇒ T, showAs: ⇒ String): Expectable[T]

    Definition Classes
    ExpectationsCreation

  21. implicit def defaultFreqMapPretty: (FreqMap[Set[Any]]) ⇒ Pretty

    Definition Classes
    ScalaCheckParameters

  22. implicit def defaultParameters: Parameters

    Definition Classes
    ScalaCheckParameters

  23. def display(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): Parameters

    Definition Classes
    ScalaCheckParameters

  24. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  25. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  26. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  27. def fragmentFactory: FragmentFactory

    Attributes
    protected
    Definition Classes
    FragmentsFactory

  28. def frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): String

    Definition Classes
    ScalaCheckPropertyCheck

  29. implicit def genMonad: Monad[Gen]

    Definition Classes
    GenInstances

  30. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  31. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  32. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  33. def laws[L[_] <: Laws, A](implicit laws: L[A], tag: TypeTagM[A]): (LawChecks.this)#LawChecker[L[A]]

    Definition Classes
    LawChecks

  34. def mapMatchResult[T](m: MatchResult[T]): MatchResult[T]

    Attributes
    protected
    Definition Classes
    ExpectationsCreation

  35. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  36. final def notify(): Unit

    Definition Classes
    AnyRef

  37. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  38. def prettyResult(res: Result, freqMapPretty: (FreqMap[Set[Any]]) ⇒ Pretty): Pretty

    Definition Classes
    ScalaCheckPropertyCheck

  39. def prop[T1, T2, T3, T4, T5, T6, T7, T8, R](result: (T1, T2, T3, T4, T5, T6, T7, T8) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbitrary4: Arbitrary[T4], shrink4: Shrink[T4], pretty4: (T4) ⇒ Pretty, arbitrary5: Arbitrary[T5], shrink5: Shrink[T5], pretty5: (T5) ⇒ Pretty, arbitrary6: Arbitrary[T6], shrink6: Shrink[T6], pretty6: (T6) ⇒ Pretty, arbitrary7: Arbitrary[T7], shrink7: Shrink[T7], pretty7: (T7) ⇒ Pretty, arbitrary8: Arbitrary[T8], shrink8: Shrink[T8], pretty8: (T8) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction8[T1, T2, T3, T4, T5, T6, T7, T8, R]

    Definition Classes
    ScalaCheckPropertyCreation

  40. def prop[T1, T2, T3, T4, T5, T6, T7, R](result: (T1, T2, T3, T4, T5, T6, T7) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbitrary4: Arbitrary[T4], shrink4: Shrink[T4], pretty4: (T4) ⇒ Pretty, arbitrary5: Arbitrary[T5], shrink5: Shrink[T5], pretty5: (T5) ⇒ Pretty, arbitrary6: Arbitrary[T6], shrink6: Shrink[T6], pretty6: (T6) ⇒ Pretty, arbitrary7: Arbitrary[T7], shrink7: Shrink[T7], pretty7: (T7) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction7[T1, T2, T3, T4, T5, T6, T7, R]

    Definition Classes
    ScalaCheckPropertyCreation

  41. def prop[T1, T2, T3, T4, T5, T6, R](result: (T1, T2, T3, T4, T5, T6) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbitrary4: Arbitrary[T4], shrink4: Shrink[T4], pretty4: (T4) ⇒ Pretty, arbitrary5: Arbitrary[T5], shrink5: Shrink[T5], pretty5: (T5) ⇒ Pretty, arbitrary6: Arbitrary[T6], shrink6: Shrink[T6], pretty6: (T6) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction6[T1, T2, T3, T4, T5, T6, R]

    Definition Classes
    ScalaCheckPropertyCreation

  42. def prop[T1, T2, T3, T4, T5, R](result: (T1, T2, T3, T4, T5) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbitrary4: Arbitrary[T4], shrink4: Shrink[T4], pretty4: (T4) ⇒ Pretty, arbitrary5: Arbitrary[T5], shrink5: Shrink[T5], pretty5: (T5) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction5[T1, T2, T3, T4, T5, R]

    Definition Classes
    ScalaCheckPropertyCreation

  43. def prop[T1, T2, T3, T4, R](result: (T1, T2, T3, T4) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbitrary4: Arbitrary[T4], shrink4: Shrink[T4], pretty4: (T4) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction4[T1, T2, T3, T4, R]

    Definition Classes
    ScalaCheckPropertyCreation

  44. def prop[T1, T2, T3, R](result: (T1, T2, T3) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction3[T1, T2, T3, R]

    Definition Classes
    ScalaCheckPropertyCreation

  45. def prop[T1, T2, R](result: (T1, T2) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction2[T1, T2, R]

    Definition Classes
    ScalaCheckPropertyCreation

  46. def prop[T, R](result: (T) ⇒ R)(implicit arbitrary: Arbitrary[T], shrink: Shrink[T], pretty: (T) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction1[T, R]

    Definition Classes
    ScalaCheckPropertyCreation

  47. implicit def propAsResult(implicit p: Parameters, pfq: (FreqMap[Set[Any]]) ⇒ Pretty): AsResult[Prop]

    Definition Classes
    AsResultProp

  48. implicit def propToScalaCheckProperty(prop: Prop)(implicit parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): ScalaCheckProp

    Definition Classes
    ScalaCheckPropertyDsl

  49. def properties(ps: Properties): Fragments

    Definition Classes
    ScalaCheckPropertyDsl

  50. implicit def propertiesAsResult(implicit p: Parameters, pfq: (FreqMap[Set[Any]]) ⇒ Pretty): AsResult[Properties]

    Definition Classes
    AsResultProp

  51. def sandboxMatchResult[T](mr: ⇒ MatchResult[T]): MatchResult[T]

    Attributes
    protected
    Definition Classes
    ExpectationsCreation

  52. implicit def scalaCheckPropertyAsResult[S <: ScalaCheckProperty]: AsResult[S]

    Definition Classes
    AsResultPropLowImplicits

  53. implicit def scalaCheckPropertyCommandLineAsResult[S <: ScalaCheckProperty]: CommandLineAsResult[S]

    Definition Classes
    AsResultProp

  54. def set(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): Parameters

    Definition Classes
    ScalaCheckParameters

  55. def setStacktrace[T](m: MatchResult[T]): MatchResult[T]

    Attributes
    protected
    Definition Classes
    MatchResultStackTrace

  56. def showCause(t: Throwable): String

    Definition Classes
    ScalaCheckPropertyCheck

  57. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  58. def toString(): String

    Definition Classes
    AnyRef → Any

  59. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  60. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  61. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Discipline

Inherited from ScalaCheck

Inherited from GenInstances

Inherited from ScalaCheckPropertyDsl

Inherited from FragmentsFactory

Inherited from AsResultProp

Inherited from AsResultPropLowImplicits

Inherited from ScalaCheckParameters

Inherited from ScalaCheckPropertyCheck

Inherited from ExpectationsCreation

Inherited from MatchResultStackTrace

Inherited from ScalaCheckPropertyCreation

Inherited from lawkit.LawChecks

Inherited from AnyRef

Inherited from Any

Ungrouped