Uniform.Properties

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

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

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