hsparql-0.0: A SPARQL query generator and DSL, and a client to query a SPARQL server.

Database.HSparql.QueryGenerator

Documentation

type Query a = State QueryData aSource

execQuery :: Query a -> (QueryData -> b) -> bSource

createQuery :: Query [Variable] -> String Source

prefix :: IRIRef -> Query Prefix Source

var :: Query Variable Source

triple :: (TermLike a, TermLike b, TermLike c) => a -> b -> c -> Query Pattern Source

optional :: Query a -> Query Pattern Source

union :: Query a -> Query b -> Query Pattern Source

filterExpr :: TermLike a => a -> Query Pattern Source

(.:.) :: Prefix -> String -> IRIRef Source

iriRef :: String -> IRIRef Source

distinct :: Query Duplicates Source

reduced :: Query Duplicates Source

orderNextAsc :: TermLike a => a -> Query ()Source

orderNextDesc :: TermLike a => a -> Query ()Source

orderNext :: TermLike a => a -> Query ()Source

class TermLike a whereSource

Methods

varOrTerm :: a -> VarOrTerm Source

expr :: a -> Expr Source

Instances

TermLike Bool
TermLike Integer
TermLike Expr
TermLike IRIRef
TermLike Variable
TermLike [Char]
TermLike ([Char], [Char])
TermLike ([Char], IRIRef)

operation :: (TermLike a, TermLike b) => Operation -> a -> b -> Expr Source

(.-.) :: (TermLike a, TermLike b) => a -> b -> Expr Source

(.*.) :: (TermLike a, TermLike b) => a -> b -> Expr Source

(./.) :: (TermLike a, TermLike b) => a -> b -> Expr Source

(.+.) :: (TermLike a, TermLike b) => a -> b -> Expr Source

relation :: (TermLike a, TermLike b) => Relation -> a -> b -> Expr Source

(.!=.) :: (TermLike a, TermLike b) => a -> b -> Expr Source

(.<.) :: (TermLike a, TermLike b) => a -> b -> Expr Source

(.>.) :: (TermLike a, TermLike b) => a -> b -> Expr Source

(.<=.) :: (TermLike a, TermLike b) => a -> b -> Expr Source

(.>=.) :: (TermLike a, TermLike b) => a -> b -> Expr Source

(.==.) :: (TermLike a, TermLike b) => a -> b -> Expr Source

notExpr :: TermLike a => a -> Expr Source

type BuiltinFunc1 = TermLike a => a -> Expr Source

builtinFunc1 :: Function -> BuiltinFunc1 Source

type BuiltinFunc2 = (TermLike a, TermLike b) => a -> b -> Expr Source

builtinFunc2 :: Function -> BuiltinFunc2 Source

str :: BuiltinFunc1 Source

lang :: BuiltinFunc1 Source

langMatches :: BuiltinFunc2 Source

datatype :: BuiltinFunc1 Source

bound :: Variable -> Expr Source

sameTerm :: BuiltinFunc2 Source

isIRI :: BuiltinFunc1 Source

isURI :: BuiltinFunc1 Source

isBlank :: BuiltinFunc1 Source

isLiteral :: BuiltinFunc1 Source

regex :: BuiltinFunc2 Source

queryData :: QueryData Source

class QueryShow a whereSource

Methods

qshow :: a -> String Source

data Duplicates Source

Constructors

NoLimits
Distinct
Reduced

Instances

QueryShow Duplicates

data Prefix Source

Constructors

Prefix Int IRIRef

Instances

QueryShow Prefix

data Variable Source

Constructors

Instances

QueryShow Variable
TermLike Variable

data IRIRef Source

Constructors

IRIRef String
PrefixedName Prefix String

Instances

QueryShow IRIRef
TermLike IRIRef
TermLike ([Char], IRIRef)

data RDFLiteral Source

Constructors

RDFLiteral String
RDFLiteralLang String String
RDFLiteralIRIRef String IRIRef

Instances

QueryShow RDFLiteral

data GraphTerm Source

Constructors

IRIRefTerm IRIRef
RDFLiteralTerm RDFLiteral
NumericLiteralTerm Integer
BooleanLiteralTerm Bool

Instances

QueryShow GraphTerm

data VarOrTerm Source

Constructors

Var Variable
Term GraphTerm

Instances

QueryShow VarOrTerm

data Operation Source

Constructors

Add
Subtract
Multiply
Divide

Instances

QueryShow Operation

data NumericExpr Source

Constructors

NumericLiteralExpr Integer
OperationExpr Operation Expr Expr

Instances

QueryShow NumericExpr

data Relation Source

Constructors

Equal
NotEqual
LessThan
GreaterThan
LessThanOrEqual
GreaterThanOrEqual

Instances

QueryShow Relation

data Function Source

Constructors

StrFunc
LangFunc
LangMatchesFunc
DataTypeFunc
BoundFunc
SameTermFunc
IsIRIFunc
IsURIFunc
IsBlankFunc
IsLiteralFunc
RegexFunc

Instances

QueryShow Function

data Expr Source

Constructors

OrExpr [Expr]
AndExpr [Expr]
NegatedExpr Expr
RelationalExpr Relation Expr Expr
NumericExpr NumericExpr
BuiltinCall Function [Expr]
VarOrTermExpr VarOrTerm

Instances

QueryShow Expr
TermLike Expr

data Pattern Source

Constructors

Triple VarOrTerm VarOrTerm VarOrTerm
Filter Expr
OptionalGraphPattern GroupGraphPattern
UnionGraphPattern GroupGraphPattern GroupGraphPattern

Instances

QueryShow Pattern

data GroupGraphPattern Source

Constructors

GroupGraphPattern [Pattern]

Instances

QueryShow GroupGraphPattern

data OrderBy Source

Constructors

Asc Expr
Desc Expr

Instances

QueryShow OrderBy

appendPattern :: Pattern -> GroupGraphPattern -> GroupGraphPattern Source

data QueryData Source

Constructors

QueryData
Fields prefixIdx :: Int prefixes :: [Prefix] varsIdx :: Int vars :: [Variable] pattern :: GroupGraphPattern duplicates :: Duplicates ordering :: [OrderBy]

Instances

QueryShow QueryData