axel-0.0.6: The Axel programming language.

Safe HaskellNone
LanguageHaskell2010

Axel.Eff.FileSystem

Documentation

data FileSystem a where Source #

Constructors

CopyFile :: FilePath -> FilePath -> FileSystem () 
CreateDirectoryIfMissing :: Bool -> FilePath -> FileSystem () 
DoesDirectoryExist :: FilePath -> FileSystem Bool 
GetCurrentDirectory :: FileSystem FilePath 
GetDirectoryContents :: FilePath -> FileSystem [FilePath] 
GetTemporaryDirectory :: FileSystem FilePath 
ReadFile :: FilePath -> FileSystem String 
RemoveFile :: FilePath -> FileSystem () 
SetCurrentDirectory :: FilePath -> FileSystem () 
WriteFile :: String -> FilePath -> FileSystem () 

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

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

doesDirectoryExist :: Member FileSystem effs => FilePath -> Eff effs Bool Source #

getCurrentDirectory :: Member FileSystem effs => Eff effs FilePath Source #

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

getTemporaryDirectory :: Member FileSystem effs => Eff effs FilePath Source #

readFile :: Member FileSystem effs => FilePath -> Eff effs String Source #

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

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

writeFile :: Member FileSystem effs => String -> FilePath -> Eff effs () Source #

runEff :: LastMember IO effs => Eff (FileSystem ': effs) ~> Eff effs Source #

getDirectoryContentsRec :: Member FileSystem effs => FilePath -> Eff effs [FilePath] Source #

withCurrentDirectory :: Member FileSystem effs => FilePath -> Eff effs a -> Eff effs a Source #

withTemporaryDirectory :: Member FileSystem effs => (FilePath -> Eff effs a) -> Eff effs a Source #