Module Json_schema.PointerSource

JSON Pointer and URI-fragment helpers used by $ref.

Sourcetype fragment =
  1. | Empty
  2. | Pointer of string list
  3. | Anchor of string
Sourceval percent_decode : string -> string
Sourceval split_uri_fragment : string -> string * string option
Sourceval parse_fragment : string option -> fragment
Sourceval resolve_pointer : Chatoyant_runtime.Json.t -> string list -> Chatoyant_runtime.Json.t option
Sourceval pointer_to_string : string list -> string