polysemy-scoped-fs-0.1.0.0: Well-typed filesystem operation effects.
Copyright(c) Hisaket VioletRed 2022
LicenseAGPL-3.0-or-later
Maintainerhisaket@outlook.jp
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Polysemy.FS.Scoped.ByteString.Internal

Description

 

Documentation

readToIO :: Member (Embed IO) r => Handle -> Sem (ReadBytes ': (ReadToEnd ': r)) a -> Sem r a Source #

cursorToIO :: Member (Embed IO) r => Handle -> Sem (Append Cursor r) a -> Sem r a Source #

overwriteToIO :: Member (Embed IO) r => Handle -> Sem (Overwrite ': r) a -> Sem r a Source #

resizeToIO :: Member (Embed IO) r => Handle -> Sem (Resize ': r) a -> Sem r a Source #

scopedBinaryFileToIO :: (Members '[Embed IO, Resource] r, KnownList es) => IOMode -> (Handle -> InterpretersFor es r) -> (forall handle'. Sem (ScopedFile mode es b handle' ': r) a) -> Sem r a Source #