Json¶

[Source]

primitive val Json

Constructors¶

create¶

[Source]

new val create()
: Json val^

Returns¶

Json val^

Public Functions¶

load_object¶

[Source]

fun box load_object(
  file_path: FilePath val,
  log: Logger[String val] val)
: (JsonObject ref | FileOK val | FileError val | 
    FileEOF val | FileBadFileNumber val | FileExists val | 
    FilePermissionDenied val | JsonError val)

Parameters¶

file_path: FilePath val
log: Logger[String val] val

Returns¶

(JsonObject ref | FileOK val | FileError val | FileEOF val | FileBadFileNumber val | FileExists val | FilePermissionDenied val | JsonError val)

write_object¶

[Source]

fun box write_object(
  jo: JsonObject ref,
  file_path: FilePath val,
  log: Logger[String val] val)
: None val

Parameters¶

jo: JsonObject ref
file_path: FilePath val
log: Logger[String val] val

Returns¶

None val

string¶

[Source]

fun box string(
  jt: (F64 box | I64 box | Bool box | 
    None box | String box | JsonArray box | 
    JsonObject box),
  name: String val)
: String val

Parameters¶

jt: (F64 box | I64 box | Bool box | None box | String box | JsonArray box | JsonObject box)
name: String val

Returns¶

String val

set_string¶

[Source]

fun box set_string(
  jo: JsonObject ref,
  name: String val,
  value: String val)
: None val

Parameters¶

jo: JsonObject ref
name: String val
value: String val

Returns¶

None val

string_must¶

[Source]

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

Parameters¶

jt: (F64 box | I64 box | Bool box | None box | String box | JsonArray box | JsonObject box)
name: String val

Returns¶

String val ?

array¶

[Source]

fun box array(
  jt: (F64 box | I64 box | Bool box | 
    None box | String box | JsonArray box | 
    JsonObject box),
  name: String val)
: JsonArray box

Parameters¶

jt: (F64 box | I64 box | Bool box | None box | String box | JsonArray box | JsonObject box)
name: String val

Returns¶

JsonArray box

objekt¶

[Source]

fun box objekt(
  jt: (F64 box | I64 box | Bool box | 
    None box | String box | JsonArray box | 
    JsonObject box),
  name: String val)
: JsonObject box

Parameters¶

jt: (F64 box | I64 box | Bool box | None box | String box | JsonArray box | JsonObject box)
name: String val

Returns¶

JsonObject box

eq¶

[Source]

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

Parameters¶

that: Json val

Returns¶

Bool val

ne¶

[Source]

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

Parameters¶

that: Json val

Returns¶

Bool val