Safe Haskell | None |
---|---|
Language | Haskell2010 |
- transitiveOnElems :: (a -> a -> Bool) -> a -> a -> a -> Bool
- transitivityOnGens :: Show a => (a -> a -> Bool) -> Gen (a, a, a) -> Property
- transitivityOnValid :: (Show a, GenValid a) => (a -> a -> Bool) -> Property
- transitivity :: (Show a, GenUnchecked a) => (a -> a -> Bool) -> Property
- transitivityOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property
Documentation
\[ Transitive(\prec) \quad\equiv\quad \forall a, b, c: ((a \prec b) \wedge (b \prec c)) \Rightarrow (a \prec c) \]
transitivityOnValid :: (Show a, GenValid a) => (a -> a -> Bool) -> Property Source #
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 Source #
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 Source #
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)