package rdf

You can search for identifiers within the package.

in-package search v0.2.0

package rdf

rdf
- Rdf_config
- Rdf_dot
- Rdf_ds
- Rdf_dt
  - VMap
  - VSet
  - ValueOrdered
- Rdf_graph
  - Graph
  - Make
    
    S
  - Storage
- Rdf_loc
- Rdf_mem
  - Mem
  - Triples
    
    Map
    
    Set
- Rdf_misc
- Rdf_node
  - NSet
  - Ord_type
- Rdf_rdf
- Rdf_sparql
- Rdf_sparql_algebra
- Rdf_sparql_eval
  - GExprMap
  - GExprOrdered
- Rdf_sparql_expand
- Rdf_sparql_lex
- Rdf_sparql_map
- Rdf_sparql_ms
  - MuNOrdered
  - MuOrdered
  - MuSet
  - Multimu
- Rdf_sparql_parser
- Rdf_sparql_print
- Rdf_sparql_types
  - OrderedString
  - SMap
  - SSet
  - VarSet
- Rdf_sparql_vis
- Rdf_ttl
- Rdf_ttl_lex
- Rdf_ttl_parser
- Rdf_ttl_types
- Rdf_ulex
- Rdf_uri
  - Urimap
  - Uriset
- Rdf_utf8
- Rdf_xml
  - SMap

Legend:
Library
Module
Module type
Parameter
Class
Class type

val dbg : ?loc:string -> ?level:int -> (unit -> string) -> unit

module Triples : sig ... end

type t = {

g_name : Rdf_uri.uri;
mutable g_set_sub : Triples.t;
mutable g_set_pred : Triples.t;
mutable g_set_obj : Triples.t;
mutable g_in_transaction : t option;

}

type error = string

exception Error of error

val string_of_error : 'a -> 'a

val open_graph : ?options:'a list -> Rdf_uri.uri -> t

val add_triple : 
  t ->
  sub:Triples.Map.key ->
  pred:Triples.Map.key ->
  obj:Triples.Set.elt ->
  unit

val rem_triple : 
  t ->
  sub:Triples.Map.key ->
  pred:Triples.Map.key ->
  obj:Triples.Set.elt ->
  unit

val subjects_of : 
  t ->
  pred:Triples.Map.key ->
  obj:Triples.Map.key ->
  Triples.Set.elt list

val predicates_of : 
  t ->
  sub:Triples.Map.key ->
  obj:Triples.Set.elt ->
  Triples.Map.key list

val objects_of : 
  t ->
  sub:Triples.Map.key ->
  pred:Triples.Map.key ->
  Triples.Set.elt list

val find : 
  ?sub:Triples.Map.key ->
  ?pred:Triples.Map.key ->
  ?obj:Triples.Map.key ->
  t ->
  (Triples.Map.key * Triples.Map.key * Triples.Set.elt) list

val exists : 
  ?sub:Triples.Map.key ->
  ?pred:Triples.Map.key ->
  ?obj:Triples.Map.key ->
  t ->
  bool

val subjects : t -> Triples.Map.key list

val predicates : t -> Triples.Map.key list

val objects : t -> Triples.Map.key list

val transaction_start : t -> unit

val transaction_commit : t -> unit

val transaction_rollback : t -> unit

val new_blank_id : t -> Rdf_node.blank_id

module Mem : sig ... end