Eq package:genvalidity-sydtest

Eq properties You will need TypeApplications to use these.

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

eqSpec @Int

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

eqSpecOnArbitrary @Int

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

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

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

eqSpecOnInvalid @Double

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

eqSpecOnValid @Double

equivalentOnArbitrary ((* 2) . (+ 1)) ((+ 2) . (* 2) :: Int -> Int)

equivalentOnArbitrary2 (+) ((+) :: Int -> Int -> Int)