JSONNav¶

Chained navigation wrapper for JSON values.

Wraps a JSONValue and provides safe chained access where JSONNotFound propagates through the chain — no exceptions until you extract a typed terminal value.

let nav = JSONNav(json)
try
  let name = nav("user")("name").as_string()?
  let age = nav("user")("age").as_i64()?
end

class val JSONNav

Constructors¶

create¶

[Source]

Wrap a JSON value for navigation.

new val create(
  value: JSONValue)
: JSONNav val^

Parameters¶

value: JSONValue

Returns¶

JSONNav val^

Public Functions¶

apply¶

[Source]

Navigate into an object by key or array by index.

If the current value is JSONNotFound, the wrong type, or the key/index is missing, returns a JSONNotFound-wrapping nav. JSONNotFound propagates through subsequent navigations.

fun box apply(
  key_or_index: (String val | USize val))
: JSONNav val

Parameters¶

key_or_index: (String val | USize val)

Returns¶

JSONNav val

as_string¶

[Source]

Extract as String. Raises if not a string or JSONNotFound.

fun box as_string()
: String val ?

Returns¶

String val ?

as_i64¶

[Source]

Extract as I64. Raises if not an integer or JSONNotFound.

fun box as_i64()
: I64 val ?

Returns¶

I64 val ?

as_f64¶

[Source]

Extract as F64. Raises if not a float or JSONNotFound.

fun box as_f64()
: F64 val ?

Returns¶

F64 val ?

as_bool¶

[Source]

Extract as Bool. Raises if not a boolean or JSONNotFound.

fun box as_bool()
: Bool val ?

Returns¶

Bool val ?

as_null¶

[Source]

Extract as None (JSON null). Raises if not null or JSONNotFound.

fun box as_null()
: None val ?

Returns¶

None val ?

as_object¶

[Source]

Extract as JSONObject. Raises if not an object or JSONNotFound.

fun box as_object()
: JSONObject val ?

Returns¶

JSONObject val ?

as_array¶

[Source]

Extract as JSONArray. Raises if not an array or JSONNotFound.

fun box as_array()
: JSONArray val ?

Returns¶

JSONArray val ?

json¶

[Source]

Get the raw value for pattern matching.

fun box json()
: (JSONValue | JSONNotFound val)

Returns¶

(JSONValue | JSONNotFound val)

found¶

[Source]

Check whether navigation succeeded (value is not JSONNotFound).

fun box found()
: Bool val

Returns¶

Bool val

size¶

[Source]

Size of the wrapped collection. Raises if not an object or array.

fun box size()
: USize val ?

Returns¶

USize val ?