Idris2Doc : System.Linux.Signalfd.Struct

System.Linux.Signalfd.Struct

(source)

Definitions

recordSignalfd : Type
  A file descriptor for signal handling.

This can be used for synchronous signal handling using
(blocking) `readSignalfd` directly, or for asynchronous signal handling
using `epoll`.

Totality: total
Visibility: export
Constructor: 
SFD : Bits32->Signalfd

Projection: 
.fd : Signalfd->Bits32

Hints:
CastSignalfdFd
CastBits32Signalfd
CastCIntSignalfd
recordSSiginfo : Type
  Result type when reading from a `Signalfd`.

Totality: total
Visibility: export
Constructor: 
SSI : AnyPtr->SSiginfo

Projection: 
.ptr : SSiginfo->AnyPtr

Hints:
DerefSSiginfo
SizeOfSSiginfo
siginfo : SSiginfo->PrimIOSiginfo
Totality: total
Visibility: export