trait Discipline extends ScalaCheck
- Self Type
- Discipline with SpecificationLike
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Discipline
- ScalaCheck
- GenInstances
- ScalaCheckPropertyDsl
- FragmentsFactory
- AsResultProp
- AsResultPropLowImplicits
- ScalaCheckParameters
- ScalaCheckPropertyCheck
- ExpectationsCreation
- MatchResultStackTrace
- ScalaCheckPropertyCreation
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
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
-
implicit
def
asResultToProp[R](r: R)(implicit arg0: AsResult[R]): Prop
- Definition Classes
- AsResultProp
-
def
check(prop: Prop, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): Result
- Definition Classes
- ScalaCheckPropertyCheck
- def checkAll(name: String, ruleSet: RuleSet)(implicit p: Parameters): Fragments
-
def
checkFailure[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
-
def
checkMatchResultFailure[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
-
def
checkProperties(properties: Properties, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): Result
- Definition Classes
- ScalaCheckPropertyCheck
-
def
checkResultFailure(r: ⇒ Result): Result
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
createExpectable[T](t: ⇒ T, alias: Option[(String) ⇒ String]): Expectable[T]
- Definition Classes
- ExpectationsCreation
-
def
createExpectable[T](t: ⇒ T, alias: (String) ⇒ String): Expectable[T]
- Definition Classes
- ExpectationsCreation
-
def
createExpectable[T](t: ⇒ T, alias: ⇒ String): Expectable[T]
- Definition Classes
- ExpectationsCreation
-
def
createExpectable[T](t: ⇒ T): Expectable[T]
- Definition Classes
- ExpectationsCreation
-
def
createExpectableWithShowAs[T](t: ⇒ T, showAs: ⇒ String): Expectable[T]
- Definition Classes
- ExpectationsCreation
-
implicit
def
defaultFreqMapPretty: (FreqMap[Set[Any]]) ⇒ Pretty
- Definition Classes
- ScalaCheckParameters
-
implicit
def
defaultParameters: Parameters
- Definition Classes
- ScalaCheckParameters
-
def
display(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): Parameters
- Definition Classes
- ScalaCheckParameters
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
fragmentFactory: FragmentFactory
- Attributes
- protected
- Definition Classes
- FragmentsFactory
-
def
frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): String
- Definition Classes
- ScalaCheckPropertyCheck
-
implicit
def
genMonad: Monad[Gen]
- Definition Classes
- GenInstances
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
mapMatchResult[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
prettyResult(res: Result, freqMapPretty: (FreqMap[Set[Any]]) ⇒ Pretty): Pretty
- Definition Classes
- ScalaCheckPropertyCheck
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
implicit
def
propAsResult(implicit p: Parameters, pfq: (FreqMap[Set[Any]]) ⇒ Pretty): AsResult[Prop]
- Definition Classes
- AsResultProp
-
implicit
def
propToScalaCheckProperty(prop: Prop)(implicit parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): ScalaCheckProp
- Definition Classes
- ScalaCheckPropertyDsl
-
def
properties(ps: Properties): Fragments
- Definition Classes
- ScalaCheckPropertyDsl
-
implicit
def
propertiesAsResult(implicit p: Parameters, pfq: (FreqMap[Set[Any]]) ⇒ Pretty): AsResult[Properties]
- Definition Classes
- AsResultProp
-
def
sandboxMatchResult[T](mr: ⇒ MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
-
implicit
def
scalaCheckPropertyAsResult[S <: ScalaCheckProperty]: AsResult[S]
- Definition Classes
- AsResultPropLowImplicits
-
def
set(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): Parameters
- Definition Classes
- ScalaCheckParameters
-
def
setStacktrace[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- MatchResultStackTrace
-
def
showCause(t: Throwable): String
- Definition Classes
- ScalaCheckPropertyCheck
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )