Module "Directory.curry"

Library for accessing the directory structure of the underlying operating system.

Author: Michael Hanus

Version: March 2008

Functions:
createDirectory | doesDirectoryExist | doesFileExist | fileSize | getCurrentDirectory | getDirectoryContents | getModificationTime | removeDirectory | removeFile | renameDirectory | renameFile | setCurrentDirectory

doesFileExist  :: String -> IO Bool              Returns true if the argument is the name of an existing file.

doesDirectoryExist  :: String -> IO Bool              Returns true if the argument is the name of an existing directory.

fileSize  :: String -> IO Int              Returns the size of the file.

getModificationTime  :: String -> IO ClockTime              Returns the modification time of the file.

getCurrentDirectory  :: IO String              Returns the current working directory.

setCurrentDirectory  :: String -> IO ()              Sets the current working directory.

getDirectoryContents  :: String -> IO [String]              Returns the list of all entries in a directory.

createDirectory  :: String -> IO ()              Creates a new directory with the given name.

removeFile  :: String -> IO ()              Deletes a file from the file system.

removeDirectory  :: String -> IO ()              Deletes a directory from the file system.

renameFile  :: String -> String -> IO ()              Renames a file.

renameDirectory  :: String -> String -> IO ()              Renames a directory.

Returns true if the argument is the name of an existing file.

---

doesDirectoryExist :: String -> IO Bool   

Returns true if the argument is the name of an existing directory.

---

fileSize :: String -> IO Int   

Returns the size of the file.

---

getModificationTime :: String -> IO ClockTime   

Returns the modification time of the file.

---

getCurrentDirectory :: IO String   

Returns the current working directory.

Further infos:

• externally defined

---

setCurrentDirectory :: String -> IO ()   

Sets the current working directory.

---

getDirectoryContents :: String -> IO [String]   

Returns the list of all entries in a directory.

---

createDirectory :: String -> IO ()   

Creates a new directory with the given name.

---

removeFile :: String -> IO ()   

Deletes a file from the file system.

---

removeDirectory :: String -> IO ()   

Deletes a directory from the file system.

---

renameFile :: String -> String -> IO ()   

Renames a file.

---

renameDirectory :: String -> String -> IO ()   

Renames a directory.

---

---

Generated by CurryDoc (Version 0.4.1 of June 7, 2007) at Nov 9 18:02:21 2009