HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulegenvalidity-property-1.0.0.0Haskell2010

Test.Validity.Relations.Antisymmetry

  • 5 values
valueantisymmetricOnElemsWithEquality
  1. :: (a -> a -> Bool)

    A relation

  2. -> (a -> a -> Bool)

    An equivalence relation

  3. -> a
  4. -> a

    Two elements

  5. -> Bool
#

Antisymmetric(\prec, \doteq) \quad\equiv\quad \forall a, b: ((a \prec b) \wedge (b \prec a)) \Rightarrow (a \doteq b)

valueantisymmetry :: (Show a, Eq a, GenValid a) => (a -> a -> Bool) -> Property
#
Property
antisymmetry ((>) :: Int -> Int -> Bool)
Property
antisymmetry ((>=) :: Int -> Int -> Bool)
Property
antisymmetry ((<=) :: Int -> Int -> Bool)
Property
antisymmetry ((<) :: Int -> Int -> Bool)
Property
antisymmetry (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)
Property
antisymmetry (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)
Property
antisymmetry (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)
Property
antisymmetry ((\x y -> even x && odd y) :: Int -> Int -> Bool)
valueantisymmetryOnArbitrary
  1. :: (Show a, Eq a, Arbitrary a)
  2. => a -> a -> Bool
  3. -> Property
#
Property
antisymmetryOnArbitrary ((>) :: Int -> Int -> Bool)
Property
antisymmetryOnArbitrary ((>=) :: Int -> Int -> Bool)
Property
antisymmetryOnArbitrary ((<=) :: Int -> Int -> Bool)
Property
antisymmetryOnArbitrary ((<) :: Int -> Int -> Bool)
Property
antisymmetryOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)
Property
antisymmetryOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)
Property
antisymmetryOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)
Property
antisymmetryOnArbitrary ((\x y -> even x && odd y) :: Int -> Int -> Bool)