Idris2Doc : System.Posix.Poll

System.Posix.Poll

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

  Totality: total
  Visibility: export
pollList : Has Errno es => EIO1 f => List PollPair -> Int32 -> f es (List PollPair)
  Polls the given list of poll file pairs for file system events.

  Totality: total
  Visibility: export