Safe Haskell | None |
---|---|
Language | Haskell2010 |
- associativeOnGens :: (Show a, Eq a) => (a -> a -> a) -> Gen (a, a, a) -> Property
- associativeOnValids :: (Show a, Eq a, GenValidity a) => (a -> a -> a) -> Property
- associative :: (Show a, Eq a, GenValidity a) => (a -> a -> a) -> Property
- associativeOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> Property
Associativity
associativeOnValids :: (Show a, Eq a, GenValidity a) => (a -> a -> a) -> Property Source #
associative :: (Show a, Eq a, GenValidity a) => (a -> a -> a) -> Property Source #