Commutative(\star)
\quad\equiv\quad
\forall a, b:
a \star b = b \star a
Modulegenvalidity-sydtest-1.0.0.0Haskell2010
Test.Syd.Validity.Operations.Commutativity
- 3 values
- Packagegenvalidity-sydtest-1.0.0.0
- Exports3
- LanguageHaskell2010
- LicenceMIT
- SourceCommutativity.hs
commutative ((+) :: Int -> Int -> Int)commutative ((*) :: Int -> Int -> Int)commutativeOnArbitrary ((+) :: Int -> Int -> Int)commutativeOnArbitrary ((*) :: Int -> Int -> Int)commutativeOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> Property