package rdf

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package rdf

rdf
- Rdf
  - Acl
    
    Open
    
    from
  - Bgp
    
    Make
    
    P
    
    P
    
    S
  - Config
  - Dc
    
    Open
    
    from
  - Doap
    
    Open
    
    from
  - Dot
  - Ds
  - Dt
    
    ValueOrdered
  - Earl
    
    Open
    
    from
  - Foaf
    
    Open
    
    from
  - Graph
    
    Graph
    
    BGP
    
    Make
    
    BGP
    
    S
    
    BGP
    
    Storage
    
    BGP
    
    Storage_BGP
  - Json
  - Ldp
    
    Open
    
    from
  - Loc
  - Log
  - Mem
    
    Mem
    
    BGP
  - Misc
  - Oa
    
    Open
    
    from
  - Owl
    
    Open
    
    from
  - Pim
    
    Open
    
    from
  - Prov
    
    Open
    
    from
  - Rdf_
    
    Open
  - Rdfs
    
    Open
  - Sedlex
  - Sioc
    
    Open
    
    from
  - Solid
    
    Open
    
    from
  - Sparql
  - Sparql_algebra
  - Sparql_eval
    
    GExprMap
    
    GExprOrdered
  - Sparql_expand
  - Sparql_http
    
    Make
    
    P
    
    P
    
    S
  - Sparql_lex
  - Sparql_map
  - Sparql_ms
    
    MuNOrdered
    
    MuOrdered
    
    MuSet
    
    Multimu
  - Sparql_parser
  - Sparql_print
  - Sparql_protocol
  - Sparql_types
    
    OrderedString
    
    VarSet
  - Sparql_vis
  - Stubs
  - Term
    
    Ordered_term
  - Time
    
    Open
    
    from
  - Ttl
  - Ttl_lex
  - Ttl_parser
  - Ttl_types
  - Types
    
    Ordered_char
    
    Ordered_string
  - Update
  - Utf8
  - Utils
  - Vcard
    
    Open
    
    from
  - Webacl
  - Xml
rdf.impls
- Impl_cryptokit
- Impl_pcre

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module S : Storage

Signature

type g = S.g

val open_graph : ?options:(string * string) list -> Iri.t -> g

val graph_name : g -> Iri.t

val graph_size : g -> int

val add_triple : g -> sub:Term.term -> pred:Iri.t -> obj:Term.term -> unit

val rem_triple : g -> sub:Term.term -> pred:Iri.t -> obj:Term.term -> unit

val add_triple_t : g -> Term.triple -> unit

val rem_triple_t : g -> Term.triple -> unit

val subjects_of : g -> pred:Iri.t -> obj:Term.term -> Term.term list

val predicates_of : g -> sub:Term.term -> obj:Term.term -> Iri.t list

val objects_of : g -> sub:Term.term -> pred:Iri.t -> Term.term list

val find : 
  ?sub:Term.term ->
  ?pred:Iri.t ->
  ?obj:Term.term ->
  g ->
  Term.triple list

val exists : ?sub:Term.term -> ?pred:Iri.t -> ?obj:Term.term -> g -> bool

val exists_t : Term.triple -> g -> bool

val subjects : g -> Term.term list

val predicates : g -> Iri.t list

val objects : g -> Term.term list

val folder : g -> Rdf.Term.TSet.t Iri.Map.t Rdf.Term.TMap.t option

val transaction_start : g -> unit

val transaction_commit : g -> unit

val transaction_rollback : g -> unit

val new_blank_id : g -> Term.blank_id

val namespaces : g -> (Iri.t * string) list

val add_namespace : g -> Iri.t -> string -> unit

val rem_namespace : g -> string -> unit

val set_namespaces : g -> (Iri.t * string) list -> unit

module BGP : Storage_BGP with type g = g