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-sydtest-1.0.0.0Haskell2010

Test.Syd.Validity.Relations.Antireflexivity

  • 4 values
valueantireflexiveOnElem
  1. :: (a -> a -> Bool)

    A relation

  2. -> a

    An element

  3. -> Bool
#

Antireflexive(\prec) \quad\equiv\quad \forall a: \neg (a \prec a)

valueantireflexivity :: (Show a, GenValid a) => (a -> a -> Bool) -> Property
#
Property
antireflexivity ((<) :: Int -> Int -> Bool)
Property
antireflexivity ((/=) :: Int -> Int -> Bool)
Property
antireflexivity ((>) :: Int -> Int -> Bool)
valueantireflexivityOnArbitrary
  1. :: (Show a, Arbitrary a)
  2. => a -> a -> Bool
  3. -> Property
#
Property
antireflexivityOnArbitrary ((<) :: Int -> Int -> Bool)
Property
antireflexivityOnArbitrary ((/=) :: Int -> Int -> Bool)
Property
antireflexivityOnArbitrary ((>) :: Int -> Int -> Bool)