def Lake.createParentDirs (path : System.FilePath) : IO Unit

Creates any missing parent directories of path.

def Lake.removeFileIfExists (path : System.FilePath) : IO Unit

Remove the file at path if it exists.

def Lake.copyFile (src dst : System.FilePath) : IO Unit

Copy a file from src to dst.

def Lake.resolvePath (path : System.FilePath) : BaseIO System.FilePath

Returns the normalized real path of a file if it exists. Otherwise, returns "".

@[inline]

def Lake.resolvePath? (path : System.FilePath) : BaseIO (Option System.FilePath)

Returns the normalized real path of a file if and only if it exists.