StreamPatch.Stream

Documentation

class Monad m => MonadFwdStream 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 => MonadFwdStream (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 => MonadFwdStream (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 => MonadFwdStream (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 MonadFwdStream m => MonadCursorStream m where

A forward stream, but backward too.

Methods

move :: Integer -> m ()

Move cursor.

Instances

MonadIO m => MonadCursorStream (ReaderT Handle m)

Defined in StreamPatch.Stream

Methods

move :: Integer -> ReaderT Handle m ()