Idris2Doc : System.Linux.Epoll.Prim

System.Linux.Epoll.Prim

(source)
Reexports
import public System.Linux.Epoll.Flags
import public System.Linux.Epoll.Struct
import public System.Posix.File.Prim
Definitions
epollCreate : EpollFlags -> EPrim Epollfd
  Opens a new `epoll` file descriptor.

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