Copyright | (c) 2003, Graham Klyne, 2009 Vasili I Galchin, 2011 William Waites, 2011, 2012, 2014 Douglas Burke |
---|---|
License | GPL V2 |
Maintainer | Douglas Burke |
Stability | experimental |
Portability | CPP, OverloadedStrings |
Safe Haskell | None |
Language | Haskell98 |
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 :: RDFDatatype Source
The RDFDatatype value for xsd:decimal
.
rdfDatatypeValXsdDecimal :: RDFDatatypeVal Double Source
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 :: ScopedName Source
Type name for xsd:decimal
datatype.
namespaceXsdDecimal :: Namespace Source
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
.