14.4.37  Io_Startup_And_Shutdown__Premicrothread

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

The Io_Startup_And_Shutdown__Premicrothread api is implemented by the io_startup_and_shutdown__premicrothread package.

The Io_Startup_And_Shutdown__Premicrothread api source code is in src/lib/std/src/io/io-startup-and-shutdown–premicrothread.api.

See also: Io_Startup_And_Shutdown.

The above information is manually maintained and may contain errors.

api {
        note_stream_startup_and_shutdown_actions :
        {close:Void -> Void, flush:Void -> Void, init:Void -> Void} -> Tag;
        change_stream_startup_and_shutdown_actions :
        (Tag , {close:Void -> Void, flush:Void -> Void, init:Void -> Void}) -> Void;
    drop_stream_startup_and_shutdown_actions : Tag -> Void;};

Comments and suggestions to: