Index
| Errors1 | Examples |
| Errors1NotAnInteger | Examples |
| Errors1NotPositive | Examples |
| example1 | Examples |
| example10 | Examples |
| example11 | Examples |
| example12 | Examples |
| example2 | Examples |
| example3 | Examples |
| example4 | Examples |
| example5 | Examples |
| example6 | Examples |
| example7 | Examples |
| example8 | Examples |
| example9 | Examples |
| FileNotFound | |
| 1 (Type/Class) | Examples |
| 2 (Data Constructor) | Examples |
| FileNotReadable | |
| 1 (Type/Class) | Examples |
| 2 (Data Constructor) | Examples |
| NotAnInteger | |
| 1 (Type/Class) | Examples |
| 2 (Data Constructor) | Examples |
| NotPositive | |
| 1 (Type/Class) | Examples |
| 2 (Data Constructor) | Examples |
| readIntV1 | Examples |
| readIntV2 | Examples |
| readIntV3 | Examples |
| readIntV4 | Examples |
| readIntV5 | Examples |
| readIntV6 | Examples |
| readPositiveInt1 | Examples |