quickcheck-properties-0.1: QuickCheck properties for standard type classes.

Test.QuickCheck.Property.Monoid

Description

Properties for Monoid type class

Synopsis

Documentation

prop_MonoidLeft :: Monoid a => T a -> a -> Equal aSource

mempty is left identity

prop_MonoidRight :: Monoid a => T a -> a -> Equal aSource

mempty is right identity

prop_MonoidIdentity :: Monoid a => T a -> a -> Equal aSource

mempty is identity

prop_Mappend :: Monoid a => T a -> a -> a -> a -> Equal aSource

mappend is associative

prop_Monoid :: Monoid a => T a -> a -> a -> a -> Equal aSource

All properties of monoid