rdf 0.14.0 · OCaml Package

module N = Term

type error =

| Unbound_variable of Sparql_types.var
| Not_a_integer of Term.literal
| Not_a_double_or_decimal of Term.literal
| Type_mismatch of Dt.value * Dt.value
| Invalid_fun_argument of Iri.t
| Unknown_fun of Iri.t
| Invalid_built_in_fun_argument of string * Sparql_types.expression list
| Unknown_built_in_fun of string
| No_term
| Cannot_compare_for_datatype of Iri.t
| Unhandled_regex_flag of char
| Incompatible_string_literals of Dt.value * Dt.value
| Empty_set of string
| Missing_values_in_inline_data of Sparql_types.inline_data_full
| 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 = {

base : Iri.t;
named : Iriset.t;
dataset : Ds.dataset;
active : Graph.graph;
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 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_var : Sparql_ms.mu -> Sparql_types.var -> Dt.value

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 filter_omega : 
  context ->
  Sparql_types.constraint_ list ->
  Sparql_ms.Multimu.t ->
  Sparql_ms.Multimu.t

val join_omega : 
  'a ->
  Sparql_ms.Multimu.t ->
  Sparql_ms.Multimu.t ->
  Sparql_ms.Multimu.t

val union_omega : 
  Sparql_ms.Multimu.t ->
  Sparql_ms.Multimu.t ->
  Sparql_ms.Multimu.t

val leftjoin_omega : 
  context ->
  Sparql_ms.Multimu.t ->
  Sparql_ms.Multimu.t ->
  Sparql_types.constraint_ list ->
  Sparql_ms.Multimu.t

val minus_omega : 
  Sparql_ms.Multimu.t ->
  Sparql_ms.Multimu.t ->
  Sparql_ms.Multimu.t

val extend_omega : 
  context ->
  Sparql_ms.Multimu.t ->
  Sparql_types.var ->
  Sparql_types.expression ->
  Sparql_ms.Multimu.t

val build_sort_comp_fun : 
  Sparql_types.order_condition ->
  context ->
  Sparql_ms.MuSet.elt ->
  Sparql_ms.MuSet.elt ->
  int

val sort_solutions : 'a -> ('a -> 'b -> 'c -> int) list -> 'b -> 'c -> int

val sort_sequence : 
  context ->
  Sparql_types.order_condition list ->
  Sparql_ms.MuSet.elt list ->
  Sparql_ms.MuSet.elt list

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 group_omega : 
  context ->
  Sparql_types.group_condition list ->
  Sparql_ms.Multimu.t ->
  Sparql_ms.Multimu.t GExprMap.t

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_avg : 
  context ->
  bool ->
  Sparql_ms.Multimu.t ->
  Sparql_types.expression ->
  Dt.value

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 aggregate_join : 
  (context -> 'a -> Sparql_ms.Multimu.t) ->
  context ->
  (Sparql_types.group_condition list * 'a) ->
  Sparql_algebra.algebra list ->
  Sparql_ms.Multimu.t

val cons : 'a -> 'a list -> 'a list

val __print_mu : Sparql_ms.mu -> unit

val __print_omega : Sparql_ms.Multimu.t -> unit

val eval_datablock : Sparql_types.datablock -> Sparql_ms.Multimu.t

val eval : context -> Sparql_algebra.algebra -> Sparql_ms.Multimu.t

val eval_list : context -> Sparql_algebra.algebra -> Sparql_ms.MuSet.elt list

package rdf