Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Documentation
data SeekableWriter m c Source #
SeekableWriter | |
|
Functor m => Invariant (SeekableWriter m) Source # | |
hoistWriter :: (forall t. m t -> m2 t) -> SeekableWriter m c -> SeekableWriter m2 c Source #
makeIoWriter :: IORef (Pointer, Pointer) -> Table -> FileLock -> SeekableWriter IO Word8 Source #
makeIoWriterChar :: IORef (Pointer, Pointer) -> Table -> FileLock -> SeekableWriter IO Char Source #
unshimmedIOWriter :: Handle -> FileLock -> SeekableWriter IO Word8 Source #
makeGenericWriter :: SeekableWriter (State (Word32, [t], [t])) t Source #
putIntegralToken :: Monad m => Word32 -> ReaderT (SeekableWriter m c) m () Source #
consumeTokenW :: Monad m => ReaderT (SeekableWriter m c) m (Maybe c) Source #
consumeIntegralTokenW :: Monad m => ReaderT (SeekableWriter m c) m (Maybe Word32) Source #
getWriterPosition :: Monad m => ReaderT (SeekableWriter m c) m Word32 Source #
seekWriter :: Monad m => Word32 -> ReaderT (SeekableWriter m c) m () Source #
seekWriterAtEnd :: Monad m => ReaderT (SeekableWriter m c) m () Source #
relSeekWriter :: Monad m => Word32 -> ReaderT (SeekableWriter m c) m () Source #
local' :: (Monad m, MonadTrans t, MonadReader a (t m)) => (a -> r) -> ReaderT * r m b -> t m b Source #
hoistReaderM :: (Monad m, Monad n) => (forall t. m t -> n t) -> (forall t. n t -> m t) -> ReaderT (SeekableWriter m c) m u -> ReaderT (SeekableWriter n c) n u Source #
type PolyTraversalW ctx m d = Proxy ctx -> (forall a. Data ctx a => a -> ReaderT (SeekableWriter m Word8) m ()) -> d -> ReaderT (SeekableWriter m Word8) m () Source #
hoistPolyTraversalW :: (Monad m, Monad n) => (forall t. m t -> n t) -> (forall t. n t -> m t) -> PolyTraversalW ctx m u -> PolyTraversalW ctx n u Source #