Index
| getHeading | Trivialini.SafeTypes |
| getKey | Trivialini.SafeTypes |
| getValue | Trivialini.SafeTypes |
| Ini | |
| 1 (Type/Class) | Trivialini |
| 2 (Data Constructor) | Trivialini |
| IniHeading | Trivialini.SafeTypes |
| IniKey | Trivialini.SafeTypes |
| IniValue | Trivialini.SafeTypes |
| invalidHdgChars | Trivialini.SafeTypes |
| invalidKeyChars | Trivialini.SafeTypes |
| invalidValChars | Trivialini.SafeTypes |
| isValidHeading | Trivialini.SafeTypes |
| isValidKey | Trivialini.SafeTypes |
| isValidStr | Trivialini.SafeTypes |
| isValidValue | Trivialini.SafeTypes |
| mkHdg | Trivialini.SafeTypes |
| mkKey | Trivialini.SafeTypes |
| mkVal | Trivialini.SafeTypes |
| readIniFile | Trivialini |
| readIniFileStrings | Trivialini |
| sections | Trivialini |
| toStringMap | Trivialini |