Idris2Doc : IO.Async.Loop.TimerH

IO.Async.Loop.TimerH

(source)
Reexports
import public IO.Async.Loop
import public System.Clock
Definitions
interface TimerH : Type -> Type
  Parameters: a
Methods:
  
primWait : a -> Clock Duration -> IO1 () -> IO1 (IO1 ())

Implementation: 
TimerH SyncST
primWait : TimerH a => a -> Clock Duration -> IO1 () -> IO1 (IO1 ())
  Totality: total
  Visibility: public export