14.4.134  Winix_File

The standard library Winix_File api defines a sub-api of the Winix api.

The above information is manually maintained and may contain errors.

api {
    Directory_Stream ;
    open_directory_stream : String -> Directory_Stream;
    read_directory_entry : Directory_Stream -> Null_Or(String );
    rewind_directory_stream : Directory_Stream -> Void;
    close_directory_stream : Directory_Stream -> Void;
    change_directory : String -> Void;
    current_directory : Void -> String;
    make_directory : String -> Void;
    remove_directory : String -> Void;
    is_directory : String -> Bool;
    is_symlink : String -> Bool;
    read_symlink : String -> String;
    full_path : String -> String;
    real_path : String -> String;
    file_size : String -> Int;
    last_file_modification_time : String -> time::Time;
    set_last_file_modification_time : (String , Null_Or(time::Time )) -> Void;
    remove_file : String -> Void;
    rename_file : {from:String,  to:String} -> Void;
    Access_Mode  = MAY_EXECUTE | MAY_READ | MAY_WRITE;
    access : (String , List(Access_Mode )) -> Bool;
    tmp_name : Void -> String;
    eqtype File_Id ;
    file_id : String -> File_Id;
    hash : File_Id -> Unt;
    compare : (File_Id , File_Id) -> Order;
};