Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.Syd.Validity.Operations.Commutativity
Synopsis
- commutativeOnGens :: (Show a, Show b, Eq b) => (a -> a -> b) -> Gen (a, a) -> ((a, a) -> [(a, a)]) -> Property
- commutativeOnValids :: (Show a, Show b, Eq b, GenValid a) => (a -> a -> b) -> Property
- commutative :: (Show a, Show b, Eq b, GenUnchecked a) => (a -> a -> b) -> Property
- commutativeOnArbitrary :: (Show a, Show b, Eq b, Arbitrary a) => (a -> a -> b) -> Property
Documentation
commutativeOnGens :: (Show a, Show b, Eq b) => (a -> a -> b) -> Gen (a, a) -> ((a, a) -> [(a, a)]) -> Property Source #
\[ Commutative(\star) \quad\equiv\quad \forall a, b: a \star b = b \star a \]
commutativeOnValids :: (Show a, Show b, Eq b, GenValid a) => (a -> a -> b) -> Property Source #
commutativeOnValids ((+) :: Rational -> Rational -> Rational)
commutativeOnValids ((*) :: Rational -> Rational -> Rational)
commutative :: (Show a, Show b, Eq b, GenUnchecked a) => (a -> a -> b) -> Property Source #
commutative ((+) :: Int -> Int -> Int)
commutative ((*) :: Int -> Int -> Int)