Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Validity.Operations.Commutativity
Synopsis
- commutativeOnGens :: (Show a, Show b, Eq b) => (a -> a -> b) -> Gen (a, a) -> ((a, a) -> [(a, a)]) -> Property
- commutative :: (Show a, Show b, Eq b, GenValid a) => (a -> a -> b) -> Property
- commutativeOnArbitrary :: (Show a, Show b, Eq b, Arbitrary a) => (a -> a -> b) -> Property
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 \]