OneExpectationPerProp

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

   checks if the property is true for each generated value, and with the specified parameters

   checks if the property is true for each generated value, and with the specified parameters

   Definition Classes

   ScalaCheckPropertyCheck

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

   Attributes

   protected

   Definition Classes

   ExpectationsCreation

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

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

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

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

12. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

13. def collectDetails[T](fq: FreqMap[Set[T]]): Details

    Failure details might get collected with the collect operation when evaluating the Prop

    Failure details might get collected with the collect operation when evaluating the Prop

    Definition Classes

    ScalaCheckPropertyCheck

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

    Definition Classes

    ExpectationsCreation

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

    Definition Classes

    ExpectationsCreation

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

    Definition Classes

    ExpectationsCreation

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

    Definition Classes

    ExpectationsCreation

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

    Definition Classes

    ExpectationsCreation

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

    Definition Classes

    ScalaCheckParameters

20. implicit def defaultParameters: Parameters

    default parameters.

    default parameters. Uses ScalaCheck default values and doesn't print anything to the console

    Definition Classes

    ScalaCheckParameters

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

    Definition Classes

    AnyRef

22. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

23. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

    Definition Classes

    ScalaCheckPropertyCheck

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

    Definition Classes

    AnyRef → Any

26. def hashCode(): Int

    Definition Classes

    AnyRef → Any

27. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

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

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

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

    Definition Classes

    AnyRef

30. final def notify(): Unit

    Definition Classes

    AnyRef

31. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    implicit typeclass instance to create examples from Props

    implicit typeclass instance to create examples from Props

    Definition Classes

    OneExpectationPerProp → AsResultProp

33. def removeDetails(fq: FreqMap[Set[Any]]): FreqMap[Set[Any]]

    Remove failure details from collected data

    Remove failure details from collected data

    Definition Classes

    ScalaCheckPropertyCheck

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

    Definition Classes

    AsResultPropLowImplicits

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

    Definition Classes

    AsResultProp

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

    Attributes

    protected

    Definition Classes

    MatchResultStackTrace

37. def showCause(e: Exception): String

    returns

    the cause of the exception as a String if there is one

    Definition Classes

    ScalaCheckPropertyCheck

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

    Definition Classes

    AnyRef

39. def toString(): String

    Definition Classes

    AnyRef → Any

40. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )