module Test.Validity.Relations.Transitivity
( transitiveOnElems
, transitivityOnGens
, transitivityOnValid
, transitivity
, transitivityOnArbitrary
) where
import Data.GenValidity
import Test.QuickCheck
import Test.Validity.Utils
transitiveOnElems
:: (a -> a -> Bool)
-> a -> a -> a
-> Bool
transitiveOnElems func a b c = (func a b && func b c) ===> func a c
transitivityOnGens
:: Show a
=> (a -> a -> Bool)
-> Gen (a, a, a)
-> Property
transitivityOnGens func gen =
forAll gen $ \(a, b, c) -> transitiveOnElems func a b c
transitivityOnValid
:: (Show a, GenValidity a)
=> (a -> a -> Bool)
-> Property
transitivityOnValid func
= transitivityOnGens func genValid
transitivity
:: (Show a, GenValidity a)
=> (a -> a -> Bool)
-> Property
transitivity func
= transitivityOnGens func genUnchecked
transitivityOnArbitrary
:: (Show a, Arbitrary a)
=> (a -> a -> Bool)
-> Property
transitivityOnArbitrary func
= transitivityOnGens func arbitrary