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

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

Modulegenvalidity-property-1.0.0.0Haskell2010

Test.Validity.Relations.Transitivity

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

    A relation

  2. -> a
  3. -> a
  4. -> a

    Three elements

  5. -> Bool
#

Transitive(\prec) \quad\equiv\quad \forall a, b, c: ((a \prec b) \wedge (b \prec c)) \Rightarrow (a \prec c)

valuetransitivity :: (Show a, GenValid a) => (a -> a -> Bool) -> Property
#
Property
transitivity ((>) :: Int -> Int -> Bool)
Property
transitivity ((>=) :: Int -> Int -> Bool)
Property
transitivity ((==) :: Int -> Int -> Bool)
Property
transitivity ((<=) :: Int -> Int -> Bool)
Property
transitivity ((<) :: Int -> Int -> Bool)
Property
transitivity (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)
Property
transitivity (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)
Property
transitivity (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)
valuetransitivityOnArbitrary
  1. :: (Show a, Arbitrary a)
  2. => a -> a -> Bool
  3. -> Property
#
Property
transitivityOnArbitrary ((>) :: Int -> Int -> Bool)
Property
transitivityOnArbitrary ((>=) :: Int -> Int -> Bool)
Property
transitivityOnArbitrary ((==) :: Int -> Int -> Bool)
Property
transitivityOnArbitrary ((<=) :: Int -> Int -> Bool)
Property
transitivityOnArbitrary ((<) :: Int -> Int -> Bool)
Property
transitivityOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)
Property
transitivityOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)
Property
transitivityOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)