$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 |