13.4.124  run_at

The standard library run_at package implements hooks for functions to be invoked at startup or shutdown of multithread programs.

The run_at package implements the Run_At api.

The run_at package source code is in src/lib/src/lib/thread-kit/src/core-thread-kit/run-at.pkg.

See also: initialize_run_at.

See also: thread_scheduler_control.

The above information is manually maintained and may contain errors.

api {
    When  = APP_SHUTDOWN | APP_STARTUP | COMPILER_STARTUP | THREADKIT_SHUTDOWN;
    when_to_string : When -> String;
        note_startup_or_shutdown_action :
        (String , List(When ) , (When -> Void)) -> Null_Or(((List(When ) , (When -> Void))) );
    forget_startup_or_shutdown_action : String -> Null_Or(((List(When ) , (When -> Void))) );
    exception NO_SUCH_ACTION;
    note_mailqueue : (String , Mailqueue(X )) -> Void;
    forget_mailqueue : String -> Void;
    note_mailslot : (String , Mailslot(X )) -> Void;
    forget_mailslot : String -> Void;
    note_imp : {at_shutdown:Void -> Void, at_startup:Void -> Void, name:String} -> Void;
    forget_imp : String -> Void;
    forget_all_mailslots_mailqueues_and_imps : Void -> Void;
    do_actions_for : When -> Void;
    export_fn_cleanup : Void -> Void;
    standard_mailslot_and_mailqueue_cleaner : (String , List(When ) , (When -> Void));
    standard_imp_cleaner : (String , List(When ) , (When -> Void));};