Module B00_serialk_json.JsonSource

JSON text

The type for text locations.

Sourceval loc_nil : loc

loc_nil is an invalid input location.

Sourcetype mem = (string * loc) * t

The type for JSON object members.

Sourceand t = [
  1. | `Null of loc
  2. | `Bool of bool * loc
  3. | `Float of float * loc
  4. | `String of string * loc
  5. | `A of t list * loc
  6. | `O of mem list * loc
]

The type for generic JSON text representations.

Sourceval loc : t -> loc

loc j is j's input location.

Constructors

Sourceval null : t

null is `Null loc_nil.

Sourceval bool : bool -> t

bool b is `Bool (b, loc_nil).

Sourceval float : float -> t

float b is `Float (f, loc_nil).

Sourceval string : string -> t

string s is `String (s, loc_nil).

Sourceval array : t list -> t

a vs is `A (vs, loc_nil).

Sourceval mem : string -> t -> mem

mem n v is ((n, loc_nil), v).

Sourceval obj : mem list -> t

obj mems is `O (mems, loc_nil).

Accessors

Sourceval to_null : t -> (unit, string) Stdlib.result

to_null j extracts a null from j. If j is not a null an error with the location formatted according to Tloc.pp is returned.

Sourceval to_bool : t -> (bool, string) Stdlib.result

to_bool j extracts a bool from j. If j is not a bool an error with the location formatted according to Tloc.pp is returned.

Sourceval to_float : t -> (float, string) Stdlib.result

to_float j extracts a float from j. If j is not a float an error with the location formatted according to Tloc.pp is returned.

Sourceval to_array : t -> (t list, string) Stdlib.result

to_array j extracts a array from j. If j is not a array an error with the location formatted according to Tloc.pp is returned.

Sourceval to_obj : t -> (mem list, string) Stdlib.result

to_obj j extracts a array from j. If j is not a array an error with the location formatted according to Tloc.pp is returned.

Sourceval get_null : t -> unit

get_null j is like to_null but raises Invalid_argument if j is not a null.

Sourceval get_bool : t -> bool

get_bool j is like to_bool but raises Invalid_argument if j is not a bool.

Sourceval get_float : t -> float

get_float j is like to_float but raises Invalid_argument if j is not a float.

Sourceval get_string : t -> string

get_string j is like to_string but raises Invalid_argument if j is not a string.

Sourceval get_array : t -> t list

get_array j is like to_array but raises Invalid_argument if j is not a array.

Sourceval get_obj : t -> mem list

get_obj j is like to_obj but raises Invalid_argument if j is not a array.

Formatters

Sourceval pp : Stdlib.Format.formatter -> t -> unit

pp formats JSON text.

Warning. Assumes all OCaml strings in the formatted value are UTF-8 encoded.

Codec

Sourceval of_string : ?file:B00_serialk_text.Tloc.fpath -> string -> (t, string) Stdlib.result

of_string s parses JSON text from s according to RFC8259 with the following limitations:

  • Numbers are parsed with string_of_float which is not compliant.
  • TODO Unicode escapes are left unparsed (this will not round trip with to_string).

Note. All OCaml strings returned by this function are UTF-8 encoded.

Sourceval to_string : t -> string

to_string j is j as JSON text, encoded according to RFC8259.

Warning. Assumes all OCaml strings in j are UTF-8 encoded.