14.4.135  Winix_Path

The standard library Winix_Path api defines a sub-api of the Winix__Premicrothread api.

The above information is manually maintained and may contain errors.

api {
    exception PATH;
    parent_arc : String;
    current_arc : String;
    volume_is_valid : {disk_volume:String,  is_absolute:Bool} -> Bool;
    from_string : String
                  -> {arcs:List(String ),  disk_volume:String, 
                      is_absolute:Bool};
    to_string : {arcs:List(String ),  disk_volume:String, 
                 is_absolute:Bool}
                -> String;
    get_volume : String -> String;
    get_parent : String -> String;
    split_path_into_dir_and_file : String -> {dir:String,  file:String};
    make_path_from_dir_and_file : {dir:String,  file:String} -> String;
    dir : String -> String;
    file : String -> String;
    split_base_ext : String -> {base:String,  ext:Null_Or(String )};
    join_base_ext : {base:String,  ext:Null_Or(String )} -> String;
    base : String -> String;
    ext : String -> Null_Or(String );
    make_canonical : String -> String;
    is_canonical : String -> Bool;
    make_absolute : {path:String,  relative_to:String} -> String;
    make_relative : {path:String,  relative_to:String} -> String;
    is_absolute : String -> Bool;
    is_relative : String -> Bool;
    is_root : String -> Bool;
    cat : (String , String) -> String;
    from_unix_path : String -> String;
    to_unix_path : String -> String;
};