Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- neutral :: Eq r => (r -> r -> r) -> r -> r -> Bool
- neutral' :: Eq r => (r -> r -> r) -> r -> r -> Bool
- neutral_on :: Rel r b -> (r -> r -> r) -> r -> r -> b
- neutral_on' :: Rel r b -> (r -> r -> r) -> r -> r -> b
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 b -> (r -> r -> r) -> r -> r -> b Source #
neutral_on' :: Rel r b -> (r -> r -> r) -> r -> r -> b Source #