Modulegenvalidity-property-1.0.0.0Haskell2010

Test.Validity.Relations.Symmetry

Synopsis

valuesymmetricOnElems

Symmetric(\prec) \quad\equiv\quad \forall a, b: (a \prec b) \Leftrightarrow (b \prec a)

valuesymmetryOnGens

valuesymmetry :: (Show a, GenValid a) => (a -> a -> Bool) -> Property

Property

prop> symmetry ((==) :: Int -> Int -> Bool)

Property

prop> symmetry ((/=) :: Int -> Int -> Bool)

valuesymmetryOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property

Property

prop> symmetryOnArbitrary ((==) :: Int -> Int -> Bool)

Property

prop> symmetryOnArbitrary ((/=) :: Int -> Int -> Bool)