rdf 0.15.0 · OCaml Package

module T = Sparql_types

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

type ('acc, 't) visitor_fun = 'acc visitor -> 'acc -> 't -> 'acc

and 'a visitor = {

var : ('a, Sparql_types.var) visitor_fun;
iriref : ('a, Sparql_types.iriref) visitor_fun;
prefixed_name : ('a, Sparql_types.prefixed_name) visitor_fun;
iriloc : ('a, Sparql_types.iriloc) visitor_fun;
iri : ('a, Sparql_types.iri) visitor_fun;
rdf_literal : ('a, Sparql_types.rdf_literal) visitor_fun;
data_block_value : ('a, Sparql_types.data_block_value) visitor_fun;
data_full_block_value : ('a, Sparql_types.data_full_block_value) visitor_fun;
inline_data_one_var : ('a, Sparql_types.inline_data_one_var) visitor_fun;
inline_data_full : ('a, Sparql_types.inline_data_full) visitor_fun;
datablock : ('a, Sparql_types.datablock) visitor_fun;
values_clause : ('a, Sparql_types.values_clause) visitor_fun;
var_or_iri : ('a, Sparql_types.var_or_iri) visitor_fun;
blank_node : ('a, Sparql_types.blank_node) visitor_fun;
select_var : ('a, Sparql_types.select_var) visitor_fun;
select_vars : ('a, Sparql_types.select_vars) visitor_fun;
select_clause : ('a, Sparql_types.select_clause) visitor_fun;
dataset_clause : ('a, Sparql_types.dataset_clause) visitor_fun;
arg_list : ('a, Sparql_types.arg_list) visitor_fun;
function_call : ('a, Sparql_types.function_call) visitor_fun;
binary_op : ('a, Sparql_types.binary_op) visitor_fun;
expr : ('a, Sparql_types.expr) visitor_fun;
expression : ('a, Sparql_types.expression) visitor_fun;
built_in_call : ('a, Sparql_types.built_in_call) visitor_fun;
aggregate : ('a, Sparql_types.aggregate) visitor_fun;
group_var : ('a, Sparql_types.group_var) visitor_fun;
group_condition : ('a, Sparql_types.group_condition) visitor_fun;
constraint_ : ('a, Sparql_types.constraint_) visitor_fun;
order_condition : ('a, Sparql_types.order_condition) visitor_fun;
limit_offset_clause : ('a, Sparql_types.limit_offset_clause) visitor_fun;
solution_modifier : ('a, Sparql_types.solution_modifier) visitor_fun;
bind : ('a, Sparql_types.bind) visitor_fun;
service_graph_pattern : ('a, Sparql_types.service_graph_pattern) visitor_fun;
graph_graph_pattern : ('a, Sparql_types.graph_graph_pattern) visitor_fun;
graph_pattern_elt : ('a, Sparql_types.graph_pattern_elt) visitor_fun;
graph_term : ('a, Sparql_types.graph_term) visitor_fun;
var_or_term : ('a, Sparql_types.var_or_term) visitor_fun;
path_one_in_prop_set : ('a, Sparql_types.path_one_in_prop_set) visitor_fun;
path_primary : ('a, Sparql_types.path_primary) visitor_fun;
path_elt : ('a, Sparql_types.path_elt) visitor_fun;
path_elt_or_inverse : ('a, Sparql_types.path_elt_or_inverse) visitor_fun;
path_sequence : ('a, Sparql_types.path_sequence) visitor_fun;
path : ('a, Sparql_types.path) visitor_fun;
verb : ('a, Sparql_types.verb) visitor_fun;
triples_node : ('a, Sparql_types.triples_node) visitor_fun;
graph_node : ('a, Sparql_types.graph_node) visitor_fun;
prop_object_list : ('a, Sparql_types.prop_object_list) visitor_fun;
triples_block : ('a, Sparql_types.triples_block) visitor_fun;
triples_same_subject : ('a, Sparql_types.triples_same_subject) visitor_fun;
ggp_sub : ('a, Sparql_types.ggp_sub) visitor_fun;
group_graph_pattern : ('a, Sparql_types.group_graph_pattern) visitor_fun;
sub_select : ('a, Sparql_types.sub_select) visitor_fun;

}

val var : 'a -> 'b -> 'c -> 'b

val iriref : 'a -> 'b -> 'c -> 'b

val prefixed_name : 'a -> 'b -> 'c -> 'b

val iriloc : 'a -> 'b -> 'c -> 'b

val iri : 'a visitor -> 'a -> Sparql_types.iri -> 'a

val rdf_literal : 'a -> 'b -> 'c -> 'b

val data_block_value : 'a visitor -> 'a -> Sparql_types.data_block_value -> 'a

val data_full_block_value : 
  'a visitor ->
  'a ->
  Sparql_types.data_full_block_value ->
  'a

val inline_data_one_var : 
  'a visitor ->
  'a ->
  Sparql_types.inline_data_one_var ->
  'a

val inline_data_full : 'a visitor -> 'a -> Sparql_types.inline_data_full -> 'a

val datablock : 'a visitor -> 'a -> Sparql_types.datablock -> 'a

val values_clause : 'a visitor -> 'a -> Sparql_types.datablock option -> 'a

val var_or_iri : 'a visitor -> 'a -> Sparql_types.var_or_iri -> 'a

val blank_node : 'a -> 'b -> 'c -> 'b

val select_var : 'a visitor -> 'a -> Sparql_types.select_var -> 'a

val select_vars : 'a visitor -> 'a -> Sparql_types.select_vars -> 'a

val select_clause : 'a visitor -> 'a -> Sparql_types.select_clause -> 'a

val dataset_clause : 'a visitor -> 'a -> Sparql_types.dataset_clause -> 'a

val arg_list : 'a visitor -> 'a -> Sparql_types.arg_list -> 'a

val function_call : 'a visitor -> 'a -> T.function_call -> 'a

val binary_op : 'a -> 'b -> 'c -> 'b

val expr : 'a visitor -> 'a -> Sparql_types.expr -> 'a

val expression : 'a visitor -> 'a -> T.expression -> 'a

val built_in_call : 'a visitor -> 'a -> Sparql_types.built_in_call -> 'a

val aggregate : 'a visitor -> 'a -> Sparql_types.aggregate -> 'a

val group_var : 'a visitor -> 'a -> Sparql_types.group_var -> 'a

val group_condition : 'a visitor -> 'a -> Sparql_types.group_condition -> 'a

val constraint_ : 'a visitor -> 'a -> Sparql_types.constraint_ -> 'a

val order_condition : 'a visitor -> 'a -> Sparql_types.order_condition -> 'a

val limit_offset_clause : 'a -> 'b -> 'c -> 'b

val solution_modifier : 
  'a visitor ->
  'a ->
  Sparql_types.solution_modifier ->
  'a

val bind : 'a visitor -> 'a -> Sparql_types.bind -> 'a

val service_graph_pattern : 
  'a visitor ->
  'a ->
  Sparql_types.service_graph_pattern ->
  'a

val graph_graph_pattern : 
  'a visitor ->
  'a ->
  Sparql_types.graph_graph_pattern ->
  'a

val graph_pattern_elt : 
  'a visitor ->
  'a ->
  Sparql_types.graph_pattern_elt ->
  'a

val graph_term : 'a visitor -> 'a -> Sparql_types.graph_term -> 'a

val var_or_term : 'a visitor -> 'a -> Sparql_types.var_or_term -> 'a

val path_one_in_prop_set : 
  'a visitor ->
  'a ->
  Sparql_types.path_one_in_prop_set ->
  'a

val path_primary : 'a visitor -> 'a -> Sparql_types.path_primary -> 'a

val path_elt : 'a visitor -> 'a -> Sparql_types.path_elt -> 'a

val path_elt_or_inverse : 
  'a visitor ->
  'a ->
  Sparql_types.path_elt_or_inverse ->
  'a

val path_sequence : 
  'a visitor ->
  'a ->
  Sparql_types.path_elt_or_inverse list ->
  'a

val path : 'a visitor -> 'a -> Sparql_types.path_sequence list -> 'a

val verb : 'a visitor -> 'a -> Sparql_types.verb -> 'a

val triples_node : 'a visitor -> 'a -> Sparql_types.triples_node -> 'a

val graph_node : 'a visitor -> 'a -> Sparql_types.graph_node -> 'a

val prop_object_list : 'a visitor -> 'a -> Sparql_types.prop_object_list -> 'a

val triples_block : 'a visitor -> 'a -> Sparql_types.triples_block -> 'a

val triples_same_subject : 
  'a visitor ->
  'a ->
  Sparql_types.triples_same_subject ->
  'a

val ggp_sub : 'a visitor -> 'a -> Sparql_types.ggp_sub -> 'a

val group_graph_pattern : 
  'a visitor ->
  'a ->
  Sparql_types.group_graph_pattern ->
  'a

val sub_select : 'a visitor -> 'a -> Sparql_types.sub_select -> 'a

val default : 'a visitor

package rdf