Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data AppConfig = AppConfig {
- getInterpreterPrompt :: !Text
- getDebugConsoleOnStart :: !Bool
- getDebugLogPath :: !FilePath
- getVerbosity :: !Int
- getStartupSplashPath :: !(Maybe FilePath)
- getCmd :: !Text
- getStartupCommands :: ![Text]
- defaultConfig :: AppConfig
- loadStartupSplash :: IsString s => AppConfig -> IO (Maybe s)
- userConfigDir :: IO FilePath
- launchBrick :: AppConfig -> Text -> FilePath -> IO ()
- data AppState n = AppState {
- interpState :: InterpState ()
- getCurrentWorkingDir :: !FilePath
- _appInterpState :: AppInterpState Text n
- interpLogs :: ![Text]
- appConfig :: !AppConfig
- activeWindow :: !ActiveWindow
- _selectedFile :: !(Maybe FilePath)
- _sourceWindow :: !(SourceWindow n Text)
- _infoPanelSelectedModule :: !Int
- sourceMap :: Map FilePath Text
- _currentWidgetSizes :: WidgetSizes
- displayDebugConsoleLogs :: !Bool
- debugConsoleLogs :: [Text]
- splashContents :: !(Maybe Text)
Configuration settings for the BrickUI
AppConfig | |
|
loadStartupSplash :: IsString s => AppConfig -> IO (Maybe s) Source #
Return the startup screen splash as an IsString.
Display BrickUI
Application state wrapper.
Contains information about the UI and configuration. It also holds a handle to the actual interpreter under the hood, but on the high level it should not hold anything internal to GHCi or GHCiD.
Prefer to create this with makeInitialState
.
AppState | |
|