Safe Haskell	Safe
Language	Haskell2010

Axel.Monad.FileSystem

Documentation

class Monad m => MonadFileSystem m where Source #

Methods

copyFile :: FilePath -> FilePath -> m () Source #

copyFile :: (MonadTrans t, MonadFileSystem m', m ~ t m') => FilePath -> FilePath -> m () Source #

createDirectoryIfMissing :: Bool -> FilePath -> m () Source #

createDirectoryIfMissing :: (MonadTrans t, MonadFileSystem m', m ~ t m') => Bool -> FilePath -> m () Source #

doesDirectoryExist :: FilePath -> m Bool Source #

doesDirectoryExist :: (MonadTrans t, MonadFileSystem m', m ~ t m') => FilePath -> m Bool Source #

getCurrentDirectory :: m FilePath Source #

getCurrentDirectory :: (MonadTrans t, MonadFileSystem m', m ~ t m') => m FilePath Source #

getDirectoryContents :: FilePath -> m [FilePath] Source #

getDirectoryContents :: (MonadTrans t, MonadFileSystem m', m ~ t m') => FilePath -> m [FilePath] Source #

getTemporaryDirectory :: m FilePath Source #

getTemporaryDirectory :: (MonadTrans t, MonadFileSystem m', m ~ t m') => m FilePath Source #

readFile :: FilePath -> m String Source #

readFile :: (MonadTrans t, MonadFileSystem m', m ~ t m') => FilePath -> m String Source #

removeFile :: FilePath -> m () Source #

removeFile :: (MonadTrans t, MonadFileSystem m', m ~ t m') => FilePath -> m () Source #

setCurrentDirectory :: FilePath -> m () Source #

setCurrentDirectory :: (MonadTrans t, MonadFileSystem m', m ~ t m') => FilePath -> m () Source #

writeFile :: FilePath -> String -> m () Source #

writeFile :: (MonadTrans t, MonadFileSystem m', m ~ t m') => String -> FilePath -> m () Source #

Instances

