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