Documentation

newtype ScopedFile mode es b handle m a Source #

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 Source #

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 Source #

seekToBegin :: Handle -> IO () Source #

seekToEnd :: Handle -> IO () Source #

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

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

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

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