14.2.7  Dir_Tree

The standard library Dir_Tree api defines access to functionality to do simple iteration over host file system directory trees, vaguely like posix find.

The Dir_Tree api is implemented by the dir_tree and symlink_tree packages.

The Dir_Tree api source code is in src/lib/src/dir-tree.api.

The above information is manually maintained and may contain errors.

api {
    entries : String -> List(String );
    entries' : String -> List(String );
    entries'' : String -> List(String );
    files : String -> List(String );
    files' : String -> List(String );
    directories : String -> List(String );
    directories' : String -> List(String );};