JsonArray¶

[Source]

Immutable JSON array backed by a persistent vector. Construction is via chained .push() calls, each returning a new array with structural sharing:

let arr = JsonArray
  .push(I64(1))
  .push(I64(2))
  .push(I64(3))

class val JsonArray is
  Stringable box

Implements¶

Stringable box

Constructors¶

create¶

[Source]

new val create(
  data': Vec[(JsonObject val | JsonArray val | String val | I64 val | F64 val | Bool val | None val)] val = qualify)
: JsonArray val^

Parameters¶

data': Vec[(JsonObject val | JsonArray val | String val | I64 val | F64 val | Bool val | None val)] val = qualify

Returns¶

JsonArray val^

Public Functions¶

apply¶

[Source]

Look up a value by index. Raises if out of bounds.

fun box apply(
  i: USize val)
: (JsonObject val | JsonArray val | String val | 
    I64 val | F64 val | Bool val | 
    None val) ?

Parameters¶

i: USize val

Returns¶

(JsonObject val | JsonArray val | String val | I64 val | F64 val | Bool val | None val) ?

size¶

[Source]

Number of elements.

fun box size()
: USize val

Returns¶

USize val

update¶

[Source]

Return a new array with element at index i replaced. Raises if out of bounds.

fun box update(
  i: USize val,
  value: (JsonObject val | JsonArray val | String val | 
    I64 val | F64 val | Bool val | 
    None val))
: JsonArray val ?

Parameters¶

i: USize val
value: (JsonObject val | JsonArray val | String val | I64 val | F64 val | Bool val | None val)

Returns¶

JsonArray val ?

push¶

[Source]

Return a new array with value appended.

fun box push(
  value: (JsonObject val | JsonArray val | String val | 
    I64 val | F64 val | Bool val | 
    None val))
: JsonArray val

Parameters¶

value: (JsonObject val | JsonArray val | String val | I64 val | F64 val | Bool val | None val)

Returns¶

JsonArray val

pop¶

[Source]

Return (new array without last element, removed element). Raises if empty.

fun box pop()
: (JsonArray val , (JsonObject val | JsonArray val | String val | 
    I64 val | F64 val | Bool val | 
    None val)) ?

Returns¶

(JsonArray val , (JsonObject val | JsonArray val | String val | I64 val | F64 val | Bool val | None val)) ?

values¶

[Source]

Iterate over values.

fun box values()
: VecValues[(JsonObject val | JsonArray val | String val | I64 val | F64 val | Bool val | None val)] ref

Returns¶

VecValues[(JsonObject val | JsonArray val | String val | I64 val | F64 val | Bool val | None val)] ref

pairs¶

[Source]

Iterate over (index, value) pairs.

fun box pairs()
: VecPairs[(JsonObject val | JsonArray val | String val | I64 val | F64 val | Bool val | None val)] ref

Returns¶

VecPairs[(JsonObject val | JsonArray val | String val | I64 val | F64 val | Bool val | None val)] ref

string¶

[Source]

Compact JSON serialization.

fun box string()
: String iso^

Returns¶

String iso^

pretty_string¶

[Source]

Pretty-printed JSON serialization.

fun box pretty_string(
  indent: String val = "  ")
: String iso^

Parameters¶

indent: String val = " "

Returns¶

String iso^