Idris2Doc : IO.Async.Signal

IO.Async.Signal

(source)

Definitions

awaitSignals : Has Errno es => SignalH e => List Signal -> Async e es Siginfo
Totality: total
Visibility: export
onSignals : Has Errno es => SignalH e => List Signal -> Async e es a -> Async e es a
Totality: total
Visibility: export
onSignal : Has Errno es => SignalH e => Signal -> Async e es a -> Async e es a
Totality: total
Visibility: export