rdf_json_ld 1.0.0 · OCaml Package

Context processing and expansion.

module L = Log

module Log = L

val gen_delim_chars : char list

type term_def = {

iri : T.iri_mapping;
prefix : bool;
protected : bool;
reverse_prop : bool;
base_url : Iri.t option;
local_ctx : Rdf_json_ld.T.J.json option;
container : string list option;
direction : T.direction option option;
index : string option;
lang : string option option;
nest_value : string option;
typ : T.type_mapping option;

}

and ctx = {

defs : term_def T.SMap.t;
base : Iri.t option;
orig_base : Iri.t;
inverse_ctx : ctx option;
vocab : string option;
default_lang : string option;
default_base_direction : T.direction option;
prev_ctx : ctx option;

}

val json_of_term_def : term_def -> Rdf_json_ld.T.J.json

val json_of_ctx : ctx -> Rdf_json_ld.T.J.json

val pp_ctx : Stdlib.Format.formatter -> ctx -> unit

val init_ctx : Iri.t -> ctx

val equal_def_container : 
  Stdlib.String.t list option ->
  Stdlib.String.t list option ->
  bool

val def_equal : term_def -> term_def -> bool

val clone_def : term_def -> term_def

val clone_defs : term_def T.SMap.t -> term_def T.SMap.t

val clone_ctx : ctx -> ctx

val add_value : 
  ?as_array:bool ->
  Rdf_json_ld.T.J.json_t Rdf_json_ld.T.J.ranged T.SMap.t ->
  T.SMap.key ->
  Rdf_json_ld.T.J.json_t Rdf_json_ld.T.J.ranged ->
  Rdf_json_ld.T.J.json_t Rdf_json_ld.T.J.ranged T.SMap.t

val load_remote_context : 
  T.options ->
  Rdf_json_ld.T.J.json Iri.Map.t ->
  Iri.Map.key ->
  (Rdf_json_ld.T.J.json Iri.Map.t * Rdf_json_ld.T.J.json) Lwt.t

val to_container_mapping : 
  T.options ->
  Rdf_json_ld.T.J.json_t Rdf_json_ld.T.J.ranged ->
  Stdlib.String.t list

val authorized_def_entries : T.SSet.t

val iri_mapping_of_json : 
  string ->
  Rdf_json_ld.T.J.json_t Rdf_json_ld.T.J.ranged ->
  [> `Bnode of T.SSet.elt | `Iri of T.SSet.elt | `Keyword of T.SSet.elt ]

val create_term_definition : 
  T.options ->
  ?protected:bool ->
  ?override_protected:bool ->
  ?base_url:Iri.t ->
  ?remote_ctxs:Rdf_json_ld.T.J.json Iri.Map.t ->
  ?validate_scoped_ctx:bool ->
  ctx ->
  Rdf_json_ld.T.J.map ->
  T.SMap.key ->
  bool T.SMap.t ->
  (ctx * bool T.SMap.t) Lwt.t

val iri_expansion : 
  T.options ->
  ?document_relative:bool ->
  ?vocab:bool ->
  ?local_ctx:Rdf_json_ld.T.J.map ->
  ?defined:bool T.SMap.t ->
  ctx ->
  Rdf_json_ld.T.J.json_t Rdf_json_ld.T.J.ranged ->
  (ctx * bool T.SMap.t * Rdf_json_ld.T.J.json) Lwt.t

val process_local_ctx : 
  T.options ->
  override_protected:bool ->
  propagate:bool ->
  validate_scoped_ctx:bool ->
  ctx ->
  Iri.t ->
  (Rdf_json_ld.T.J.json Iri.Map.t * ctx) ->
  Rdf_json_ld.T.J.json_t Rdf_json_ld.T.J.ranged ->
  (Rdf_json_ld.T.J.json Iri.Map.t * ctx) Lwt.t

val process_context_entry : 
  T.options ->
  override_protected:bool ->
  ctx ->
  Iri.t ->
  (Rdf_json_ld.T.J.json Iri.Map.t * ctx) ->
  Rdf_json_ld.T.J.map ->
  (Rdf_json_ld.T.J.json Iri.Map.t * ctx) Lwt.t

val process_ctx_result : 
  T.options ->
  ?override_protected:bool ->
  ?propagate:bool ->
  ?validate_scoped_ctx:bool ->
  ctx ->
  Iri.t ->
  (Rdf_json_ld.T.J.json Iri.Map.t * ctx) ->
  Rdf_json_ld.T.J.json ->
  (Rdf_json_ld.T.J.json Iri.Map.t * ctx) Lwt.t

val process_ctx : 
  T.options ->
  ?override_protected:bool ->
  ?propagate:bool ->
  ?validate_scoped_ctx:bool ->
  ctx ->
  Iri.t ->
  Rdf_json_ld.T.J.json Iri.Map.t ->
  Rdf_json_ld.T.J.json ->
  (Rdf_json_ld.T.J.json Iri.Map.t * ctx) Lwt.t

val value_expansion : 
  T.options ->
  ctx ->
  T.SMap.key ->
  Rdf_json_ld.T.J.json ->
  Rdf_json_ld.T.J.json Lwt.t

val return_null : Rdf_json_ld.T.J.json Lwt.t

val expand_language : 
  T.options ->
  ordered:bool ->
  ctx ->
  T.SMap.key ->
  Rdf_json_ld.T.J.map ->
  Rdf_json_ld.T.J.json Lwt.t

val expand_index_map : 
  T.options ->
  frame_expansion:bool ->
  ordered:bool ->
  ctx ->
  Iri.t ->
  string list ->
  T.SMap.key ->
  Rdf_json_ld.T.J.map ->
  Rdf_json_ld.T.J.json Lwt.t

val expansion : 
  T.options ->
  ?frame_expansion:bool ->
  ?ordered:bool ->
  ?from_map:bool ->
  ctx ->
  T.SMap.key option ->
  Rdf_json_ld.T.J.json ->
  Iri.t ->
  Rdf_json_ld.T.J.json Lwt.t

val ctx_of_options : T.options -> Iri.t -> ctx Lwt.t

package rdf_json_ld