package rdf

  1. Overview
  2. Docs
package rdf
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Rdf.Sparql_evalSource

Sourcemodule N = Term
Sourcetype 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
  16. | No_such_graph of Ds.name
Sourceexception Error of error
Sourceval error : error -> 'a
Sourceval string_of_error : error -> string
Sourcemodule NMap = Ds.NameMap
Sourcemodule NSet = Ds.NameSet
Sourcetype context = {
  1. base : Iri.t;
  2. named : NSet.t;
  3. dataset : Ds.dataset;
  4. active : Graph.graph;
  5. now : Term.datetime;
}
Sourceval context : base:Iri.t -> ?from:Ds.name list -> ?from_named:NSet.t -> Ds.dataset -> context
Sourcemodule GExprOrdered : sig ... end
Sourcemodule GExprMap : sig ... end
Sourceval ebv : Dt.value -> bool
Sourceval compare : ?sameterm:bool -> Dt.value -> Dt.value -> int
Sourceval sortby_compare : Dt.value -> Dt.value -> int
Sourceval xsd_datetime : Iri.t
Sourceval fun_datetime : Dt.value list -> Dt.value
Sourceval iri_funs_ : (Iri.t * (Dt.value list -> Dt.value)) list
Sourceval add_iri_fun : Iri.Map.key -> (Rdf.Sparql_ms.VMap.key list -> Rdf.Sparql_ms.VMap.key) -> unit
Sourceval bi_coalesce : 'a -> ('b -> 'c -> 'd -> Dt.value) -> 'b -> 'c -> 'd list -> Dt.value
Sourceval bi_datatype : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_if : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_iri : string -> (context -> 'a -> Sparql_types.expression -> Dt.value) -> context -> 'a -> Sparql_types.expression list -> Dt.value
Sourceval bi_uri : string -> (context -> 'a -> Sparql_types.expression -> Dt.value) -> context -> 'a -> Sparql_types.expression list -> Dt.value
Sourceval bi_isblank : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_isiri : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_isliteral : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_lang : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_isnumeric : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval regex_flag_of_char : char -> [> `CASELESS | `DOTALL | `MULTILINE ]
Sourceval bi_regex : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_sameterm : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_str : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_strdt : string -> (context -> 'a -> Sparql_types.expression -> Dt.value) -> context -> 'a -> Sparql_types.expression list -> Dt.value
Sourceval bi_strlang : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval string_lit_compatible : ('a * 'b option) -> ('c * 'b option) -> bool
Sourceval bi_strlen : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_substr : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_strends : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_strstarts : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_contains : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_strbefore : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_strafter : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_struuid : string -> 'a -> 'b -> 'c -> Sparql_types.expression list -> Dt.value
Sourceval bi_uuid : string -> 'a -> 'b -> 'c -> Sparql_types.expression list -> Dt.value
Sourceval bi_encode_for_uri : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_concat : 'a -> ('b -> 'c -> 'd -> Dt.value) -> 'b -> 'c -> 'd list -> Dt.value
Sourceval bi_langmatches : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_replace : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_numeric : (Dt.value -> Dt.value) -> string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_num_abs : Dt.value -> Dt.value
Sourceval bi_num_round : Dt.value -> Dt.value
Sourceval bi_num_ceil : Dt.value -> Dt.value
Sourceval bi_num_floor : Dt.value -> Dt.value
Sourceval bi_rand : string -> 'a -> 'b -> 'c -> Sparql_types.expression list -> Dt.value
Sourceval bi_now : string -> 'a -> context -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_on_date : (Term.datetime -> Dt.value) -> string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_date_year : Term.datetime -> Dt.value
Sourceval bi_date_month : Term.datetime -> Dt.value
Sourceval bi_date_day : Term.datetime -> Dt.value
Sourceval bi_date_hours : Term.datetime -> Dt.value
Sourceval bi_date_minutes : Term.datetime -> Dt.value
Sourceval bi_date_seconds : Term.datetime -> Dt.value
Sourceval bi_hash : (string -> Dt.value) -> string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_md5 : string -> Dt.value
Sourceval bi_sha1 : string -> Dt.value
Sourceval bi_sha256 : string -> Dt.value
Sourceval bi_lcase : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval bi_ucase : string -> ('a -> 'b -> Sparql_types.expression -> Dt.value) -> 'a -> 'b -> Sparql_types.expression list -> Dt.value
Sourceval eval_numeric2 : (int -> int -> int) -> (float -> float -> float) -> (Dt.value * Dt.value) -> Dt.value
Sourceval eval_equal : (Dt.value * Dt.value) -> Dt.value
Sourceval eval_not_equal : (Dt.value * Dt.value) -> Dt.value
Sourceval eval_lt : (Dt.value * Dt.value) -> Dt.value
Sourceval eval_lte : (Dt.value * Dt.value) -> Dt.value
Sourceval eval_gt : (Dt.value * Dt.value) -> Dt.value
Sourceval eval_gte : (Dt.value * Dt.value) -> Dt.value
Sourceval eval_or : (Dt.value * Dt.value) -> Dt.value
Sourceval eval_and : (Dt.value * Dt.value) -> Dt.value
Sourceval ebv_lit : Dt.value -> Term.literal
Sourceval sort_solutions : 'a -> ('a -> 'b -> 'c -> int) list -> 'b -> 'c -> int
Sourceval project_sequence : Rdf.Sparql_algebra.VS.t -> Sparql_ms.mu list -> Sparql_ms.mu list
Sourceval slice : 'a list -> int option -> int option -> 'a list
Sourceval agg_count : context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression option -> Dt.value
Sourceval agg_fold : ('a -> Rdf.Sparql_ms.VMap.key -> 'a) -> 'a -> context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression -> 'a
Sourceval agg_sample : 'a -> 'b -> 'c -> 'd -> 'e
Sourceval agg_group_concat : context -> bool -> Sparql_ms.Multimu.t -> Sparql_types.expression -> string option -> Dt.value
Sourceval cons : 'a -> 'a list -> 'a list
Sourceval __print_mu : Sparql_ms.mu -> unit
Sourceval __print_omega : Sparql_ms.Multimu.t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct