Safe Haskell | None |
---|---|
Language | Haskell2010 |
- associativeOnGens :: (Show a, Eq a) => (a -> a -> a) -> Gen (a, a, a) -> Property
- associativeOnValids :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> Property
- associative :: (Show a, Eq a, GenUnchecked a) => (a -> a -> a) -> Property
- associativeOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> Property
Documentation
associative :: (Show a, Eq a, GenUnchecked a) => (a -> a -> a) -> Property Source #
associative ((*) :: Int -> Int -> Int)
associative ((+) :: Int -> Int -> Int)