| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Validity.Operations.Commutativity
- commutativeOnGens :: (Show a, Eq a) => (a -> a -> a) -> Gen (a, a) -> Property
- commutativeOnValids :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> Property
- commutative :: (Show a, Eq a, GenUnchecked a) => (a -> a -> a) -> Property
- commutativeOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> Property
Documentation
commutativeOnValids :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> Property Source #
commutative ((+) :: Double -> Double -> Double)
commutative ((*) :: Double -> Double -> Double)
commutative :: (Show a, Eq a, GenUnchecked a) => (a -> a -> a) -> Property Source #
commutative ((+) :: Int -> Int -> Int)
commutative ((*) :: Int -> Int -> Int)