Idris2Doc : System.Linux.Epoll

System.Linux.Epoll

(source)

Reexports

importpublic System.Linux.Error
importpublic System.Linux.File

Definitions

epollin : Bits32
epollout : Bits32
epollrdhup : Bits32
epollpri : Bits32
epollerr : Bits32
epollhup : Bits32
recordEvents : Type
  Type of events epoll can wait for.

For every file descriptor observed by epoll a
combination of events can be watched for. Events
can be combined via `(<+>)`.

Totality: total
Visibility: export
Constructor: 
E : Bits32->Events

Projection: 
.value : Events->Bits32

Hints:
EqEvents
OrdEvents
SemigroupEvents
ShowEvents
eventCode : Events->Bits32
Totality: total
Visibility: export
EPOLLIN : Events
  Event for observing if a file is ready for input, that is,
`read` invoked with that file will not block.

Totality: total
Visibility: export
EPOLLOUT : Events
  Event for observing if a file is ready for output, that is,
`write` invoked with that file will not block.

Totality: total
Visibility: export
EPOLLRDHUP : Events
Totality: total
Visibility: export
EPOLLPRI : Events
Totality: total
Visibility: export
EPOLLERR : Events
Totality: total
Visibility: export
EPOLLHUP : Events
Totality: total
Visibility: export
epollet : Bits32
epolloneshot : Bits32
epollwakeup : Bits32
epollexclusive : Bits32
recordFlags : Type
Totality: total
Visibility: export
Constructor: 
F : Bits32->Flags

Projection: 
.value : Flags->Bits32

Hints:
EqFlags
MonoidFlags
OrdFlags
SemigroupFlags
ShowFlags
flagCode : Flags->Bits32
Totality: total
Visibility: export
EPOLLET : Flags
Totality: total
Visibility: export
EPOLLONESHOT : Flags
Totality: total
Visibility: export
EPOLLWAKEUP : Flags
Totality: total
Visibility: export
EPOLLEXCLUSIVE : Flags
Totality: total
Visibility: export
recordEpollEvent : Type
Totality: total
Visibility: export
Constructor: 
EE : AnyPtr->EpollEvent

Projection: 
.ptr : EpollEvent->AnyPtr
recordEpollEvents : Nat->Type
Totality: total
Visibility: export
Constructor: 
EES : AnyPtr->EpollEventsn

Projection: 
.ptr : EpollEventsn->AnyPtr
recordEpollFD : Type
Totality: total
Visibility: export
Constructor: 
EFD : Bits32->AnyPtr->EpollFD

Projections:
.event : EpollFD->AnyPtr
.file : EpollFD->Bits32

Hint: 
ShowEpollFD
epollAdd : FileDesca=>EpollFD->a->Events->Flags->PrimIO (EitherEpollErr ())
  Adds, modifies, or removes interest in the given file descriptor
at an epoll instance.

Totality: total
Visibility: export
epollMod : FileDesca=>EpollFD->a->Events->Flags->PrimIO (EitherEpollErr ())
  Adds, modifies, or removes interest in the given file descriptor
at an epoll instance.

Totality: total
Visibility: export
epollDel : FileDesca=>EpollFD->a->PrimIO (EitherEpollErr ())
  Adds, modifies, or removes interest in the given file descriptor
at an epoll instance.

Totality: total
Visibility: export
epollCreate : IO (EitherEpollErrEpollFD)
  Creates a new epoll file descriptor that can be used to monitor
other file descriptors for readiness.

Totality: total
Visibility: export
dataEpollRes : Type
Totality: total
Visibility: public export
Constructors:
NoEv : EpollRes
Ev : Bits32->Events->EpollRes
Err : EpollErr->EpollRes

Hints:
EqEpollRes
ShowEpollRes
epollClose : EpollFD->PrimIO ()
Totality: total
Visibility: export
epollWait : EpollFD->Int32->PrimIOEpollRes
Totality: total
Visibility: export
epollWaitTimeout : EpollFD->Bits32->PrimIOEpollRes
Totality: total
Visibility: export
epollNoWait : EpollFD->PrimIOEpollRes
Totality: total
Visibility: export