Module Rdf.DtSource

Computing values in Sparql, mapping to/from RDF terms.

A value can be an error, and propagated in computations.

Sourcetype error =
  1. | Type_error of value * string
    (*

    The value has not the given expected "type"

    *)
  2. | Invalid_literal of Term.literal
    (*

    Invalid literal: bad integer string for an integer, ...

    *)
  3. | Exception of exn
    (*

    To keep the original exception which resulted in an error.

    *)
Sourceand value =
  1. | Err of error
    (*

    Value is an error

    *)
  2. | Blank of string
    (*

    A blank node with its label

    *)
  3. | Iri of Iri.t
    (*

    An IRI.

    *)
  4. | String of string
    (*

    A string literal.

    *)
  5. | Int of int * Iri.t
    (*

    An integer and the original datatype IRI

    *)
  6. | Float of float
    (*

    A decimal, float or double.

    *)
  7. | Bool of bool
    (*

    A Boolean.

    *)
  8. | HexBinary of string
    (*

    Binary data in hexadecimal, in lowercase

    *)
  9. | Datetime of Term.datetime
    (*

    A datetime.

    *)
  10. | Ltrl of string * string option
    (*

    A literal string with an optional language tag.

    *)
  11. | Ltrdt of string * Iri.t
    (*

    A literal value with a specified datatype.

    *)
Sourceexception Error of error
Sourceval error : error -> 'a

Raise a Error exception with the given error.

Sourceval string_of_value : value -> string

Return a string to show the given value.

Sourcemodule ValueOrdered : sig ... end
Sourcemodule VMap : Map.S with type key = value

Maps over values.

Sourcemodule VSet : Set.S with type elt = value

Sets of values.

Sourceval string_of_error : error -> string

Return a human-readable message from the given error.

Sourceval iri : Iri.t -> value -> value

iri base v returns a Iri value, ensure the given value is an IRI. If it is a literal string, convert it to an IRI, eventually appending to the base IRI if the string expresses a relative IRI.

Sourceval datatype : value -> value

datatype v returns the IRI of the datatype of the value. If v is Err, Blank or Iri, return Err.

Sourceval string_literal : value -> string * string option

string_literal v returns a pair (string, optional language tag) if v is String of Ltrl. Else return Err.

Sourceval string : value -> value

string v returns a String value, converting any value to a string, except Err and Blank for which Err is returned.

Sourceval int : value -> value

int v returns a Int value, trying to convert literal values to an integer. Return Err if v is Err, Blank or Iri, or if the literal value could not be converted to an integer. Floats are truncated.

Sourceval float : value -> value

Same as int but for floats.

Sourceval bool : value -> value

Same as int but for booleans. Bool true, String "true", String "1", Int n with n<>0 and Float f when f is not nan nor zero evaluate to Bool true. Bool false, String "false", String "0", Int 0 and Float f when f is nan or zero evaluate to Bool false. Any other value evaluates to Err.

Sourceval datetime : value -> value

datetime v returns a Datetime, if possible. String literals are converted if possible; else Err is returned.

Sourceval ltrl : value -> value

Same as string, but languge tag is kept is present (i.e. if the value is a Ltrl).

Sourceval numeric : value -> value

Try to convert the given value to an Int or else to a Float, if the value is not already Int or Float.

Sourceval of_literal : Term.literal -> value

of_literal lit returns a value from a literal term.

Sourceval of_term : Term.term -> value

of_term term returns a value from an RDF term.

Sourceval to_term : value -> Term.term

to_term v converts the given value to an RDF term. If v is Error e, then exception e is raised.