CatsTestFunctions
Value members
Concrete methods
Checks the assertion holds for the given effectfully-computed value.
Checks the assertion holds for the given effectfully-computed value.
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.
A version of checkAllM
that accepts two random variables.
A version of checkAllM
that accepts two random variables.
A version of checkAllM
that accepts three random variables.
A version of checkAllM
that accepts three random variables.
A version of checkAllM
that accepts four random variables.
A version of checkAllM
that accepts four random variables.
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.
A version of checkM
that accepts two random variables.
A version of checkM
that accepts two random variables.
A version of checkM
that accepts three random variables.
A version of checkM
that accepts three random variables.
A version of checkM
that accepts four random variables.
A version of checkM
that accepts four random variables.
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.
A version of checkSomeM
that accepts two random variables.
A version of checkSomeM
that accepts two random variables.
A version of checkSomeM
that accepts three random variables.
A version of checkSomeM
that accepts three random variables.
A version of checkSomeM
that accepts four random variables.
A version of checkSomeM
that accepts four random variables.