ord -package:sbv -package:leancheck -package:cabal-install-solver -package:invertible package:genvalidity-hspec
Ord properties
You will need TypeApplications to use these.
Standard test spec for properties of Ord instances for valid 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"