axel-0.0.9: The Axel programming language.

Safe HaskellNone
LanguageHaskell2010

Axel.Eff.FileSystem

Documentation

data FileSystem a where #

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 () 

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

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

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

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

getTemporaryDirectory :: forall effs. Member FileSystem effs => Eff effs FilePath #

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

getCurrentDirectory :: forall effs. Member FileSystem effs => Eff effs FilePath #

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

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

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

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

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

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

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