test
Value members
Inherited methods
Checks the assertion holds for the given effectfully-computed value.
Checks the assertion holds for the given effectfully-computed value.
- Inherited from
- CatsTestFunctions
A version of checkAllM
that accepts four random variables.
A version of checkAllM
that accepts four random variables.
- Inherited from
- CatsTestFunctions
A version of checkAllM
that accepts three random variables.
A version of checkAllM
that accepts three random variables.
- Inherited from
- CatsTestFunctions
A version of checkAllM
that accepts two random variables.
A version of checkAllM
that accepts two random variables.
- Inherited from
- CatsTestFunctions
Checks the effectual test passes for all values from the given random
variable. This is useful for deterministic Gen
that comprehensively
explore all possibilities in a given domain.
Checks the effectual test passes for all values from the given random
variable. This is useful for deterministic Gen
that comprehensively
explore all possibilities in a given domain.
- Inherited from
- CatsTestFunctions
A version of checkM
that accepts four random variables.
A version of checkM
that accepts four random variables.
- Inherited from
- CatsTestFunctions
A version of checkM
that accepts three random variables.
A version of checkM
that accepts three random variables.
- Inherited from
- CatsTestFunctions
A version of checkM
that accepts two random variables.
A version of checkM
that accepts two random variables.
- Inherited from
- CatsTestFunctions
Checks the effectual test passes for "sufficient" numbers of samples from the given random variable.
Checks the effectual test passes for "sufficient" numbers of samples from the given random variable.
- Inherited from
- CatsTestFunctions
A version of checkSomeM
that accepts four random variables.
A version of checkSomeM
that accepts four random variables.
- Inherited from
- CatsTestFunctions
A version of checkSomeM
that accepts three random variables.
A version of checkSomeM
that accepts three random variables.
- Inherited from
- CatsTestFunctions
A version of checkSomeM
that accepts two random variables.
A version of checkSomeM
that accepts two random variables.
- Inherited from
- CatsTestFunctions
Checks the effectual test passes for the specified number of samples from the given random variable.
Checks the effectual test passes for the specified number of samples from the given random variable.
- Inherited from
- CatsTestFunctions
Builds a spec with a single effectful test.
Builds a spec with a single effectful test.
- Inherited from
- CatsTestFunctions