Copyright	(c) 2003 Graham Klyne 2009 Vasili I Galchin 2011 William Waites 2011 2012 2014 2022 Douglas Burke
License	GPL V2
Maintainer	Douglas Burke
Stability	experimental
Portability	CPP, OverloadedStrings
Safe Haskell	Safe-Inferred
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.