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, GenValid a) => (a -> a -> Bool) -> Property

transitivityOnValid ((>) @Double)

transitivityOnValid ((>=) @Double)

transitivityOnValid ((==) @Double)

transitivityOnValid ((<=) @Double)

transitivityOnValid ((<) @Double)

transitivityOnValid (Data.List.isPrefixOf @Double)

transitivityOnValid (Data.List.isSuffixOf @Double)

transitivityOnValid (Data.List.isInfixOf @Double)

transitivityOnValid (Data.List.isSubsequenceOf @Double)

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

transitivity ((>) @Int)

transitivity ((>=) @Int)

transitivity ((==) @Int)

transitivity ((<=) @Int)

transitivity ((<) @Int)

transitivity (Data.List.isPrefixOf @Int)

transitivity (Data.List.isSuffixOf @Int)

transitivity (Data.List.isInfixOf @Int)

transitivity (Data.List.isSubsequenceOf @Int)

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

transitivityOnArbitrary ((>) @Int)

transitivityOnArbitrary ((>=) @Int)

transitivityOnArbitrary ((==) @Int)

transitivityOnArbitrary ((<=) @Int)

transitivityOnArbitrary ((<) @Int)

transitivityOnArbitrary (Data.List.isPrefixOf @Int)

transitivityOnArbitrary (Data.List.isSuffixOf @Int)

transitivityOnArbitrary (Data.List.isInfixOf @Int)

transitivityOnArbitrary (Data.List.isSubsequenceOf @Int)