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 -> Property
antireflexivityOnGen func gen = forAll gen $ antireflexiveOnElem func
antireflexivityOnValid
:: (Show a, GenValid a)
=> (a -> a -> Bool) -> Property
antireflexivityOnValid func = antireflexivityOnGen func genValid
antireflexivity
:: (Show a, GenUnchecked a)
=> (a -> a -> Bool) -> Property
antireflexivity func = antireflexivityOnGen func genUnchecked
antireflexivityOnArbitrary
:: (Show a, Arbitrary a)
=> (a -> a -> Bool) -> Property
antireflexivityOnArbitrary func = antireflexivityOnGen func arbitrary