Data.Bits.Coding

Documentation

newtype Coding m a

Constructors

Coding

Fields

runCoding :: forall r. (a -> Int -> Word8 -> m r) -> Int -> Word8 -> m r

Instances

MonadTrans Coding

MonadReader e m => MonadReader e (Coding m)

MonadState s m => MonadState s (Coding m)

Monad m => Monad (Coding m)

Functor (Coding m)

MonadPlus m => MonadPlus (Coding m)

Monad m => Applicative (Coding m)

(Monad m, Alternative m) => Alternative (Coding m)

MonadGet m => MonadGet (Coding m)

MonadPut m => MonadPut (Coding m)

Get

getAligned :: MonadGet m => m a -> Coding m a

Get something from byte-aligned storage, starting on the next byte and discarding any left over bits in the buffer.

NB: Using any operation from MonadGet other than checking remaining or isEmpty will implicitly perform this operation.

getBit :: MonadGet m => Coding m Bool

Get a single bit, consuming an entire byte if the bit buffer is empty

Put

putAligned :: MonadPut m => m a -> Coding m a

Emit any remaining contents from the bit buffer.

Any use of the combinators from MonadPut (including flush) will cause this to happen.

putBit :: MonadPut m => Bool -> Coding m ()

Put a single bit, emitting an entire byte if the bit buffer is full