Safe Haskell | None |
---|---|
Language | Haskell98 |
Basic IO operations for PDF
- type IS = InputStream ByteString
- data RIS
- fromHandle :: Handle -> IO RIS
- fromHandle' :: Handle -> Int -> IO RIS
- class Monad m => MonadIO m where
- liftIO :: MonadIO m => forall a. IO a -> m a
- size :: MonadIO m => RIS -> PdfE m Int64
- seek :: MonadIO m => RIS -> Int64 -> PdfE m ()
- tell :: MonadIO m => RIS -> PdfE m Int64
- parse :: MonadIO m => Parser r -> IS -> PdfE m r
- inputStream :: MonadIO m => RIS -> PdfE m IS
- takeBytes :: MonadIO m => Int64 -> IS -> PdfE m IS
- readExactly :: MonadIO m => Int -> IS -> PdfE m ByteString
- dropExactly :: MonadIO m => Int -> IS -> PdfE m ()
Documentation
type IS = InputStream ByteString Source
Sequential input stream
class Monad m => MonadIO m where
Monads in which IO
computations may be embedded.
Any monad built by applying a sequence of monad transformers to the
IO
monad will be an instance of this class.
Instances should satisfy the following laws, which state that liftIO
is a transformer of monads:
MonadIO IO | |
MonadIO m => MonadIO (IdentityT m) | |
MonadIO m => MonadIO (MaybeT m) | |
MonadIO (Generator r) | |
MonadIO (Consumer c) | |
MonadIO m => MonadIO (ListT m) | |
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 (ReaderT r m) | |
MonadIO m => MonadIO (StateT s m) | |
MonadIO m => MonadIO (StateT s m) | |
(Monoid w, MonadIO m) => MonadIO (WriterT w m) | |
(Monoid w, MonadIO m) => MonadIO (WriterT w m) | |
MonadIO m => MonadIO (ExceptT e m) | |
(Monoid w, MonadIO m) => MonadIO (RWST r w s m) | |
(Monoid w, MonadIO m) => MonadIO (RWST r w s m) |
readExactly :: MonadIO m => Int -> IS -> PdfE m ByteString Source
See readExactly
dropExactly :: MonadIO m => Int -> IS -> PdfE m () Source
Same as readExactly
, but ignores the result