(Monad m, MonadIO m) => MonadFileSystem m Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> m () Source # createDirectoryIfMissing :: Bool -> FilePath -> m () Source # doesDirectoryExist :: FilePath -> m Bool Source # getCurrentDirectory :: m FilePath Source # getDirectoryContents :: FilePath -> m [FilePath] Source # getTemporaryDirectory :: m FilePath Source # readFile :: FilePath -> m String Source # removeFile :: FilePath -> m () Source # setCurrentDirectory :: FilePath -> m () Source # writeFile :: FilePath -> String -> m () Source #
MonadFileSystem m => MonadFileSystem (MaybeT m) Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> MaybeT m () Source # createDirectoryIfMissing :: Bool -> FilePath -> MaybeT m () Source # doesDirectoryExist :: FilePath -> MaybeT m Bool Source # getCurrentDirectory :: MaybeT m FilePath Source # getDirectoryContents :: FilePath -> MaybeT m [FilePath] Source # getTemporaryDirectory :: MaybeT m FilePath Source # readFile :: FilePath -> MaybeT m String Source # removeFile :: FilePath -> MaybeT m () Source # setCurrentDirectory :: FilePath -> MaybeT m () Source # writeFile :: FilePath -> String -> MaybeT m () Source #
MonadFileSystem m => MonadFileSystem (IdentityT m) Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> IdentityT m () Source # createDirectoryIfMissing :: Bool -> FilePath -> IdentityT m () Source # doesDirectoryExist :: FilePath -> IdentityT m Bool Source # getCurrentDirectory :: IdentityT m FilePath Source # getDirectoryContents :: FilePath -> IdentityT m [FilePath] Source # getTemporaryDirectory :: IdentityT m FilePath Source # readFile :: FilePath -> IdentityT m String Source # removeFile :: FilePath -> IdentityT m () Source # setCurrentDirectory :: FilePath -> IdentityT m () Source # writeFile :: FilePath -> String -> IdentityT m () Source #
(Monoid w, MonadFileSystem m) => MonadFileSystem (WriterT w m) Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> WriterT w m () Source # createDirectoryIfMissing :: Bool -> FilePath -> WriterT w m () Source # doesDirectoryExist :: FilePath -> WriterT w m Bool Source # getCurrentDirectory :: WriterT w m FilePath Source # getDirectoryContents :: FilePath -> WriterT w m [FilePath] Source # getTemporaryDirectory :: WriterT w m FilePath Source # readFile :: FilePath -> WriterT w m String Source # removeFile :: FilePath -> WriterT w m () Source # setCurrentDirectory :: FilePath -> WriterT w m () Source # writeFile :: FilePath -> String -> WriterT w m () Source #
(Monoid w, MonadFileSystem m) => MonadFileSystem (WriterT w m) Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> WriterT w m () Source # createDirectoryIfMissing :: Bool -> FilePath -> WriterT w m () Source # doesDirectoryExist :: FilePath -> WriterT w m Bool Source # getCurrentDirectory :: WriterT w m FilePath Source # getDirectoryContents :: FilePath -> WriterT w m [FilePath] Source # getTemporaryDirectory :: WriterT w m FilePath Source # readFile :: FilePath -> WriterT w m String Source # removeFile :: FilePath -> WriterT w m () Source # setCurrentDirectory :: FilePath -> WriterT w m () Source # writeFile :: FilePath -> String -> WriterT w m () Source #
MonadFileSystem m => MonadFileSystem (StateT s m) Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> StateT s m () Source # createDirectoryIfMissing :: Bool -> FilePath -> StateT s m () Source # doesDirectoryExist :: FilePath -> StateT s m Bool Source # getCurrentDirectory :: StateT s m FilePath Source # getDirectoryContents :: FilePath -> StateT s m [FilePath] Source # getTemporaryDirectory :: StateT s m FilePath Source # readFile :: FilePath -> StateT s m String Source # removeFile :: FilePath -> StateT s m () Source # setCurrentDirectory :: FilePath -> StateT s m () Source # writeFile :: FilePath -> String -> StateT s m () Source #
MonadFileSystem m => MonadFileSystem (StateT s m) Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> StateT s m () Source # createDirectoryIfMissing :: Bool -> FilePath -> StateT s m () Source # doesDirectoryExist :: FilePath -> StateT s m Bool Source # getCurrentDirectory :: StateT s m FilePath Source # getDirectoryContents :: FilePath -> StateT s m [FilePath] Source # getTemporaryDirectory :: StateT s m FilePath Source # readFile :: FilePath -> StateT s m String Source # removeFile :: FilePath -> StateT s m () Source # setCurrentDirectory :: FilePath -> StateT s m () Source # writeFile :: FilePath -> String -> StateT s m () Source #
MonadFileSystem m => MonadFileSystem (ExceptT e m) Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> ExceptT e m () Source # createDirectoryIfMissing :: Bool -> FilePath -> ExceptT e m () Source # doesDirectoryExist :: FilePath -> ExceptT e m Bool Source # getCurrentDirectory :: ExceptT e m FilePath Source # getDirectoryContents :: FilePath -> ExceptT e m [FilePath] Source # getTemporaryDirectory :: ExceptT e m FilePath Source # readFile :: FilePath -> ExceptT e m String Source # removeFile :: FilePath -> ExceptT e m () Source # setCurrentDirectory :: FilePath -> ExceptT e m () Source # writeFile :: FilePath -> String -> ExceptT e m () Source #
MonadFileSystem m => MonadFileSystem (ReaderT r m) Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> ReaderT r m () Source # createDirectoryIfMissing :: Bool -> FilePath -> ReaderT r m () Source # doesDirectoryExist :: FilePath -> ReaderT r m Bool Source # getCurrentDirectory :: ReaderT r m FilePath Source # getDirectoryContents :: FilePath -> ReaderT r m [FilePath] Source # getTemporaryDirectory :: ReaderT r m FilePath Source # readFile :: FilePath -> ReaderT r m String Source # removeFile :: FilePath -> ReaderT r m () Source # setCurrentDirectory :: FilePath -> ReaderT r m () Source # writeFile :: FilePath -> String -> ReaderT r m () Source #
MonadFileSystem m => MonadFileSystem (ContT r m) Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> ContT r m () Source # createDirectoryIfMissing :: Bool -> FilePath -> ContT r m () Source # doesDirectoryExist :: FilePath -> ContT r m Bool Source # getCurrentDirectory :: ContT r m FilePath Source # getDirectoryContents :: FilePath -> ContT r m [FilePath] Source # getTemporaryDirectory :: ContT r m FilePath Source # readFile :: FilePath -> ContT r m String Source # removeFile :: FilePath -> ContT r m () Source # setCurrentDirectory :: FilePath -> ContT r m () Source # writeFile :: FilePath -> String -> ContT r m () Source #
(Monoid w, MonadFileSystem m) => MonadFileSystem (RWST r w s m) Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> RWST r w s m () Source # createDirectoryIfMissing :: Bool -> FilePath -> RWST r w s m () Source # doesDirectoryExist :: FilePath -> RWST r w s m Bool Source # getCurrentDirectory :: RWST r w s m FilePath Source # getDirectoryContents :: FilePath -> RWST r w s m [FilePath] Source # getTemporaryDirectory :: RWST r w s m FilePath Source # readFile :: FilePath -> RWST r w s m String Source # removeFile :: FilePath -> RWST r w s m () Source # setCurrentDirectory :: FilePath -> RWST r w s m () Source # writeFile :: FilePath -> String -> RWST r w s m () Source #
(Monoid w, MonadFileSystem m) => MonadFileSystem (RWST r w s m) Source #
Instance details Defined in Axel.Monad.FileSystem Methods copyFile :: FilePath -> FilePath -> RWST r w s m () Source # createDirectoryIfMissing :: Bool -> FilePath -> RWST r w s m () Source # doesDirectoryExist :: FilePath -> RWST r w s m Bool Source # getCurrentDirectory :: RWST r w s m FilePath Source # getDirectoryContents :: FilePath -> RWST r w s m [FilePath] Source # getTemporaryDirectory :: RWST r w s m FilePath Source # readFile :: FilePath -> RWST r w s m String Source # removeFile :: FilePath -> RWST r w s m () Source # setCurrentDirectory :: FilePath -> RWST r w s m () Source # writeFile :: FilePath -> String -> RWST r w s m () Source #

getDirectoryContentsRec :: (Monad m, MonadFileSystem m) => FilePath -> m [FilePath] Source #

withCurrentDirectory :: MonadFileSystem m => FilePath -> m a -> m a Source #

withTemporaryDirectory :: MonadFileSystem m => (FilePath -> m a) -> m a Source #