
  0 | module IO.Async.Loop.PollH
  1 | 
  2 | import public IO.Async
  3 | import public System.Posix.File
  4 | import public System.Posix.Poll.Types
  5 | 
  6 | %default total
  7 | 
  8 | public export
  9 | interface PollH a where
 10 |   threadId : a -> Nat
 11 |   primPoll :
 12 |        a
 13 |     -> Fd
 14 |     -> PollEvent
 15 |     -> (autoClose : Bool)
 16 |     -> (Either Errno PollEvent -> IO1 ())
 17 |     -> IO1 (IO1 ())
 18 |