Test.Validity.Relations.Symmetry

Documentation

symmetricOnElems

Arguments

:: (a -> a -> Bool)

A relation

-> a

-> a

Two elements

-> Bool

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

symmetryOnGens :: Show a => (a -> a -> Bool) -> Gen (a, a) -> (a -> [a]) -> Property

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

symmetryOnValid ((==) :: Double -> Double -> Bool)

symmetryOnValid ((/=) :: Double -> Double -> Bool)

symmetry :: (Show a, GenUnchecked a) => (a -> a -> Bool) -> Property

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

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

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

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

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