File
data File m a where Source #
Constructors
Defined in File
write :: forall r. MemberWithError File r => FilePath -> Text -> Sem r () Source #
read :: forall r. MemberWithError File r => FilePath -> Sem r Text Source #
runIO :: Member (Embed IO) r => Sem (File ': r) a -> Sem r a Source #
runPure :: [Text] -> Sem (File ': r) a -> Sem r ([Text], a) Source #
replace :: Member File r => Text -> Text -> FilePath -> Sem r Bool Source #
replaceIO :: MonadIO m => Text -> Text -> FilePath -> m Bool Source #