Safe Haskell | None |
---|
- type EndPoint = String
- data BindingValue
- selectQuery :: EndPoint -> Query SelectQuery -> IO (Maybe [[BindingValue]])
- constructQuery :: forall rdf. RDF rdf => EndPoint -> Query ConstructQuery -> IO rdf
- askQuery :: EndPoint -> Query AskQuery -> IO Bool
- updateQuery :: EndPoint -> Query UpdateQuery -> IO Bool
- describeQuery :: forall rdf. RDF rdf => EndPoint -> Query DescribeQuery -> IO rdf
Documentation
data BindingValue Source
Local representations of incoming XML results.
selectQuery :: EndPoint -> Query SelectQuery -> IO (Maybe [[BindingValue]])Source
Connect to remote EndPoint
and find all possible bindings for the
Variable
s in the SelectQuery
action.
constructQuery :: forall rdf. RDF rdf => EndPoint -> Query ConstructQuery -> IO rdfSource
Connect to remote EndPoint
and construct TriplesGraph
from given
ConstructQuery
action. Provisional implementation.
askQuery :: EndPoint -> Query AskQuery -> IO BoolSource
Connect to remote EndPoint
and find all possible bindings for the
Variable
s in the SelectQuery
action.
updateQuery :: EndPoint -> Query UpdateQuery -> IO BoolSource
Connect to remote EndPoint
and find all possible bindings for the
Variable
s in the SelectQuery
action.
describeQuery :: forall rdf. RDF rdf => EndPoint -> Query DescribeQuery -> IO rdfSource
Connect to remote EndPoint
and construct TriplesGraph
from given
ConstructQuery
action. Provisional implementation.