| Copyright | (c) 2003, Graham Klyne, 2009 Vasili I Galchin, 2011, 2012, 2014 Douglas Burke |
|---|---|
| License | GPL V2 |
| Maintainer | Douglas Burke |
| Stability | experimental |
| Portability | CPP, OverloadedStrings |
| Safe Haskell | None |
| Language | Haskell98 |
Swish.RDF.Datatype.XSD.Integer
Description
This module defines the structures used to represent and
manipulate RDF xsd:integer datatyped literals.
Documentation
rdfDatatypeXsdInteger :: RDFDatatype Source
The RDFDatatype value for xsd:integer.
rdfDatatypeValXsdInteger :: RDFDatatypeVal Integer Source
Define Datatype value for xsd:integer.
Members of this datatype are positive or negative integer values.
The lexical form consists of an optional + or -
followed by a sequence of decimal digits.
The canonical lexical form has leading zeros and + sign removed.
typeNameXsdInteger :: ScopedName Source
Type name for xsd:integer datatype.
namespaceXsdInteger :: Namespace Source
Namespace for xsd:integer datatype functions.
axiomsXsdInteger :: [RDFFormula] Source
The axioms for xsd:integer, which are
xsd:integer a rdfs:Datatype .
rulesXsdInteger :: [RDFRule] Source
The rules for xsd:integer.