Idris2Doc : IO.Async.Signal

IO.Async.Signal

(source)

Definitions

awaitSignals : HasErrnoes=>SignalHe=>ListSignal->AsynceesSiginfo
Totality: total
Visibility: export
onSignals : HasErrnoes=>SignalHe=>ListSignal->Asynceesa->Asynceesa
Totality: total
Visibility: export
onSignal : HasErrnoes=>SignalHe=>Signal->Asynceesa->Asynceesa
Totality: total
Visibility: export