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 #