Test.SmallCheck.Laws.Monoid

Monoid laws

leftIdentity :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Property m

Check the left identity law hold for the given Monoid Series:

mempty <> x ≡ x

rightIdentity :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Property m

Check the right identity law hold for the given Monoid Series:

x <> mempty ≡ x

associativity :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Series m a -> Series m a -> Property m

Check the associativity law hold for the given Monoid Series:

x <> (y <> z) ≡ (x <> y) <> z

mconcat :: (Eq a, Monad m, Show a, Monoid a) => Series m a -> Property m

Check the mconcat law hold for the given Monoid Series:

mconcat ≡ foldr mappend mempty