package rdf

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Rdf.Sparql_typesSource

Sourcemodule OrderedString : sig ... end
Sourcemodule SSet = Types.SSet
Sourcemodule SMap = Types.SMap
Sourcetype loc = Loc.loc = {
  1. loc_start : Lexing.position;
  2. loc_end : Lexing.position;
}
Sourcetype pname_ns = {
  1. pname_ns_loc : loc;
  2. pname_ns_name : string;
}
Sourcetype pname_local = {
  1. pname_local_loc : loc;
  2. pname_local_name : string;
}
Sourcetype var = {
  1. var_loc : loc;
  2. var_name : string;
}
Sourcetype iriref = {
  1. ir_loc : loc;
  2. ir_iri : Iri.t;
}
Sourcetype prefixed_name = {
  1. pname_loc : loc;
  2. pname_ns : pname_ns;
  3. pname_local : pname_local option;
}
Sourcetype iriloc = {
  1. iri_loc : loc;
  2. iri_iri : Iri.t;
}
Sourcetype iri =
  1. | Iri of iriloc
  2. | Iriref of iriref
  3. | PrefixedName of prefixed_name
Sourcetype prefix_decl = pname_ns * iriref
Sourcetype query_prolog_decl =
  1. | BaseDecl of iriref
  2. | PrefixDecl of prefix_decl
Sourcetype query_prolog = query_prolog_decl list
Sourcetype rdf_literal = {
  1. rdf_lit_loc : loc;
  2. rdf_lit : Term.literal;
  3. rdf_lit_type : iri option;
}
Sourcetype data_block_value =
  1. | DataBlockValueIri of iri
  2. | DataBlockValueRdf of rdf_literal
  3. | DataBlockValueNumeric of rdf_literal
  4. | DataBlockValueBoolean of rdf_literal
  5. | DataBlockValueUndef
Sourcetype data_full_block_value =
  1. | Nil
  2. | Value of data_block_value list
Sourcetype inline_data_one_var = {
  1. idov_loc : loc;
  2. idov_var : var;
  3. idov_data : data_block_value list;
}
Sourcetype inline_data_full = {
  1. idf_loc : loc;
  2. idf_vars : var list;
  3. idf_values : data_full_block_value list;
}
Sourcetype datablock =
  1. | InLineDataOneVar of inline_data_one_var
  2. | InLineDataFull of inline_data_full
Sourcetype values_clause = datablock option
Sourcetype path_mod =
  1. | ModOptional
  2. | ModList
  3. | ModOneOrMore
Sourcetype var_or_iri =
  1. | VIVar of var
  2. | VIIri of iri
Sourcetype blank_node = {
  1. bnode_loc : loc;
  2. bnode_label : string option;
}
Sourcetype select_clause_flag =
  1. | Distinct
  2. | Reduced
Sourcetype select_var = {
  1. sel_var_loc : loc;
  2. sel_var_expr : expression option;
  3. sel_var : var;
}
Sourceand select_vars =
  1. | SelectAll
  2. | SelectVars of select_var list
Sourceand select_clause = {
  1. sel_flag : select_clause_flag option;
  2. sel_vars : select_vars;
}
Sourceand source_selector = iri
Sourceand dataset_clause =
  1. | DefaultGraphClause of source_selector
  2. | NamedGraphClause of source_selector
Sourceand arg_list = {
  1. argl_loc : loc;
  2. argl_distinct : bool;
  3. argl : expression list;
}
Sourceand function_call = {
  1. func_loc : loc;
  2. func_iri : iri;
  3. func_args : arg_list;
}
Sourceand binary_op =
  1. | EPlus
  2. | EMinus
  3. | EMult
  4. | EDiv
  5. | EEqual
  6. | ENotEqual
  7. | ELt
  8. | EGt
  9. | ELte
  10. | EGte
  11. | EOr
  12. | EAnd
