14.4.85  Run_At

The standard library Run_At api defines hooks for functions to be invoked at startup or shutdown of multithread programs.

The Run_At api is implemented by the run_at package.

The Run_At api source code is in src/lib/src/lib/thread-kit/src/core-thread-kit/run-at.api.

See also: Run_At__Premicrothread.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;};