Swish.RDF.RDFDatatypeXsdDecimal

This module defines the structures used by Swish to represent and manipulate RDF xsd:double datatyped literals.

Documentation

rdfDatatypeXsdDecimal :: RDFDatatype

rdfDatatypeValXsdDecimal :: RDFDatatypeVal Double

Define Datatype value for xsd:double.

Members of this datatype decimal values.

The lexical form consists of an optional + or - followed by a sequence of decimal digits.

The canonical lexical form has leading zeros and + sign removed.

typeNameXsdDecimal :: ScopedName

Type name for xsd:double datatype

namespaceXsdDecimal :: Namespace

Namespace for xsd:double datatype functions

axiomsXsdDecimal :: [RDFFormula]

rulesXsdDecimal :: [RDFRule]

prefixXsdDecimal :: Builder