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 -> Property

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

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

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

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