| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Test.Property.Operation.Commutative
Synopsis
- commutative :: Eq r => (r -> r -> r) -> r -> r -> Bool
- commutative_on :: Rel r -> (r -> r -> r) -> r -> r -> Bool
Documentation
commutative :: Eq r => (r -> r -> r) -> r -> r -> Bool Source #
\( \forall a, b: a \# b \equiv b \# a \)
commutative_on :: Rel r -> (r -> r -> r) -> r -> r -> Bool Source #
\( \forall a, b: a \# b \doteq b \# a \)