Polysemy.FS.Scoped.Internal

Documentation

newtype ScopedFile mode es b handle m a

Constructors

ScopedFile

Fields

• unScopedFile :: ScopedP (Path b File) handle (Bundle es) m a

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

runScopedFile :: KnownList es => (forall x. Path b File -> (handle -> Sem r x) -> Sem r x) -> (handle -> InterpretersFor es r) -> (forall handle'. Sem (ScopedFile mode es b handle' ': r) a) -> Sem r a

seekToBegin :: Handle -> IO ()

seekToEnd :: Handle -> IO ()

sendBundle_ :: forall es r a. KnownList es => Sem (Append es (Bundle es ': r)) a -> Sem (Bundle es ': r) a

sendBundleSList :: Members l es => SList l -> Sem (Append l (Bundle es ': r)) a -> Sem (Bundle es ': r) a

sendBundleSListUsingProof :: forall l es r a. SList l -> MembersProof l es -> Sem (Append l (Bundle es ': r)) a -> Sem (Bundle es ': r) a

sendBundleUsing :: ElemOf e r' -> ElemOf (Bundle r') r -> Sem (e ': r) a -> Sem r a