Module Graph.MakeSource

Parameters

module S : Storage

Signature

Sourcetype g = S.g
Sourceval open_graph : ?options:(string * string) list -> Iri.t -> g
Sourceval graph_name : g -> Iri.t
Sourceval graph_size : g -> int
Sourceval add_triple : g -> sub:Term.term -> pred:Iri.t -> obj:Term.term -> unit
Sourceval rem_triple : g -> sub:Term.term -> pred:Iri.t -> obj:Term.term -> unit
Sourceval add_triple_t : g -> Term.triple -> unit
Sourceval rem_triple_t : g -> Term.triple -> unit
Sourceval subjects_of : g -> pred:Iri.t -> obj:Term.term -> Term.term list
Sourceval predicates_of : g -> sub:Term.term -> obj:Term.term -> Iri.t list
Sourceval objects_of : g -> sub:Term.term -> pred:Iri.t -> Term.term list
Sourceval find : ?sub:Term.term -> ?pred:Iri.t -> ?obj:Term.term -> g -> Term.triple list
Sourceval exists : ?sub:Term.term -> ?pred:Iri.t -> ?obj:Term.term -> g -> bool
Sourceval exists_t : Term.triple -> g -> bool
Sourceval subjects : g -> Term.term list
Sourceval predicates : g -> Iri.t list
Sourceval objects : g -> Term.term list
Sourceval folder : g -> Term.TSet.t Iri.Map.t Term.TMap.t option
Sourceval transaction_start : g -> unit
Sourceval transaction_commit : g -> unit
Sourceval transaction_rollback : g -> unit
Sourceval copy : g -> g
Sourceval new_blank_id : g -> Term.blank_id
Sourceval namespaces : g -> (Iri.t * string) list
Sourceval add_namespace : g -> Iri.t -> string -> unit
Sourceval rem_namespace : g -> string -> unit
Sourceval set_namespaces : g -> (Iri.t * string) list -> unit
Sourcemodule BGP : Storage_BGP with type g = g