Portability | OverloadedStrings |
---|---|
Stability | experimental |
Maintainer | Douglas Burke |
Safe Haskell | Safe-Infered |
This module defines the structures used to represent and
manipulate RDF xsd:integer
datatyped literals.
Documentation
rdfDatatypeXsdInteger :: RDFDatatypeSource
The RDFDatatype value for xsd:integer
.
rdfDatatypeValXsdInteger :: RDFDatatypeVal IntegerSource
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 :: ScopedNameSource
Type name for xsd:integer
datatype.
namespaceXsdInteger :: NamespaceSource
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
.