Test.Validity.Operations.Associativity

Documentation

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

associative ((*) @Int)

associative ((+) @Int)

associativeOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> Property

associativeOnArbitrary ((*) @Int)

associativeOnArbitrary ((+) @Int)