encode

case class EncodingError(err: Err) extends Exception with Product with Serializable
trait StreamEncoder[A] extends AnyRef

A streaming encoding process, represented as a Stream[Pure, A] => Pull[Pure, BitVector, Option[(Stream[Pure, A], StreamEncoder[A])]].

object StreamEncoder
def emit[A](bits: BitVector): StreamEncoder[A]

A StreamEncoder that emits the given BitVector, then halts.
def empty[A]: StreamEncoder[A]

The encoder that consumes no input and emits no values.
def many[A](implicit A: Lazy[Encoder[A]]): StreamEncoder[A]

A StreamEncoder which encodes a stream of values.
def once[A](implicit A: Lazy[Encoder[A]]): StreamEncoder[A]

A StreamEncoder which encodes a single value, then halts.
def raiseError[A](err: Err): StreamEncoder[A]

The encoder that consumes no input and halts with the given error message.
def raiseError[A](err: Throwable): StreamEncoder[A]

The encoder that consumes no input and halts with the given error.
def tryOnce[A](implicit A: Lazy[Encoder[A]]): StreamEncoder[A]

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.