| License | BSD-3-Clause |
|---|---|
| Safe Haskell | None |
| 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 {}
- fbIsDisplayed :: Lens' FileBrowserControl Bool
- fbWidget :: Lens' FileBrowserControl (FileBrowser Name)
- maybeSelectedFile :: Lens' FileBrowserControl (Maybe FilePath)
- data LaunchControls = LaunchControls {
- _fileBrowser :: FileBrowserControl
- _seedValueEditor :: Editor Text Name
- _scenarioConfigFocusRing :: FocusRing Name
- _isDisplayedFor :: Maybe (ScenarioWith ScenarioInfo)
- fileBrowser :: Lens' LaunchControls FileBrowserControl
- isDisplayedFor :: Lens' LaunchControls (Maybe (ScenarioWith ScenarioInfo))
- scenarioConfigFocusRing :: Lens' LaunchControls (FocusRing Name)
- seedValueEditor :: Lens' LaunchControls (Editor Text Name)
- data LaunchOptions = LaunchOptions {}
- controls :: Lens' LaunchOptions LaunchControls
- editingParams :: Lens' LaunchOptions EditingLaunchParams
Documentation
type EditingLaunchParams = LaunchParams (Either Text) Source #
Use this to store error messages on individual fields
toSerializableParams :: ValidatedLaunchParams -> SerializableLaunchParams Source #
fromSerializableParams :: SerializableLaunchParams -> IO EditingLaunchParams Source #
data FileBrowserControl Source #
Constructors
| FileBrowserControl | |
Fields | |
data LaunchControls Source #
UI elements to configure scenario launch options
Constructors
| LaunchControls | |
Fields
| |
isDisplayedFor :: Lens' LaunchControls (Maybe (ScenarioWith ScenarioInfo)) Source #
data LaunchOptions Source #
UI elements to configure scenario launch options
Constructors
| LaunchOptions | |
Fields | |