Data.RDF.Namespace

Defines types and utility functions related to namespaces, and some predefined values for commonly used namespaces, such as rdf, xsd, dublin core, etc.

Namespace types and functions

data Namespace

Represents a namespace as either a prefix and uri, respectively, or just a uri.

Constructors

PrefixedNS Text Text

PlainNS Text

Instances

Eq Namespace

Defined in Data.RDF.Types

Methods

(==) :: Namespace -> Namespace -> Bool

(/=) :: Namespace -> Namespace -> Bool

Show Namespace

Defined in Data.RDF.Types

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

mkPlainNS :: Text -> Namespace

Make a namespace for the given URI reference.

mkPrefixedNS :: Text -> Text -> Namespace

Make a namespace having the given prefix for the given URI reference, respectively.

mkPrefixedNS' :: String -> String -> Namespace

Make a namespace having the given prefix for the given URI reference, respectively, using strings which will be converted to bytestrings automatically.

newtype PrefixMapping

A mapping of a prefix to the URI for that prefix.

Constructors

PrefixMapping (Text, Text)

Instances

Eq PrefixMapping

Defined in Data.RDF.Types

Methods

(==) :: PrefixMapping -> PrefixMapping -> Bool

(/=) :: PrefixMapping -> PrefixMapping -> Bool

Ord PrefixMapping

Defined in Data.RDF.Types

Methods

compare :: PrefixMapping -> PrefixMapping -> Ordering

(<) :: PrefixMapping -> PrefixMapping -> Bool

(<=) :: PrefixMapping -> PrefixMapping -> Bool

(>) :: PrefixMapping -> PrefixMapping -> Bool

(>=) :: PrefixMapping -> PrefixMapping -> Bool

max :: PrefixMapping -> PrefixMapping -> PrefixMapping

min :: PrefixMapping -> PrefixMapping -> PrefixMapping

Show PrefixMapping

Defined in Data.RDF.Types

Methods

showsPrec :: Int -> PrefixMapping -> ShowS

show :: PrefixMapping -> String

showList :: [PrefixMapping] -> ShowS

newtype PrefixMappings

An alias for a map from prefix to namespace URI.

Constructors

PrefixMappings (Map Text Text)

Instances

Eq PrefixMappings

Defined in Data.RDF.Types

Methods

(==) :: PrefixMappings -> PrefixMappings -> Bool

(/=) :: PrefixMappings -> PrefixMappings -> Bool

Ord PrefixMappings

Defined in Data.RDF.Types

Methods

compare :: PrefixMappings -> PrefixMappings -> Ordering

(<) :: PrefixMappings -> PrefixMappings -> Bool

(<=) :: PrefixMappings -> PrefixMappings -> Bool

(>) :: PrefixMappings -> PrefixMappings -> Bool

(>=) :: PrefixMappings -> PrefixMappings -> Bool

max :: PrefixMappings -> PrefixMappings -> PrefixMappings

min :: PrefixMappings -> PrefixMappings -> PrefixMappings

Show PrefixMappings

Defined in Data.RDF.Types

Methods

showsPrec :: Int -> PrefixMappings -> ShowS

show :: PrefixMappings -> String

showList :: [PrefixMappings] -> ShowS

Generic PrefixMappings

Defined in Data.RDF.Types

Associated Types

type Rep PrefixMappings :: * -> *

Methods

from :: PrefixMappings -> Rep PrefixMappings x

to :: Rep PrefixMappings x -> PrefixMappings

Binary PrefixMappings

Defined in Data.RDF.Types

Methods

put :: PrefixMappings -> Put

get :: Get PrefixMappings

putList :: [PrefixMappings] -> Put

NFData PrefixMappings

Defined in Data.RDF.Types

Methods

rnf :: PrefixMappings -> ()

type Rep PrefixMappings

Defined in Data.RDF.Types

type Rep PrefixMappings = D1 (MetaData "PrefixMappings" "Data.RDF.Types" "rdf4h-3.1.0-595ICCEmMGNEkovJvesGxY" True) (C1 (MetaCons "PrefixMappings" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Text Text))))

toPMList :: PrefixMappings -> [(Text, Text)]

View the prefix mappings as a list of key-value pairs. The PM in in the name is to reduce name clashes if used without qualifying.

mergePrefixMappings :: PrefixMappings -> PrefixMappings -> PrefixMappings

Perform a left-biased merge of the two sets of prefix mappings.

mkUri :: Namespace -> Text -> Text

Make a URI consisting of the given namespace and the given localname.

prefixOf :: Namespace -> Maybe Text

Determine the prefix of the given namespace, if it has one.

uriOf :: Namespace -> Text

Determine the URI of the given namespace.

Predefined namespace values

rdf :: Namespace

The RDF namespace.

rdfs :: Namespace

The RDF Schema namespace.

dc :: Namespace

The Dublin Core namespace.

dct :: Namespace

The Dublin Core terms namespace.

owl :: Namespace

The OWL namespace.

xsd :: Namespace

The XML Schema namespace.

skos :: Namespace

The SKOS namespace.

foaf :: Namespace

The friend of a friend namespace.

ex :: Namespace

Example namespace #1.

ex2 :: Namespace

Example namespace #2.

standard_ns_mappings :: PrefixMappings

The set of common predefined namespaces as a PrefixMappings value.

ns_mappings :: [Namespace] -> PrefixMappings

Takes a list of Namespaces and returns PrefixMappings.