Safe Haskell	None
Language	Haskell2010

Database.SPARQL.Protocol.Client

Description

SPARQL 1.1 Protocol client.

All queries are sent using direct POSTs as described in sections 2.1.3 and 2.2.2 of the specification. The results are retrieved in JSON format, as described in the SPARQL 1.1 Query Results JSON Format.

Known limitations and caveats:

default-graph-uri and named-graph-uri parameters are not supported.
Queries are not validated for correctness.

Synopsis

Documentation

select Source #

Arguments

:: String	The URL of the server to run the query against.
-> ByteString	An SPARQL SELECT query. It's sent as-is to the server.
-> IO (Response SelectResult)	The result of the query.

Runs an SPARQL SELECT query.

ask Source #

Arguments

:: String	The URL of the server to run the query against.
-> ByteString	An SPARQL ASK query. It's sent as-is to the server.
-> IO (Response AskResult)	The result of the query.

Runs an SPARQL ASK query.

construct Source #

Arguments

:: String	The URL of the server to run the query against.
-> ByteString	An SPARQL CONSTRUCT query. It's sent as-is to the server.
-> IO (Response RDFGraph)	The result of the query.

Runs an SPARQL CONSTRUCT query.

describe Source #

Arguments

:: String	The URL of the server to run the query against.
-> ByteString	The URI of the resource to describe.
-> IO (Response RDFGraph)	The result of the query.

Runs an SPARQL DESCRIBE query.

update Source #

Arguments

:: String	The URL of the server to run the query against.
-> ByteString	An SPARQL update query. It's sent as-is to the server.
-> IO (Response ())	The result of the query.

Runs an SPARQL update (INSERT/DELETE) query.

data RDFTerm Source #

Structure of an RDF term, according to section 3.2.2 of the SPARQL 1.1 Query Results JSON Format specification.

Constructors

IRI Text	A resource identifier.
Literal Text	A string literal without language or type.
LiteralLang Text Text	A string literal with an associated language.
LiteralType Text Text	A literal with an associated RDF-compatible type URI.
Blank Text	A blank node.

Instances

Eq RDFTerm Source #
Methods (==) :: RDFTerm -> RDFTerm -> Bool # (/=) :: RDFTerm -> RDFTerm -> Bool #
Show RDFTerm Source #
Methods showsPrec :: Int -> RDFTerm -> ShowS # show :: RDFTerm -> String # showList :: [RDFTerm] -> ShowS #
FromJSON RDFTerm Source #	Implements the SPARQL 1.1 Query Results JSON Format specification. Literals with associated language may be of type `xml:lang` or just `lang`.
Methods parseJSON :: Value -> Parser RDFTerm # parseJSONList :: Value -> Parser [RDFTerm] #

newtype AskResult Source #

The boolean result of an ASK query.

Constructors

AskResult Bool

Instances

Eq AskResult Source #
Methods (==) :: AskResult -> AskResult -> Bool # (/=) :: AskResult -> AskResult -> Bool #
Show AskResult Source #
Methods showsPrec :: Int -> AskResult -> ShowS # show :: AskResult -> String # showList :: [AskResult] -> ShowS #
FromJSON AskResult Source #
Methods parseJSON :: Value -> Parser AskResult # parseJSONList :: Value -> Parser [AskResult] #

newtype SelectResult Source #

The bindings of SELECT queries.

Constructors

SelectResult [Map Text RDFTerm]

Instances

Eq SelectResult Source #
Methods (==) :: SelectResult -> SelectResult -> Bool # (/=) :: SelectResult -> SelectResult -> Bool #
Show SelectResult Source #
Methods showsPrec :: Int -> SelectResult -> ShowS # show :: SelectResult -> String # showList :: [SelectResult] -> ShowS #
FromJSON SelectResult Source #
Methods parseJSON :: Value -> Parser SelectResult # parseJSONList :: Value -> Parser [SelectResult] #