data FileOpener fspec = MkFileOpener Bool fspec |
|
openFileRead :: Session m (FileOpener fspec) session => fspec -> m session |
|
openFileReadWrite :: Session m (FileOpener fspec) session => fspec -> m session |
|
withFileRead :: (MonadGuard m, MonadStandardReference m ref, Session m (FileOpener fspec) session) => fspec -> (session -> m a) -> m a |
|
withFileReadWrite :: (MonadGuard m, MonadStandardReference m ref, Session m (FileOpener fspec) session) => fspec -> (session -> m a) -> m a |