Idris2Doc : System.Posix.Signal.Prim

System.Posix.Signal.Prim

(source)

Reexports

importpublic Data.C.Integer
importpublic Data.C.Struct
importpublic System.Posix.Errno
importpublic System.Posix.Signal.Struct
importpublic System.Posix.Signal.Types

Definitions

kill : PidT->Signal->EPrim ()
  Sends a signal to a running process or a group of processes.

Totality: total
Visibility: export
raise : Signal->PrimIO ()
  Sends a signal to the calling thread.

Totality: total
Visibility: export
sigqueue : 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: export
sigprocmask_ : How->SigsetT->PrimIOSigsetT
  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: export
abort : 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: export
sigsuspend_ : SigsetT->EPrim ()
  Atomically blocks the signals in `set`, then
pauses the thread (see `pause`) and restores the signal set
afterwards.

Totality: total
Visibility: export
sigwaitinfo_ : 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: export
sigwait_ : SigsetT->EPrimSignal
  Synchronously awaits one of the signals in `set`.

This is like `sigwaitinfo` but with a simpler API.

Totality: total
Visibility: export
sigtimedwait : SigsetT->SiginfoT->TimeT->NsecT->EPrim ()
  Like `sigwaitinfo` but times out with `EAGAIN` after `sec` seconds and
`nsec` nanoseconds.

Totality: total
Visibility: export
sigprocmask : How->ListSignal->EPrim ()
  Like `sigprocmask_` but does not allocate a pointer for the
previous `sigset_t`.

Totality: total
Visibility: export
siggetprocmask : PrimIO (ListSignal)
  Returns the current signal mask of the process.

Totality: total
Visibility: export
sigpending : PrimIO (ListSignal)
  Returns the set of currently pending signals.

Totality: total
Visibility: export
sigsuspend : ListSignal->EPrim ()
  Convenience alias for `sigsuspend_`

Totality: total
Visibility: export
sigwait : ListSignal->EPrimSignal
  Convenience alias for `sigwait_`.

Totality: total
Visibility: export
sigwaitinfo : ListSignal->EPrimSiginfo
  Convenience alias for `sigwaitinfo_`.

Totality: total
Visibility: export