System.Posix.Signal

Reexports

import public Data.C.Integer
import public System.Posix.Errno
import public System.Posix.Signal.Struct
import public System.Posix.Signal.Types

Definitions

kill : Has Errno es => EIO1 f => PidT -> Signal -> f es ()

  Sends a signal to a running process or a group of processes.

Totality: total
Visibility: export

raise : HasIO io => Signal -> io ()

  Sends a signal to the calling thread.

Totality: total
Visibility: export

sigqueue : Has Errno es => EIO1 f => PidT -> Signal -> CInt -> f es ()

  Sends a realtime signal plus data word to a running process.
  
  Note that `sig` must be in the range [SIGRTMIN, SIGRTMAX].

Totality: total
Visibility: export

sigprocmask : Has Errno es => EIO1 f => How -> List Signal -> f es ()

  Adjust the process signal mask according to the given `How`
  and signal set.

Totality: total
Visibility: export

abort : HasIO io => io ()

  Terminates the application by raising `SIGABRT` and dumps core.
  
  While `SIGABRT` can be handled with a signal handler, `abort` is
  still guaranteed successfully terminate the process.

Totality: total
Visibility: export

pause : Has Errno es => EIO1 f => f es ()

  Suspends the current thread until a non-blocked signal is encountered.

Totality: total
Visibility: export

siggetprocmask : HasIO io => io (List Signal)

  Returns the current signal mask of the process.

Totality: total
Visibility: export

sigpending : HasIO io => io (List Signal)

  Returns the set of currently pending signals.

Totality: total
Visibility: export

sigsuspend : Has Errno es => EIO1 f => List Signal -> f es ()

  Atomically blocks the signals in `set`, then
  pauses the thread (see `pause`) and restores the signal set
  afterwards.

Totality: total
Visibility: export

sigwait : Has Errno es => EIO1 f => List Signal -> f es Signal

  Synchronously awaits one of the signals in `set`.
  
  This is like `sigwaitinfo` but with a simpler API.

Totality: total
Visibility: export

sigwaitinfo : Has Errno es => EIO1 f => List Signal -> f es Siginfo

  Synchronously awaits one of the signals in `set`.
  
  Note: Usually, the signals in `set` should first be blocked via
        `sigprocmask`.

Totality: total
Visibility: export