Idris2Doc : System.Linux.Pthreads

System.Linux.Pthreads

(source)

Reexports

import public System.Posix.Pthreads

Definitions

pthreadSigqueue : Has Errno es => EIO1 f => PthreadT -> Signal -> CInt -> f es ()
  Sends a realtime signal plus data word to a thread.

Note that `sig` must be in the range [SIGRTMIN, SIGRTMAX].

Totality: total
Visibility: export