| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Test.Property.Operation.Annihilative
Synopsis
- annihilative :: Eq r => (r -> r -> r) -> r -> r -> Bool
- annihilative' :: Eq r => (r -> r -> r) -> r -> r -> Bool
- annihilative_on :: Rel r -> (r -> r -> r) -> r -> r -> Bool
- annihilative_on' :: Rel r -> (r -> r -> r) -> r -> r -> Bool
Documentation
annihilative :: Eq r => (r -> r -> r) -> r -> r -> Bool Source #
\( \forall a: (u \# a) \equiv u \)
Right annihilativity of an element u with respect to an operator #.
For example, False is a right annihilative element of ||.
annihilative' :: Eq r => (r -> r -> r) -> r -> r -> Bool Source #
\( \forall a: (a \# u) \equiv u \)
Left annihilativity of an element u with respect to an operator #.
For example, Nothing is a right annihilative element of *>.
annihilative_on :: Rel r -> (r -> r -> r) -> r -> r -> Bool Source #
annihilative_on' :: Rel r -> (r -> r -> r) -> r -> r -> Bool Source #