ord -package:sbv -package:Cabal-syntax -package:text -package:numhask 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"