The standard library Unix_Signals api defines access to functionality for masking, trapping and handling posix signals. It also provides similar handling for a pseudo-signal generated by the Mythryl runtime when the garbage collector runs.
The Unix_Signals api is implemented by the unix_signals package.
The Unix_Signals api source code is in src/lib/std/src/unix/unix-signals.api.
The above information is manually maintained and may contain errors.
api { eqtype Signal ;
Signal_Action
= DEFAULT
| HANDLER (Signal , Int , callcc::Continuation(Void ))
-> callcc::Continuation(Void )
| IGNORE;
list_signals : Void -> List(Signal );
to_string : Signal -> String;
from_string : String -> Null_Or(Signal );
set_signal_handler : (Signal , Signal_Action) -> Signal_Action;
override_signal_handler : (Signal , Signal_Action) -> Signal_Action;
get_signal_handler : Signal -> Signal_Action;
Signal_Mask = MASK List(Signal ) | MASKALL;
mask_signals : Signal_Mask -> Void;
unmask_signals : Signal_Mask -> Void;
masked : Void -> Signal_Mask;
pause : Void -> Void;
interrupt_signal : Signal;
alarm_signal : Signal;
terminal_signal : Signal;
garbage_collection_signal : Signal;
sig_pipe : Signal;
sig_quit : Signal;
sig_usr1 : Signal;
sig_usr2 : Signal;
sig_chld : Signal;
sig_cont : Signal;
sig_tstp : Signal;
sig_ttin : Signal;
sig_ttou : Signal;
};