type URI = String |
|
toURI :: XMLName -> URI |
|
|
|
toRDFResource :: XMLName -> RDFResource |
|
class Show ex => RDFLiteral ex a | a -> ex where |
|
|
mimeTypeXMLName :: XMLName |
|
mimeEncodingXMLName :: XMLName |
|
|
|
textPlainUTF8MIMEType :: MIMEType |
|
|
|
data RDFAssertion a = MkRDFAssertion {} |
|
|
|
getRDFAssertionsFromElement :: (Monad m, RDFLiteral ex a) => XMLElement -> ExceptionMonad m (RDFParseError ex) [RDFAssertion a] |
|
rdfInterpretEvents :: (Monad m, RDFLiteral ex a) => [XMLEvent] -> ExceptionMonad m (Either XMLEventsError (RDFParseError ex)) [RDFAssertion a] |
|
rdfInterpretDocument :: (Monad m, RDFLiteral ex a) => m (Maybe Char) -> ExceptionMonad m (Either XMLParserError (Either XMLEventsError (RDFParseError ex))) [RDFAssertion a] |