File

Documentation

data File m a where

Constructors

Read :: FilePath -> File m Text

Write :: FilePath -> Text -> File m ()

Instances

type DefiningModule (File :: k -> Type -> Type)

Defined in File

type DefiningModule (File :: k -> Type -> Type) = "File"

write :: forall r. MemberWithError File r => FilePath -> Text -> Sem r ()

read :: forall r. MemberWithError File r => FilePath -> Sem r Text

runIO :: Member (Embed IO) r => Sem (File ': r) a -> Sem r a

runPure :: [Text] -> Sem (File ': r) a -> Sem r ([Text], a)

replace :: Member File r => Text -> Text -> FilePath -> Sem r Bool

replaceIO :: MonadIO m => Text -> Text -> FilePath -> m Bool