ord package:genvalidity-sydtest

Ord properties You will need TypeApplications to use these.

Standard test spec for properties of Ord instances for unchecked values Example usage:

ordSpec @Int

Standard test spec for properties of Ord instances for arbitrary values Example usage:

ordSpecOnArbitrary @Int

Standard test spec for properties of Ord instances for values generated by a given generator (and name for that generator). Example usage:

ordSpecOnGen ((* 2) <$> genValid @Int) "even"

Standard test spec for properties of Ord instances for invalid values Example usage:

ordSpecOnInvalid @Double

Standard test spec for properties of Ord instances for valid values Example usage:

ordSpecOnValid @Double