Idris2Doc : System.Posix.Poll.Prim

System.Posix.Poll.Prim

(source)
Reexports
import public System.Posix.Poll.Struct
import public System.Posix.Poll.Types
Definitions
poll : CArrayIO n PollFD -> Int32 -> EPrim (List PollPair)
  Polls the given array of poll file descriptors for file system events.

  Totality: total
  Visibility: export
pollList : List PollPair -> Int32 -> EPrim (List PollPair)
  Polls the given list of poll file pairs for file system events.

  Totality: total
  Visibility: export