RsiBreak.Widget.Timer

Composite holding the threads with the time counter.

Documentation

data TimerModel

State data type that holds a read-only reference to Settings.TimerSetting. We will read such reference when launching a timer.

Constructors

TimerModel

Fields

• tmSettings :: TimerSetting
• tmState :: TimerState

Instances

Eq TimerModel

Defined in RsiBreak.Widget.Timer

Methods

(==) :: TimerModel -> TimerModel -> Bool

(/=) :: TimerModel -> TimerModel -> Bool

data TimerState

State data type that will be read and written by this composite.

Constructors

TimerWorkWait (Async ())

TimerRestWait (Async ())

TimerNoWait

Instances

Eq TimerState

Defined in RsiBreak.Widget.Timer

Methods

(==) :: TimerState -> TimerState -> Bool

(/=) :: TimerState -> TimerState -> Bool

data TimerEvent

Constructors

TimerStop

handleEvent

Arguments

:: (NominalDiffTime -> ep)

Wrapper for event to report on parent composite

-> EventHandler TimerModel TimerEvent es ep

buildUI :: UIBuilder TimerModel TimerEvent