Database.HSparql.Connection

Documentation

type EndPoint = String

URI of the SPARQL endpoint.

data BindingValue

Local representations of incoming XML results.

Constructors

Bound Node

RDF Node (UNode, BNode, LNode)

Unbound

Unbound result value

Instances

Eq BindingValue

Methods

(==) :: BindingValue -> BindingValue -> Bool

(/=) :: BindingValue -> BindingValue -> Bool

Show BindingValue

Methods

showsPrec :: Int -> BindingValue -> ShowS

show :: BindingValue -> String

showList :: [BindingValue] -> ShowS

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

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

constructQuery :: Rdf a => EndPoint -> Query ConstructQuery -> IO (RDF a)

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.

updateQuery :: EndPoint -> Query UpdateQuery -> IO Bool

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

describeQuery :: Rdf a => EndPoint -> Query DescribeQuery -> IO (RDF a)

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