Swish.Utils.Namespace

This module defines algebraic datatypes for namespaces and scoped names.

For these purposes, a namespace is a prefix and URI used to identify a namespace (cf. XML namespaces), and a scoped name is a name that is scoped by a specified namespace.

Documentation

data Namespace

A NameSpace value consists of a prefix and a corresponding URI. The prefix may be empty (""), in which case it is assumed to be unknown.

NOTE: not clear whether nsPrefix should be empty or set to "?".

Constructors

Namespace

Fields

nsPrefix :: String

nsURI :: String

Instances

Eq Namespace

Show Namespace

LookupEntryClass Namespace String String

LookupEntryClass (Ruleset ex) Namespace (Ruleset ex)

makeNamespaceQName :: Namespace -> String -> QName

nullNamespace :: Namespace

data ScopedName

A full ScopedName value has a QName prefix, namespace URI and a local part. ScopedName values may omit the prefix (see Namespace) or the local part.

Some applications may handle null namespace URIs as meaning the local part is relative to some base URI.

Constructors

ScopedName

Fields

snScope :: Namespace

snLocal :: String

Instances

Eq ScopedName

Ord ScopedName

Show ScopedName

IsString ScopedName

FromRDFLabel ScopedName

ToRDFLabel ScopedName

LookupEntryClass ClassRestriction ScopedName ClassRestriction

LookupEntryClass NamedGraph ScopedName [RDFGraph]

LookupEntryClass (Rule ex) ScopedName (Rule ex)

LookupEntryClass (Formula ex) ScopedName (Formula ex)

LookupEntryClass (DatatypeRel vt) ScopedName (DatatypeRel vt)

LookupEntryClass (OpenVarBindingModify a b) ScopedName (OpenVarBindingModify a b)

Allow an OpenVarBindingModify value to be accessed using a LookupMap.

LookupEntryClass (VarBindingModify a b) ScopedName (VarBindingModify a b)

Allow a VarBindingModify value to be accessed using a LookupMap.

LookupEntryClass (DatatypeMod vt lb vn) ScopedName (DatatypeMod vt lb vn)

LookupEntryClass (Datatype ex lb vn) ScopedName (Datatype ex lb vn)

getScopePrefix :: ScopedName -> String

getScopeURI :: ScopedName -> String

getQName :: ScopedName -> QName

Get QName corresponding to a scoped name

getScopedNameURI :: ScopedName -> String

Get URI corresponding to a scoped name (using RDF conventions)

matchName :: String -> ScopedName -> Bool

Test if supplied string matches the display form of a scoped name.

makeScopedName :: String -> String -> String -> ScopedName

Construct a ScopedName from prefix, URI and local name

makeQNameScopedName :: QName -> ScopedName

Construct a ScopedName from a QName

makeUriScopedName :: String -> ScopedName

Construct a ScopedName for a bare URI

nullScopedName :: ScopedName

This should never appear as a valid name