Index
| catch | PureIO |
| getLine | PureIO |
| Input | |
| 1 (Type/Class) | PureIO |
| 2 (Data Constructor) | PureIO |
| inputStdin | PureIO |
| Interrupt | PureIO |
| InterruptException | PureIO |
| InterruptStdin | PureIO |
| IO | PureIO |
| IOException | PureIO |
| Output | |
| 1 (Type/Class) | PureIO |
| 2 (Data Constructor) | PureIO |
| outputStdout | PureIO |
| PureIO | |
| putStr | PureIO |
| putStrLn | PureIO |
| readIO | PureIO |
| readLn | PureIO |
| runIO | PureIO |
| throw | PureIO |
| UserError | PureIO |