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

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

Modulegenvalidity-sydtest-1.0.1.0Haskell2010

Test.Syd.Validity.Relations.Symmetry

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

    A relation

  2. -> a
  3. -> a

    Two elements

  4. -> Bool
#

Symmetric(\prec) \quad\equiv\quad \forall a, b: (a \prec b) \Leftrightarrow (b \prec a)

valuesymmetry :: (Show a, GenValid a) => (a -> a -> Bool) -> Property
#
Property
symmetry ((==) :: Int -> Int -> Bool)
Property
symmetry ((/=) :: Int -> Int -> Bool)