{-# Language OverloadedStrings #-}
module Swish.RDF.Vocabulary.RDF
(
namespaceRDF
, namespaceRDFS
, rdfRDF
, rdfDescription
, rdfID
, rdfAbout
, rdfParseType
, rdfResource
, rdfLi
, rdfNodeID
, rdfDatatype
, rdf1, rdf2, rdfn
, rdfsResource
, rdfsClass
, rdfsLiteral
, rdfsDatatype
, rdfXMLLiteral
, rdfProperty
, rdfsRange
, rdfsDomain
, rdfType
, rdfsSubClassOf
, rdfsSubPropertyOf
, rdfsLabel
, rdfsComment
, rdfsContainer
, rdfBag
, rdfSeq
, rdfAlt
, rdfsContainerMembershipProperty
, rdfsMember
, rdfList
, rdfFirst
, rdfRest
, rdfNil
, rdfStatement
, rdfSubject
, rdfPredicate
, rdfObject
, rdfsSeeAlso
, rdfsIsDefinedBy
, rdfValue
)
where
import Swish.Namespace (Namespace, makeNamespace, ScopedName, makeNSScopedName)
import Swish.QName (LName, newLName)
import Data.Maybe (fromMaybe, fromJust)
import Data.Word (Word32)
import Network.URI (URI, parseURI)
import qualified Data.Text as T
rdfURI, rdfsURI :: URI
rdfURI :: URI
rdfURI = URI -> Maybe URI -> URI
forall a. a -> Maybe a -> a
fromMaybe ([Char] -> URI
forall a. HasCallStack => [Char] -> a
error "Internal error processing RDF URI") (Maybe URI -> URI) -> Maybe URI -> URI
forall a b. (a -> b) -> a -> b
$ [Char] -> Maybe URI
parseURI "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
rdfsURI :: URI
rdfsURI = URI -> Maybe URI -> URI
forall a. a -> Maybe a -> a
fromMaybe ([Char] -> URI
forall a. HasCallStack => [Char] -> a
error "Internal error processing RDFS URI") (Maybe URI -> URI) -> Maybe URI -> URI
forall a b. (a -> b) -> a -> b
$ [Char] -> Maybe URI
parseURI "http://www.w3.org/2000/01/rdf-schema#"
namespaceRDF :: Namespace
namespaceRDF :: Namespace
namespaceRDF = Maybe Text -> URI -> Namespace
makeNamespace (Text -> Maybe Text
forall a. a -> Maybe a
Just "rdf") URI
rdfURI
namespaceRDFS :: Namespace
namespaceRDFS :: Namespace
namespaceRDFS = Maybe Text -> URI -> Namespace
makeNamespace (Text -> Maybe Text
forall a. a -> Maybe a
Just "rdfs") URI
rdfsURI
toRDF, toRDFS :: LName -> ScopedName
toRDF :: LName -> ScopedName
toRDF = Namespace -> LName -> ScopedName
makeNSScopedName Namespace
namespaceRDF
toRDFS :: LName -> ScopedName
toRDFS = Namespace -> LName -> ScopedName
makeNSScopedName Namespace
namespaceRDFS
rdfRDF :: ScopedName
rdfRDF :: ScopedName
rdfRDF = LName -> ScopedName
toRDF "RDF"
rdfDescription :: ScopedName
rdfDescription :: ScopedName
rdfDescription = LName -> ScopedName
toRDF "Description"
rdfDatatype :: ScopedName
rdfDatatype :: ScopedName
rdfDatatype = LName -> ScopedName
toRDF "datatype"
rdfResource :: ScopedName
rdfResource :: ScopedName
rdfResource = LName -> ScopedName
toRDF "resource"
rdfAbout :: ScopedName
rdfAbout :: ScopedName
rdfAbout = LName -> ScopedName
toRDF "about"
rdfID :: ScopedName
rdfID :: ScopedName
rdfID = LName -> ScopedName
toRDF "ID"
rdfParseType :: ScopedName
rdfParseType :: ScopedName
rdfParseType = LName -> ScopedName
toRDF "parseType"
rdfLi :: ScopedName
rdfLi :: ScopedName
rdfLi = LName -> ScopedName
toRDF "li"
rdfNodeID :: ScopedName
rdfNodeID :: ScopedName
rdfNodeID = LName -> ScopedName
toRDF "nodeID"
rdfn ::
Word32
-> ScopedName
rdfn :: Word32 -> ScopedName
rdfn = LName -> ScopedName
toRDF (LName -> ScopedName) -> (Word32 -> LName) -> Word32 -> ScopedName
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe LName -> LName
forall a. HasCallStack => Maybe a -> a
fromJust (Maybe LName -> LName)
-> (Word32 -> Maybe LName) -> Word32 -> LName
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> Maybe LName
newLName (Text -> Maybe LName) -> (Word32 -> Text) -> Word32 -> Maybe LName
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Char] -> Text
T.pack ([Char] -> Text) -> (Word32 -> [Char]) -> Word32 -> Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ("_" [Char] -> [Char] -> [Char]
forall a. [a] -> [a] -> [a]
++) ([Char] -> [Char]) -> (Word32 -> [Char]) -> Word32 -> [Char]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Word32 -> [Char]
forall a. Show a => a -> [Char]
show
rdf1 :: ScopedName
rdf1 :: ScopedName
rdf1 = LName -> ScopedName
toRDF "_1"
rdf2 :: ScopedName
rdf2 :: ScopedName
rdf2 = LName -> ScopedName
toRDF "_2"
rdfFirst :: ScopedName
rdfFirst :: ScopedName
rdfFirst = LName -> ScopedName
toRDF "first"
rdfRest :: ScopedName
rdfRest :: ScopedName
rdfRest = LName -> ScopedName
toRDF "rest"
rdfNil :: ScopedName
rdfNil :: ScopedName
rdfNil = LName -> ScopedName
toRDF "nil"
rdfType :: ScopedName
rdfType :: ScopedName
rdfType = LName -> ScopedName
toRDF "type"
rdfProperty :: ScopedName
rdfProperty :: ScopedName
rdfProperty = LName -> ScopedName
toRDF "Property"
rdfXMLLiteral :: ScopedName
rdfXMLLiteral :: ScopedName
rdfXMLLiteral = LName -> ScopedName
toRDF "XMLLiteral"
rdfsResource :: ScopedName
rdfsResource :: ScopedName
rdfsResource = LName -> ScopedName
toRDFS "Resource"
rdfsClass :: ScopedName
rdfsClass :: ScopedName
rdfsClass = LName -> ScopedName
toRDFS "Class"
rdfsLiteral :: ScopedName
rdfsLiteral :: ScopedName
rdfsLiteral = LName -> ScopedName
toRDFS "Literal"
rdfsDatatype :: ScopedName
rdfsDatatype :: ScopedName
rdfsDatatype = LName -> ScopedName
toRDFS "Datatype"
rdfsLabel :: ScopedName
rdfsLabel :: ScopedName
rdfsLabel = LName -> ScopedName
toRDFS "label"
rdfsComment :: ScopedName
= LName -> ScopedName
toRDFS "comment"
rdfsRange :: ScopedName
rdfsRange :: ScopedName
rdfsRange = LName -> ScopedName
toRDFS "range"
rdfsDomain :: ScopedName
rdfsDomain :: ScopedName
rdfsDomain = LName -> ScopedName
toRDFS "domain"
rdfsSubClassOf :: ScopedName
rdfsSubClassOf :: ScopedName
rdfsSubClassOf = LName -> ScopedName
toRDFS "subClassOf"
rdfsSubPropertyOf :: ScopedName
rdfsSubPropertyOf :: ScopedName
rdfsSubPropertyOf = LName -> ScopedName
toRDFS "subPropertyOf"
rdfsContainer :: ScopedName
rdfsContainer :: ScopedName
rdfsContainer = LName -> ScopedName
toRDFS "Container"
rdfBag :: ScopedName
rdfBag :: ScopedName
rdfBag = LName -> ScopedName
toRDF "Bag"
rdfSeq :: ScopedName
rdfSeq :: ScopedName
rdfSeq = LName -> ScopedName
toRDF "Seq"
rdfAlt :: ScopedName
rdfAlt :: ScopedName
rdfAlt = LName -> ScopedName
toRDF "Alt"
rdfsContainerMembershipProperty :: ScopedName
rdfsContainerMembershipProperty :: ScopedName
rdfsContainerMembershipProperty = LName -> ScopedName
toRDFS "ContainerMembershipProperty"
rdfsMember :: ScopedName
rdfsMember :: ScopedName
rdfsMember = LName -> ScopedName
toRDFS "member"
rdfList :: ScopedName
rdfList :: ScopedName
rdfList = LName -> ScopedName
toRDF "List"
rdfStatement :: ScopedName
rdfStatement :: ScopedName
rdfStatement = LName -> ScopedName
toRDF "Statement"
rdfSubject :: ScopedName
rdfSubject :: ScopedName
rdfSubject = LName -> ScopedName
toRDF "subject"
rdfPredicate :: ScopedName
rdfPredicate :: ScopedName
rdfPredicate = LName -> ScopedName
toRDF "subject"
rdfObject :: ScopedName
rdfObject :: ScopedName
rdfObject = LName -> ScopedName
toRDF "object"
rdfsSeeAlso :: ScopedName
rdfsSeeAlso :: ScopedName
rdfsSeeAlso = LName -> ScopedName
toRDFS "seeAlso"
rdfsIsDefinedBy :: ScopedName
rdfsIsDefinedBy :: ScopedName
rdfsIsDefinedBy = LName -> ScopedName
toRDFS "isDefinedBy"
rdfValue :: ScopedName
rdfValue :: ScopedName
rdfValue = LName -> ScopedName
toRDF "value"