Swish.RDF.RDFParser

Support for the RDF Parsing modules.

Documentation

type SpecialMap = LookupMap (String, ScopedName)

Type for special name lookup table

prefixTable :: [Namespace]

Define default table of namespaces

specialTable :: Maybe ScopedName -> [(String, ScopedName)]

Define default special-URI table. The optional argument defines the initial base URI.

runParserWithError

Arguments

:: Parser a b

parser (carrying state) to apply

-> a

starting state for the parser

-> Text

input to be parsed

-> Either String b

Run the parser and return the successful parse or an error message which consists of the standard Polyparse error plus a fragment of the unparsed input to provide context.

type ParseResult = Either String RDFGraph

ignore :: Applicative f => f a -> f ()

char :: Char -> Parser s Char

ichar :: Char -> Parser s ()

string :: String -> Parser s String

stringT :: Text -> Parser s Text

symbol :: String -> Parser s String

isymbol :: String -> Parser s ()

lexeme :: Parser s a -> Parser s a

notFollowedBy :: (Char -> Bool) -> Parser s ()

whiteSpace :: Parser s ()

skipMany :: Parser s a -> Parser s ()

skipMany1 :: Parser s a -> Parser s ()

endBy :: Parser s a -> Parser s b -> Parser s [a]

sepEndBy :: Parser s a -> Parser s b -> Parser s [a]

sepEndBy1 :: Parser s a -> Parser s b -> Parser s [a]

manyTill :: Parser s a -> Parser s b -> Parser s [a]

noneOf :: String -> Parser s Char

eoln :: Parser s ()

fullStop :: Parser s ()

mkTypedLit

Arguments

:: ScopedName

the type

-> Text

the value

-> RDFLabel

Create a typed literal.

hex4 :: Parser a Char

hex8 :: Parser a Char

appendURIs

Arguments

:: URI

The base URI

-> URI

The URI to append (it can be an absolute URI).

-> Either String URI

Append the two URIs. Should probably be moved out of RDFParser. It is also just a thin wrapper around relativeTo.