File and directory names are values of type String, whose precise meaning is operating system dependent. Files can be opened, yielding a handle which can then be used to operate on the contents of that file.

Get the base name, without an extension or path.

takeBaseName "/directory/file.ext" == "file"
takeBaseName "file/test.txt" == "test"
takeBaseName "dave.ext" == "dave"
takeBaseName "" == ""
takeBaseName "test" == "test"
takeBaseName (addTrailingPathSeparator x) == ""
takeBaseName "file/file.tar.gz" == "file.tar"

Remove last extension, and the "." preceding it.

dropExtension "/directory/path.ext" == "/directory/path"
dropExtension x == fst (splitExtension x)

Get the extension of a file, returns "" for no extension, .ext otherwise.

takeExtension "/directory/path.ext" == ".ext"
takeExtension x == snd (splitExtension x)
Valid x => takeExtension (addExtension x "ext") == ".ext"
Valid x => takeExtension (replaceExtension x "ext") == ".ext"

Get the file name.

takeFileName "/directory/file.ext" == "file.ext"
takeFileName "test/" == ""
takeFileName x `isSuffixOf` x
takeFileName x == snd (splitFileName x)
Valid x => takeFileName (replaceFileName x "fred") == "fred"
Valid x => takeFileName (x </> "fred") == "fred"
Valid x => isRelative (takeFileName x)

Create a FilePath from a ModuleIdent using the hierarchical module system

Extract the ModuleIdent from a FilePath

Split a FilePath into a prefix directory part and those part that corresponds to the ModuleIdent. This is especially useful for hierarchically module names.

Checks whether a String represents a FilePath to a Curry module

The standard hidden subdirectory for curry files

Does the given FilePath contain the currySubdir as its last directory component?

Add the currySubdir to the given FilePath if the flag is True and the path does not already contain it, otherwise leave the path untouched.

Add the currySubdir to the given FilePath if the flag is True and the path does not already contain it, otherwise leave the path untouched.

Ensure that the currySubdir is the last component of the directory structure of the given FilePath. If the FilePath already contains the sub-directory, it remains unchanged.

Filename extension for non-literate curry files

Filename extension for literate curry files

Filename extension for curry interface files

Filename extension for typed flat-curry files

Filename extension for flat-curry files

Filename extension for extended-flat-curry interface files

Filename extension for abstract-curry files

Filename extension for untyped-abstract-curry files

Filename extension for curry source representation files

Filename extension for curry source files.

Note: The order of the extensions defines the order in which source files should be searched for, i.e. given a module name M, the search order should be the following:

1. M.curry

2. M.lcurry

Filename extension for curry module files TODO: Is the order correct?

Compute the filename of the interface file for a source file

Compute the filename of the typed flat curry file for a source file

Compute the filename of the typed flat curry file for a source file

Compute the filename of the flat curry file for a source file

Compute the filename of the flat curry interface file for a source file

Compute the filename of the abstract curry file for a source file

Compute the filename of the untyped abstract curry file for a source file

Compute the filename of the source representation file for a source file

Compute the filename of the tokens file for a source file

Compute the filename of the comment tokens file for a source file

Compute the filename of the ast file for a source file

Compute the filename of the ast file for a source file

Compute the filename of the HTML file for a source file