Polysemy.FS

Documentation

data FSExist m a where

Constructors

DoesFileExist :: Path b File -> FSExist m Bool

DoesDirExist :: Path b Dir -> FSExist m Bool

doesDirExist :: forall r b. MemberWithError FSExist r => Path b Dir -> Sem r Bool

doesFileExist :: forall r b. MemberWithError FSExist r => Path b File -> Sem r Bool

data FSRead m a where

Constructors

ReadFileBS :: Path b File -> FSRead m ByteString

ReadFileUtf8 :: Path b File -> FSRead m Text

readFileUtf8 :: forall r b. MemberWithError FSRead r => Path b File -> Sem r Text

readFileBS :: forall r b. MemberWithError FSRead r => Path b File -> Sem r ByteString

data FSWrite m a where

Constructors

WriteFileBS :: Path b File -> ByteString -> FSWrite m ()

WriteFileUtf8 :: Path b File -> Text -> FSWrite m ()

writeFileUtf8 :: forall r b. MemberWithError FSWrite r => Path b File -> Text -> Sem r ()

writeFileBS :: forall r b. MemberWithError FSWrite r => Path b File -> ByteString -> Sem r ()

data FSCopy m a where

Constructors

CopyFile :: Path b File -> Path b' File -> FSCopy m ()

copyFile :: forall r b b'. MemberWithError FSCopy r => Path b File -> Path b' File -> Sem r ()

data FSTemp m a where

Constructors

CreateTempDirectory :: FSTemp m (Path Abs Dir)

createTempDirectory :: forall r. MemberWithError FSTemp r => Sem r (Path Abs Dir)

data FSDir m a where

Constructors

CreateDirectory :: Path b Dir -> FSDir m ()

RemoveDirectory :: Path b Dir -> FSDir m ()

removeDirectory :: forall r b. MemberWithError FSDir r => Path b Dir -> Sem r ()

createDirectory :: forall r b. MemberWithError FSDir r => Path b Dir -> Sem r ()

runFSExist :: Member (Embed IO) r => Sem (FSExist ': r) a -> Sem r a

runFSRead :: Member (Embed IO) r => Sem (FSRead ': r) a -> Sem r a

runFSWrite :: Member (Embed IO) r => Sem (FSWrite ': r) a -> Sem r a

runFSCopy :: Member (Embed IO) r => Sem (FSCopy ': r) a -> Sem r a

runFSDir :: Member (Embed IO) r => Sem (FSDir ': r) a -> Sem r a

runFSTemp :: Member (Embed IO) r => Sem (FSTemp ': r) a -> Sem r a