Idris2Doc : IO.Async.Loop.SignalST

IO.Async.Loop.SignalST

(source)

Definitions

recordSighandler : Type
Totality: total
Visibility: export
Constructor: 
S : IORefSignalST->Sighandler

Projection: 
.ref : Sighandler->IORefSignalST
sighandler : IO1Sighandler
Totality: total
Visibility: export
await : Sighandler->ListSignal-> (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