The standard library Posix_Signals api defines masking, trapping and handling of posix interprocess signals. It also provides similar handling for a pseudo-signal generated by the Mythryl runtime when the garbage collector runs.
The Posix_Signals api is implemented by the posix_signals package.
The Posix_Signals api source code is in src/lib/std/src/posix/posix-signals.api.
The above information is manually maintained and may contain errors.
api { eqtype Signal ;
Signal_Action
= DEFAULT | HANDLER (Signal , Int , fate::Fate(Void ))
-> fate::Fate(Void ) | IGNORE;
list_signals : Void -> List(Signal );
signal_name : Signal -> String;
get_signal_by_name : 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 ) | MASK_ALL;
mask_signals : Signal_Mask -> Void;
unmask_signals : Signal_Mask -> Void;
masked : Void -> Signal_Mask;
pause : Void -> Void;
interrupt_signal : Signal;
alarm_signal : Signal;
terminate_signal : Signal;
heapcleaning_done_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;
};