IO.Async.Loop.TimerST

Definitions

record Timer : Type

Totality: total
Visibility: export
Constructor: 

T : IORef TimerST -> Timer

Projection: 

.ref : Timer -> IORef TimerST

timer : IO1 Timer

Totality: total
Visibility: export

schedule : Timer -> Clock Duration -> IO1 () -> IO1 (IO1 ())

  Schedule an action at the given timer
  
  This returns an action for cancelling the timer

Totality: total
Visibility: export

runDue : Timer -> Integer -> IO1 Integer

Totality: total
Visibility: export

runDueTimers : Timer -> IO1 Integer

  Runs all scheduled timers whose duration has exceeded

Totality: total
Visibility: export