Portability | OverloadedStrings |
---|---|
Stability | experimental |
Maintainer | Douglas Burke |
Safe Haskell | None |
This module defines the structures used to represent and
manipulate RDF xsd:decimal
datatyped literals.
Note that in versions 0.6.4
and 0.6.5
, this module was a mixture
of support for xsd:decimal
and xsd:double
. In 0.7.0
the module
has been changed to xsd:decimal
, but this may change.
Documentation
rdfDatatypeXsdDecimal :: RDFDatatypeSource
The RDFDatatype value for xsd:decimal
.
rdfDatatypeValXsdDecimal :: RDFDatatypeVal DoubleSource
Define Datatype value for xsd:decimal
.
Members of this datatype decimal values.
The lexical form consists of an optional +
or -
followed by a sequence of decimal digits, an optional
decimal point and a sequence of decimal digits.
The canonical lexical form has leading zeros and +
sign removed.
typeNameXsdDecimal :: ScopedNameSource
Type name for xsd:decimal
datatype.
namespaceXsdDecimal :: NamespaceSource
Namespace for xsd:decimal
datatype functions.
axiomsXsdDecimal :: [RDFFormula]Source
The axioms for xsd:decimal
, which are
xsd:decimal a rdfs:Datatype .
rulesXsdDecimal :: [RDFRule]Source
The rules for xsd:decimal
.