Module `Rdf.Sparql_expand`Source

Sourceval map_opt : ('a -> 'b) -> 'a option -> 'b option

Sourcemodule SMap = Xml.SMap

Sourcetype env = {

base : Iri.t;
prefixes : Iri.t SMap.t;

}

Sourcetype dataset = {

from : Ds.name list;
from_named : Ds.NameSet.t;

}

Sourceval create_env : Iri.t -> env

Sourceval iriref_a : Sparql_types.iri

Sourceval expand_relative_iri : env -> Iri.t -> Iri.t

Sourceval expand_iri : env -> Sparql_types.iri -> Sparql_types.iri

Source

val expand_query_prolog_decl : 
  (env * Sparql_types.query_prolog_decl list) ->
  Sparql_types.query_prolog_decl ->
  env * Sparql_types.query_prolog_decl list

Source

val expand_query_prolog : 
  env ->
  Sparql_types.query_prolog_decl list ->
  env * Sparql_types.query_prolog_decl list

Source

val expand_rdf_literal : 
  env ->
  Sparql_types.rdf_literal ->
  Sparql_types.rdf_literal

Source

val expand_data_block_value : 
  env ->
  Sparql_types.data_block_value ->
  Sparql_types.data_block_value

Source

val expand_data_full_block_value : 
  env ->
  Sparql_types.data_full_block_value ->
  Sparql_types.data_full_block_value

Source

val expand_inline_data_one_var : 
  env ->
  Sparql_types.inline_data_one_var ->
  Sparql_types.inline_data_one_var

Source

val expand_inline_data_full : 
  env ->
  Sparql_types.inline_data_full ->
  Sparql_types.inline_data_full

Sourceval expand_datablock : env -> Sparql_types.datablock -> Sparql_types.datablock

Source

val expand_values_clause : 
  env ->
  Sparql_types.datablock option ->
  Sparql_types.datablock option

Source

val expand_var_or_iri : 
  env ->
  Sparql_types.var_or_iri ->
  Sparql_types.var_or_iri

Source

val expand_select_var : 
  env ->
  Sparql_types.select_var ->
  Sparql_types.select_var

Source

val expand_select_vars : 
  env ->
  Sparql_types.select_vars ->
  Sparql_types.select_vars

Source

val expand_select_clause : 
  env ->
  Sparql_types.select_clause ->
  Sparql_types.select_clause

Source

val expand_source_selector : 
  env ->
  Sparql_types.source_selector ->
  Sparql_types.source_selector

Source

val expand_dataset_clause : 
  env ->
  Sparql_types.dataset_clause ->
  Sparql_types.dataset_clause

Sourceval expand_arg_list : env -> Sparql_types.arg_list -> Sparql_types.arg_list

Source

val expand_function_call : 
  env ->
  Sparql_types.function_call ->
  Sparql_types.function_call

Sourceval expand_expr : env -> Sparql_types.expr -> Sparql_types.expr

Source

val expand_expression : 
  env ->
  Sparql_types.expression ->
  Sparql_types.expression

Sourceval expand_aggregate : env -> Sparql_types.aggregate -> Sparql_types.aggregate

Source

val expand_built_in_call : 
  env ->
  Sparql_types.built_in_call ->
  Sparql_types.built_in_call

Sourceval expand_group_var : env -> Sparql_types.group_var -> Sparql_types.group_var

Source

val expand_group_condition : 
  env ->
  Sparql_types.group_condition ->
  Sparql_types.group_condition

Source

val expand_constraint : 
  env ->
  Sparql_types.having_condition ->
  Sparql_types.having_condition

Source

val expand_having_condition : 
  env ->
  Sparql_types.having_condition ->
  Sparql_types.having_condition

Source

val expand_order_condition : 
  env ->
  Sparql_types.order_condition ->
  Sparql_types.order_condition

Source

val expand_limit_offset_clause : 
  env ->
  Sparql_types.limit_offset_clause ->
  Sparql_types.limit_offset_clause

Source

val expand_solution_modifier : 
  env ->
  Sparql_types.solution_modifier ->
  Sparql_types.solution_modifier

