discipline-specs2/org.typelevel.discipline.specs2.mutable/Discipline

Discipline

trait Discipline extends ScalaCheck
trait ScalaCheck
trait GenInstances
trait ScalaCheckPropertyDsl
trait FragmentsFactory
trait AsResultProp
trait AsResultPropLowImplicits
trait ScalaCheckParameters
trait ScalaCheckPropertyCheck
trait ExpectationsCreation
trait MatchResultStackTrace
trait ScalaCheckPropertyCreation
class Object
trait Matchable
class Any
SpecificationLike

Value members

Concrete methods

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

Inherited methods

def check(prop: Prop, parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty): Result
Inherited from
ScalaCheckPropertyCheck
protected
def checkFailure[T](m: MatchResult[T]): MatchResult[T]
Inherited from
ExpectationsCreation
protected
def checkMatchResultFailure[T](m: MatchResult[T]): MatchResult[T]
Inherited from
ExpectationsCreation
def checkProperties(properties: Properties, parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty): Result
Inherited from
ScalaCheckPropertyCheck
protected
def checkResultFailure(r: => Result): Result
Inherited from
ExpectationsCreation
def createExpectable[T](t: => T, alias: Option[String => String]): Expectable[T]
Inherited from
ExpectationsCreation
def createExpectable[T](t: => T, alias: String => String): Expectable[T]
Inherited from
ExpectationsCreation
def createExpectable[T](t: => T, alias: => String): Expectable[T]
Inherited from
ExpectationsCreation
def createExpectable[T](t: => T): Expectable[T]
Inherited from
ExpectationsCreation
def createExpectableWithShowAs[T](t: => T, showAs: => String): Expectable[T]
Inherited from
ExpectationsCreation
def display(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): Parameters
Inherited from
ScalaCheckParameters
protected
def fragmentFactory: FragmentFactory
Inherited from
FragmentsFactory
def frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty): String
Inherited from
ScalaCheckPropertyCheck
protected
def mapMatchResult[T](m: MatchResult[T]): MatchResult[T]
Inherited from
ExpectationsCreation
def prettyResult(res: Result, parameters: Parameters, initialSeed: => Seed, freqMapPretty: FreqMap[Set[Any]] => Pretty): Pretty
Inherited from
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]
Inherited from
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]
Inherited from
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]
Inherited from
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]
Inherited from
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]
Inherited from
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]
Inherited from
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]
Inherited from
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]
Inherited from
ScalaCheckPropertyCreation
def properties(ps: Properties): Fragments
Inherited from
ScalaCheckPropertyDsl
protected
def sandboxMatchResult[T](mr: => MatchResult[T]): MatchResult[T]
Inherited from
ExpectationsCreation
def set(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): Parameters
Inherited from
ScalaCheckParameters
protected
def setStacktrace[T](m: MatchResult[T]): MatchResult[T]
Inherited from
MatchResultStackTrace
def showCause(t: Throwable): String
Inherited from
ScalaCheckPropertyCheck

Implicits

Inherited implicits

implicit
def asResultToProp[R : AsResult](r: R): Prop
Inherited from
AsResultProp
implicit
def defaultFreqMapPretty: FreqMap[Set[Any]] => Pretty
Inherited from
ScalaCheckParameters
implicit
def defaultParameters: Parameters
Inherited from
ScalaCheckParameters
implicit
def genMonad: Monad[Gen]
Inherited from
GenInstances
implicit
def propAsResult(implicit p: Parameters, pfq: FreqMap[Set[Any]] => Pretty): AsResult[Prop]
Inherited from
AsResultProp
implicit
def propToScalaCheckProperty(prop: Prop)(implicit parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty): ScalaCheckProp
Inherited from
ScalaCheckPropertyDsl
implicit
def propertiesAsResult(implicit p: Parameters, pfq: FreqMap[Set[Any]] => Pretty): AsResult[Properties]
Inherited from
AsResultProp
implicit
def scalaCheckPropertyAsResult[S <: ScalaCheckProperty]: AsResult[S]
Inherited from
AsResultPropLowImplicits