Properties for Monoid
type class
- module Test.QuickCheck.Property.Common
- prop_MonoidLeft :: Monoid a => T a -> a -> Equal a
- prop_MonoidRight :: Monoid a => T a -> a -> Equal a
- prop_MonoidIdentity :: Monoid a => T a -> a -> Equal a
- prop_Mappend :: Monoid a => T a -> a -> a -> a -> Equal a
- prop_Monoid :: Monoid a => T a -> a -> a -> a -> Equal a
Documentation
prop_Monoid :: Monoid a => T a -> a -> a -> a -> Equal aSource
All properties of monoid