Symmetric(\prec)
\quad\equiv\quad
\forall a, b: (a \prec b) \Leftrightarrow (b \prec a)
Modulegenvalidity-sydtest-1.0.1.0Haskell2010
Test.Syd.Validity.Relations.Symmetry
Synopsis
- value symmetricOnElems
- value symmetryOnGens
- value symmetry
- value symmetryOnArbitrary
- Packagegenvalidity-sydtest-1.0.1.0
- Exports4
- LanguageHaskell2010
- LicenceMIT
- SourceSymmetry.hs
symmetry ((==) :: Int -> Int -> Bool)symmetry ((/=) :: Int -> Int -> Bool)symmetryOnArbitrary ((==) :: Int -> Int -> Bool)symmetryOnArbitrary ((/=) :: Int -> Int -> Bool)