package rdf_json_ld

  1. Overview
  2. Docs

Module Rdf_json_ld.TSource

Base types and utilities.

Sourcemodule SMap : sig ... end
Sourcemodule SSet : sig ... end
Sourcemodule J = J
Sourceval is_default_object : [> `Obj of J.map ] J.ranged -> bool
Sourcetype error = J.error = ..
Sourceval error : J.error -> 'a
Sourceexception Error of J.error
Sourceval is_node_object : [> `Obj of J.map ] J.ranged -> bool
Sourceval iri_of_string : string -> Iri.t
Sourceval iri_resolve : base:Iri.t -> Iri.t -> Iri.t
Sourceval str_is_iri : string -> bool
Sourceval is_iri : [> `String of string ] J.ranged -> bool
Sourceval i18n_ns : string
Sourcetype error +=
  1. | Bad_iri of string * string
  2. | Colliding_keywords of string
  3. | Conflicting_indexes of J.json
  4. | Cyclic_iri_mapping of bool SMap.t
  5. | Expanded_graph_bad_result of J.json
  6. | Expanded_list_bad_result of J.json
  7. | Invalid_base_direction of J.json
  8. | Invalid_base_iri of J.json
  9. | Invalid_blank_node_id of J.json
  10. | Invalid_container_mapping of J.json
  11. | Invalid_context_entry of string
  12. | Invalid_context_nullification of J.range option
  13. | Invalid_default_language of J.json
  14. | Invalid_expanded_json of J.json
  15. | Invalid_id_value of J.json
  16. | Invalid_import of J.json
  17. | Invalid_included_value of J.json
  18. | Invalid_index_value of J.json
  19. | Invalid_iri_mapping of J.json
  20. | Invalid_json_literal of string
  21. | Invalid_keyword_alias of string * string
  22. | Invalid_language_map_value of J.json
  23. | Invalid_language_mapping of J.json
  24. | Invalid_language_tagged_string of J.json
  25. | Invalid_language_tagged_value of J.json
  26. | Invalid_local_context of J.range option
  27. | Invalid_nest_value of J.json
  28. | Invalid_prefix_value of J.json
  29. | Invalid_propagate_value of J.json
  30. | Invalid_protected_value of J.json
  31. | Invalid_remote_context of Iri.t * string
  32. | Invalid_reverse_property
  33. | Invalid_reverse_property_map
  34. | Invalid_reverse_property_value of J.json
  35. | Invalid_reverse_value of J.json
  36. | Invalid_scoped_context
  37. | Invalid_set_or_list_object of J.json
  38. | Invalid_subject of Rdf.Term.term
  39. | Invalid_term_definition of string
  40. | Invalid_term_definition_value of J.json
  41. | Invalid_type of Rdf.Term.term
  42. | Invalid_type_mapping of J.json
  43. | Invalid_type_mapping_value of J.json
  44. | Invalid_type_value of J.json
  45. | Invalid_typed_value of J.json
  46. | Invalid_value_object_value of J.json
  47. | Invalid_value_object of J.json
  48. | Invalid_version of J.json
  49. | Invalid_vocab_mapping of string
  50. | Iri_get of Iri.t * string
  51. | Keyword_redefinition of string
  52. | Loading_remote_context_failed of Iri.t * string
  53. | Processing_mode_conflict
  54. | Protected_term_redefinition of string
Sourceval string_of_error_json : string -> J.json_t J.ranged -> string
Sourceval string_of_error : error -> string
Sourceval code_of_error : error -> string
Sourceval warn_invalid_language_tag : string -> unit
Sourcetype rdf_direction =
  1. | I18n_datatype
  2. | Compound_literal
Sourceval rdf_direction_of_string : string -> rdf_direction
Sourceval string_of_rdf_direction : rdf_direction -> string
Sourcetype direction = [
  1. | `Ltr
  2. | `Rtl
]
Sourceval string_of_direction : [< `Ltr | `Rtl ] -> string
Sourcetype options = {
  1. base : string option;
  2. compact_arrays : bool;
  3. compact_to_relative : bool;
  4. document_loader : Iri.t -> (string, exn) result Lwt.t;
  5. expand_context : [ `Json of J.json | `Iri of Iri.t ] option;
  6. extract_all_scripts : bool;
  7. frame_expansion : bool;
  8. ordered : bool;
  9. processing_mode : string;
  10. produce_generalized_rdf : bool;
  11. rdf_direction : rdf_direction option;
  12. use_native_types : bool;
  13. use_rdf_type : bool;
}
Sourceval options : ?base:string -> ?compact_arrays:bool -> ?compact_to_relative:bool -> ?expand_context:[ `Iri of Iri.t | `Json of J.json ] -> ?extract_all_scripts:bool -> ?frame_expansion:bool -> ?ordered:bool -> ?processing_mode:string -> ?produce_generalized_rdf:bool -> ?rdf_direction:rdf_direction -> ?use_native_types:bool -> ?use_rdf_type:bool -> (Iri.t -> (string, exn) result Lwt.t) -> options
Sourcetype type_mapping = [
  1. | `Iri of string
  2. | `Id
  3. | `Json
  4. | `None
  5. | `Vocab
]
Sourcetype iri_mapping = [
  1. | `Iri of string
  2. | `Keyword of string
  3. | `Bnode of string
  4. | `Null
]
Sourceval string_of_iri_mapping : [< `Bnode of string | `Iri of string | `Keyword of string | `Null ] -> string
Sourceval pp_iri_mapping : Format.formatter -> [< `Bnode of string | `Iri of string | `Keyword of string | `Null ] -> unit
Sourceval string_of_type_mapping : [< `Id | `Iri of string | `Json | `None | `Vocab ] -> string
Sourceval string_of_type_mapping_opt : [< `Id | `Iri of string | `Json | `None | `Vocab ] option -> string
Sourceval keywords : SSet.t
Sourceval keyword_re : Re.re
Sourceval str_has_keyword_form : string -> bool
Sourceval has_keyword_form : [> `String of string ] J.ranged -> bool
Sourceval str_is_kw : SSet.elt -> bool
Sourceval is_kw : [> `String of SSet.elt ] J.ranged -> bool
Sourceval is_kw_ : string -> J.json -> bool
Sourceval is_kw_id : J.json -> bool
Sourceval is_kw_json : J.json -> bool
Sourceval is_kw_none : J.json -> bool
Sourceval is_kw_value : J.json -> bool
Sourceval is_kw_vocab : J.json -> bool
Sourceval is_compact_iri : string -> bool
Sourceval str_is_blank_node_id : string -> bool
Sourceval is_blank_node_id : [> `String of string ] J.ranged -> bool
Sourceval is_value_object : [> `Obj of J.map ] J.ranged -> bool
Sourceval is_graph_object : [> `Obj of J.map ] J.ranged -> bool
Sourceval is_list_object : [> `Obj of J.map ] J.ranged -> bool
Sourceval smap_to_json : J.json SMap.t -> J.json
Sourceval remove_blank_id_prefix : string -> string
Sourceval load_remote_json : (Iri.t -> (string, exn) Result.t Lwt.t) -> Iri.t -> J.json Lwt.t
Sourceval jsonld_content_types : string list
Sourceval load_remote_curl : Iri.t -> (string, exn) result Lwt.t