14.4.90  Threadkit_Io_Cleanup_At_Shutdown

The standard library Threadkit_Io_Cleanup_At_Shutdown api defines tracking of open I/O streams, to close them cleanly at exit.

The Threadkit_Io_Cleanup_At_Shutdown api is implemented by the threadkit_io_cleanup_at_shutdown package.

The Threadkit_Io_Cleanup_At_Shutodwn api source code is in src/lib/std/src/io/threadkit-io-cleanup-at-shutdown.api.

See also: Io_Cleanup_At_Shutdown.

The above information is manually maintained and may contain errors.

api {    Tag ;
    os_init_hook : Ref((Void -> Void) );
    std_stream_hook : Ref((Void -> Void) );
    add_cleaner : (Void -> Void) -> Tag;
    rebind_cleaner : (Tag , (Void -> Void)) -> Void;
    remove_cleaner : Tag -> Void;
    io_cleaner : (String , List(When ) , (When -> Void));
};