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	Haskell2010

Swish.Namespace

Description

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.

Synopsis

data Namespace
makeNamespace :: Maybe Text -> URI -> Namespace
makeNamespaceQName :: Namespace -> LName -> QName
getNamespacePrefix :: Namespace -> Maybe Text
getNamespaceURI :: Namespace -> URI
getNamespaceTuple :: Namespace -> (Maybe Text, URI)
data ScopedName
getScopeNamespace :: ScopedName -> Namespace
getScopeLocal :: ScopedName -> LName
getScopePrefix :: ScopedName -> Maybe Text
getScopeURI :: ScopedName -> URI
getQName :: ScopedName -> QName
getScopedNameURI :: ScopedName -> URI
matchName :: String -> ScopedName -> Bool
makeScopedName :: Maybe Text -> URI -> LName -> ScopedName
makeQNameScopedName :: Maybe Text -> QName -> ScopedName
makeURIScopedName :: URI -> ScopedName
makeNSScopedName :: Namespace -> LName -> ScopedName
nullScopedName :: ScopedName
namespaceToBuilder :: Namespace -> Builder

Documentation

data Namespace Source #

A NameSpace value consists of an optional prefix and a corresponding URI.

Instances

Instances details

Eq Namespace Source #	Equality is defined by the URI, not by the prefix (so the same URI with different prefixes will be considered to be equal).
Instance details Defined in Swish.Namespace Methods (==) :: Namespace -> Namespace -> Bool # (/=) :: Namespace -> Namespace -> Bool #
Ord Namespace Source #
Instance details Defined in Swish.Namespace Methods compare :: Namespace -> Namespace -> Ordering # (<) :: Namespace -> Namespace -> Bool # (<=) :: Namespace -> Namespace -> Bool # (>) :: Namespace -> Namespace -> Bool # (>=) :: Namespace -> Namespace -> Bool # max :: Namespace -> Namespace -> Namespace # min :: Namespace -> Namespace -> Namespace #
Show Namespace Source #
Instance details Defined in Swish.Namespace Methods showsPrec :: Int -> Namespace -> ShowS # show :: Namespace -> String # showList :: [Namespace] -> ShowS #

makeNamespace Source #

Arguments

:: Maybe Text	optional prefix.
-> URI	URI.
-> Namespace

Create a name space from a URI and an optional prefix label.

makeNamespaceQName Source #

Arguments

:: Namespace	The name space URI is used in the qualified name
-> LName	local component of the qualified name (can be `emptyLName`)
-> QName

Create a qualified name by combining the URI from the name space with a local component.

getNamespacePrefix :: Namespace -> Maybe Text Source #

Returns the prefix stored in the name space.

getNamespaceURI :: Namespace -> URI Source #

Returns the URI stored in the name space.

getNamespaceTuple :: Namespace -> (Maybe Text, URI) Source #

Convert the name space to a (prefix, URI) tuple.

data ScopedName Source #

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.

Instances

Instances details

Eq ScopedName Source #	Scoped names are equal if their corresponding `QName` values are equal.
Instance details Defined in Swish.Namespace Methods (==) :: ScopedName -> ScopedName -> Bool # (/=) :: ScopedName -> ScopedName -> Bool #
Ord ScopedName Source #	Scoped names are ordered by their `QName` components.
Instance details Defined in Swish.Namespace Methods compare :: ScopedName -> ScopedName -> Ordering # (<) :: ScopedName -> ScopedName -> Bool # (<=) :: ScopedName -> ScopedName -> Bool # (>) :: ScopedName -> ScopedName -> Bool # (>=) :: ScopedName -> ScopedName -> Bool # max :: ScopedName -> ScopedName -> ScopedName # min :: ScopedName -> ScopedName -> ScopedName #
Show ScopedName Source #	If there is a namespace associated then the Show instance uses `prefix:local`, otherwise `url`.
Instance details Defined in Swish.Namespace Methods showsPrec :: Int -> ScopedName -> ShowS # show :: ScopedName -> String # showList :: [ScopedName] -> ShowS #
IsString ScopedName Source #	This is not total since it will fail if the input string is not a valid `URI`.
Instance details Defined in Swish.Namespace Methods fromString :: String -> ScopedName #
FromRDFLabel ScopedName Source #	Converts from a Resource.
Instance details Defined in Swish.RDF.Graph Methods fromRDFLabel :: RDFLabel -> Maybe ScopedName Source #
ToRDFLabel ScopedName Source #	Converts to a Resource.
Instance details Defined in Swish.RDF.Graph Methods toRDFLabel :: ScopedName -> RDFLabel Source #