earley 2.0.0 · OCaml Package

val loc_ptyp : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.core_type_desc ->
  Parsetree.core_type

val loc_ppat : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.pattern_desc ->
  Parsetree.pattern

val loc_pexp : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.expression_desc ->
  Parsetree.expression

val loc_pcty : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.class_type_desc ->
  Parsetree.class_type

val loc_pctf : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.class_type_field_desc ->
  Parsetree.class_type_field

val loc_pmty : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.module_type_desc ->
  Parsetree.module_type

val loc_pmod : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.module_expr_desc ->
  Parsetree.module_expr

val loc_psig : 
  Location.t ->
  Parsetree.signature_item_desc ->
  Parsetree.signature_item

val loc_pstr : 
  Location.t ->
  Parsetree.structure_item_desc ->
  Parsetree.structure_item

type quotation =

| Quote_pexp
| Quote_ppat
| Quote_ptyp
| Quote_pcty
| Quote_pctf
| Quote_pcl
| Quote_pcf
| Quote_pmty
| Quote_psig
| Quote_pmod
| Quote_pstr
| Quote_loc
| Quote_cases

val dummy_pexp : Parsetree.expression_desc

val dummy_ppat : Parsetree.pattern_desc

val dummy_ptyp : 'a

val dummy_pcty : 'a

val dummy_pctf : 'a

val dummy_pcl : 'a

val dummy_pcf : 'a

val dummy_pmty : 'a

val dummy_pmod : 'a

val dummy_loc : 'a -> 'a

val dummy_psig : Parsetree.signature_item_desc

val dummy_pstr : Parsetree.structure_item_desc

val anti_table : (Location.t, quotation -> Parsetree.expression) Hashtbl.t

val string_anti_table : (string, Parsetree.expression) Hashtbl.t

val make_antiquotation : Location.t -> Location.t

val make_list_antiquotation : 
  Location.t ->
  'a ->
  (quotation -> Parsetree.expression) ->
  'b list

val is_antiquotation : Location.t -> bool

val is_list_antiquotation : 'a list -> (Location.t * quotation) option

val quote_bool : 
  Parsetree.expression ->
  Location.t ->
  bool ->
  Parsetree.expression

val quote_int : 
  Parsetree.expression ->
  Location.t ->
  int ->
  Parsetree.expression

val quote_int32 : 
  Parsetree.expression ->
  Location.t ->
  int32 ->
  Parsetree.expression

val quote_int64 : 
  Parsetree.expression ->
  Location.t ->
  int64 ->
  Parsetree.expression

val quote_nativeint : 
  Parsetree.expression ->
  Location.t ->
  nativeint ->
  Parsetree.expression

val quote_char : 
  Parsetree.expression ->
  Location.t ->
  char ->
  Parsetree.expression

val anti_string_prefix : string

val quote_string : 
  Parsetree.expression ->
  Location.t ->
  string ->
  Parsetree.expression

val string_antiquotation : 'a -> Parsetree.expression -> string

val quote_option : 
  'a. (Parsetree.expression -> Location.t -> 'a -> Parsetree.expression) ->
  Parsetree.expression ->
  Location.t ->
  'a option ->
  Parsetree.expression

val quote_list : 
  'a. (Parsetree.expression -> Location.t -> 'a -> Parsetree.expression) ->
  Parsetree.expression ->
  Location.t ->
  'a list ->
  Parsetree.expression

val quote_tuple : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.expression list ->
  Parsetree.expression

val quote_apply : 
  Parsetree.expression ->
  Location.t ->
  Longident.t ->
  Parsetree.expression list ->
  Parsetree.expression

val quote_const : 
  Parsetree.expression ->
  Location.t ->
  Longident.t ->
  Parsetree.expression list ->
  Parsetree.expression

val lexing : string -> Longident.t

val location : string -> Longident.t

val longident : string -> Longident.t

val parsetree : string -> Longident.t

