System.XDG.FileSystem

Documentation

data ReadFile f m a where

Constructors

ReadFile :: Path Abs File -> ReadFile f m f

data WriteFile f m a where

Constructors

WriteFile :: Path Abs File -> f -> WriteFile f m ()

readFile :: forall f r. Member (ReadFile f) r => Path Abs File -> Sem r f

writeFile :: forall f r. Member (WriteFile f) r => Path Abs File -> f -> Sem r ()

type FileList a = [(Path Abs File, a)]

type FileMap a = Map (Path Abs File) a

runReadWriteFileList :: Member (Error XDGError) r => FileList a -> Sem (ReadFile a ': (WriteFile a ': (State (FileMap a) ': r))) b -> Sem r b

runReadWriteFileIO :: Members '[Embed IO, Error XDGError] r => Sem (ReadFile ByteString ': (WriteFile ByteString ': r)) a -> Sem r a