StreamPatch.Stream

Documentation

class Monad m => MonadFwdInplaceStream m where

Associated Types

type Chunk m :: Type

Methods

readahead :: Natural -> m (Chunk m)

Read a number of bytes without advancing the cursor.

advance :: Natural -> m ()

Advance cursor without reading.

overwrite :: Chunk m -> m ()

Insert bytes into the stream at the cursor position, overwriting existing bytes.

Instances

MonadIO m => MonadFwdInplaceStream (ReaderT Handle m)

Defined in StreamPatch.Stream

Associated Types

type Chunk (ReaderT Handle m)

Methods

readahead :: Natural -> ReaderT Handle m (Chunk (ReaderT Handle m))

advance :: Natural -> ReaderT Handle m ()

overwrite :: Chunk (ReaderT Handle m) -> ReaderT Handle m ()

Monad m => MonadFwdInplaceStream (StateT ([a], [a]) m)

Defined in StreamPatch.Stream

Associated Types

type Chunk (StateT ([a], [a]) m)

Methods

readahead :: Natural -> StateT ([a], [a]) m (Chunk (StateT ([a], [a]) m))

advance :: Natural -> StateT ([a], [a]) m ()

overwrite :: Chunk (StateT ([a], [a]) m) -> StateT ([a], [a]) m ()

Monad m => MonadFwdInplaceStream (StateT (ByteString, Builder) m)

Defined in StreamPatch.Stream

Associated Types

type Chunk (StateT (ByteString, Builder) m)

Methods

readahead :: Natural -> StateT (ByteString, Builder) m (Chunk (StateT (ByteString, Builder) m))

advance :: Natural -> StateT (ByteString, Builder) m ()

overwrite :: Chunk (StateT (ByteString, Builder) m) -> StateT (ByteString, Builder) m ()

class MonadFwdInplaceStream m => MonadCursorInplaceStream m where

A forward stream, but backward too.

Methods

move :: Integer -> m ()

Move cursor.

Instances

MonadIO m => MonadCursorInplaceStream (ReaderT Handle m)

Defined in StreamPatch.Stream

Methods

move :: Integer -> ReaderT Handle m ()

class MonadFwdInplaceStream m => MonadFwdStream m where

Methods

insert :: Chunk m -> m ()