module Data.RDF.Namespace(
Namespace(..), mkPlainNS, mkPrefixedNS, mkPrefixedNS',
PrefixMapping(PrefixMapping), PrefixMappings(PrefixMappings), toPMList,
mergePrefixMappings,
mkUri,
prefixOf, uriOf,
rdf, rdfs, dc, dct, owl, xsd, skos, foaf, ex, ex2,
standard_ns_mappings, ns_mappings
)
where
import Text.Printf
import Data.Map(Map)
import qualified Data.Map as Map
import qualified Data.List as List
import qualified Data.Text as T
standard_namespaces :: [Namespace]
standard_namespaces = [rdf, rdfs, dc, dct, owl, xsd, skos, foaf, ex, ex2]
standard_ns_mappings :: PrefixMappings
standard_ns_mappings = ns_mappings standard_namespaces
ns_mappings :: [Namespace] -> PrefixMappings
ns_mappings ns = PrefixMappings $ Map.fromList $
map (\(PrefixedNS pre uri) -> (pre, uri)) ns
rdf :: Namespace
rdf = mkPrefixedNS' "rdf" "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
rdfs :: Namespace
rdfs = mkPrefixedNS' "rdfs" "http://www.w3.org/2000/01/rdf-schema#"
dc :: Namespace
dc = mkPrefixedNS' "dc" "http://purl.org/dc/elements/1.1/"
dct :: Namespace
dct = mkPrefixedNS' "dct" "http://purl.org/dc/terms/"
owl :: Namespace
owl = mkPrefixedNS' "owl" "http://www.w3.org/2002/07/owl#"
xsd :: Namespace
xsd = mkPrefixedNS' "xsd" "http://www.w3.org/2001/XMLSchema#"
skos :: Namespace
skos = mkPrefixedNS' "skos" "http://www.w3.org/2004/02/skos/core#"
foaf :: Namespace
foaf = mkPrefixedNS' "foaf" "http://xmlns.com/foaf/0.1/"
ex :: Namespace
ex = mkPrefixedNS' "ex" "http://www.example.org/"
ex2 :: Namespace
ex2 = mkPrefixedNS' "ex2" "http://www2.example.org/"
newtype PrefixMappings = PrefixMappings (Map T.Text T.Text)
deriving (Eq, Ord)
instance Show PrefixMappings where
show (PrefixMappings pmap) = printf "PrefixMappings [%s]" mappingsStr
where showPM = show . PrefixMapping
mappingsStr = List.intercalate ", " (map showPM (Map.toList pmap))
mergePrefixMappings :: PrefixMappings -> PrefixMappings -> PrefixMappings
mergePrefixMappings (PrefixMappings p1s) (PrefixMappings p2s) =
PrefixMappings $ Map.union p1s p2s
toPMList :: PrefixMappings -> [(T.Text, T.Text)]
toPMList (PrefixMappings m) = Map.toList m
newtype PrefixMapping = PrefixMapping (T.Text, T.Text)
deriving (Eq, Ord)
instance Show PrefixMapping where
show (PrefixMapping (prefix, uri)) = printf "PrefixMapping (%s, %s)" (show prefix) (show uri)
mkUri :: Namespace -> T.Text -> T.Text
mkUri ns local = uriOf ns `T.append` local
data Namespace = PrefixedNS T.Text T.Text
| PlainNS T.Text
mkPlainNS :: T.Text -> Namespace
mkPlainNS = PlainNS
mkPrefixedNS :: T.Text -> T.Text -> Namespace
mkPrefixedNS = PrefixedNS
mkPrefixedNS' :: String -> String -> Namespace
mkPrefixedNS' s1 s2 = mkPrefixedNS (T.pack s1) (T.pack s2)
instance Eq Namespace where
(PrefixedNS _ u1) == (PrefixedNS _ u2) = u1 == u2
(PlainNS u1) == (PlainNS u2) = u1 == u2
(PrefixedNS _ u1) == (PlainNS u2) = u1 == u2
(PlainNS u1) == (PrefixedNS _ u2) = u1 == u2
instance Show Namespace where
show (PlainNS uri) = T.unpack uri
show (PrefixedNS prefix uri) = printf "(PrefixNS %s %s)" (T.unpack prefix) (T.unpack uri)
uriOf :: Namespace -> T.Text
uriOf (PlainNS uri) = uri
uriOf (PrefixedNS _ uri) = uri
prefixOf :: Namespace -> Maybe T.Text
prefixOf (PlainNS _) = Nothing
prefixOf (PrefixedNS p _) = Just p