JSON value queries.
TODO maybe we could expose a bit more options for error reporting. In particular the internal path type and a combinator in the vein of loc to report back the path trace. Basically see Serialk_sexp.
The type JSON value queries. A query either fails or succeeds against a JSON value returning a value of type 'a.
query q j is Ok v if que query q succeeds on s and a (multiline) Error e otherwise.
val succeed : 'a -> 'a tsucceed v is a query that succeeds with value v on any JSON value.
val fail : string -> 'a tfail msg is a query that fails on any JSON value with message msg. Do not include position information in msg, this is automatically handled by the module.
val failf : ('a, Format.formatter, unit, 'b t) format4 -> 'afailf fmt ... is like fail but formats the message according to fmt.
app fq q queries a s-expression first with fq and then with q and applies the result of latter to the former.
pair q0 q1 queries first with q0 and then with q1 and returns the pair of their result.
bind q f queries a s-expression with q, applies the result to f and re-queries the s-expression with the result.
fold queries JSON values according to their kind using the provided queries.
val partial_fold :
?null:'a t ->
?bool:'a t ->
?float:'a t ->
?string:'a t ->
?array:'a t ->
?obj:'a t ->
unit ->
'a tpartial_fold is like fold but only queries the kinds that are explicitely specified. It errors on other kinds.
with_loc q queries with q and returns the result with the location of the queried JSON value.
val is_null : bool tis_null tests for a JSON null value.
val null : unit tnull queries JSON null as unit and fails otherwise.
nullable q is None on JSON null and otherwise queries the value with q.
val bool : bool tbool queries JSON bool values as a bool value and fails otherwise.
val float : float tfloat queries JSON number values as a float value and fails otherwise.
val int : int tint is map truncate float.
val string : string tstring queries JSON string values as a string value and fails otherwise.
string_to ~kind parse queries a JSON string and parses it with p. In case of Error m error fails with m. kind is the kind of value parsed, it is used for the error in case no JSON string is found.
val enum : kind:string -> Set.Make(String).t -> string tenum ~kind ss queries a JSON string for one of the elements of ss and fails otherwise. kind is for the kind of elements in ss, it used for error reporting.
val enum_map : kind:string -> 'a Map.Make(String).t -> 'a tenum_map ~kind sm queries a string for it's map in sm and fails if the string is not bound in sm. kind is for the kind elements in sm, it is used for error reporting.
These queries only succeed on JSON array values.
val is_empty_array : bool tis_empty_array queries an array for emptyness.
fold_array f q acc queries the elements of an array from left to right with q and folds the result with f starting with acc.
nth ?absent n q queries the nth element of an array with q. If n is negative counts from the end of the array, so -1 is the last array element. If the element does not exist this fails if absent is None and succeeds with v if absent is Some v.
These queries only succeed on JSON object values.
mem n q queries the member n of a JSON object with q. The query fails if n is unbound in the object.
opt_mem n q ~absent queries the member n of a JSON object with q. absent is returned if n is unbound in the object.
val mem_dom : validate:Set.Make(String).t option -> Set.Make(String).t tmem_dom ~validate queries the member domain of a JSON object. If validate is Some dom, the query fails if a member name is not in dom.