abides-0.0.0: Simple boolean tests to see if a value abides by certain properties
Test.Abides.Data.Monoid
leftIdentity :: Monoid a => Eq a => a -> Bool Source #
rightIdentity :: Monoid a => Eq a => a -> Bool Source #