Idris2Doc : System.Linux.Signalfd.Struct

System.Linux.Signalfd.Struct

(source)

Definitions

record Signalfd : 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:
Cast Signalfd Fd
Cast Bits32 Signalfd
Cast CInt Signalfd
record SSiginfo : Type
  Result type when reading from a `Signalfd`.

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

Projection: 
.ptr : SSiginfo -> AnyPtr

Hints:
Deref SSiginfo
SizeOf SSiginfo
siginfo : SSiginfo -> PrimIO Siginfo
Totality: total
Visibility: export