package rdf

You can search for identifiers within the package.

in-package search v0.2.0

package rdf

rdf
- Rdf_config
- Rdf_dot
  - Node_set
  - SSet
- Rdf_graph
  - Graph
  - Make
    
    S
  - Storage
- Rdf_mem
  - Mem
  - Triples
    
    Map
    
    Set
- Rdf_misc
- Rdf_node
  - Ord_type
- Rdf_rdf
- Rdf_uri
  - Urimap
- Rdf_utf8
- Rdf_xml
  - SMap

Legend:
Library
Module
Module type
Parameter
Class
Class type

val name : string

type g = t

type error = string

exception Error of error

val string_of_error : 'a -> 'a

val graph_name : t -> Rdf_uri.uri

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 add_triple_t : 
  t ->
  (Triples.Map.key * Triples.Map.key * Triples.Set.elt) ->
  unit

val rem_triple_t : 
  t ->
  (Triples.Map.key * Triples.Map.key * 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 exists_t : 
  (Triples.Map.key * Triples.Map.key * 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