Laws for instances of Group.

Includes the following laws:

Inversion

invert mempty == mempty

invert (invert a) == a

       a <> invert a == mempty
invert a <>        a == mempty

Subtraction

a ~~ mempty == a

a ~~ a == mempty

a ~~ b == a <> invert b

Exponentiation

pow a 0 == mempty

n >= 0 ==> pow a n ==         mconcat (replicate      n  a)
n <= 0 ==> pow a n == invert (mconcat (replicate (abs n) a))

Superclass laws

Note that the following superclass laws are not included:

• monoidLaws

Laws for instances of Abelian.

Includes the following law:

Commutativity

a <> b == b <> a

Superclass laws

Note that the following superclass laws are not included:

• groupLaws