package rdf

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

Module Rdf.Sparql_msSource

Sourcemodule VMap = Dt.VMap
Sourceexception Incompatible_mus of string
Sourceexception Cannot_extend_mu of Sparql_types.var
Sourcetype mu = {
  1. mu_bindings : Term.term SMap.t;
  2. mutable mu_bnodes : string VMap.t;
}
Sourceval mu_0 : mu
Sourceval mu_add : SMap.key -> Term.term -> mu -> mu
Sourceval mu_copy : mu -> mu
Sourceval mu : SMap.key -> Term.term -> mu
Sourceval gen_blank_id : unit -> string
Sourceval get_bnode : mu -> VMap.key -> Dt.value
Sourceval mu_compare : mu -> mu -> int
Sourceval mu_merge : mu -> mu -> mu
Sourceval mu_find_varname : SMap.key -> mu -> Term.term
Sourceval mu_find_var : Sparql_types.var -> mu -> Term.term
Sourceval mu_project : SSet.t -> mu -> mu
Sourceval mu_fold : (SMap.key -> Term.term -> 'a -> 'a) -> mu -> 'a -> 'a
Sourceval mu_iter : (SMap.key -> Term.term -> unit) -> mu -> unit
Sourcemodule MuOrdered : sig ... end
Sourcemodule MuSet : sig ... end
Sourcemodule MuNOrdered : sig ... end
Sourcemodule Multimu : sig ... end
Sourcetype multiset = Multimu.t
Sourceval omega_add : mu -> Multimu.t -> Multimu.t
Sourceval omega_add_if_not_present : mu -> Multimu.t -> Multimu.t
Sourceval omega_0 : Multimu.t
Sourceval card_mu : Multimu.t -> mu -> int
Sourceval omega_filter : (mu -> bool) -> Multimu.t -> Multimu.t
Sourceval omega_join : ?pred:(mu -> bool) -> Multimu.t -> Multimu.t -> Multimu.t
Sourceval omega_union : Multimu.t -> Multimu.t -> Multimu.t
Sourceval omega_diff_pred : (mu -> bool) -> Multimu.t -> Multimu.t -> Multimu.t
Sourceexception Not_disjoint
Sourceval mu_disjoint_doms : mu -> mu -> bool
Sourceval omega_minus : Multimu.t -> Multimu.t -> Multimu.t
Sourceval omega_extend : (mu -> Term.term) -> Multimu.t -> Sparql_types.var -> Multimu.t
Sourceval omega_fold : (mu -> 'a -> 'a) -> Multimu.t -> 'a -> 'a
Sourceval omega_iter : (mu -> unit) -> Multimu.t -> unit
Sourceval omega_exists : (mu -> bool) -> Multimu.t -> bool
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