Idris2Doc : System.Linux.Epoll.Struct

System.Linux.Epoll.Struct

(source)
Reexports
import public System.Posix.Poll.Struct
Definitions
record Epollfd : Type
  A file descriptor used for monitoring other file descriptors in
  calls to `epoll_ctl` and `epoll_wait`.

  Totality: total
  Visibility: export
  Constructor: 
EFD : Bits32 -> Epollfd

  Projection: 
.fd : Epollfd -> Bits32

  Hints:
  
Cast Epollfd Fd
  
Cast CInt Epollfd
record SSEpollEvent : Type -> Type
  Wrapper around a pointer of an `epoll_event` value.

  Totality: total
  Visibility: export
  Constructor: 
SE : AnyPtr -> SSEpollEvent s

  Projection: 
.ptr : SSEpollEvent s -> AnyPtr

  Hints:
  
SizeOf (SSEpollEvent s)
  
Struct SSEpollEvent
0 SEpollEvent : Type
  Totality: total
  Visibility: public export
pollPair : SSEpollEvent s -> F1 s PollPair
  Totality: total
  Visibility: export
convEpollEvent : Convert PollPair
  Totality: total
  Visibility: export