14.5.27  Path_Utilities

The standard library Path_Utilities api defines access to simple cross-platorm file-finding functionality.

The Path_Utilities api is implemented by the path_utilities package.

The Path_Utilities api source code is in src/lib/src/path-utilities.api.

The above information is manually maintained and may contain errors.

api {    file_file : List(String ) -> String -> Null_Or(String );
    find_files : List(String ) -> String -> List(String );
    exists_file : (String -> Bool)
                  -> List(String ) -> String -> Null_Or(String );
    all_files : (String -> Bool)
                -> List(String ) -> String -> List(String );
};