Pdf.Toolbox.Core.IO

Basic IO operations for PDF

Documentation

type IS = InputStream ByteString

Sequential input stream

data RIS

Random access Input Stream

fromHandle :: Handle -> IO RIS

Create RIS from Handle with default chunk size

fromHandle' :: Handle -> Int -> IO RIS

Create RIS from Handle with the specified chunk size

class Monad m => MonadIO m where

Methods

liftIO :: IO a -> m a

Instances

MonadIO IO

MonadIO (Generator r)

MonadIO (Consumer c)

MonadIO m => MonadIO (PdfWriter m)

MonadIO m => MonadIO (RandT g m)

MonadIO m => MonadIO (EitherT e m)

MonadIO m => MonadIO (EitherRT r m)

(Error e, MonadIO m) => MonadIO (ErrorT e m)

MonadIO m => MonadIO (StateT s m)

liftIO :: MonadIO m => forall a. IO a -> m a

size :: MonadIO m => RIS -> PdfE m Int64

Total number of bytes in RIS

seek :: MonadIO m => RIS -> Int64 -> PdfE m ()

Change input position in RIS

tell :: MonadIO m => RIS -> PdfE m Int64

Current input position

parse :: MonadIO m => Parser r -> IS -> PdfE m r

Parse from IS

inputStream :: MonadIO m => RIS -> PdfE m IS

Convert random access stream to sequential

takeBytes :: MonadIO m => Int64 -> IS -> PdfE m IS

See takeBytes

readExactly :: MonadIO m => Int -> IS -> PdfE m ByteString

See readExactly

dropExactly :: MonadIO m => Int -> IS -> PdfE m ()

Same as readExactly, but ignores the result