module System.IO.Exception.BinaryFile where
import System.IO.Exception.File (EIO, close, )
import Control.Monad.Exception.Synchronous (bracketT, )
import System.IO.Straight (ioToExceptionalSIO, )
import System.IO (Handle, IOMode, )
import qualified System.IO as IO
import Data.Word (Word8, )
import Data.Char (ord, chr, )
open :: FilePath -> IOMode -> EIO Handle
open :: FilePath -> IOMode -> EIO Handle
open FilePath
name IOMode
mode =
forall a. IO a -> ExceptionalT IOException SIO a
ioToExceptionalSIO forall a b. (a -> b) -> a -> b
$ FilePath -> IOMode -> IO Handle
IO.openBinaryFile FilePath
name IOMode
mode
with ::
FilePath -> IOMode -> (Handle -> EIO r) -> EIO r
with :: forall r. FilePath -> IOMode -> (Handle -> EIO r) -> EIO r
with FilePath
name IOMode
mode =
forall (m :: * -> *) e h a.
Monad m =>
ExceptionalT e m h
-> (h -> ExceptionalT e m ())
-> (h -> ExceptionalT e m a)
-> ExceptionalT e m a
bracketT (FilePath -> IOMode -> EIO Handle
open FilePath
name IOMode
mode) Handle -> EIO ()
close
getByte :: Handle -> EIO Word8
getByte :: Handle -> EIO Word8
getByte Handle
h =
forall a. IO a -> ExceptionalT IOException SIO a
ioToExceptionalSIO forall a b. (a -> b) -> a -> b
$ forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (forall a b. (Integral a, Num b) => a -> b
fromIntegral forall b c a. (b -> c) -> (a -> b) -> a -> c
. Char -> Int
ord) forall a b. (a -> b) -> a -> b
$ Handle -> IO Char
IO.hGetChar Handle
h
putByte :: Handle -> Word8 -> EIO ()
putByte :: Handle -> Word8 -> EIO ()
putByte Handle
h Word8
c =
forall a. IO a -> ExceptionalT IOException SIO a
ioToExceptionalSIO forall a b. (a -> b) -> a -> b
$ Handle -> Char -> IO ()
IO.hPutChar Handle
h (Int -> Char
chr forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b. (Integral a, Num b) => a -> b
fromIntegral forall a b. (a -> b) -> a -> b
$ Word8
c)