package rdf

  1. Overview
  2. Docs
module N = Term
type error =
  1. | Unbound_variable of Sparql_types.var
  2. | Not_a_integer of Term.literal
  3. | Not_a_double_or_decimal of Term.literal
  4. | Type_mismatch of Dt.value * Dt.value
  5. | Invalid_fun_argument of Iri.t
  6. | Unknown_fun of Iri.t
  7. | Invalid_built_in_fun_argument of string * Sparql_types.expression list
  8. | Unknown_built_in_fun of string
  9. | No_term
  10. | Cannot_compare_for_datatype of Iri.t
  11. | Unhandled_regex_flag of char
  12. | Incompatible_string_literals of Dt.value * Dt.value
  13. | Empty_set of string
  14. | Missing_values_in_inline_data of Sparql_types.inline_data_full
  15. | Missing_implementation of string
exception Error of error
val error : error -> 'a
val string_of_error : error -> string
module Irimap = Iri.Map
module Iriset = Iri.Set
type context = {
  1. base : Iri.t;
  2. named : Iriset.t;
  3. dataset : Ds.dataset;
  4. active : Graph.graph;
  5. now : Term.datetime;
}
val context : base:Iri.t -> ?from:Iri.t list -> ?from_named:Iriset.t -> Ds.dataset -> context
module GExprOrdered : sig ... end
module GExprMap : sig ... end
val ebv : Dt.value -> bool
val compare : ?sameterm:bool -> Dt.value -> Dt.value -> int
val sortby_compare : Dt.value -> Dt.value -> int
val xsd_datetime : Iri.t
val fun_datetime : Dt.value list -> Dt.value
val iri_funs_ : (Iri.t * (Dt.value list -> Dt.value)) list
val iri_funs : (Rdf.Sparql_ms.VMap.key list -> Rdf.Sparql_ms.VMap.key) Irimap.t Stdlib.ref
val add_iri_fun : Irimap.key -> (Rdf.Sparql_ms.VMap.key list -> Rdf.Sparql_ms.VMap.key) -> unit
val bi_bnode : string -> ('a -> Sparql_ms.mu -> Sparql_types.expression -> Rdf.Sparql_ms.VMap.key) -> 'a -> Sparql_ms.mu -> Sparql_types.expression list -> Dt.value
val bi_coalesce : 'a -> ('b -> 'c -> 'd -> Dt.value) -> 'b -> 'c -> 'd list -> Dt.value
val bi_datatype : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_if : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_iri : string -> (context -> 'a -> Sparql_types.expression -> Dt.value) -> context -> 'a -> Sparql_types.expression list -> Dt.value
val bi_uri : string -> (context -> 'a -> Sparql_types.expression -> Dt.value) -> context -> 'a -> Sparql_types.expression list -> Dt.value
val bi_isblank : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_isiri : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_isliteral : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_lang : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_isnumeric : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val regex_flag_of_char : char -> [> `CASELESS | `DOTALL | `MULTILINE ]
val bi_regex : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_sameterm : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_str : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_strdt : string -> (context -> 'a -> Sparql_types.expression -> Dt.value) -> context -> 'a -> Sparql_types.expression list -> Dt.value
val bi_strlang : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val string_lit_compatible : ('a * 'b option) -> ('c * 'b option) -> bool
val bi_strlen : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_substr : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_strends : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_strstarts : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_contains : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_strbefore : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_strafter : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_struuid : string -> 'a -> 'b -> 'c -> Sparql_types.expression list -> Dt.value
val bi_uuid : string -> 'a -> 'b -> 'c -> Sparql_types.expression list -> Dt.value
val bi_encode_for_uri : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_concat : 'a -> ('b -> 'c -> 'd -> Dt.value) -> 'b -> 'c -> 'd list -> Dt.value
val bi_langmatches : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_replace : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_numeric : (Dt.value -> Dt.value) -> string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_num_abs : Dt.value -> Dt.value
val bi_num_round : Dt.value -> Dt.value
val bi_num_ceil : Dt.value -> Dt.value
val bi_num_floor : Dt.value -> Dt.value
val bi_rand : string -> 'a -> 'b -> 'c -> Sparql_types.expression list -> Dt.value
val bi_now : string -> 'a -> context -> 'b -> Sparql_types.expression list -> Dt.value
val bi_on_date : (Term.datetime -> Dt.value) -> string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_date_year : Term.datetime -> Dt.value
val bi_date_month : Term.datetime -> Dt.value
val bi_date_day : Term.datetime -> Dt.value
val bi_date_hours : Term.datetime -> Dt.value
val bi_date_minutes : Term.datetime -> Dt.value
val bi_date_seconds : Term.datetime -> Dt.value
val bi_hash : (string -> Dt.value) -> string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_md5 : string -> Dt.value
val bi_sha1 : string -> Dt.value
val bi_sha256 : string -> Dt.value
val bi_lcase : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val bi_ucase : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
val built_in_funs : ((context -> Sparql_ms.MuSet.elt -> Sparql_types.expression -> Rdf.Sparql_ms.VMap.key) -> context -> Sparql_ms.MuSet.elt -> Sparql_types.expression list -> Rdf.Sparql_ms.VMap.key) Rdf.Sparql_types.SMap.t
val get_built_in_fun : string -> (context -> Sparql_ms.MuSet.elt -> Sparql_types.expression -> Rdf.Sparql_ms.VMap.key) -> context -> Sparql_ms.MuSet.elt -> Sparql_types.expression list -> Rdf.Sparql_ms.VMap.key
val eval_iri : Sparql_types.iri -> Dt.value
val eval_numeric2 : (int -> int -> int) -> (float -> float -> float) -> (Dt.value * Dt.value) -> Dt.value
val eval_plus : (Rdf.Sparql_ms.VMap.key * Rdf.Sparql_ms.VMap.key) -> Dt.value
val eval_minus : (Rdf.Sparql_ms.VMap.key * Rdf.Sparql_ms.VMap.key) -> Dt.value
val eval_mult : (Rdf.Sparql_ms.VMap.key * Rdf.Sparql_ms.VMap.key) -> Dt.value
val eval_div : (Rdf.Sparql_ms.VMap.key * Rdf.Sparql_ms.VMap.key) -> Dt.value
val eval_equal : (Dt.value * Dt.value) -> Dt.value
val eval_not_equal : (Dt.value * Dt.value) -> Dt.value
val eval_lt : (Dt.value * Dt.value) -> Dt.value
val eval_lte : (Dt.value * Dt.value) -> Dt.value
val eval_gt : (Dt.value * Dt.value) -> Dt.value
val eval_gte : (Dt.value * Dt.value) -> Dt.value
val eval_or : (Dt.value * Dt.value) -> Dt.value
val eval_and : (Dt.value * Dt.value) -> Dt.value
val eval_bin : Sparql_types.binary_op -> (Rdf.Sparql_ms.VMap.key * Rdf.Sparql_ms.VMap.key) -> Dt.value
val eval_expr : context -> Sparql_ms.MuSet.elt -> Sparql_types.expression -> Rdf.Sparql_ms.VMap.key
val eval_bic : context -> Sparql_ms.MuSet.elt -> Sparql_types.built_in_call -> Rdf.Sparql_ms.VMap.key
val eval_funcall : context -> Sparql_ms.MuSet.elt -> Sparql_types.function_call -> Rdf.Sparql_ms.VMap.key
val eval_in : context -> Sparql_ms.MuSet.elt -> Sparql_types.expression -> Sparql_types.expression list -> Rdf.Sparql_ms.VMap.key
val ebv_lit : Dt.value -> Term.literal
val eval_filter : context -> Sparql_ms.MuSet.elt -> Sparql_types.constraint_ -> bool
val sort_solutions : 'a -> ('a -> 'b -> 'c -> int) list -> 'b -> 'c -> int
val project_sequence : Rdf.Sparql_algebra.VS.t -> Sparql_ms.mu list -> Sparql_ms.mu list
val distinct : Sparql_ms.MuSet.elt list -> Sparql_ms.MuSet.elt list
val slice : 'a list -> int option -> int option -> 'a list
val agg_count : context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression option -> Dt.value
val agg_sum : context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression -> Rdf.Sparql_ms.VMap.key
val agg_fold : ('a -> Rdf.Sparql_ms.VMap.key -> 'a) -> 'a -> context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression -> 'a
val agg_min : context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression -> Rdf.Sparql_ms.VMap.key
val agg_max : context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression -> Rdf.Sparql_ms.VMap.key
val agg_sample : 'a -> 'b -> 'c -> 'd -> 'e
val agg_group_concat : context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression -> string option -> Dt.value
val eval_agg : context -> Sparql_types.aggregate -> Sparql_ms.Multimu.t -> Rdf.Sparql_ms.VMap.key
val aggregation : context -> Sparql_types.aggregate -> Sparql_ms.Multimu.t GExprMap.t -> Rdf.Sparql_ms.VMap.key GExprMap.t
val cons : 'a -> 'a list -> 'a list
val __print_mu : Sparql_ms.mu -> unit
val __print_omega : Sparql_ms.Multimu.t -> unit