Antireflexive(\prec)
\quad\equiv\quad
\forall a: \neg (a \prec a)
Modulegenvalidity-property-1.0.0.0Haskell2010
Test.Validity.Relations.Antireflexivity
Synopsis
- value antireflexiveOnElem
- value antireflexivityOnGen
- value antireflexivity
- value antireflexivityOnArbitrary
- Packagegenvalidity-property-1.0.0.0
- Exports4
- LanguageHaskell2010
- LicenceMIT
- SourceAntireflexivity.hs
antireflexivity ((<) :: Int -> Int -> Bool)antireflexivity ((/=) :: Int -> Int -> Bool)antireflexivity ((>) :: Int -> Int -> Bool)antireflexivityOnArbitrary ((<) :: Int -> Int -> Bool)antireflexivityOnArbitrary ((/=) :: Int -> Int -> Bool)antireflexivityOnArbitrary ((>) :: Int -> Int -> Bool)