Uniform.Properties

Documentation

prop_zero_mknull :: (Monoid a, Eq a) => a -> Bool

prop_assoz :: (Monoid a, Eq a) => a -> a -> a -> Bool

prop_concat :: (Monoid a, Eq a) => [a] -> Bool