System.Linux.Signalfd

Reexports

Definitions

signalfd_ : Has Errno es => EIO1 f => SigsetT -> SignalfdFlags -> f es Signalfd

  Opens a new `signalfd` file descriptor for observing the
  signals specified in the given `SigsetT`.
  
  
  Notes:
  * Usually, the signals in `set` should first be blocked via `sigprocmask`.
  * A `signalfd` should be closed using `close` just like other file
    descriptors.
  * In general, use `readSignalfd` instead of the `read` functions
    from `System.Posix.File` to read from a `signalfd`.

Totality: total
Visibility: export

signalfd : Has Errno es => EIO1 f => List Signal -> SignalfdFlags -> f es Signalfd

  Convenience alias for `signalfd_`.

Totality: total
Visibility: export

readSignalfd : Has Errno es => EIO1 f => Signalfd -> Nat -> f es (List Siginfo)

  Reads data from a `signalfd` into a pre-allocated array.
  
  Note: This will overwrite the data stored in `arr` and the
        result is a wrapper around the same pointer.

Totality: total
Visibility: export