{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Test.Validity.Relations.Antireflexivity
( antireflexiveOnElem
, antireflexivityOnGen
, antireflexivityOnValid
, antireflexivity
, antireflexivityOnArbitrary
) where
import Data.GenValidity
import Test.QuickCheck
antireflexiveOnElem ::
(a -> a -> Bool)
-> a
-> Bool
antireflexiveOnElem func a = not $ func a a
antireflexivityOnGen ::
Show a => (a -> a -> Bool) -> Gen a -> (a -> [a]) -> Property
antireflexivityOnGen func gen s = forAllShrink gen s $ antireflexiveOnElem func
antireflexivityOnValid :: (Show a, GenValid a) => (a -> a -> Bool) -> Property
antireflexivityOnValid func = antireflexivityOnGen func genValid shrinkValid
antireflexivity :: (Show a, GenUnchecked a) => (a -> a -> Bool) -> Property
antireflexivity func = antireflexivityOnGen func genUnchecked shrinkUnchecked
antireflexivityOnArbitrary ::
(Show a, Arbitrary a) => (a -> a -> Bool) -> Property
antireflexivityOnArbitrary func = antireflexivityOnGen func arbitrary shrink