14.2.8  Dir

The standard library Dir api defines access to a simple facility for listing the contents of a host file system directory.

The Dir api is implemented by the dir package.

The Dir api source code is in src/lib/src/dir.api.

The above information is manually maintained and may contain errors.

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