Idris2Doc : IO.Async.Loop.SignalST

IO.Async.Loop.SignalST

(source)

Definitions

record Sighandler : Type
Totality: total
Visibility: export
Constructor: 
S : IORef SignalST -> Sighandler

Projection: 
.ref : Sighandler -> IORef SignalST
sighandler : IO1 Sighandler
Totality: total
Visibility: export
await : Sighandler -> List Signal -> (Siginfo -> IO1 ()) -> IO1 (IO1 ())
  Await a signal and carry out the given action once it is
fired.

This returns an action for cancelling the signal handler

Totality: total
Visibility: export
checkSignals : Sighandler -> IO1 ()
  Checks for pending signals and runs the corresponding
signal handlers (if any).

Totality: total
Visibility: export