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.Text.Internal

Description

 

Documentation

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

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

restoreCursor :: Handle -> IO a -> IO a Source #

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

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

scopedTextFileToIO :: (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 #