| License | BSD-3-Clause |
|---|---|
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Swarm.TUI.Launch.Model
Description
Types for representing state of the launch dialog, along with conversion functions for validated launch parameters.
Synopsis
- type EditingLaunchParams = LaunchParams (Either Text)
- toSerializableParams :: ValidatedLaunchParams -> SerializableLaunchParams
- fromSerializableParams :: SerializableLaunchParams -> IO EditingLaunchParams
- data FileBrowserControl = FileBrowserControl {}
- maybeSelectedFile :: Lens' FileBrowserControl (Maybe FilePath)
- fbWidget :: Lens' FileBrowserControl (FileBrowser Name)
- fbIsDisplayed :: Lens' FileBrowserControl Bool
- data LaunchControls = LaunchControls {}
- seedValueEditor :: Lens' LaunchControls (Editor Text Name)
- scenarioConfigFocusRing :: Lens' LaunchControls (FocusRing Name)
- isDisplayedFor :: Lens' LaunchControls (Maybe ScenarioInfoPair)
- fileBrowser :: Lens' LaunchControls FileBrowserControl
- data LaunchOptions = LaunchOptions {}
- editingParams :: Lens' LaunchOptions EditingLaunchParams
- controls :: Lens' LaunchOptions LaunchControls
Documentation
type EditingLaunchParams = LaunchParams (Either Text) Source #
Use this to store error messages on individual fields
data FileBrowserControl Source #
Constructors
| FileBrowserControl | |
Fields | |
data LaunchControls Source #
UI elements to configure scenario launch options
Constructors
| LaunchControls | |
data LaunchOptions Source #
UI elements to configure scenario launch options
Constructors
| LaunchOptions | |
Fields | |