module Test.QuickCheck.Property.Monoid (
module Test.QuickCheck.Property.Common
, prop_MonoidLeft
, prop_MonoidRight
, prop_MonoidIdentity
, prop_Mappend
, prop_Monoid
) where
import Data.Monoid
import Test.QuickCheck.Property.Common
import Test.QuickCheck.Property.Common.Internal
import Test.QuickCheck.Property.Generic
prop_MonoidLeft :: Monoid a => T a -> a -> Equal a
prop_MonoidLeft = prop_LeftIdentity mempty mappend
prop_MonoidRight :: Monoid a => T a -> a -> Equal a
prop_MonoidRight = prop_RightIdentity mempty mappend
prop_MonoidIdentity :: Monoid a => T a -> a -> Equal a
prop_MonoidIdentity = prop_Identity mempty mappend
prop_Mappend :: Monoid a => T a -> a -> a -> a -> Equal a
prop_Mappend = prop_Associative mappend
prop_Monoid :: Monoid a => T a -> a -> a -> a -> Equal a
prop_Monoid = prop_GenMonoid mempty mappend