Idris2Doc : System.Linux.Signalfd.Prim

System.Linux.Signalfd.Prim

(source)
Reexports
import public Data.C.Ptr
import public System.Linux.Signalfd.Flags
import public System.Linux.Signalfd.Struct
Definitions
signalfd_ : SigsetT -> SignalfdFlags -> EPrim 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 : List Signal -> SignalfdFlags -> EPrim Signalfd
  Convenience alias for `signalfd_`.

  Totality: total
  Visibility: export
readSignalfd : Signalfd -> Nat -> EPrim (List Siginfo)
  Reads at most `n` values of type `Siginfo` from a `Signalfd`.

  Totality: total
  Visibility: export