Skip to content

Pony Standard Library

class Conditional

Conditional[A: Any val]¶

Conditionally present field: if the flag is true, decode/encode using the inner codec; if false, the value is None.

class val Conditional[A: Any val] is
  Codec[(A | None val)] val

Implements¶

Codec[(A | None val)] val

Constructors¶

create¶

new val create(
  flag: Bool val,
  codec: Codec[A] val)
: Conditional[A] val^

Parameters¶

flag: Bool val
codec: Codec[A] val

Returns¶

Conditional[A] val^

Public Functions¶

decode¶

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

Parameters¶

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

Returns¶

(((A | None val) , USize val) | DecodeError)

encode¶

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

Parameters¶

value: (A | None val)

Returns¶

(Array[U8 val] val | EncodeError)