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	Haskell2010

Swish.RDF.Datatype.XSD.Decimal

Description

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.

Synopsis

rdfDatatypeXsdDecimal :: RDFDatatype
rdfDatatypeValXsdDecimal :: RDFDatatypeVal Double
typeNameXsdDecimal :: ScopedName
namespaceXsdDecimal :: Namespace
axiomsXsdDecimal :: [RDFFormula]
rulesXsdDecimal :: [RDFRule]

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.