-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A SPARQL query generator and DSL, and a client to query a SPARQL server.
--   
--   hsparql includes a DSL to easily create queries, as well as methods to
--   submit those queries to a SPARQL server, returning the results as
--   simple Haskell data structures.
@package hsparql
@version 0.0

module Database.HSparql.QueryGenerator
type Query a = State QueryData a
execQuery :: Query a -> (QueryData -> b) -> b
createQuery :: Query [Variable] -> String
prefix :: IRIRef -> Query Prefix
var :: Query Variable
triple :: (TermLike a, TermLike b, TermLike c) => a -> b -> c -> Query Pattern
optional :: Query a -> Query Pattern
union :: Query a -> Query b -> Query Pattern
filterExpr :: (TermLike a) => a -> Query Pattern
(.:.) :: Prefix -> String -> IRIRef
iriRef :: String -> IRIRef
distinct :: Query Duplicates
reduced :: Query Duplicates
orderNextAsc :: (TermLike a) => a -> Query ()
orderNextDesc :: (TermLike a) => a -> Query ()
orderNext :: (TermLike a) => a -> Query ()
class TermLike a
varOrTerm :: (TermLike a) => a -> VarOrTerm
expr :: (TermLike a) => a -> Expr
operation :: (TermLike a, TermLike b) => Operation -> a -> b -> Expr
(.-.) :: (TermLike a, TermLike b) => a -> b -> Expr
(.*.) :: (TermLike a, TermLike b) => a -> b -> Expr
(./.) :: (TermLike a, TermLike b) => a -> b -> Expr
(.+.) :: (TermLike a, TermLike b) => a -> b -> Expr
relation :: (TermLike a, TermLike b) => Relation -> a -> b -> Expr
(.!=.) :: (TermLike a, TermLike b) => a -> b -> Expr
(.<.) :: (TermLike a, TermLike b) => a -> b -> Expr
(.>.) :: (TermLike a, TermLike b) => a -> b -> Expr
(.<=.) :: (TermLike a, TermLike b) => a -> b -> Expr
(.>=.) :: (TermLike a, TermLike b) => a -> b -> Expr
(.==.) :: (TermLike a, TermLike b) => a -> b -> Expr
notExpr :: (TermLike a) => a -> Expr
type BuiltinFunc1 = (TermLike a) => a -> Expr
builtinFunc1 :: Function -> BuiltinFunc1
type BuiltinFunc2 = (TermLike a, TermLike b) => a -> b -> Expr
builtinFunc2 :: Function -> BuiltinFunc2
str :: BuiltinFunc1
lang :: BuiltinFunc1
langMatches :: BuiltinFunc2
datatype :: BuiltinFunc1
bound :: Variable -> Expr
sameTerm :: BuiltinFunc2
isIRI :: BuiltinFunc1
isURI :: BuiltinFunc1
isBlank :: BuiltinFunc1
isLiteral :: BuiltinFunc1
regex :: BuiltinFunc2
queryData :: QueryData
class QueryShow a
qshow :: (QueryShow a) => a -> String
data Duplicates
NoLimits :: Duplicates
Distinct :: Duplicates
Reduced :: Duplicates
data Prefix
Prefix :: Int -> IRIRef -> Prefix
data Variable
Variable :: Int -> Variable
data IRIRef
IRIRef :: String -> IRIRef
PrefixedName :: Prefix -> String -> IRIRef
data RDFLiteral
RDFLiteral :: String -> RDFLiteral
RDFLiteralLang :: String -> String -> RDFLiteral
RDFLiteralIRIRef :: String -> IRIRef -> RDFLiteral
data GraphTerm
IRIRefTerm :: IRIRef -> GraphTerm
RDFLiteralTerm :: RDFLiteral -> GraphTerm
NumericLiteralTerm :: Integer -> GraphTerm
BooleanLiteralTerm :: Bool -> GraphTerm
data VarOrTerm
Var :: Variable -> VarOrTerm
Term :: GraphTerm -> VarOrTerm
data Operation
Add :: Operation
Subtract :: Operation
Multiply :: Operation
Divide :: Operation
data NumericExpr
NumericLiteralExpr :: Integer -> NumericExpr
OperationExpr :: Operation -> Expr -> Expr -> NumericExpr
data Relation
Equal :: Relation
NotEqual :: Relation
LessThan :: Relation
GreaterThan :: Relation
LessThanOrEqual :: Relation
GreaterThanOrEqual :: Relation
data Function
StrFunc :: Function
LangFunc :: Function
LangMatchesFunc :: Function
DataTypeFunc :: Function
BoundFunc :: Function
SameTermFunc :: Function
IsIRIFunc :: Function
IsURIFunc :: Function
IsBlankFunc :: Function
IsLiteralFunc :: Function
RegexFunc :: Function
data Expr
OrExpr :: [Expr] -> Expr
AndExpr :: [Expr] -> Expr
NegatedExpr :: Expr -> Expr
RelationalExpr :: Relation -> Expr -> Expr -> Expr
NumericExpr :: NumericExpr -> Expr
BuiltinCall :: Function -> [Expr] -> Expr
VarOrTermExpr :: VarOrTerm -> Expr
data Pattern
Triple :: VarOrTerm -> VarOrTerm -> VarOrTerm -> Pattern
Filter :: Expr -> Pattern
OptionalGraphPattern :: GroupGraphPattern -> Pattern
UnionGraphPattern :: GroupGraphPattern -> GroupGraphPattern -> Pattern
data GroupGraphPattern
GroupGraphPattern :: [Pattern] -> GroupGraphPattern
data OrderBy
Asc :: Expr -> OrderBy
Desc :: Expr -> OrderBy
appendPattern :: Pattern -> GroupGraphPattern -> GroupGraphPattern
data QueryData
QueryData :: Int -> [Prefix] -> Int -> [Variable] -> GroupGraphPattern -> Duplicates -> [OrderBy] -> QueryData
prefixIdx :: QueryData -> Int
prefixes :: QueryData -> [Prefix]
varsIdx :: QueryData -> Int
vars :: QueryData -> [Variable]
pattern :: QueryData -> GroupGraphPattern
duplicates :: QueryData -> Duplicates
ordering :: QueryData -> [OrderBy]
instance QueryShow QueryData
instance QueryShow OrderBy
instance QueryShow GroupGraphPattern
instance QueryShow Pattern
instance QueryShow Expr
instance QueryShow Function
instance QueryShow Relation
instance QueryShow NumericExpr
instance QueryShow Operation
instance QueryShow VarOrTerm
instance QueryShow GraphTerm
instance QueryShow RDFLiteral
instance QueryShow IRIRef
instance QueryShow Variable
instance QueryShow Prefix
instance QueryShow Duplicates
instance (QueryShow a) => QueryShow [a]
instance TermLike Bool
instance TermLike ([Char], IRIRef)
instance TermLike ([Char], [Char])
instance TermLike [Char]
instance TermLike Integer
instance TermLike Expr
instance TermLike IRIRef
instance TermLike Variable

module Database.HSparql.Connection
type EndPoint = String
data BindingValue
URI :: String -> BindingValue
Literal :: String -> BindingValue
TypedLiteral :: String -> String -> BindingValue
LangLiteral :: String -> String -> BindingValue
Unbound :: BindingValue
sparqlResult :: String -> QName
structureContent :: String -> Maybe [[BindingValue]]
instance Show BindingValue
instance Eq BindingValue