Antisymmetric(\prec, \doteq)
\quad\equiv\quad
\forall a, b: ((a \prec b) \wedge (b \prec a)) \Rightarrow (a \doteq b)
Modulegenvalidity-property-1.0.0.0Haskell2010
Test.Validity.Relations.Antisymmetry
Synopsis
- value antisymmetricOnElemsWithEquality
- value antisymmetryOnGensWithEquality
- value antisymmetryOnGens
- value antisymmetry
- value antisymmetryOnArbitrary
- Packagegenvalidity-property-1.0.0.0
- Exports5
- LanguageHaskell2010
- LicenceMIT
- SourceAntisymmetry.hs
antisymmetry ((>) :: Int -> Int -> Bool)antisymmetry ((>=) :: Int -> Int -> Bool)antisymmetry ((<=) :: Int -> Int -> Bool)antisymmetry ((<) :: Int -> Int -> Bool)antisymmetry (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)antisymmetry (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)antisymmetry (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)antisymmetry ((\x y -> even x && odd y) :: Int -> Int -> Bool)antisymmetryOnArbitrary ((>) :: Int -> Int -> Bool)antisymmetryOnArbitrary ((>=) :: Int -> Int -> Bool)antisymmetryOnArbitrary ((<=) :: Int -> Int -> Bool)antisymmetryOnArbitrary ((<) :: Int -> Int -> Bool)antisymmetryOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)antisymmetryOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)antisymmetryOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)antisymmetryOnArbitrary ((\x y -> even x && odd y) :: Int -> Int -> Bool)