package rdf

  1. Overview
  2. Docs
module T = Sparql_types
val map_opt : ('a -> 'b) -> 'a option -> 'b option
type ('acc, 't) map_fun = 'acc mapper -> 'acc -> 't -> 't
and 'a mapper = {
  1. var : ('a, Sparql_types.var) map_fun;
  2. iriref : ('a, Sparql_types.iriref) map_fun;
  3. prefixed_name : ('a, Sparql_types.prefixed_name) map_fun;
  4. iriloc : ('a, Sparql_types.iriloc) map_fun;
  5. iri : ('a, Sparql_types.iri) map_fun;
  6. rdf_literal : ('a, Sparql_types.rdf_literal) map_fun;
  7. data_block_value : ('a, Sparql_types.data_block_value) map_fun;
  8. data_full_block_value : ('a, Sparql_types.data_full_block_value) map_fun;
  9. inline_data_one_var : ('a, Sparql_types.inline_data_one_var) map_fun;
  10. inline_data_full : ('a, Sparql_types.inline_data_full) map_fun;
  11. datablock : ('a, Sparql_types.datablock) map_fun;
  12. values_clause : ('a, Sparql_types.values_clause) map_fun;
  13. var_or_iri : ('a, Sparql_types.var_or_iri) map_fun;
  14. blank_node : ('a, Sparql_types.blank_node) map_fun;
  15. select_var : ('a, Sparql_types.select_var) map_fun;
  16. select_vars : ('a, Sparql_types.select_vars) map_fun;
  17. select_clause : ('a, Sparql_types.select_clause) map_fun;
  18. dataset_clause : ('a, Sparql_types.dataset_clause) map_fun;
  19. arg_list : ('a, Sparql_types.arg_list) map_fun;
  20. function_call : ('a, Sparql_types.function_call) map_fun;
  21. binary_op : ('a, Sparql_types.binary_op) map_fun;
  22. expr : ('a, Sparql_types.expr) map_fun;
  23. expression : ('a, Sparql_types.expression) map_fun;
  24. built_in_call : ('a, Sparql_types.built_in_call) map_fun;
  25. aggregate : ('a, Sparql_types.aggregate) map_fun;
  26. group_var : ('a, Sparql_types.group_var) map_fun;
  27. group_condition : ('a, Sparql_types.group_condition) map_fun;
  28. constraint_ : ('a, Sparql_types.constraint_) map_fun;
  29. order_condition : ('a, Sparql_types.order_condition) map_fun;
  30. limit_offset_clause : ('a, Sparql_types.limit_offset_clause) map_fun;
  31. solution_modifier : ('a, Sparql_types.solution_modifier) map_fun;
  32. bind : ('a, Sparql_types.bind) map_fun;
  33. service_graph_pattern : ('a, Sparql_types.service_graph_pattern) map_fun;
  34. graph_graph_pattern : ('a, Sparql_types.graph_graph_pattern) map_fun;
  35. graph_pattern_elt : ('a, Sparql_types.graph_pattern_elt) map_fun;
  36. graph_term : ('a, Sparql_types.graph_term) map_fun;
  37. var_or_term : ('a, Sparql_types.var_or_term) map_fun;
  38. path_one_in_prop_set : ('a, Sparql_types.path_one_in_prop_set) map_fun;
  39. path_primary : ('a, Sparql_types.path_primary) map_fun;
  40. path_elt : ('a, Sparql_types.path_elt) map_fun;
  41. path_elt_or_inverse : ('a, Sparql_types.path_elt_or_inverse) map_fun;
  42. path_sequence : ('a, Sparql_types.path_sequence) map_fun;
  43. path : ('a, Sparql_types.path) map_fun;
  44. verb : ('a, Sparql_types.verb) map_fun;
  45. triples_node : ('a, Sparql_types.triples_node) map_fun;
  46. graph_node : ('a, Sparql_types.graph_node) map_fun;
  47. prop_object_list : ('a, Sparql_types.prop_object_list) map_fun;
  48. triples_block : ('a, Sparql_types.triples_block) map_fun;
  49. triples_same_subject : ('a, Sparql_types.triples_same_subject) map_fun;
  50. ggp_sub : ('a, Sparql_types.ggp_sub) map_fun;
  51. group_graph_pattern : ('a, Sparql_types.group_graph_pattern) map_fun;
  52. sub_select : ('a, Sparql_types.sub_select) map_fun;
}
val var : 'a -> 'b -> 'c -> 'c
val iriref : 'a -> 'b -> 'c -> 'c
val prefixed_name : 'a -> 'b -> 'c -> 'c
val iriloc : 'a -> 'b -> 'c -> 'c
val iri : 'a mapper -> 'a -> Sparql_types.iri -> Sparql_types.iri
val rdf_literal : 'a -> 'b -> 'c -> 'c
val values_clause : 'a mapper -> 'a -> Sparql_types.datablock option -> Sparql_types.datablock option
val blank_node : 'a -> 'b -> 'c -> 'c
val arg_list : 'a mapper -> 'a -> Sparql_types.arg_list -> Sparql_types.arg_list
val function_call : 'a mapper -> 'a -> T.function_call -> Sparql_types.function_call
val binary_op : 'a -> 'b -> 'c -> 'c
val expr : 'a mapper -> 'a -> Sparql_types.expr -> Sparql_types.expr
val expression : 'a mapper -> 'a -> T.expression -> T.expression
val limit_offset_clause : 'a -> 'b -> 'c -> 'c
val bind : 'a mapper -> 'a -> Sparql_types.bind -> Sparql_types.bind
val path_elt : 'a mapper -> 'a -> Sparql_types.path_elt -> Sparql_types.path_elt
val path_sequence : 'a mapper -> 'a -> Sparql_types.path_elt_or_inverse list -> Sparql_types.path_elt_or_inverse list
val verb : 'a mapper -> 'a -> Sparql_types.verb -> Sparql_types.verb
val ggp_sub : 'a mapper -> 'a -> Sparql_types.ggp_sub -> Sparql_types.ggp_sub
val default : 'a mapper
OCaml

Innovation. Community. Security.