Sourceand expr =
  1. | EVar of var
  2. | EIri of iri
  3. | EBin of expression * binary_op * expression
  4. | ENot of expression
  5. | EUMinus of expression
  6. | EBic of built_in_call
  7. | EFuncall of function_call
  8. | ELit of rdf_literal
  9. | ENumeric of rdf_literal
  10. | EBoolean of rdf_literal
  11. | EIn of expression * expression list
  12. | ENotIn of expression * expression list
Sourceand expression = {
  1. expr_loc : loc;
  2. expr : expr;
}
Sourceand built_in_call =
  1. | Bic_agg of aggregate
  2. | Bic_fun of string * expression list
  3. | Bic_BOUND of var
  4. | Bic_EXISTS of group_graph_pattern
  5. | Bic_NOTEXISTS of group_graph_pattern
Sourceand aggregate =
  1. | Bic_COUNT of bool * expression option
  2. | Bic_SUM of bool * expression
  3. | Bic_MIN of bool * expression
  4. | Bic_MAX of bool * expression
  5. | Bic_AVG of bool * expression
  6. | Bic_SAMPLE of bool * expression
  7. | Bic_GROUP_CONCAT of bool * expression * string option
Sourceand group_var = {
  1. grpvar_loc : loc;
  2. grpvar_expr : expression option;
  3. grpvar : var option;
}
Sourceand group_condition =
  1. | GroupBuiltInCall of built_in_call
  2. | GroupFunctionCall of function_call
  3. | GroupVar of group_var
Sourceand constraint_ =
  1. | ConstrBuiltInCall of built_in_call
  2. | ConstrFunctionCall of function_call
  3. | ConstrExpr of expression
Sourceand having_condition = constraint_
Sourceand order_condition =
  1. | OrderAsc of expression
  2. | OrderDesc of expression
  3. | OrderConstr of constraint_
  4. | OrderVar of var
Sourceand limit_offset_clause = {
  1. limoff_loc : loc;
  2. limoff_offset : int option;
  3. limoff_limit : int option;
}
Sourceand solution_modifier = {
  1. solmod_loc : loc;
  2. solmod_group : group_condition list;
  3. solmod_having : having_condition list;
  4. solmod_order : order_condition list option;
  5. solmod_limoff : limit_offset_clause option;
}
Sourceand bind = {
  1. bind_loc : loc;
  2. bind_expr : expression;
  3. bind_var : var;
}
Sourceand service_graph_pattern = {
  1. servgp_loc : loc;
  2. servgp_silent : bool;
  3. servgp_name : var_or_iri;
  4. servgp_pat : group_graph_pattern;
}
Sourceand graph_graph_pattern = {
  1. graphgp_loc : loc;
  2. graphgp_name : var_or_iri;
  3. graphgp_pat : group_graph_pattern;
}
Sourceand graph_pattern_elt =
  1. | Triples of triples_block
  2. | Union of group_graph_pattern list
  3. | Optional of group_graph_pattern
  4. | Minus of group_graph_pattern
  5. | GGP of graph_graph_pattern
  6. | Service of service_graph_pattern
  7. | Filter of constraint_
  8. | Bind of bind
  9. | InlineData of datablock
Sourceand graph_term =
  1. | GraphTermIri of iri
  2. | GraphTermLit of rdf_literal
  3. | GraphTermNumeric of rdf_literal
  4. | GraphTermBoolean of rdf_literal
  5. | GraphTermBlank of blank_node
  6. | GraphTermNil
  7. | GraphTermNode of Term.term
Sourceand var_or_term =
  1. | Var of var
  2. | GraphTerm of graph_term
Sourceand path_one_in_prop_set =
  1. | PathOneInIri of iri
  2. | PathOneInA
  3. | PathOneInNotIri of iri
  4. | PathOneInNotA
Sourceand path_primary =
  1. | PathIri of iri
  2. | PathA
  3. | PathNegPropSet of path_one_in_prop_set list
  4. | Path of path
Sourceand path_elt = {
  1. pelt_loc : loc;
  2. pelt_primary : path_primary;
  3. pelt_mod : path_mod option;
}
Sourceand path_elt_or_inverse =
  1. | Elt of path_elt
  2. | Inv of path_elt
