| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Test.Property.Operation.Distributive
Synopsis
- distributive :: Eq r => (r -> r -> r) -> (r -> r -> r) -> r -> r -> r -> Bool
- distributive' :: Eq r => (r -> r -> r) -> (r -> r -> r) -> r -> r -> r -> Bool
- distributive_on :: Rel r -> (r -> r -> r) -> (r -> r -> r) -> r -> r -> r -> Bool
- distributive_on' :: Rel r -> (r -> r -> r) -> (r -> r -> r) -> r -> r -> r -> Bool
Documentation
distributive :: Eq r => (r -> r -> r) -> (r -> r -> r) -> r -> r -> r -> Bool Source #
\( \forall a, b, c: (a \# b) \% c \equiv (a \% c) \# (b \% c) \)
distributive' :: Eq r => (r -> r -> r) -> (r -> r -> r) -> r -> r -> r -> Bool Source #
\( \forall a, b, c: c \% (a \# b) \equiv (c \% a) \# (c \% b) \)
distributive_on :: Rel r -> (r -> r -> r) -> (r -> r -> r) -> r -> r -> r -> Bool Source #
distributive_on' :: Rel r -> (r -> r -> r) -> (r -> r -> r) -> r -> r -> r -> Bool Source #