{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Test.Validity.Relations.Symmetry
( symmetricOnElems
, symmetryOnGens
, symmetryOnValid
, symmetry
, symmetryOnArbitrary
) where
import Data.GenValidity
import Test.QuickCheck
import Test.Validity.Property.Utils
symmetricOnElems ::
(a -> a -> Bool)
-> a
-> a
-> Bool
symmetricOnElems func a b = func a b <==> func b a
symmetryOnGens ::
Show a => (a -> a -> Bool) -> Gen (a, a) -> (a -> [a]) -> Property
symmetryOnGens func gen s =
forAllShrink gen (shrinkT2 s) $ uncurry $ symmetricOnElems func
symmetryOnValid :: (Show a, GenValid a) => (a -> a -> Bool) -> Property
symmetryOnValid func = symmetryOnGens func genValid shrinkValid
symmetry :: (Show a, GenUnchecked a) => (a -> a -> Bool) -> Property
symmetry func = symmetryOnGens func genUnchecked shrinkUnchecked
symmetryOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property
symmetryOnArbitrary func = symmetryOnGens func arbitrary shrink