Module Solid.Profile

Handling profile information.

type profile = Rdf.Graph.graph

A profile is a RDF graph.

type workspace = {
  1. ws_title : string;
  2. ws_iri : Iri.t;
  3. ws_triples : Rdf.Term.triple list;
}

A profile defines workspaces, each defines by a title. Here we also store IRI of the workspace and all triples whose subject if the workspace IRI.

module type S = sig ... end

Functions to query a profile.

module Make (_ : Ldp.Http.Http) : S

Creating functions to query a profile from a HTTP module.