val asttypes : string -> Longident.t

val pa_ast : string -> Longident.t

val quote_longident : 
  Parsetree.expression ->
  Location.t ->
  Longident.t ->
  Parsetree.expression

val quote_record : 
  Parsetree.expression ->
  Location.t ->
  (Longident.t * Parsetree.expression) list ->
  Parsetree.expression

val quote_position : 
  Parsetree.expression ->
  Location.t ->
  Lexing.position ->
  Parsetree.expression

val quote_parser_position : bool ref

val quote_location_t : 
  Parsetree.expression ->
  Location.t ->
  Location.t ->
  Parsetree.expression

val quote_rec_flag : 
  Parsetree.expression ->
  Location.t ->
  Asttypes.rec_flag ->
  Parsetree.expression

val quote_direction_flag : 
  Parsetree.expression ->
  Location.t ->
  Asttypes.direction_flag ->
  Parsetree.expression

val quote_private_flag : 
  Parsetree.expression ->
  Location.t ->
  Asttypes.private_flag ->
  Parsetree.expression

val quote_mutable_flag : 
  Parsetree.expression ->
  Location.t ->
  Asttypes.mutable_flag ->
  Parsetree.expression

val quote_virtual_flag : 
  Parsetree.expression ->
  Location.t ->
  Asttypes.virtual_flag ->
  Parsetree.expression

val quote_override_flag : 
  Parsetree.expression ->
  Location.t ->
  Asttypes.override_flag ->
  Parsetree.expression

val quote_closed_flag : 
  Parsetree.expression ->
  Location.t ->
  Asttypes.closed_flag ->
  Parsetree.expression

val quote_label : 
  Parsetree.expression ->
  Location.t ->
  string ->
  Parsetree.expression

val quote_arg_label : 
  Parsetree.expression ->
  Location.t ->
  Asttypes.arg_label ->
  Parsetree.expression

val quote_loc : 
  'a. (Parsetree.expression -> Location.t -> 'a -> Parsetree.expression) ->
  Parsetree.expression ->
  Location.t ->
  'a Asttypes.loc ->
  Parsetree.expression

val loc_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  'a ->
  'a Asttypes.loc

val quote_variance : 
  Parsetree.expression ->
  Location.t ->
  Asttypes.variance ->
  Parsetree.expression

val quote_constant : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.constant ->
  Parsetree.expression

val quote_attribute : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.attribute ->
  Parsetree.expression

val quote_extension : 
  Parsetree.expression ->
  Location.t ->
  (string Asttypes.loc * Parsetree.payload) ->
  Parsetree.expression

val quote_attributes : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.attributes ->
  Parsetree.expression

val quote_payload : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.payload ->
  Parsetree.expression

val quote_core_type : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.core_type ->
  Parsetree.expression

val ptyp_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  Parsetree.core_type

val quote_core_type_desc : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.core_type_desc ->
  Parsetree.expression

val quote_package_type : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.package_type ->
  Parsetree.expression

val quote_row_field : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.row_field ->
  Parsetree.expression

val quote_object_field : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.object_field ->
  Parsetree.expression

val quote_pattern : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.pattern ->
  Parsetree.expression

val ppat_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  Parsetree.pattern

val quote_pattern_desc : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.pattern_desc ->
  Parsetree.expression

val quote_expression : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.expression ->
  Parsetree.expression

val pexp_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  Parsetree.expression

val quote_expression_desc : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.expression_desc ->
  Parsetree.expression

val quote_case : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.case ->
  Parsetree.expression

val quote_value_description : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.value_description ->
  Parsetree.expression

val quote_type_declaration : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.type_declaration ->
  Parsetree.expression

val quote_type_kind : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.type_kind ->
  Parsetree.expression

val quote_label_declaration : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.label_declaration ->
  Parsetree.expression

val quote_constructor_declaration : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.constructor_declaration ->
  Parsetree.expression

