Module
Data.Group.Free
- Package
- purescript-free-group
- Repository
- hrb90/purescript-free-group
#Free Source
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
Instances
- Modules
- Data.
Group. Free