| |||||||||||||||||||
| |||||||||||||||||||
| |||||||||||||||||||
Synopsis | |||||||||||||||||||
| |||||||||||||||||||
Opening timers | |||||||||||||||||||
class Timers tdef where | |||||||||||||||||||
| |||||||||||||||||||
Closing timers | |||||||||||||||||||
closeTimer :: Id -> GUI ps () | |||||||||||||||||||
Get the Ids of all timers | |||||||||||||||||||
getTimers :: GUI ps [Id] | |||||||||||||||||||
Enable/Disable timers | |||||||||||||||||||
enableTimer :: Id -> GUI ps () | |||||||||||||||||||
disableTimer :: Id -> GUI ps () | |||||||||||||||||||
getTimerSelectState :: Id -> GUI ps (Maybe SelectState) | |||||||||||||||||||
Timer interval | |||||||||||||||||||
setTimerInterval :: Id -> TimerInterval -> GUI ps () | |||||||||||||||||||
getTimerInterval :: Id -> GUI ps (Maybe TimerInterval) | |||||||||||||||||||
A visible module | |||||||||||||||||||
module Graphics.UI.ObjectIO.StdTimerDef | |||||||||||||||||||
Produced by Haddock version 0.7 |