Index
| --> | Data.Act |
| :|: | Data.Group |
| <-- | Data.Act |
| Act | Data.Act |
| act | Data.Act |
| anti | Data.Group |
| Finitely | |
| 1 (Type/Class) | Data.Act |
| 2 (Data Constructor) | Data.Act |
| from | Data.Group |
| getFinitely | Data.Act |
| getTrivial | Data.Act |
| Group | Data.Group |
| gtimes | Data.Group |
| intertwiner | Data.Act |
| inverse | Data.Group |
| Isom | Data.Group |
| reflexive | Data.Group |
| to | Data.Group |
| Torsor | Data.Act |
| transportAction | Data.Act |
| Trivial | |
| 1 (Type/Class) | Data.Act |
| 2 (Data Constructor) | Data.Act |
| • | Data.Act |