
  0 | module IO.Async.Loop.TimerH
  1 | 
  2 | import public IO.Async.Loop
  3 | import public System.Clock
  4 | 
  5 | %default total
  6 | 
  7 | public export
  8 | interface TimerH a where
  9 |   primWait : a -> Clock Duration -> IO1 () -> IO1 (IO1 ())
 10 |