Safe Haskell | None |
---|

# Documentation

propUpCommutative :: (Eq a, C a) => a -> a -> BoolSource

propDnCommutative :: (Eq a, C a) => a -> a -> BoolSource

propUpAssociative :: (Eq a, C a) => a -> a -> a -> BoolSource

propDnAssociative :: (Eq a, C a) => a -> a -> a -> BoolSource

propUpDnDistributive :: (Eq a, C a) => a -> a -> a -> BoolSource

propDnUpDistributive :: (Eq a, C a) => a -> a -> a -> BoolSource