Test.QuickCheck.Property.Generic

General

prop_Reflexive

Monoids & group

prop_Associative

prop_Commutative

prop_LeftIdentity

prop_RightIdentity

prop_Identity

prop_GroupInverse

General

prop_GenMonoid

prop_Group