Idris2Doc : IO.Async.Loop.PollH

IO.Async.Loop.PollH

(source)
Reexports
import public IO.Async
import public System.Posix.File
import public System.Posix.Poll.Types
Definitions
interface PollH : Type -> Type
  Parameters: a
Methods:
  
threadId : a -> Nat
  
primPoll : a -> Fd -> PollEvent -> Bool -> (Either Errno PollEvent -> IO1 ()) -> IO1 (IO1 ())
threadId : PollH a => a -> Nat
  Totality: total
  Visibility: public export
primPoll : PollH a => a -> Fd -> PollEvent -> Bool -> (Either Errno PollEvent -> IO1 ()) -> IO1 (IO1 ())
  Totality: total
  Visibility: public export