Safe Haskell | None |
---|---|

Language | Haskell98 |

# Documentation

propUpCommutative :: (Eq a, C a) => a -> a -> Bool Source

propDnCommutative :: (Eq a, C a) => a -> a -> Bool Source

propUpAssociative :: (Eq a, C a) => a -> a -> a -> Bool Source

propDnAssociative :: (Eq a, C a) => a -> a -> a -> Bool Source

propUpDnDistributive :: (Eq a, C a) => a -> a -> a -> Bool Source

propDnUpDistributive :: (Eq a, C a) => a -> a -> a -> Bool Source