AsResultPropLowImplicits

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

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

   

   this method can be overridden to throw exceptions when checking the match result

   this method can be overridden to throw exceptions when checking the match result

   Attributes

   protected

   Definition Classes

   ExpectationsCreation

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

   

   this method can be overridden to throw exceptions when checking the match result

   this method can be overridden to throw exceptions when checking the match result

   Attributes

   protected

   Definition Classes

   ExpectationsCreation

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

   

   this method can be overridden to throw exceptions when checking the result

   this method can be overridden to throw exceptions when checking the result

   Attributes

   protected

   Definition Classes

   ExpectationsCreation

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

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

    
    returns

    an Expectable with a description function

    Definition Classes

    ExpectationsCreation

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

    
    returns

    an Expectable with a description function

    Definition Classes

    ExpectationsCreation

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

    
    returns

    an Expectable with a description

    Definition Classes

    ExpectationsCreation

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

    
    returns

    an Expectable

    Definition Classes

    ExpectationsCreation

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

    
    returns

    an Expectable with a function to show the element T

    Definition Classes

    ExpectationsCreation

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

    

    Definition Classes

    AnyRef

17. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

18. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    ScalaCheckPropertyCheck

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

    

    Definition Classes

    AnyRef → Any

21. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

22. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    this method can be overridden to intercept a MatchResult and change its message before it is thrown

    this method can be overridden to intercept a MatchResult and change its message before it is thrown

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

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

    

    Definition Classes

    AnyRef

25. final def notify(): Unit

    

    Definition Classes

    AnyRef

26. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Remove failure details from collected data

    Remove failure details from collected data

    Definition Classes

    ScalaCheckPropertyCheck

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

    
    returns

    the match result without any side-effects

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

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

    

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

    

    this method can be overridden to avoid filling-in a stacktrace indicating the location of the result

    this method can be overridden to avoid filling-in a stacktrace indicating the location of the result

    Attributes

    protected

    Definition Classes

    MatchResultStackTrace

31. def showCause(e: Exception): String

    
    returns

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

    Definition Classes

    ScalaCheckPropertyCheck

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

    

    Definition Classes

    AnyRef

33. def toString(): String

    

    Definition Classes

    AnyRef → Any

34. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )