Index
| !! | Data.Fin.List |
| :. | Data.Fin.List |
| apply | Data.Fin.Permutation |
| at | Data.Fin.List |
| cycles | Data.Fin.Permutation |
| enum | Data.Fin |
| Fin | Data.Fin |
| findIndex | Data.Fin.List |
| fromFin | Data.Fin |
| fromList | Data.Fin.List |
| head | Data.Fin.List |
| init | Data.Fin.List |
| inj₁ | Data.Fin |
| last | Data.Fin.List |
| lift₁ | Data.Fin |
| List | Data.Fin.List |
| Nil | Data.Fin.List |
| orbit | Data.Fin.Permutation |
| Peano | Data.Fin.List |
| Permutation | Data.Fin.Permutation |
| pred | Data.Fin |
| proj₁ | Data.Fin |
| reverse | Data.Fin.List |
| rotate | Data.Fin.List |
| Succ | Data.Fin |
| swap | |
| 1 (Function) | Data.Fin.List |
| 2 (Function) | Data.Fin.Permutation |
| tail | Data.Fin.List |
| toFin | Data.Fin |
| toFinMay | Data.Fin |
| unapply | Data.Fin.Permutation |
| uncons | Data.Fin.List |
| Zero | Data.Fin |