lawz-0.0.1: Common mathematical laws.

Safe HaskellSafe
LanguageHaskell2010

Test.Operation.Annihilative

Synopsis

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 #