| Safe Haskell | Safe-Inferred |
|---|
Cmd.ResponderSync
Description
Subset of the responder that handles syncing from Ui.State to the UI.
Synopsis
- type Sync = Track.TrackSignals -> Track.SetStyleHigh -> Ui.State -> [Update.DisplayUpdate] -> IO (Maybe Ui.Error)
- sync :: Sync -> Ui.State -> Ui.State -> Cmd.State -> Update.UiDamage -> MVar.MVar Ui.State -> IO ([Update.UiUpdate], Ui.State)
Documentation
type Sync = Track.TrackSignals -> Track.SetStyleHigh -> Ui.State -> [Update.DisplayUpdate] -> IO (Maybe Ui.Error) Source #
Arguments
| :: Sync | |
| -> Ui.State | state before Cmd was run |
| -> Ui.State | current state |
| -> Cmd.State | |
| -> Update.UiDamage | |
| -> MVar.MVar Ui.State | |
| -> IO ([Update.UiUpdate], Ui.State) | Sync uses |
Sync ui_to to the UI.
Returns both UI state and cmd state since verification may clean up the UI state, and this is where the undo history is stored in Cmd.State.