Test.Validity.Relations.Transitivity

Documentation

transitiveOnElems

Arguments

:: (a -> a -> Bool)

A relation

-> a

-> a

-> a

Three elements

-> Bool

\[ Transitive(\prec) \quad\equiv\quad \forall a, b, c: ((a \prec b) \wedge (b \prec c)) \Rightarrow (a \prec c) \]

transitivityOnGens :: Show a => (a -> a -> Bool) -> Gen (a, a, a) -> Property

transitivityOnValid :: (Show a, GenValidity a) => (a -> a -> Bool) -> Property

transitivity :: (Show a, GenValidity a) => (a -> a -> Bool) -> Property

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

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