
  0 | module System.Linux.Pthreads
  1 | 
  2 | import System.Linux.Pthreads.Prim as P
  3 | 
  4 | import Data.C.Ptr
  5 | import System.Posix.Signal
  6 | import public System.Posix.Pthreads
  7 | 
  8 | %default total
  9 | 
 10 | ||| Sends a realtime signal plus data word to a thread.
 11 | |||
 12 | ||| Note that `sig` must be in the range [SIGRTMIN, SIGRTMAX].
 13 | export %inline
 14 | pthreadSigqueue : Has Errno es => EIO1 f => PthreadT -> Signal -> (word : CInt) -> f es ()
 15 | pthreadSigqueue p s word = elift1 (P.pthreadSigqueue p s word)
 16 |