Associative(\star)
\quad\equiv\quad
\forall a, b, c:
(a \star b) \star c = a \star (b \star c)
Modulegenvalidity-sydtest-1.0.1.0Haskell2010
Test.Syd.Validity.Operations.Associativity
Synopsis
- value associativeOnGens
- value associative
- value associativeOnArbitrary
- Packagegenvalidity-sydtest-1.0.1.0
- Exports3
- LanguageHaskell2010
- LicenceMIT
- SourceAssociativity.hs
associative ((*) :: Int -> Int -> Int)associative ((+) :: Int -> Int -> Int)associativeOnArbitrary ((*) :: Int -> Int -> Int)associativeOnArbitrary ((+) :: Int -> Int -> Int)