BytesRest¶

Read all remaining bytes, or write an array of bytes with no length constraint.

Requires byte alignment. On decode, consumes everything from the current position to the end of the input.

primitive val BytesRest is
  Codec[Array[U8 val] val] val

Constructors¶

new val create()
: BytesRest val^

Decode all bytes from the current position to the end of the input.

fun box decode(
  data: Array[U8 val] val,
  offset: USize val)
: ((Array[U8 val] val , USize val) | DecodeError)

fun box encode(
  value: Array[U8 val] val)
: (Array[U8 val] val | EncodeError)

fun box eq(
  that: BytesRest val)
: Bool val

fun box ne(
  that: BytesRest val)
: Bool val