val quote_constructor_arguments : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.constructor_arguments ->
  Parsetree.expression

val quote_type_extension : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.type_extension ->
  Parsetree.expression

val quote_extension_constructor : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.extension_constructor ->
  Parsetree.expression

val quote_extension_constructor_kind : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.extension_constructor_kind ->
  Parsetree.expression

val quote_class_type : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_type ->
  Parsetree.expression

val pcty_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  Parsetree.class_type

val quote_class_type_desc : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_type_desc ->
  Parsetree.expression

val quote_class_signature : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_signature ->
  Parsetree.expression

val quote_class_type_field : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_type_field ->
  Parsetree.expression

val pctf_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  Parsetree.class_type_field

val quote_class_type_field_desc : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_type_field_desc ->
  Parsetree.expression

val quote_class_infos : 
  'a. (Parsetree.expression -> Location.t -> 'a -> Parsetree.expression) ->
  Parsetree.expression ->
  Location.t ->
  'a Parsetree.class_infos ->
  Parsetree.expression

val quote_class_description : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_type Parsetree.class_infos ->
  Parsetree.expression

val quote_class_type_declaration : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_type Parsetree.class_infos ->
  Parsetree.expression

val quote_class_expr : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_expr ->
  Parsetree.expression

val pcl_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  Parsetree.class_expr

val quote_class_expr_desc : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_expr_desc ->
  Parsetree.expression

val quote_class_structure : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_structure ->
  Parsetree.expression

val quote_class_field : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_field ->
  Parsetree.expression

val pcf_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  Parsetree.class_field

val quote_class_field_desc : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_field_desc ->
  Parsetree.expression

val quote_class_field_kind : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_field_kind ->
  Parsetree.expression

val quote_class_declaration : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.class_expr Parsetree.class_infos ->
  Parsetree.expression

val quote_module_type : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.module_type ->
  Parsetree.expression

val pmty_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  Parsetree.module_type

val quote_module_type_desc : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.module_type_desc ->
  Parsetree.expression

val quote_signature : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.signature ->
  Parsetree.expression

val quote_signature_item : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.signature_item ->
  Parsetree.expression

val psig_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  Parsetree.signature_item

val quote_signature_item_desc : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.signature_item_desc ->
  Parsetree.expression

val quote_module_declaration : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.module_declaration ->
  Parsetree.expression

val quote_module_type_declaration : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.module_type_declaration ->
  Parsetree.expression

val quote_open_description : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.open_description ->
  Parsetree.expression

val quote_include_infos : 
  'a. (Parsetree.expression -> Location.t -> 'a -> Parsetree.expression) ->
  Parsetree.expression ->
  Location.t ->
  'a Parsetree.include_infos ->
  Parsetree.expression

val quote_include_description : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.include_description ->
  Parsetree.expression

val quote_include_declaration : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.module_expr Parsetree.include_infos ->
  Parsetree.expression

val quote_with_constraint : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.with_constraint ->
  Parsetree.expression

val quote_module_expr : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.module_expr ->
  Parsetree.expression

val pmod_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  Parsetree.module_expr

val quote_module_expr_desc : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.module_expr_desc ->
  Parsetree.expression

val quote_structure : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.structure ->
  Parsetree.expression

val quote_structure_item : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.structure_item ->
  Parsetree.expression

val pstr_antiquotation : 
  Location.t ->
  (quotation -> Parsetree.expression) ->
  Parsetree.structure_item

val quote_structure_item_desc : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.structure_item_desc ->
  Parsetree.expression

val quote_value_binding : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.value_binding ->
  Parsetree.expression

val quote_module_binding : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.module_binding ->
  Parsetree.expression

val quote_toplevel_phrase : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.toplevel_phrase ->
  Parsetree.expression

val quote_directive_argument : 
  Parsetree.expression ->
  Location.t ->
  Parsetree.directive_argument ->
  Parsetree.expression

package earley