Monoid package:genvalidity-sydtest
Monoid properties
You will need TypeApplications to use these.
Standard test spec for properties of
Monoid instances for
unchecked values
Example usage:
monoidSpec @[Int]
Standard test spec for properties of
Monoid instances for
arbitrary values
Example usage:
monoidSpecOnArbitrary @[Int]
Standard test spec for properties of Monoid instances for values
generated by a given generator (and name for that generator).
Example usage:
monoidSpecOnGen (pure "a") "singleton list of 'a'"
Standard test spec for properties of
Monoid instances for valid
values
Example usage:
monoidSpecOnValid @[Double]