14.4.151  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;};