A streaming encoding process, represented as a Stream[Pure, A] => Pull[Pure, BitVector, Option[(Stream[Pure, A], StreamEncoder[A])]]
.
A StreamEncoder
that emits the given BitVector
, then halts.
The encoder that consumes no input and emits no values.
A StreamEncoder
which encodes a stream of values.
A StreamEncoder
which encodes a single value, then halts.
The encoder that consumes no input and halts with the given error message.
The encoder that consumes no input and halts with the given error.
A StreamEncoder
which encodes a single value, then halts.
A StreamEncoder
which encodes a single value, then halts.
Unlike once
, encoding failures are converted to normal termination.