Sourceand path_sequence = path_elt_or_inverse list
Sourceand path = path_sequence list
Sourceand verb =
  1. | VerbPath of path
  2. | VerbVar of var
  3. | VerbIri of iri
  4. | VerbA
Sourceand triples_node =
  1. | TNodeCollection of graph_node list
  2. | TNodeBlank of prop_object_list list
Sourceand graph_node =
  1. | GraphNodeVT of var_or_term
  2. | GraphNodeTriples of triples_node
Sourceand object_ = graph_node
Sourceand prop_object_list = {
  1. propol_loc : loc;
  2. propol_verb : verb;
  3. propol_objects : object_ list;
}
Sourceand triples_block = {
  1. triples_loc : loc;
  2. triples : triples_same_subject list;
}
Sourceand triples_same_subject =
  1. | TriplesVar of var_or_term * prop_object_list list
  2. | TriplesNode of triples_node * prop_object_list list
Sourceand ggp_sub = {
  1. ggp_sub_loc : loc;
  2. ggp_sub_elts : graph_pattern_elt list;
}
Sourceand group_graph_pattern =
  1. | SubSelect of sub_select
  2. | GGPSub of ggp_sub
Sourceand sub_select = {
  1. subsel_loc : loc;
  2. subsel_select : select_clause;
  3. subsel_where : group_graph_pattern;
  4. subsel_modifier : solution_modifier;
  5. subsel_values : values_clause;
}
Sourcetype select_query = {
  1. select_select : select_clause;
  2. select_dataset : dataset_clause list;
  3. select_where : group_graph_pattern;
  4. select_modifier : solution_modifier;
}
Sourcetype triples_template = triples_same_subject list
Sourcetype construct_template = triples_template
Sourcetype construct_where =
  1. | Constr_ggp of group_graph_pattern
  2. | Constr_template of triples_template
Sourcetype construct_query = {
  1. constr_template : construct_template option;
  2. constr_dataset : dataset_clause list;
  3. constr_where : construct_where;
  4. constr_modifier : solution_modifier;
}
Sourcetype describe_query = {
  1. desc_sel : var_or_iri list;
  2. desc_dataset : dataset_clause list;
  3. desc_where : group_graph_pattern option;
  4. desc_modifier : solution_modifier;
}
Sourcetype ask_query = {
  1. ask_dataset : dataset_clause list;
  2. ask_where : group_graph_pattern;
  3. ask_modifier : solution_modifier;
}
Sourcetype quads_not_triples = {
  1. quadsnt_loc : loc;
  2. quadsnt_graph : var_or_iri;
  3. quadsnt_triples : triples_template option;
}
Sourcetype quads = {
  1. quads_loc : loc;
  2. quads_triples : triples_template option;
  3. quads_list : (quads_not_triples * triples_template option) list;
}
Sourcetype quad_pattern = quads
Sourcetype quad_data = quads
Sourcetype update_modify = {
  1. umod_loc : loc;
  2. umod_iri : iri option;
  3. umod_delete : quad_pattern option;
  4. umod_insert : quad_pattern option;
  5. umod_using : (bool * iri * loc) list;
  6. umod_where : group_graph_pattern;
}
Sourcetype update_action =
  1. | Update_load
  2. | Update_clear
  3. | Update_drop
  4. | Update_add
  5. | Update_move
  6. | Update_copy
  7. | Update_create
  8. | Update_insert_data of quad_data
  9. | Update_delete_data of quad_data
  10. | Update_delete_where of quad_pattern
  11. | Update_modify of update_modify
Sourcetype query_kind =
  1. | Select of select_query
  2. | Construct of construct_query
  3. | Describe of describe_query
  4. | Ask of ask_query
  5. | Update of update_action list
Sourcetype query = {
  1. q_prolog : query_prolog;
  2. q_kind : query_kind;
  3. q_values : values_clause;
}
Sourcemodule VarSet : sig ... end