!! | Data.Fin.List |
:. | Data.Fin.List |
apply | Data.Fin.Permutation |
at | Data.Fin.List |
cycles | Data.Fin.Permutation |
enum | Data.Fin |
Fin | Data.Fin |
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 |
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 |