Sourceval expand_bind : env -> Sparql_types.bind -> Sparql_types.bind

Source

val expand_service_graph_pattern : 
  env ->
  Sparql_types.service_graph_pattern ->
  Sparql_types.service_graph_pattern

Source

val expand_graph_graph_pattern : 
  env ->
  Sparql_types.graph_graph_pattern ->
  Sparql_types.graph_graph_pattern

Source

val expand_graph_pattern_elt : 
  env ->
  Sparql_types.graph_pattern_elt ->
  Sparql_types.graph_pattern_elt

Source

val expand_graph_term : 
  env ->
  Sparql_types.graph_term ->
  Sparql_types.graph_term

Source

val expand_var_or_term : 
  env ->
  Sparql_types.var_or_term ->
  Sparql_types.var_or_term

Source

val expand_path_one_in_prop_set : 
  env ->
  Sparql_types.path_one_in_prop_set ->
  Sparql_types.path_one_in_prop_set

Source

val expand_path_primary : 
  env ->
  Sparql_types.path_primary ->
  Sparql_types.path_primary

Sourceval expand_path_elt : env -> Sparql_types.path_elt -> Sparql_types.path_elt

Source

val expand_path_elt_or_inverse : 
  env ->
  Sparql_types.path_elt_or_inverse ->
  Sparql_types.path_elt_or_inverse

Source

val expand_path_sequence : 
  env ->
  Sparql_types.path_sequence ->
  Sparql_types.path_sequence

Sourceval expand_path : env -> Sparql_types.path -> Sparql_types.path

Sourceval expand_verb : env -> Sparql_types.verb -> Sparql_types.verb

Source

val expand_triples_node : 
  env ->
  Sparql_types.triples_node ->
  Sparql_types.triples_node

Sourceval expand_graph_node : env -> Sparql_types.object_ -> Sparql_types.object_

Sourceval expand_object : env -> Sparql_types.object_ -> Sparql_types.object_

Source

val expand_prop_object_list : 
  env ->
  Sparql_types.prop_object_list ->
  Sparql_types.prop_object_list

Source

val expand_triples_block : 
  env ->
  Sparql_types.triples_block ->
  Sparql_types.triples_block

Source

val expand_triples_same_subject : 
  env ->
  Sparql_types.triples_same_subject ->
  Sparql_types.triples_same_subject

Sourceval expand_ggp_sub : env -> Sparql_types.ggp_sub -> Sparql_types.ggp_sub

Source

val expand_group_graph_pattern : 
  env ->
  Sparql_types.group_graph_pattern ->
  Sparql_types.group_graph_pattern

Source

val expand_sub_select : 
  env ->
  Sparql_types.sub_select ->
  Sparql_types.sub_select

Source

val expand_select_query : 
  env ->
  Sparql_types.select_query ->
  Sparql_types.select_query

Source

val expand_triples_template : 
  env ->
  Sparql_types.triples_same_subject list ->
  Sparql_types.triples_same_subject list

Source

val expand_construct_template : 
  env ->
  Sparql_types.triples_same_subject list ->
  Sparql_types.triples_same_subject list

Source

val expand_construct_where : 
  env ->
  Sparql_types.construct_where ->
  Sparql_types.construct_where

Source

val expand_construct_query : 
  env ->
  Sparql_types.construct_query ->
  Sparql_types.construct_query

Source

val expand_describe_query : 
  env ->
  Sparql_types.describe_query ->
  Sparql_types.describe_query

Sourceval expand_ask_query : env -> Sparql_types.ask_query -> Sparql_types.ask_query

Source

val expand_query_kind : 
  env ->
  Sparql_types.query_kind ->
  Sparql_types.query_kind

Sourceval build_dataset : env -> Sparql_types.query_kind -> dataset

Source

val expand_query : 
  Iri.t ->
  Sparql_types.query ->
  Iri.t * dataset * Sparql_types.query

Source

val expand_update_query : 
  Iri.t ->
  Sparql_types.query ->
  Iri.t * Sparql_types.query

package rdf

Module Rdf.Sparql_expandSource

Module `Rdf.Sparql_expand`Source