Idris2Doc : System.Linux.Epoll

System.Linux.Epoll

(source)
Reexports
import public Data.C.Ptr
import public System.Linux.Epoll.Flags
import public System.Linux.Epoll.Struct
import public System.Posix.File
Definitions
epollCreate : Has Errno es => EIO1 f => EpollFlags -> f es Epollfd
  Opens a new `epoll` file descriptor.

  Totality: total
  Visibility: export
epollCtl : FileDesc g => Has Errno es => EIO1 f => Epollfd -> EpollOp -> g -> PollEvent -> f es ()
  Totality: total
  Visibility: export
epollWait : Has Errno es => EIO1 f => Epollfd -> CArrayIO n SEpollEvent -> Int32 -> f es (k : Nat ** CArrayIO k SEpollEvent)
  Totality: total
  Visibility: export
epollWaitVals : Has Errno es => EIO1 f => Epollfd -> CArrayIO n SEpollEvent -> Int32 -> f es (List PollPair)
  Totality: total
  Visibility: export
epollPwait2 : Has Errno es => EIO1 f => Epollfd -> CArrayIO n SEpollEvent -> Clock Duration -> List Signal -> f es (k : Nat ** CArrayIO k SEpollEvent)
  Totality: total
  Visibility: export
epollPwait2Vals : Has Errno es => EIO1 f => Epollfd -> CArrayIO n SEpollEvent -> Clock Duration -> List Signal -> f es (List PollPair)
  Totality: total
  Visibility: export