module T: Rdf_sparql_types
module OrderedString:sig
..end
module SSet:Set.Make
(
OrderedString
)
module SMap:Map.Make
(
OrderedString
)
typeloc =
Rdf_loc.loc
= {
|
loc_start : |
|
loc_end : |
type
pname_ns = {
|
pname_ns_loc : |
|
pname_ns_name : |
type
pname_local = {
|
pname_local_loc : |
|
pname_local_name : |
type
var = {
|
var_loc : |
|
var_name : |
type
iriref = {
|
ir_loc : |
|
ir_iri : |
type
prefixed_name = {
|
pname_loc : |
|
pname_ns : |
|
pname_local : |
type
iri =
| |
Iriref of |
| |
PrefixedName of |
typeprefix_decl =
pname_ns * iriref
type
query_prolog_decl =
| |
BaseDecl of |
| |
PrefixDecl of |
typequery_prolog =
query_prolog_decl list
type
rdf_literal = {
|
rdf_lit_loc : |
|
rdf_lit : |
|
rdf_lit_type : |
type
data_block_value =
| |
DataBlockValueIri of |
| |
DataBlockValueRdf of |
| |
DataBlockValueNumeric of |
| |
DataBlockValueBoolean of |
| |
DataBlockValueUndef |
type
data_full_block_value =
| |
Nil |
| |
Value of |
type
inline_data_one_var = {
|
idov_loc : |
|
idov_var : |
|
idov_data : |
type
inline_data_full = {
|
idf_loc : |
|
idf_vars : |
|
idf_values : |
type
datablock =
| |
InLineDataOneVar of |
| |
InLineDataFull of |
typevalues_clause =
datablock option
type
path_mod =
| |
ModOptional |
| |
ModList |
| |
ModOneOrMore |
type
var_or_iri =
| |
VIVar of |
| |
VIIri of |
type
blank_node = {
|
bnode_loc : |
|
bnode_label : |
type
select_clause_flag =
| |
Distinct |
| |
Reduced |
type
select_var = {
|
sel_var_loc : |
|
sel_var_expr : |
|
sel_var : |
type
select_vars =
| |
SelectAll |
| |
SelectVars of |
type
select_clause = {
|
sel_flag : |
|
sel_vars : |
typesource_selector =
iri
type
dataset_clause =
| |
DefaultGraphClause of |
| |
NamedGraphClause of |
type
arg_list = {
|
argl_loc : |
|
argl_distinct : |
|
argl : |
type
function_call = {
|
func_loc : |
|
func_iri : |
|
func_args : |
type
binary_op =
| |
EPlus |
| |
EMinus |
| |
EMult |
| |
EDiv |
| |
EEqual |
| |
ENotEqual |
| |
ELt |
| |
EGt |
| |
ELte |
| |
EGte |
| |
EOr |
| |
EAnd |
type
expr =
| |
EVar of |
| |
EIri of |
| |
EBin of |
| |
ENot of |
| |
EUMinus of |
| |
EBic of |
| |
EFuncall of |
| |
ELit of |
| |
ENumeric of |
| |
EBoolean of |
| |
EIn of |
| |
ENotIn of |
type
expression = {
|
expr_loc : |
|
expr : |
type
built_in_call =
| |
Bic_agg of |
| |
Bic_fun of |
| |
Bic_BOUND of |
| |
Bic_EXISTS of |
| |
Bic_NOTEXISTS of |
type
aggregate =
| |
Bic_COUNT of |
(* |
'*' or expression
| *) |
| |
Bic_SUM of |
|||
| |
Bic_MIN of |
|||
| |
Bic_MAX of |
|||
| |
Bic_AVG of |
|||
| |
Bic_SAMPLE of |
|||
| |
Bic_GROUP_CONCAT of |
type
group_var = {
|
grpvar_loc : |
|
grpvar_expr : |
|
grpvar : |
type
group_condition =
| |
GroupBuiltInCall of |
| |
GroupFunctionCall of |
| |
GroupVar of |
type
constraint_ =
| |
ConstrBuiltInCall of |
| |
ConstrFunctionCall of |
| |
ConstrExpr of |
typehaving_condition =
constraint_
type
order_condition =
| |
OrderAsc of |
| |
OrderDesc of |
| |
OrderConstr of |
| |
OrderVar of |
type
limit_offset_clause = {
|
limoff_loc : |
|
limoff_offset : |
|
limoff_limit : |
type
solution_modifier = {
|
solmod_loc : |
|
solmod_group : |
|
solmod_having : |
|
solmod_order : |
|
solmod_limoff : |
type
bind = {
|
bind_loc : |
|
bind_expr : |
|
bind_var : |
type
service_graph_pattern = {
|
servgp_loc : |
|
servgp_silent : |
|
servgp_name : |
|
servgp_pat : |
type
graph_graph_pattern = {
|
graphgp_loc : |
|
graphgp_name : |
|
graphgp_pat : |
type
graph_pattern_elt =
| |
Triples of |
| |
Union of |
| |
Optional of |
| |
Minus of |
| |
GGP of |
| |
Service of |
| |
Filter of |
| |
Bind of |
| |
InlineData of |
type
graph_term =
| |
GraphTermIri of |
|||
| |
GraphTermLit of |
|||
| |
GraphTermNumeric of |
|||
| |
GraphTermBoolean of |
|||
| |
GraphTermBlank of |
|||
| |
GraphTermNil |
|||
| |
GraphTermNode of |
(* |
not parsed, but used in evaluation of paths
| *) |
type
var_or_term =
| |
Var of |
| |
GraphTerm of |
type
path_one_in_prop_set =
| |
PathOneInIri of |
| |
PathOneInA |
| |
PathOneInNotIri of |
| |
PathOneInNotA |
type
path_primary =
| |
PathIri of |
| |
PathA |
| |
PathNegPropSet of |
| |
Path of |
type
path_elt = {
|
pelt_loc : |
|
pelt_primary : |
|
pelt_mod : |
type
path_elt_or_inverse =
| |
Elt of |
| |
Inv of |
typepath_sequence =
path_elt_or_inverse list
typepath =
path_sequence list
type
verb =
| |
VerbPath of |
| |
VerbVar of |
| |
VerbIri of |
| |
VerbA |
type
triples_node =
| |
TNodeCollection of |
| |
TNodeBlank of |
type
graph_node =
| |
GraphNodeVT of |
| |
GraphNodeTriples of |
typeobject_ =
graph_node
type
prop_object_list = {
|
propol_loc : |
|
propol_verb : |
|
propol_objects : |
type
triples_block = {
|
triples_loc : |
|
triples : |
type
triples_same_subject =
| |
TriplesVar of |
| |
TriplesNode of |
type
ggp_sub = {
|
ggp_sub_loc : |
|
ggp_sub_elts : |
type
group_graph_pattern =
| |
SubSelect of |
| |
GGPSub of |
type
sub_select = {
|
subsel_loc : |
|
subsel_select : |
|
subsel_where : |
|
subsel_modifier : |
|
subsel_values : |
type
select_query = {
|
select_select : |
|
select_dataset : |
|
select_where : |
|
select_modifier : |
typetriples_template =
triples_same_subject list
typeconstruct_template =
triples_template
type
construct_where =
| |
Constr_ggp of |
| |
Constr_template of |
type
construct_query = {
|
constr_template : |
|
constr_dataset : |
|
constr_where : |
|
constr_modifier : |
type
describe_query = {
|
desc_sel : |
(* |
empty list means "STAR"
| *) |
|
desc_dataset : |
|||
|
desc_where : |
|||
|
desc_modifier : |
type
ask_query = {
|
ask_dataset : |
|
ask_where : |
|
ask_modifier : |
type
query_kind =
| |
Select of |
| |
Construct of |
| |
Describe of |
| |
Ask of |
type
query = {
|
q_prolog : |
|
q_kind : |
|
q_values : |
module VarSet:Set.Make
(
sig
typet =
Rdf_sparql_types.var
val compare :Rdf_sparql_types.var -> Rdf_sparql_types.var -> int
end
)