swish-0.10.0.9: A semantic web toolkit.
Copyright(c) 2003 Graham Klyne 2009 Vasili I Galchin
2011 William Waites 2011 2012 2014 Douglas Burke
LicenseGPL V2
MaintainerDouglas Burke
Stabilityexperimental
PortabilityCPP, OverloadedStrings
Safe HaskellNone
LanguageHaskell2010

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

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.