kill : PidT -> Signal -> EPrim () Sends a signal to a running process or a group of processes.
Totality: total
Visibility: exportraise : Signal -> PrimIO () Sends a signal to the calling thread.
Totality: total
Visibility: exportsigqueue : PidT -> Signal -> CInt -> EPrim () Sends a realtime signal plus data word to a running process.
Note that `sig` must be in the range [SIGRTMIN, SIGRTMAX].
Totality: total
Visibility: exportsigprocmask_ : How -> SigsetT -> PrimIO SigsetT Adjust the process signal mask according to the given `How`
and signal set.
Note: This allocates a new `sigset_t` pointer and returns the
previously set signal mask. Client code is responsible to
free the memory for this once it is no longer used.
See also `sigprocmask` for a version that does not return
the previous signal mask.
Totality: total
Visibility: exportabort : PrimIO () 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.
pause : EPrim () Suspends the current thread until a non-blocked signal is encountered.
Totality: total
Visibility: exportsigsuspend_ : SigsetT -> EPrim () Atomically blocks the signals in `set`, then
pauses the thread (see `pause`) and restores the signal set
afterwards.
Totality: total
Visibility: exportsigwaitinfo_ : SigsetT -> SiginfoT -> EPrim () Synchronously awaits one of the signals in `set`.
Note: Usually, the signals in `set` should first be blocked via
`sigprocmask`.
Totality: total
Visibility: exportsigwait_ : SigsetT -> EPrim Signal Synchronously awaits one of the signals in `set`.
This is like `sigwaitinfo` but with a simpler API.
Totality: total
Visibility: exportsigtimedwait : SigsetT -> SiginfoT -> TimeT -> NsecT -> EPrim () Like `sigwaitinfo` but times out with `EAGAIN` after `sec` seconds and
`nsec` nanoseconds.
Totality: total
Visibility: exportsigprocmask : How -> List Signal -> EPrim () Like `sigprocmask_` but does not allocate a pointer for the
previous `sigset_t`.
Totality: total
Visibility: exportsiggetprocmask : PrimIO (List Signal) Returns the current signal mask of the process.
Totality: total
Visibility: exportsigpending : PrimIO (List Signal) Returns the set of currently pending signals.
Totality: total
Visibility: exportsigsuspend : List Signal -> EPrim () Convenience alias for `sigsuspend_`
Totality: total
Visibility: exportsigwait : List Signal -> EPrim Signal Convenience alias for `sigwait_`.
Totality: total
Visibility: exportsigwaitinfo : List Signal -> EPrim Siginfo Convenience alias for `sigwaitinfo_`.
Totality: total
Visibility: export