package ocplib-json-typed

An abstract type for paths into a JSON document. A sequence of sub-tree selectors to descend into a JSON tree.

A JSON sub-tree selector. Indendent from any concrete format (JSON pointer, JSON path, etc.) The semantics depends on the use (selection, insertion, etc.)

Pretty prints a path in JSON pointer format (RFC6901). May throw Unsupported_path_item. Use ~wildcards:false to deactivate the support of wildcard path items, which may lead to Unsupported_path_item.

Pretty prints a path in JSON path format. Use ~wildcards:false to deactivate the support of wildcard path items, which may lead to Unsupported_path_item.

Pretty prints a path in JSON pointer format into a fresh string. May throw Unsupported_path_item. Use ~wildcards:false to deactivate the support of wildcard path items, which may lead to Unsupported_path_item.

Parses a path from a string in JSON pointer format. May throw Illegal_pointer_notation. The string is expected to be ASCII compatible, including UTF-8. Use ~wildcards:false to deactivate the support of wildcard path items, which may lead to Unsupported_path_item.

Extracts the value located at a given path. If multiple locations satisfy the path (in presence of wildcard path items), the chosen one is unspecified. May throw Not_found.

This function works with JSON data represented in the Json_repr.ezjsonm format. See functor Make for using another representation.

Extracts the values located at a given path (may be more than one in presence of wildcard path items). The order is unspecified.

This function works with JSON data represented in the Json_repr.ezjsonm format. See functor Make for using another representation.

Insert a value at a given path. If multiple locations satisfy the path (in presence of wildcard path items), the chosen one is unspecified. Will create parent objects or arrays if needed, for instance inserting 3 at /a/b/c in {} will result in {"a":{"b":{"c":3}}}. Inserting in an array at an index bigger than the previous size will expand the array, filling potential missing cells with `Null. Inserting in an array at `Index n where n is negative inserts from the last element of the array. If a value is inserted at a location where there is already one, both are merged as if with merge. May throw Cannot_merge if the path is incompatible with the original object (such as inserting in a field of something which is not an object) or if the value is to be merged with an incompatible existing value.

This function works with JSON data represented in the Json_repr.ezjsonm format. See functor Make for using another representation.

Same as insert, except that if the path leads to a pre-existing value, it is replaced with the new one instead of being merged.

This function works with JSON data represented in the Json_repr.ezjsonm format. See functor Make for using another representation.

Merges two compatible JSON values. Merges `Null with any JSON value. Merges two deeply equal values together. Merges two objects by merging their common fields and adding all the others. Merges two arrays by merging their common cells pairwise and adding the remaining ones if one array is bigger than the other. May throw Cannot_merge.

This function works with JSON data represented in the Json_repr.ezjsonm format. See functor Make for using another representation.

When two incompatible objects are unsuccessfully merged. Comes with the path to the first incompatibility encountered.

An path litteral could not be parsed. Comes with the original string, the position and an explanation.

An operation was given a path containing an unsupported construct. Comes with an explanation as its second argument.

Produces a human readable version of an error.