| *! | Data.Fin.Int |
| *% | Data.Fin.Int |
| *? | Data.Fin.Int |
| +! | Data.Fin.Int |
| +% | Data.Fin.Int |
| +? | Data.Fin.Int |
| -! | Data.Fin.Int |
| -% | Data.Fin.Int |
| -? | Data.Fin.Int |
| attInt | Data.Fin.Int.Explicit, Data.Fin.Int |
| attLT | Data.Fin.Int.Explicit, Data.Fin.Int |
| attMinus | Data.Fin.Int.Explicit, Data.Fin.Int |
| attPlus | Data.Fin.Int.Explicit, Data.Fin.Int |
| chkAdd | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| chkMul | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| chkSub | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| complementFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| concatFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| crossFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| divModFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| embed | Data.Fin.Int.Explicit, Data.Fin.Int |
| enumDownFrom | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| enumDownFromTo | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| enumDownTo | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| enumFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| enumFinDown | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| Fin | Data.Fin.Int.Explicit, Data.Fin.Int |
| fin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| finDivMod | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| finFromIntegral | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| finMod | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| FinSize | Data.Fin.Int.Explicit, Data.Fin.Int |
| finToInt | Data.Fin.Int.Explicit, Data.Fin.Int |
| half | Data.Fin.Int.Explicit, Data.Fin.Int |
| knownFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| maxFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| minFin | Data.Fin.Int.Explicit, Data.Fin.Int |
| modAdd | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| modMul | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| modNegate | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| modSub | Data.Fin.Int.Explicit, Data.Fin.Int |
| quarter | Data.Fin.Int.Explicit, Data.Fin.Int |
| shiftFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| splitFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| strengthen | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| tryAdd | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| tryFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| tryMul | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| trySub | Data.Fin.Int.Explicit, Data.Fin.Int |
| tryUnembed | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| tryUnshiftFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| twice | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| unembed | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| unsafeCoFin | Data.Fin.Int.Explicit, Data.Fin.Int |
| unsafeCoInt | Data.Fin.Int.Explicit, Data.Fin.Int |
| unsafeFin | Data.Fin.Int.Explicit, Data.Fin.Int |
| unsafePred | Data.Fin.Int.Explicit, Data.Fin.Int |
| unsafeSucc | Data.Fin.Int.Explicit, Data.Fin.Int |
| unshiftFin | |
| 1 (Function) | Data.Fin.Int.Explicit |
| 2 (Function) | Data.Fin.Int |
| weaken | Data.Fin.Int.Explicit, Data.Fin.Int |