package rdf

  1. Overview
  2. Docs
module N = Rdf_node
val dbg : ?loc:string -> ?level:int -> (unit -> string) -> unit
type error =
  1. | Unbound_variable of Rdf_sparql_types.var
  2. | Not_a_integer of Rdf_node.literal
  3. | Not_a_double_or_decimal of Rdf_node.literal
  4. | Type_mismatch of Rdf_dt.value * Rdf_dt.value
  5. | Invalid_fun_argument of Rdf_uri.uri
  6. | Unknown_fun of Rdf_uri.uri
  7. | Invalid_built_in_fun_argument of string * Rdf_sparql_types.expression list
  8. | Unknown_built_in_fun of string
  9. | No_term
  10. | Cannot_compare_for_datatype of Rdf_uri.uri
  11. | Unhandled_regex_flag of char
  12. | Incompatible_string_literals of Rdf_dt.value * Rdf_dt.value
  13. | Empty_set of string
  14. | Missing_values_in_inline_data of Rdf_sparql_types.inline_data_full
exception Error of error
val error : error -> 'a
val string_of_error : error -> string
module Irimap = Rdf_uri.Urimap
module Iriset = Rdf_uri.Uriset
type context = {
  1. base : Rdf_uri.uri;
  2. named : Iriset.t;
  3. dataset : Rdf_ds.dataset;
  4. active : Rdf_graph.graph;
  5. now : Netdate.t;
}
val context : base:Rdf_uri.uri -> ?from:Rdf_uri.uri -> ?from_named:Iriset.t -> Rdf_ds.dataset -> context
module GExprOrdered : sig ... end
module GExprMap : sig ... end
val ebv : Rdf_dt.value -> bool
val compare : ?sameterm:bool -> Rdf_dt.value -> Rdf_dt.value -> int
val sortby_compare : Rdf_dt.value -> Rdf_dt.value -> int
val xsd_datetime : Rdf_uri.uri
val fun_datetime : Rdf_dt.value list -> Rdf_dt.value
val uri_funs : (Rdf_dt.value list -> Rdf_dt.value) Irimap.t Pervasives.ref
val add_uri_fun : Irimap.key -> (Rdf_dt.value list -> Rdf_dt.value) -> unit
val bi_coalesce : 'a -> ('b -> 'c -> 'd -> Rdf_dt.value) -> 'b -> 'c -> 'd list -> Rdf_dt.value
val bi_datatype : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_if : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_iri : string -> (context -> 'a -> Rdf_sparql_types.expression -> Rdf_dt.value) -> context -> 'a -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_isblank : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_isiri : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_isliteral : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_lang : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_isnumeric : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val regex_flag_of_char : char -> [> `CASELESS | `DOTALL | `MULTILINE ]
val bi_regex : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_sameterm : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_str : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_strdt : string -> (context -> 'a -> Rdf_sparql_types.expression -> Rdf_dt.value) -> context -> 'a -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_strlang : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val string_lit_compatible : ('a * 'b option) -> ('c * 'b option) -> bool
val bi_strlen : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_substr : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_strends : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_strstarts : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_contains : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_strbefore : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_strafter : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_struuid : string -> 'a -> 'b -> 'c -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_encode_for_uri : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_concat : 'a -> ('b -> 'c -> 'd -> Rdf_dt.value) -> 'b -> 'c -> 'd list -> Rdf_dt.value
val bi_langmatches : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_replace : string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_numeric : (Rdf_dt.value -> Rdf_dt.value) -> string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_num_abs : Rdf_dt.value -> Rdf_dt.value
val bi_num_round : Rdf_dt.value -> Rdf_dt.value
val bi_num_ceil : Rdf_dt.value -> Rdf_dt.value
val bi_num_floor : Rdf_dt.value -> Rdf_dt.value
val bi_rand : string -> 'a -> 'b -> 'c -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_now : string -> 'a -> context -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_on_date : (Netdate.t -> Rdf_dt.value) -> string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_date_year : Netdate.t -> Rdf_dt.value
val bi_date_month : Netdate.t -> Rdf_dt.value
val bi_date_day : Netdate.t -> Rdf_dt.value
val bi_date_hours : Netdate.t -> Rdf_dt.value
val bi_date_minutes : Netdate.t -> Rdf_dt.value
val bi_date_seconds : Netdate.t -> Rdf_dt.value
val bi_hash : (string -> Rdf_dt.value) -> string -> ('a -> 'b -> Rdf_sparql_types.expression -> Rdf_dt.value) -> 'a -> 'b -> Rdf_sparql_types.expression list -> Rdf_dt.value
val bi_md5 : string -> Rdf_dt.value
val bi_sha1 : string -> Rdf_dt.value
val bi_sha256 : string -> Rdf_dt.value
val eval_numeric2 : (int -> int -> int) -> (float -> float -> float) -> (Rdf_dt.value * Rdf_dt.value) -> Rdf_dt.value
val eval_plus : (Rdf_dt.value * Rdf_dt.value) -> Rdf_dt.value
val eval_minus : (Rdf_dt.value * Rdf_dt.value) -> Rdf_dt.value
val eval_mult : (Rdf_dt.value * Rdf_dt.value) -> Rdf_dt.value
val eval_div : (Rdf_dt.value * Rdf_dt.value) -> Rdf_dt.value
val eval_equal : (Rdf_dt.value * Rdf_dt.value) -> Rdf_dt.value
val eval_not_equal : (Rdf_dt.value * Rdf_dt.value) -> Rdf_dt.value
val eval_lte : (Rdf_dt.value * Rdf_dt.value) -> Rdf_dt.value
val eval_gte : (Rdf_dt.value * Rdf_dt.value) -> Rdf_dt.value
val eval_and : (Rdf_dt.value * Rdf_dt.value) -> Rdf_dt.value
val eval_filter : context -> Rdf_sparql_ms.mu -> Rdf_sparql_types.constraint_ -> bool
val sort_solutions : 'a -> ('a -> 'b -> 'c -> int) list -> 'b -> 'c -> int
val project_sequence : Rdf_sparql_algebra.VS.t -> Rdf_sparql_ms.mu list -> Rdf_sparql_ms.mu list
val slice : 'a list -> int option -> int option -> 'a list
val agg_fold : ('a -> Rdf_sparql_ms.VMap.key -> 'a) -> 'a -> context -> bool -> Rdf_sparql_ms.Multimu.t -> Rdf_sparql_types.expression -> 'a
val agg_sample : 'a -> 'b -> 'c -> 'd -> 'e
val agg_group_concat : context -> bool -> Rdf_sparql_ms.Multimu.t -> Rdf_sparql_types.expression -> string option -> Rdf_dt.value
val cons : 'a -> 'a list -> 'a list
val filter_of_var_or_term : Rdf_sparql_types.var_or_term -> string option * Rdf_node.node option
val __print_mu : Rdf_sparql_ms.mu -> unit
val __print_omega : Rdf_sparql_ms.Multimu.t -> unit
val active_graph_subjects_and_objects : context -> Rdf_node.NSet.t
OCaml

Innovation. Community. Security.