swish-0.9.1.5: 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
LanguageHaskell98

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.