Many[A: Any val]¶

Decode elements repeatedly until the input is exhausted.

Stops on InsufficientData (not enough bytes for another element). Propagates MalformedData as an error — a corrupt element stops the parse rather than being silently treated as "incomplete."

On encode, encodes each element in sequence.

class val Many[A: Any val] is
  Codec[Array[A] val] val

Implements¶

Codec[Array[A] val] val

Constructors¶

create¶

[Source]

new val create(
  codec: Codec[A] val)
: Many[A] val^

Parameters¶

codec: Codec[A] val

Returns¶

Many[A] val^

Public Functions¶

decode¶

[Source]

Decode elements until InsufficientData signals no more fit.

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

Parameters¶

data: Array[U8 val] val
offset: USize val

Returns¶

((Array[A] val , USize val) | DecodeError)

encode¶

[Source]

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

Parameters¶

value: Array[A] val

Returns¶

(Array[U8 val] val | EncodeError)