Data.Columbia.SeekableStream

Documentation

newTable :: String -> IO Table

data SeekableStream m c

Instances

Functor m => Functor (SeekableStream m)

Methods

fmap :: (a -> b) -> SeekableStream m a -> SeekableStream m b

(<$) :: a -> SeekableStream m b -> SeekableStream m a

seekableStream :: m (Maybe c) -> m (Maybe Word32) -> (Word32 -> m ()) -> m Word32 -> m () -> m Bool -> SeekableStream m c

hoistStream :: (forall t. m t -> m2 t) -> SeekableStream m c -> SeekableStream m2 c

getWord8 :: Handle -> IO Word8

Stream forming functions

makeIoStream :: IORef (Pointer, Pointer) -> Table -> FileLock -> SeekableStream IO Word8

makeIoStreamChar :: IORef (Pointer, Pointer) -> Table -> FileLock -> SeekableStream IO Char

unshimmedIOStream :: Handle -> FileLock -> SeekableStream IO Word8

makeByteStringStream :: ByteString -> SeekableStream (State Word32) Word8

makeGenericStream :: SeekableStream (State (Word32, [t], [t])) t

Stream management functions

_getPosition :: SeekableStream m c -> m Word32

_seek :: SeekableStream m c -> Word32 -> m ()

_consumeToken :: SeekableStream m c -> m (Maybe c)

_consumeIntegralToken :: SeekableStream m c -> m (Maybe Word32)

_seekAtEnd :: SeekableStream m c -> m ()

_isLockLive :: SeekableStream m c -> m Bool

getPosition :: Monad m => ReaderT (SeekableStream m c) m Word32

seek :: Monad m => Word32 -> ReaderT (SeekableStream m c) m ()

consumeToken :: Monad m => ReaderT (SeekableStream m c) m c

consumeIntegralToken :: Monad m => ReaderT (SeekableStream m c) m Word32

seekAtEnd :: Monad m => ReaderT (SeekableStream m c) m ()

isLockLive :: Monad m => ReaderT (SeekableStream m c) m Bool

relSeek :: Monad m => Word32 -> ReaderT * (SeekableStream m c) m ()

peekStream :: Monad m => ReaderT (SeekableStream m c) m c

streamToList :: Monad m => SeekableStream m c -> m [c]