HORIZON HASKELLDocslts/ghc-10.0.x8174fa42026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11

Modulegenvalidity-property-1.0.0.0Haskell2010

Test.Validity.Relations.Reflexivity

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

    A relation

  2. -> a

    An element

  3. -> Bool
#

Reflexive(\prec) \quad\equiv\quad \forall a: (a \prec a)

valuereflexivity :: (Show a, GenValid a) => (a -> a -> Bool) -> Property
#
Property
reflexivity ((<=) :: Int -> Int -> Bool)
Property
reflexivity ((==) :: Int -> Int -> Bool)
Property
reflexivity ((>=) :: Int -> Int -> Bool)
Property
reflexivity (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)
Property
reflexivity (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)
Property
reflexivity (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)
valuereflexivityOnArbitrary
  1. :: (Show a, Arbitrary a)
  2. => a -> a -> Bool
  3. -> Property
#
Property
reflexivityOnArbitrary ((<=) :: Int -> Int -> Bool)
Property
reflexivityOnArbitrary ((==) :: Int -> Int -> Bool)
Property
reflexivityOnArbitrary ((>=) :: Int -> Int -> Bool)
Property
reflexivityOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)
Property
reflexivityOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)
Property
reflexivityOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)