- Companion:
- class
- Source:
- Prop.scala
Type members
Classlikes
Evaluating the property raised an exception
Evaluating the property raised an exception
- Source:
- Prop.scala
A collection of property operators on Any
values.
Import Prop.AnyOperators to make the operators available.
A collection of property operators on Any
values.
Import Prop.AnyOperators to make the operators available.
- Source:
- Prop.scala
A collection of property operators on Boolean
values.
Import Prop.propBoolean to make the operators available.
The availability of this class as an implicit via
BooleanOperators
was removed in 1.15.0.
A collection of property operators on Boolean
values.
Import Prop.propBoolean to make the operators available.
The availability of this class as an implicit via
BooleanOperators
was removed in 1.15.0.
- Source:
- Prop.scala
The result of evaluating a property
The result of evaluating a property
- Source:
- Prop.scala
The property could not be falsified or proved
The property could not be falsified or proved
- Source:
- Prop.scala
Value members
Concrete methods
Create a property that compares two values. If the values aren't equal, the property will fail and report that second value doesn't match the expected (first) value.
Create a property that compares two values. If the values aren't equal, the property will fail and report that second value doesn't match the expected (first) value.
- Source:
- Prop.scala
Create a property that compares two values. If the values aren't equal, the property will fail and report that first value doesn't match the expected (second) value.
Create a property that compares two values. If the values aren't equal, the property will fail and report that first value doesn't match the expected (second) value.
- Source:
- Prop.scala
Combines properties into one, which is true if and only if all the properties are true
Combines properties into one, which is true if and only if all the properties are true
- Source:
- Prop.scala
Create a new property from the given function.
Create a new property from the given function.
- Source:
- Prop.scala
Create a property that returns the given result
Create a property that returns the given result
- Source:
- Prop.scala
Combines properties into one, which is true if at least one of the properties is true
Combines properties into one, which is true if at least one of the properties is true
- Source:
- Prop.scala
Collect data for presentation in test report
Collect data for presentation in test report
- Source:
- Prop.scala
Collect data for presentation in test report
Collect data for presentation in test report
- Source:
- Prop.scala
Collect data for presentation in test report
Collect data for presentation in test report
- Source:
- Prop.scala
Wraps a property to delay its evaluation. The given parameter is evaluated each time the wrapper property is evaluated.
Wraps a property to delay its evaluation. The given parameter is evaluated each time the wrapper property is evaluated.
- Source:
- Prop.scala
Existential quantifier for an explicit generator.
Existential quantifier for an explicit generator.
- Source:
- Prop.scala
Existential quantifier for an explicit generator.
Existential quantifier for an explicit generator.
- Source:
- Prop.scala
Universal quantifier for an explicit generator. Shrinks failed arguments with the default shrink function for the type
Universal quantifier for an explicit generator. Shrinks failed arguments with the default shrink function for the type
- Source:
- Prop.scala
Universal quantifier for two explicit generators. Shrinks failed arguments with the default shrink function for the type
Universal quantifier for two explicit generators. Shrinks failed arguments with the default shrink function for the type
- Source:
- Prop.scala
Universal quantifier for three explicit generators. Shrinks failed arguments with the default shrink function for the type
Universal quantifier for three explicit generators. Shrinks failed arguments with the default shrink function for the type
- Source:
- Prop.scala
Universal quantifier for four explicit generators. Shrinks failed arguments with the default shrink function for the type
Universal quantifier for four explicit generators. Shrinks failed arguments with the default shrink function for the type
- Source:
- Prop.scala
Universal quantifier for five explicit generators. Shrinks failed arguments with the default shrink function for the type
Universal quantifier for five explicit generators. Shrinks failed arguments with the default shrink function for the type
- Source:
- Prop.scala
Universal quantifier for six explicit generators. Shrinks failed arguments with the default shrink function for the type
Universal quantifier for six explicit generators. Shrinks failed arguments with the default shrink function for the type
- Source:
- Prop.scala
Universal quantifier for seven explicit generators. Shrinks failed arguments with the default shrink function for the type
Universal quantifier for seven explicit generators. Shrinks failed arguments with the default shrink function for the type
- Source:
- Prop.scala
Universal quantifier for eight explicit generators. Shrinks failed arguments with the default shrink function for the type
Universal quantifier for eight explicit generators. Shrinks failed arguments with the default shrink function for the type
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Universal quantifier for an explicit generator. Does not shrink failed test cases.
Universal quantifier for an explicit generator. Does not shrink failed test cases.
- Source:
- Prop.scala
Universal quantifier for two explicit generators. Does not shrink failed test cases.
Universal quantifier for two explicit generators. Does not shrink failed test cases.
- Source:
- Prop.scala
Universal quantifier for three explicit generators. Does not shrink failed test cases.
Universal quantifier for three explicit generators. Does not shrink failed test cases.
- Source:
- Prop.scala
Universal quantifier for four explicit generators. Does not shrink failed test cases.
Universal quantifier for four explicit generators. Does not shrink failed test cases.
- Source:
- Prop.scala
Universal quantifier for five explicit generators. Does not shrink failed test cases.
Universal quantifier for five explicit generators. Does not shrink failed test cases.
- Source:
- Prop.scala
Universal quantifier for six explicit generators. Does not shrink failed test cases.
Universal quantifier for six explicit generators. Does not shrink failed test cases.
- Source:
- Prop.scala
Universal quantifier for seven explicit generators. Does not shrink failed test cases.
Universal quantifier for seven explicit generators. Does not shrink failed test cases.
- Source:
- Prop.scala
Universal quantifier for eight explicit generators. Does not shrink failed test cases.
Universal quantifier for eight explicit generators. Does not shrink failed test cases.
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Converts a function into a universally quantified property
Converts a function into a universally quantified property
- Source:
- Prop.scala
Universal quantifier for an explicit generator. Shrinks failed arguments with the given shrink function
Universal quantifier for an explicit generator. Shrinks failed arguments with the given shrink function
- Source:
- Prop.scala
Property holds only if the given partial function is defined at
x
, and returns a property that holds
Property holds only if the given partial function is defined at
x
, and returns a property that holds
- Source:
- Prop.scala
Wraps a property lazily. The given parameter is only evaluated once, and not until the wrapper property is evaluated.
Wraps a property lazily. The given parameter is only evaluated once, and not until the wrapper property is evaluated.
- Source:
- Prop.scala
A property that holds iff none of the given generators fails generating a value
A property that holds iff none of the given generators fails generating a value
- Source:
- Prop.scala
Wraps and protects a property, delaying its evaluation and turning exceptions into test failures.
Wraps and protects a property, delaying its evaluation and turning exceptions into test failures.
- Source:
- Prop.scala
Wraps and protects a property, turning exceptions thrown by the property into test failures.
Wraps and protects a property, turning exceptions thrown by the property into test failures.
- Source:
- Prop.scala
A property that depends on the generator size
A property that depends on the generator size
- Source:
- Prop.scala
A property that holds if at least one of the given generators fails generating a value
A property that holds if at least one of the given generators fails generating a value
- Source:
- Prop.scala
This handles situations where we have a starting seed in our parameters.
This handles situations where we have a starting seed in our parameters.
If we do, then we remove it from parameters and return it. If not, we create a new random seed. The new parameters from this method should be used with all the generation that this prop needs itself.
Note that if this Prop needs to evaluate other Props (e.g. in
forAll), you should make sure not to use the parameters
returned from this method. We need for all Props evaluated by
this one to behave deterministically if this Prop was given a
seed. In that case you should use slideSeed
to update the
parameters.
- Source:
- Prop.scala
Returns true if the given statement throws an exception of the specified type
Returns true if the given statement throws an exception of the specified type
- Source:
- Prop.scala
Ensures that the property expression passed in completes within the given space of time.
Ensures that the property expression passed in completes within the given space of time.
- Source:
- Prop.scala
Deprecated methods
Implicit method that makes a number of property operators on boolean values available in the current scope. See Prop.ExtendedBoolean for documentation on the operators.
Implicit method that makes a number of property operators on boolean values available in the current scope. See Prop.ExtendedBoolean for documentation on the operators.
- Deprecated
[Since version 1.14.1]
- Source:
- Prop.scala
Collect data for presentation in test report
Collect data for presentation in test report
- Deprecated
- Source:
- Prop.scala
Concrete fields
A property that never is proved or falsified
A property that never is proved or falsified
- Source:
- Prop.scala
Implicits
Implicits
Implicit method that makes a number of property operators on values of
type Any
available in the current scope.
See Prop.ExtendedAny for documentation on the operators.
Implicit method that makes a number of property operators on values of
type Any
available in the current scope.
See Prop.ExtendedAny for documentation on the operators.
- Source:
- Prop.scala
Implicit conversion of Boolean values to Prop values.
Implicit conversion of Boolean values to Prop values.
- Source:
- Prop.scala