| adjoinOne | Data.Representation.FiniteSemigroup |
| adjoinZero | Data.Representation.FiniteSemigroup |
| asActions | Data.Representation.FiniteSemigroup |
| assignOrder | Data.Representation.FiniteSemigroup.Order, Data.Representation.FiniteSemigroup |
| assignOrderBy | Data.Representation.FiniteSemigroup.Order, Data.Representation.FiniteSemigroup |
| bases | Data.Representation.FiniteSemigroup |
| completion | Data.Representation.FiniteSemigroup |
| dual | Data.Representation.FiniteSemigroup |
| emee | Data.Representation.FiniteSemigroup |
| FiniteSemigroupRep | Data.Representation.FiniteSemigroup |
| fromBases | Data.Representation.FiniteSemigroup |
| fromBasesWith | Data.Representation.FiniteSemigroup.Order, Data.Representation.FiniteSemigroup |
| fsappend | Data.Representation.FiniteSemigroup |
| FSMult | Data.Representation.FiniteSemigroup |
| fsnbases | Data.Representation.FiniteSemigroup |
| fssize | Data.Representation.FiniteSemigroup |
| fstable | Data.Representation.FiniteSemigroup |
| GeneratedAction | Data.Representation.FiniteSemigroup |
| getTable | Data.Representation.FiniteSemigroup |
| ideal2 | Data.Representation.FiniteSemigroup |
| idempotents | Data.Representation.FiniteSemigroup |
| independentBases | Data.Representation.FiniteSemigroup |
| isAperiodic | Data.Representation.FiniteSemigroup.Classification, Data.Representation.FiniteSemigroup |
| isBand | Data.Representation.FiniteSemigroup.Classification, Data.Representation.FiniteSemigroup |
| isCommutative | Data.Representation.FiniteSemigroup.Classification, Data.Representation.FiniteSemigroup |
| isDA | Data.Representation.FiniteSemigroup.Classification, Data.Representation.FiniteSemigroup |
| isJTrivial | Data.Representation.FiniteSemigroup.Classification, Data.Representation.FiniteSemigroup |
| isLTrivial | Data.Representation.FiniteSemigroup.Classification, Data.Representation.FiniteSemigroup |
| isNilpotent | Data.Representation.FiniteSemigroup.Classification, Data.Representation.FiniteSemigroup |
| isRTrivial | Data.Representation.FiniteSemigroup.Classification, Data.Representation.FiniteSemigroup |
| isTrivial | Data.Representation.FiniteSemigroup.Classification, Data.Representation.FiniteSemigroup |
| isVariety | Data.Representation.FiniteSemigroup.Variety, Data.Representation.FiniteSemigroup |
| jleq | Data.Representation.FiniteSemigroup |
| lClasses | Data.Representation.FiniteSemigroup |
| locally | Data.Representation.FiniteSemigroup.Classification, Data.Representation.FiniteSemigroup |
| localSubmonoids | Data.Representation.FiniteSemigroup |
| localSubsemigroup | Data.Representation.FiniteSemigroup |
| mapsInto | Data.Representation.FiniteSemigroup |
| monoid | Data.Representation.FiniteSemigroup |
| neutralElement | Data.Representation.FiniteSemigroup |
| odual | Data.Representation.FiniteSemigroup.Order, Data.Representation.FiniteSemigroup |
| omega | Data.Representation.FiniteSemigroup |
| omegas | Data.Representation.FiniteSemigroup |
| OrderedSemigroup | Data.Representation.FiniteSemigroup.Order, Data.Representation.FiniteSemigroup |
| orel | Data.Representation.FiniteSemigroup.Order, Data.Representation.FiniteSemigroup |
| projectedSubsemigroup | Data.Representation.FiniteSemigroup |
| rClasses | Data.Representation.FiniteSemigroup |
| sdual | Data.Representation.FiniteSemigroup.Order, Data.Representation.FiniteSemigroup |
| subsemigroup | Data.Representation.FiniteSemigroup |
| syntacticOrder | Data.Representation.FiniteSemigroup.Order, Data.Representation.FiniteSemigroup |
| trivialOrder | Data.Representation.FiniteSemigroup.Order, Data.Representation.FiniteSemigroup |
| unordered | Data.Representation.FiniteSemigroup.Order, Data.Representation.FiniteSemigroup |
| zeroElement | Data.Representation.FiniteSemigroup |