| Copyright | (c) 2003 Graham Klyne 2009 Vasili I Galchin 2011 2012 2014 2024 Douglas Burke |
|---|---|
| License | GPL V2 |
| Maintainer | Douglas Burke |
| Stability | experimental |
| Portability | CPP, OverloadedStrings |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Swish.RDF.Datatype.XSD.String
Description
This module defines the structures used to represent and
manipulate RDF xsd:string datatyped literals.
Documentation
rdfDatatypeXsdString :: RDFDatatype Source #
The RDFDatatype value for xsd:string.
rdfDatatypeValXsdString :: RDFDatatypeVal Text Source #
Define Datatype value for xsd:string.
typeNameXsdString :: ScopedName Source #
Type name for xsd:string datatype
namespaceXsdString :: Namespace Source #
Namespace for xsd:string datatype functions
axiomsXsdString :: [RDFFormula] Source #
The axioms for xsd:string, which are
xsd:string a rdfs:Datatype .
rulesXsdString :: [RDFRule] Source #
The rules for xsd:string.