Portability | OverloadedStrings |
---|---|
Stability | experimental |
Maintainer | Douglas Burke |
Support for the RDF Parsing modules.
- type SpecialMap = LookupMap (String, ScopedName)
- prefixTable :: [Namespace]
- specialTable :: Maybe ScopedName -> [(String, ScopedName)]
- 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
- 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 :: ScopedName -> Text -> RDFLabel
- hex4 :: Parser a Char
- hex8 :: Parser a Char
- appendURIs :: URI -> URI -> Either String URI
Documentation
type SpecialMap = LookupMap (String, ScopedName)Source
Type for special name lookup table
prefixTable :: [Namespace]Source
Define default table of namespaces
specialTable :: Maybe ScopedName -> [(String, ScopedName)]Source
Define default special-URI table. The optional argument defines the initial base URI.
type ParseResult = Either String RDFGraphSource
ignore :: Applicative f => f a -> f ()Source
whiteSpace :: Parser s ()Source
Append the two URIs. Should probably be moved
out of RDFParser. It is also just a thin wrapper around
relativeTo
.