Test.Validity.Relations.Reflexivity

Documentation

reflexiveOnElem

Arguments

:: (a -> a -> Bool)

A relation

-> a

An element

-> Bool

\[ Reflexive(\prec) \quad\equiv\quad \forall a: (a \prec a) \]

reflexivityOnGen :: Show a => (a -> a -> Bool) -> Gen a -> (a -> [a]) -> Property

reflexivityOnValid :: (Show a, GenValid a) => (a -> a -> Bool) -> Property

reflexivityOnValid ((<=) :: Rational -> Rational -> Bool)

reflexivityOnValid ((==) :: Rational -> Rational -> Bool)

reflexivityOnValid ((>=) :: Rational -> Rational -> Bool)

reflexivityOnValid (Data.List.isPrefixOf :: [Rational] -> [Rational] -> Bool)

reflexivityOnValid (Data.List.isSuffixOf :: [Rational] -> [Rational] -> Bool)

reflexivityOnValid (Data.List.isInfixOf :: [Rational] -> [Rational] -> Bool)

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

reflexivity ((<=) :: Int -> Int -> Bool)

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

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

reflexivity (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)

reflexivity (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)

reflexivity (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)

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

reflexivityOnArbitrary ((<=) :: Int -> Int -> Bool)

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

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

reflexivityOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)

reflexivityOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)

reflexivityOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)