AsResultProp

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. implicit def asResultToProp[R](r: R)(implicit arg0: AsResult[R]): Prop

   

   Definition Classes

   AsResultProp

6. 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

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

   

   Attributes

   protected

   Definition Classes

   ExpectationsCreation

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

   

   Attributes

   protected

   Definition Classes

   ExpectationsCreation

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

   

   Attributes

   protected

   Definition Classes

   ExpectationsCreation

10. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

11. 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

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

    

    Definition Classes

    ExpectationsCreation

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

    

    Definition Classes

    ExpectationsCreation

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

    

    Definition Classes

    ExpectationsCreation

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

    

    Definition Classes

    ExpectationsCreation

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

    

    Definition Classes

    ExpectationsCreation

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

    

    Definition Classes

    ScalaCheckParameters

18. implicit def defaultParameters: Parameters

    

    default parameters.

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

    Definition Classes

    ScalaCheckParameters

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

    

    Definition Classes

    AnyRef

20. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

21. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    ScalaCheckPropertyCheck

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

    

    Definition Classes

    AnyRef → Any

24. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

25. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

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

    

    Definition Classes

    AnyRef

28. final def notify(): Unit

    

    Definition Classes

    AnyRef

29. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

30. 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

    AsResultProp

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

    

    Remove failure details from collected data

    Remove failure details from collected data

    Definition Classes

    ScalaCheckPropertyCheck

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

    

    Definition Classes

    AsResultPropLowImplicits

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

    

    Definition Classes

    AsResultProp

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

    

    Attributes

    protected

    Definition Classes

    MatchResultStackTrace

35. def showCause(e: Exception): String

    
    returns

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

    Definition Classes

    ScalaCheckPropertyCheck

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

    

    Definition Classes

    AnyRef

37. def toString(): String

    

    Definition Classes

    AnyRef → Any

38. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )