[−][src]Module free_algebra::monoid
Contains MonoidalString and the types and traits relevant to its system
For more information see the struct-level docs
Structs
| IterMut | Iterates over mutable references to the letters of a MonoidalString |
| MonoidalString | Creates free-arithmetic constructions based upon free-multiplication of letters of type |
Traits
| AssociativeMonoidRule | A MonoidRule that is evaluation order independent |
| CommutativeMonoidRule | A MonoidRule that is order independent |
| InvMonoidRule | A MonoidRule where each letter has a notion of an inverse |
| MonoidRule | Dictates a rule for how to multiply or add letters to a MonoidalString's word |
Type Definitions
| IntoIter | Iterates over the letters of a MonoidalString |
| Iter | Iterates over immutable references of the letters of a MonoidalString |