Safe Haskell	Safe-Inferred
Language	Haskell2010

Effectful.FileSystem

Contents

Effect
- Handlers
Actions on directories
- Current working directory
Pre-defined directories
Actions on files
Existence tests
Symbolic links
Permissions
Timestamps
Re-exports

Synopsis

data FileSystem :: Effect
runFileSystem :: IOE :> es => Eff (FileSystem ': es) a -> Eff es a
createDirectory :: FileSystem :> es => FilePath -> Eff es ()
createDirectoryIfMissing :: FileSystem :> es => Bool -> FilePath -> Eff es ()
removeDirectory :: FileSystem :> es => FilePath -> Eff es ()
removeDirectoryRecursive :: FileSystem :> es => FilePath -> Eff es ()
removePathForcibly :: FileSystem :> es => FilePath -> Eff es ()
renameDirectory :: FileSystem :> es => FilePath -> FilePath -> Eff es ()
listDirectory :: FileSystem :> es => FilePath -> Eff es [FilePath]
getDirectoryContents :: FileSystem :> es => FilePath -> Eff es [FilePath]
getCurrentDirectory :: FileSystem :> es => Eff es FilePath
setCurrentDirectory :: FileSystem :> es => FilePath -> Eff es ()
withCurrentDirectory :: FileSystem :> es => FilePath -> Eff es a -> Eff es a
getHomeDirectory :: FileSystem :> es => Eff es FilePath
getXdgDirectory :: FileSystem :> es => XdgDirectory -> FilePath -> Eff es FilePath
getXdgDirectoryList :: FileSystem :> es => XdgDirectoryList -> Eff es [FilePath]
getAppUserDataDirectory :: FileSystem :> es => FilePath -> Eff es FilePath
getUserDocumentsDirectory :: FileSystem :> es => Eff es FilePath
getTemporaryDirectory :: FileSystem :> es => Eff es FilePath
removeFile :: FileSystem :> es => FilePath -> Eff es ()
renameFile :: FileSystem :> es => FilePath -> FilePath -> Eff es ()
renamePath :: FileSystem :> es => FilePath -> FilePath -> Eff es ()
copyFile :: FileSystem :> es => FilePath -> FilePath -> Eff es ()
copyFileWithMetadata :: FileSystem :> es => FilePath -> FilePath -> Eff es ()
getFileSize :: FileSystem :> es => FilePath -> Eff es Integer
canonicalizePath :: FileSystem :> es => FilePath -> Eff es FilePath
makeAbsolute :: FileSystem :> es => FilePath -> Eff es FilePath
makeRelativeToCurrentDirectory :: FileSystem :> es => FilePath -> Eff es FilePath
doesPathExist :: FileSystem :> es => FilePath -> Eff es Bool
doesFileExist :: FileSystem :> es => FilePath -> Eff es Bool
doesDirectoryExist :: FileSystem :> es => FilePath -> Eff es Bool
findExecutable :: FileSystem :> es => String -> Eff es (Maybe FilePath)
findExecutables :: FileSystem :> es => String -> Eff es [FilePath]
findExecutablesInDirectories :: FileSystem :> es => [FilePath] -> String -> Eff es [FilePath]
findFile :: FileSystem :> es => [FilePath] -> String -> Eff es (Maybe FilePath)
findFiles :: FileSystem :> es => [FilePath] -> String -> Eff es [FilePath]
findFileWith :: FileSystem :> es => (FilePath -> Eff es Bool) -> [FilePath] -> String -> Eff es (Maybe FilePath)
findFilesWith :: FileSystem :> es => (FilePath -> Eff es Bool) -> [FilePath] -> String -> Eff es [FilePath]
createFileLink :: FileSystem :> es => FilePath -> FilePath -> Eff es ()
createDirectoryLink :: FileSystem :> es => FilePath -> FilePath -> Eff es ()
removeDirectoryLink :: FileSystem :> es => FilePath -> Eff es ()
pathIsSymbolicLink :: FileSystem :> es => FilePath -> Eff es Bool
getSymbolicLinkTarget :: FileSystem :> es => FilePath -> Eff es FilePath
getPermissions :: FileSystem :> es => FilePath -> Eff es Permissions
setPermissions :: FileSystem :> es => FilePath -> Permissions -> Eff es ()
copyPermissions :: FileSystem :> es => FilePath -> FilePath -> Eff es ()
getAccessTime :: FileSystem :> es => FilePath -> Eff es UTCTime
getModificationTime :: FileSystem :> es => FilePath -> Eff es UTCTime
setAccessTime :: FileSystem :> es => FilePath -> UTCTime -> Eff es ()
setModificationTime :: FileSystem :> es => FilePath -> UTCTime -> Eff es ()
data XdgDirectory
- = XdgData
- | XdgConfig
- | XdgCache
data XdgDirectoryList
- = XdgDataDirs
- | XdgConfigDirs
exeExtension :: String
data Permissions
emptyPermissions :: Permissions
readable :: Permissions -> Bool
writable :: Permissions -> Bool
executable :: Permissions -> Bool
searchable :: Permissions -> Bool
setOwnerReadable :: Bool -> Permissions -> Permissions
setOwnerWritable :: Bool -> Permissions -> Permissions
setOwnerExecutable :: Bool -> Permissions -> Permissions
setOwnerSearchable :: Bool -> Permissions -> Permissions

Effect

data FileSystem :: Effect Source #

An effect for interacting with the filesystem.

Instances

Instances details

type DispatchOf FileSystem Source #
Instance details Defined in Effectful.FileSystem.Effect type DispatchOf FileSystem = 'Static 'WithSideEffects
data StaticRep FileSystem Source #
Instance details Defined in Effectful.FileSystem.Effect data StaticRep FileSystem = FileSystem

Handlers

runFileSystem :: IOE :> es => Eff (FileSystem ': es) a -> Eff es a Source #

Run the FileSystem effect.

Actions on directories

createDirectory :: FileSystem :> es => FilePath -> Eff es () Source #

Lifted createDirectory.

createDirectoryIfMissing :: FileSystem :> es => Bool -> FilePath -> Eff es () Source #

Lifted createDirectoryIfMissing.

removeDirectory :: FileSystem :> es => FilePath -> Eff es () Source #

Lifted removeDirectory.

removeDirectoryRecursive :: FileSystem :> es => FilePath -> Eff es () Source #

Lifted removeDirectoryRecursive.

removePathForcibly :: FileSystem :> es => FilePath -> Eff es () Source #

Lifted removePathForcibly.

renameDirectory :: FileSystem :> es => FilePath -> FilePath -> Eff es () Source #

Lifted renameDirectory.

listDirectory :: FileSystem :> es => FilePath -> Eff es [FilePath] Source #

Lifted listDirectory.

getDirectoryContents :: FileSystem :> es => FilePath -> Eff es [FilePath] Source #

Lifted getDirectoryContents.

Current working directory

getCurrentDirectory :: FileSystem :> es => Eff es FilePath Source #

Lifted getCurrentDirectory.

setCurrentDirectory :: FileSystem :> es => FilePath -> Eff es () Source #

Lifted setCurrentDirectory.

withCurrentDirectory :: FileSystem :> es => FilePath -> Eff es a -> Eff es a Source #

Lifted withCurrentDirectory.

Pre-defined directories

getHomeDirectory :: FileSystem :> es => Eff es FilePath Source #

Lifted getHomeDirectory.

getXdgDirectory :: FileSystem :> es => XdgDirectory -> FilePath -> Eff es FilePath Source #

Lifted getXdgDirectory.

getXdgDirectoryList :: FileSystem :> es => XdgDirectoryList -> Eff es [FilePath] Source #

Lifted getXdgDirectoryList.

getAppUserDataDirectory :: FileSystem :> es => FilePath -> Eff es FilePath Source #

Lifted getAppUserDataDirectory.

getUserDocumentsDirectory :: FileSystem :> es => Eff es FilePath Source #

Lifted getUserDocumentsDirectory.

getTemporaryDirectory :: FileSystem :> es => Eff es FilePath Source #

Lifted getTemporaryDirectory.

Actions on files

removeFile :: FileSystem :> es => FilePath -> Eff es () Source #

Lifted removeFile.

renameFile :: FileSystem :> es => FilePath -> FilePath -> Eff es () Source #

Lifted renameFile.

renamePath :: FileSystem :> es => FilePath -> FilePath -> Eff es () Source #

Lifted renamePath.

copyFile :: FileSystem :> es => FilePath -> FilePath -> Eff es () Source #

Lifted copyFile.

copyFileWithMetadata :: FileSystem :> es => FilePath -> FilePath -> Eff es () Source #

Lifted copyFileWithMetadata.

getFileSize :: FileSystem :> es => FilePath -> Eff es Integer Source #

Lifted getFileSize.

canonicalizePath :: FileSystem :> es => FilePath -> Eff es FilePath Source #

Lifted canonicalizePath.

makeAbsolute :: FileSystem :> es => FilePath -> Eff es FilePath Source #

Lifted makeAbsolute.

makeRelativeToCurrentDirectory :: FileSystem :> es => FilePath -> Eff es FilePath Source #

Lifted makeRelativeToCurrentDirectory.

Existence tests

doesPathExist :: FileSystem :> es => FilePath -> Eff es Bool Source #

Lifted doesPathExist.

doesFileExist :: FileSystem :> es => FilePath -> Eff es Bool Source #

Lifted doesFileExist.

doesDirectoryExist :: FileSystem :> es => FilePath -> Eff es Bool Source #

Lifted doesDirectoryExist.

findExecutable :: FileSystem :> es => String -> Eff es (Maybe FilePath) Source #

Lifted findExecutable.

findExecutables :: FileSystem :> es => String -> Eff es [FilePath] Source #

Lifted findExecutables.

findExecutablesInDirectories :: FileSystem :> es => [FilePath] -> String -> Eff es [FilePath] Source #

Lifted findExecutablesInDirectories.

findFile :: FileSystem :> es => [FilePath] -> String -> Eff es (Maybe FilePath) Source #

Lifted findFile.

findFiles :: FileSystem :> es => [FilePath] -> String -> Eff es [FilePath] Source #

Lifted findFiles.

findFileWith :: FileSystem :> es => (FilePath -> Eff es Bool) -> [FilePath] -> String -> Eff es (Maybe FilePath) Source #

Lifted findFileWith.

findFilesWith :: FileSystem :> es => (FilePath -> Eff es Bool) -> [FilePath] -> String -> Eff es [FilePath] Source #

Lifted findFilesWith.

Symbolic links

createFileLink :: FileSystem :> es => FilePath -> FilePath -> Eff es () Source #

Lifted createFileLink.

createDirectoryLink :: FileSystem :> es => FilePath -> FilePath -> Eff es () Source #

Lifted createDirectoryLink.

removeDirectoryLink :: FileSystem :> es => FilePath -> Eff es () Source #

Lifted removeDirectoryLink.

pathIsSymbolicLink :: FileSystem :> es => FilePath -> Eff es Bool Source #

Lifted pathIsSymbolicLink.

getSymbolicLinkTarget :: FileSystem :> es => FilePath -> Eff es FilePath Source #

Lifted getSymbolicLinkTarget.

Permissions

getPermissions :: FileSystem :> es => FilePath -> Eff es Permissions Source #

Lifted getPermissions.

setPermissions :: FileSystem :> es => FilePath -> Permissions -> Eff es () Source #

Lifted setPermissions.

copyPermissions :: FileSystem :> es => FilePath -> FilePath -> Eff es () Source #

Lifted copyPermissions.

Timestamps

getAccessTime :: FileSystem :> es => FilePath -> Eff es UTCTime Source #

Lifted getAccessTime.

getModificationTime :: FileSystem :> es => FilePath -> Eff es UTCTime Source #

Lifted getModificationTime.

setAccessTime :: FileSystem :> es => FilePath -> UTCTime -> Eff es () Source #

Lifted setAccessTime.

setModificationTime :: FileSystem :> es => FilePath -> UTCTime -> Eff es () Source #

Lifted setModificationTime.

Re-exports

Pre-defined directories

data XdgDirectory #

Special directories for storing user-specific application data, configuration, and cache files, as specified by the XDG Base Directory Specification.

Note: On Windows, XdgData and XdgConfig usually map to the same directory.

Since: directory-1.2.3.0

Constructors

XdgData	For data files (e.g. images). It uses the `XDG_DATA_HOME` environment variable. On non-Windows systems, the default is `~/.local/share`. On Windows, the default is `%APPDATA%` (e.g. `C:/Users/<user>/AppData/Roaming`). Can be considered as the user-specific equivalent of `/usr/share`.
XdgConfig	For configuration files. It uses the `XDG_CONFIG_HOME` environment variable. On non-Windows systems, the default is `~/.config`. On Windows, the default is `%APPDATA%` (e.g. `C:/Users/<user>/AppData/Roaming`). Can be considered as the user-specific equivalent of `/etc`.
XdgCache	For non-essential files (e.g. cache). It uses the `XDG_CACHE_HOME` environment variable. On non-Windows systems, the default is `~/.cache`. On Windows, the default is `%LOCALAPPDATA%` (e.g. `C:/Users/<user>/AppData/Local`). Can be considered as the user-specific equivalent of `/var/cache`.

Instances

Instances details

Bounded XdgDirectory
Instance details Defined in System.Directory.Internal.Common Methods minBound :: XdgDirectory # maxBound :: XdgDirectory #
Enum XdgDirectory
Instance details Defined in System.Directory.Internal.Common Methods succ :: XdgDirectory -> XdgDirectory # pred :: XdgDirectory -> XdgDirectory # toEnum :: Int -> XdgDirectory # fromEnum :: XdgDirectory -> Int # enumFrom :: XdgDirectory -> [XdgDirectory] # enumFromThen :: XdgDirectory -> XdgDirectory -> [XdgDirectory] # enumFromTo :: XdgDirectory -> XdgDirectory -> [XdgDirectory] # enumFromThenTo :: XdgDirectory -> XdgDirectory -> XdgDirectory -> [XdgDirectory] #
Read XdgDirectory
Instance details Defined in System.Directory.Internal.Common Methods readsPrec :: Int -> ReadS XdgDirectory # readList :: ReadS [XdgDirectory] # readPrec :: ReadPrec XdgDirectory # readListPrec :: ReadPrec [XdgDirectory] #
Show XdgDirectory
Instance details Defined in System.Directory.Internal.Common Methods showsPrec :: Int -> XdgDirectory -> ShowS # show :: XdgDirectory -> String # showList :: [XdgDirectory] -> ShowS #
Eq XdgDirectory
Instance details Defined in System.Directory.Internal.Common Methods (==) :: XdgDirectory -> XdgDirectory -> Bool # (/=) :: XdgDirectory -> XdgDirectory -> Bool #
Ord XdgDirectory
Instance details Defined in System.Directory.Internal.Common Methods compare :: XdgDirectory -> XdgDirectory -> Ordering # (<) :: XdgDirectory -> XdgDirectory -> Bool # (<=) :: XdgDirectory -> XdgDirectory -> Bool # (>) :: XdgDirectory -> XdgDirectory -> Bool # (>=) :: XdgDirectory -> XdgDirectory -> Bool # max :: XdgDirectory -> XdgDirectory -> XdgDirectory # min :: XdgDirectory -> XdgDirectory -> XdgDirectory #

data XdgDirectoryList #

Search paths for various application data, as specified by the XDG Base Directory Specification.

The list of paths is split using searchPathSeparator, which on Windows is a semicolon.

Note: On Windows, XdgDataDirs and XdgConfigDirs usually yield the same result.

Since: directory-1.3.2.0

Constructors

XdgDataDirs	For data files (e.g. images). It uses the `XDG_DATA_DIRS` environment variable. On non-Windows systems, the default is `/usr/local/share/` and `/usr/share/`. On Windows, the default is `%PROGRAMDATA%` or `%ALLUSERSPROFILE%` (e.g. `C:/ProgramData`).
XdgConfigDirs	For configuration files. It uses the `XDG_CONFIG_DIRS` environment variable. On non-Windows systems, the default is `/etc/xdg`. On Windows, the default is `%PROGRAMDATA%` or `%ALLUSERSPROFILE%` (e.g. `C:/ProgramData`).

Instances

Instances details

Bounded XdgDirectoryList
Instance details Defined in System.Directory.Internal.Common Methods minBound :: XdgDirectoryList # maxBound :: XdgDirectoryList #
Enum XdgDirectoryList
Instance details Defined in System.Directory.Internal.Common Methods succ :: XdgDirectoryList -> XdgDirectoryList # pred :: XdgDirectoryList -> XdgDirectoryList # toEnum :: Int -> XdgDirectoryList # fromEnum :: XdgDirectoryList -> Int # enumFrom :: XdgDirectoryList -> [XdgDirectoryList] # enumFromThen :: XdgDirectoryList -> XdgDirectoryList -> [XdgDirectoryList] # enumFromTo :: XdgDirectoryList -> XdgDirectoryList -> [XdgDirectoryList] # enumFromThenTo :: XdgDirectoryList -> XdgDirectoryList -> XdgDirectoryList -> [XdgDirectoryList] #
Read XdgDirectoryList
Instance details Defined in System.Directory.Internal.Common Methods readsPrec :: Int -> ReadS XdgDirectoryList # readList :: ReadS [XdgDirectoryList] # readPrec :: ReadPrec XdgDirectoryList # readListPrec :: ReadPrec [XdgDirectoryList] #
Show XdgDirectoryList
Instance details Defined in System.Directory.Internal.Common Methods showsPrec :: Int -> XdgDirectoryList -> ShowS # show :: XdgDirectoryList -> String # showList :: [XdgDirectoryList] -> ShowS #
Eq XdgDirectoryList
Instance details Defined in System.Directory.Internal.Common Methods (==) :: XdgDirectoryList -> XdgDirectoryList -> Bool # (/=) :: XdgDirectoryList -> XdgDirectoryList -> Bool #
Ord XdgDirectoryList
Instance details Defined in System.Directory.Internal.Common Methods compare :: XdgDirectoryList -> XdgDirectoryList -> Ordering # (<) :: XdgDirectoryList -> XdgDirectoryList -> Bool # (<=) :: XdgDirectoryList -> XdgDirectoryList -> Bool # (>) :: XdgDirectoryList -> XdgDirectoryList -> Bool # (>=) :: XdgDirectoryList -> XdgDirectoryList -> Bool # max :: XdgDirectoryList -> XdgDirectoryList -> XdgDirectoryList # min :: XdgDirectoryList -> XdgDirectoryList -> XdgDirectoryList #

Existence tests

exeExtension :: String #

Filename extension for executable files (including the dot if any) (usually "" on POSIX systems and ".exe" on Windows or OS/2).

Since: directory-1.2.4.0

Permissions

data Permissions #

Instances

Instances details

Read Permissions
Instance details Defined in System.Directory.Internal.Common Methods readsPrec :: Int -> ReadS Permissions # readList :: ReadS [Permissions] # readPrec :: ReadPrec Permissions # readListPrec :: ReadPrec [Permissions] #
Show Permissions
Instance details Defined in System.Directory.Internal.Common Methods showsPrec :: Int -> Permissions -> ShowS # show :: Permissions -> String # showList :: [Permissions] -> ShowS #
Eq Permissions
Instance details Defined in System.Directory.Internal.Common Methods (==) :: Permissions -> Permissions -> Bool # (/=) :: Permissions -> Permissions -> Bool #
Ord Permissions
Instance details Defined in System.Directory.Internal.Common Methods compare :: Permissions -> Permissions -> Ordering # (<) :: Permissions -> Permissions -> Bool # (<=) :: Permissions -> Permissions -> Bool # (>) :: Permissions -> Permissions -> Bool # (>=) :: Permissions -> Permissions -> Bool # max :: Permissions -> Permissions -> Permissions # min :: Permissions -> Permissions -> Permissions #

emptyPermissions :: Permissions #

readable :: Permissions -> Bool #

writable :: Permissions -> Bool #

executable :: Permissions -> Bool #

searchable :: Permissions -> Bool #

setOwnerReadable :: Bool -> Permissions -> Permissions #

setOwnerWritable :: Bool -> Permissions -> Permissions #

setOwnerExecutable :: Bool -> Permissions -> Permissions #

setOwnerSearchable :: Bool -> Permissions -> Permissions #