Swish.RDF.Parser.Utils

Support for the RDF Parsing modules.

Documentation

type SpecialMap = Map String ScopedName

Type for special name lookup table

prefixTable :: [Namespace]

Define default table of namespaces

specialTable

Arguments

:: Maybe ScopedName

initial base URI, otherwise uses defaultBase

-> [(String, ScopedName)]

Define default special-URI table.

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

The result of a parse, which is either an error message or a graph.

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

Run the parser and ignore the result.

char :: Char -> Parser s Char

Match the character.

ichar :: Char -> Parser s ()

Match the character, ignoring the result.

string :: String -> Parser s String

Match the text.

stringT :: Text -> Parser s Text

Match the text.

symbol :: String -> Parser s String

Match the given string and any trailing whiteSpace.

isymbol :: String -> Parser s ()

As symbol but ignoring the result.

lexeme :: Parser s a -> Parser s a

Convert a parser into one that also matches, and ignores, trailing whiteSpace.

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

Succeed if the next character does not match the given function.

whiteSpace :: Parser s ()

Match white space: a space or a comment (# character and anything following it up to to a new line).

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

Run the parser many times and ignore the result.

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

Run the parser many1 times and ignore the result.

endBy

Arguments

:: Parser s a

parser

-> Parser s b

separator

-> Parser s [a]

Match zero or more occurences of parser followed by separator.

sepEndBy

Arguments

:: Parser s a

parser

-> Parser s b

separator

-> Parser s [a]

Match zero or more occurences of the parser followed by the separator.

sepEndBy1

Arguments

:: Parser s a

parser

-> Parser s b

separator

-> Parser s [a]

Accept one or more occurences of the parser separated by the separator. Unlike endBy the last separator is optional.

manyTill

Arguments

:: Parser s a

parser

-> Parser s b

delimiter

-> Parser s [a]

Accept zero or more runs of the parser ending with the delimiter.

noneOf :: String -> Parser s Char

Accept any character that is not a member of the given string.

eoln :: Parser s ()

Match the end-of-line sequence (\n, \r, or \r\n).

fullStop :: Parser s ()

Matches ..

hex4 :: Parser a Char

A four-digit hex value (e.g. 1a34 or 03F1).

hex8 :: Parser a Char

An eight-digit hex value that has a maximum of 0010FFFF.

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.