| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Test.Property.Operation.Neutral
Documentation
neutral :: Eq r => (r -> r -> r) -> r -> r -> Bool Source #
\( \forall a: (u \# a) \equiv a \)
Right neutrality of a unit u with respect to an operator #.
For example, an implementation of Monoid must satisfy neutral (<>) mempty
neutral' :: Eq r => (r -> r -> r) -> r -> r -> Bool Source #
\( \forall a: (a \# u) \equiv a \)
Left neutrality of a unit u with respect to an operator #.
For example, an implementation of Monoid must satisfy neutral (<>) mempty
neutral_on :: Rel r -> (r -> r -> r) -> r -> r -> Bool Source #
neutral_on' :: Rel r -> (r -> r -> r) -> r -> r -> Bool Source #