Index
| absurd | Data.Fin |
| Fin | |
| 1 (Type/Class) | Data.Fin |
| 2 (Data Constructor) | Data.Fin |
| finAdd | Data.Fin |
| finAddN | Data.Fin |
| finLast | Data.Fin |
| finMult | Data.Fin |
| finS | Data.Fin |
| finSub | Data.Fin |
| finSubN | Data.Fin |
| finZ | Data.Fin |
| fromFin | Data.Fin |
| natToFin | Data.Fin |
| shift | Data.Fin |
| strengthen | Data.Fin |
| toFin | Data.Fin |
| unsafeToFin | Data.Fin |
| weaken | Data.Fin |
| weakenN | Data.Fin |