| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Test.Validity.Relations.Reflexivity
- reflexiveOnElem :: (a -> a -> Bool) -> a -> Bool
- reflexivityOnGen :: Show a => (a -> a -> Bool) -> Gen a -> Property
- reflexivityOnValid :: (Show a, GenValid a) => (a -> a -> Bool) -> Property
- reflexivity :: (Show a, GenUnchecked a) => (a -> a -> Bool) -> Property
- reflexivityOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property
Documentation
\[ Reflexive(\prec) \quad\equiv\quad \forall a: (a \prec a) \]
reflexivityOnValid :: (Show a, GenValid a) => (a -> a -> Bool) -> Property Source #
reflexivityOnValid ((<=) @Double)
reflexivityOnValid ((==) @Double)
reflexivityOnValid ((>=) @Double)
reflexivityOnValid (Data.List.isPrefixOf @Double)
reflexivityOnValid (Data.List.isSuffixOf @Double)
reflexivityOnValid (Data.List.isInfixOf @Double)
reflexivityOnValid (Data.List.isSubsequenceOf @Double)
reflexivity :: (Show a, GenUnchecked a) => (a -> a -> Bool) -> Property Source #
reflexivity ((<=) @Int)
reflexivity ((==) @Int)
reflexivity ((>=) @Int)
reflexivity (Data.List.isPrefixOf @Int)
reflexivity (Data.List.isSuffixOf @Int)
reflexivity (Data.List.isInfixOf @Int)
reflexivity (Data.List.isSubsequenceOf @Int)
reflexivityOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property Source #
reflexivityOnArbitrary ((<=) @Int)
reflexivityOnArbitrary ((==) @Int)
reflexivityOnArbitrary ((>=) @Int)
reflexivityOnArbitrary (Data.List.isPrefixOf @Int)
reflexivityOnArbitrary (Data.List.isSuffixOf @Int)
reflexivityOnArbitrary (Data.List.isInfixOf @Int)
reflexivityOnArbitrary (Data.List.isSubsequenceOf @Int)