Data.Group.Free

data Signed a

A data type indicating the sign of one of the generators of the free group.

Constructors

• Positive a
• Negative a

Instances

• (Eq a) => Eq (Signed a)
• (Show a) => Show (Signed a)

newtype Free a

The free group generated by elements of a, up to equality. Note that the Eq and Monoid instances differ from the standard such instances for List (Signed a); two elements of the free group are equal iff they are equal after being reduced to "canonical form", i.e., cancelling adjacent inverses.

Constructors

• Free (List (Signed a))

Instances

• (Eq a) => Eq (Free a)
• (Show a) => Show (Free a)
• (Eq a) => Semigroup (Free a)
• (Eq a) => Monoid (Free a)
• (Eq a) => Group (Free a)

free :: forall a. a -> Free a

Lift a value of type a to a value of type Free a