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.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)