encode

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

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

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

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 fail[A](err: Err): StreamEncoder[A]

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

The encoder that consumes no input and halts with the given error.
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 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.