Commits

Aleksey Khudyakov  committed 43a8b61

Use generic

  • Participants
  • Parent commits 2ecb3f8

Comments (0)

Files changed (1)

File Test/QuickCheck/Property/Monoid.hs

 
 -- | All properties of monoid
 prop_Monoid :: Monoid a => T a -> a -> a -> a -> Equal a
-prop_Monoid T a b c =  prop_Mappend        T a b c 
-                  .&&. prop_MonoidIdentity T a
+prop_Monoid = prop_GenMonoid mempty mappend
+