swish-0.10.1.0: A semantic web toolkit.

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`.