property-0.0.1: common properties

Safe HaskellSafe
LanguageHaskell2010

Test.Property.Operation.Associative

Synopsis

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) \)