Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
commutativeOnGens :: (Show a, Show b, Eq b) => (a -> a -> b) -> Gen (a, a) -> ((a, a) -> [(a, a)]) -> Property Source #
\[ Commutative(\star) \quad\equiv\quad \forall a, b: a \star b = b \star a \]