| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Validity.Operations.Commutativity
Contents
- commutativeOnGens :: (Show a, Eq a) => (a -> a -> a) -> Gen (a, a) -> Property
- commutativeOnValids :: (Show a, Eq a, GenValidity a) => (a -> a -> a) -> Property
- commutative :: (Show a, Eq a, GenValidity a) => (a -> a -> a) -> Property
- commutativeOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> Property
Commutativity
commutativeOnValids :: (Show a, Eq a, GenValidity a) => (a -> a -> a) -> Property Source #
commutative :: (Show a, Eq a, GenValidity a) => (a -> a -> a) -> Property Source #