Safe Haskell | None |
---|---|
Language | Haskell98 |
- type EndPoint = String
- data BindingValue
- selectQuery :: EndPoint -> Query SelectQuery -> IO (Maybe [[BindingValue]])
- constructQuery :: Rdf a => EndPoint -> Query ConstructQuery -> IO (RDF a)
- askQuery :: EndPoint -> Query AskQuery -> IO Bool
- updateQuery :: EndPoint -> Query UpdateQuery -> IO Bool
- describeQuery :: Rdf a => EndPoint -> Query DescribeQuery -> IO (RDF a)
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 :: Rdf a => EndPoint -> Query ConstructQuery -> IO (RDF a) Source #
Connect to remote EndPoint
and construct TriplesGraph
from given
ConstructQuery
action. Provisional implementation.
askQuery :: EndPoint -> Query AskQuery -> IO Bool Source #
Connect to remote EndPoint
and find all possible bindings for the
Variable
s in the SelectQuery
action.
updateQuery :: EndPoint -> Query UpdateQuery -> IO Bool Source #
Connect to remote EndPoint
and find all possible bindings for the
Variable
s in the SelectQuery
action.
describeQuery :: Rdf a => EndPoint -> Query DescribeQuery -> IO (RDF a) Source #
Connect to remote EndPoint
and construct TriplesGraph
from given
ConstructQuery
action. Provisional implementation.