uniform-algebras-0.1.3: Pointless functions and a simplistic zero and monoid
Safe HaskellSafe-Inferred
LanguageHaskell2010

Uniform.Properties

Documentation

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 #