Index
| $sel:activeWindow:AppState | Ghcitui.Brick |
| $sel:appConfig:AppState | Ghcitui.Brick |
| $sel:debugConsoleLogs:AppState | Ghcitui.Brick |
| $sel:displayDebugConsoleLogs:AppState | Ghcitui.Brick |
| $sel:getCmd:AppConfig | Ghcitui.Brick |
| $sel:getCurrentWorkingDir:AppState | Ghcitui.Brick |
| $sel:getDebugConsoleOnStart:AppConfig | Ghcitui.Brick |
| $sel:getDebugLogPath:AppConfig | Ghcitui.Brick |
| $sel:getInterpreterPrompt:AppConfig | Ghcitui.Brick |
| $sel:getStartupCommands:AppConfig | Ghcitui.Brick |
| $sel:getStartupSplashPath:AppConfig | Ghcitui.Brick |
| $sel:getVerbosity:AppConfig | Ghcitui.Brick |
| $sel:interpLogs:AppState | Ghcitui.Brick |
| $sel:interpState:AppState | Ghcitui.Brick |
| $sel:sourceMap:AppState | Ghcitui.Brick |
| $sel:splashContents:AppState | Ghcitui.Brick |
| $sel:_appInterpState:AppState | Ghcitui.Brick |
| $sel:_currentWidgetSizes:AppState | Ghcitui.Brick |
| $sel:_infoPanelSelectedModule:AppState | Ghcitui.Brick |
| $sel:_selectedFile:AppState | Ghcitui.Brick |
| $sel:_sourceWindow:AppState | Ghcitui.Brick |
| AppConfig | |
| 1 (Type/Class) | Ghcitui.Brick |
| 2 (Data Constructor) | Ghcitui.Brick |
| AppState | |
| 1 (Type/Class) | Ghcitui.Brick |
| 2 (Data Constructor) | Ghcitui.Brick |
| defaultConfig | Ghcitui.Brick |
| launchBrick | Ghcitui.Brick |
| loadStartupSplash | Ghcitui.Brick |
| userConfigDir | Ghcitui.Brick |