Database.HSparql.Connection

Documentation

type EndPoint = String

URI of the SPARQL endpoint.

data BindingValue

Local representations of incoming XML results.

Constructors

URI String

Absolute reference to remote resource.

Literal String

Simple literal string.

TypedLiteral String String

Literal element with type resource

LangLiteral String String

Literal element with language resource

Unbound

Unbound result value

Instances

Eq BindingValue

Show BindingValue

selectQuery :: EndPoint -> Query SelectQuery -> IO (Maybe [[BindingValue]])

Connect to remote EndPoint and find all possible bindings for the Variables in the SelectQuery action.

constructQuery :: forall rdf. RDF rdf => EndPoint -> Query ConstructQuery -> IO rdf

Connect to remote EndPoint and construct TriplesGraph from given ConstructQuery action. Provisional implementation.

askQuery :: EndPoint -> Query AskQuery -> IO Bool

Connect to remote EndPoint and find all possible bindings for the Variables in the SelectQuery action.

describeQuery :: forall rdf. RDF rdf => EndPoint -> Query DescribeQuery -> IO rdf

Connect to remote EndPoint and construct TriplesGraph from given ConstructQuery action. Provisional implementation.