earley 2.0.0 · OCaml Package

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

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

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

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

val loc_pcl : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.class_expr_desc ->
  Parsetree.class_expr

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

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

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

val loc_pcf : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.class_field_desc ->
  Parsetree.class_field

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

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

val pexp_construct : 
  (Longident.t Asttypes.loc * Parsetree.expression option) ->
  Parsetree.expression_desc

val pexp_fun : 
  (Asttypes.arg_label
   * Parsetree.expression option
   * Parsetree.pattern
   * Parsetree.expression) ->
  Parsetree.expression_desc

val ghost : Location.t -> Location.t

val no_ghost : Location.t -> Location.t

val de_ghost : Parsetree.expression -> Parsetree.expression

val id_loc : 'a -> Location.t -> 'a Asttypes.loc

val loc_id : Location.t -> 'a -> 'a Asttypes.loc

val merge : Location.t list -> Location.t

val merge2 : Location.t -> Location.t -> Location.t

val const_string : string -> Parsetree.constant

val const_float : string -> Parsetree.constant

val const_char : char -> Parsetree.constant

val const_int : int -> Parsetree.constant

val const_int32 : int32 -> Parsetree.constant

val const_int64 : int64 -> Parsetree.constant

val const_nativeint : nativeint -> Parsetree.constant

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

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

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

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

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

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

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

val exp_const : 
  Location.t ->
  Longident.t ->
  Parsetree.expression option ->
  Parsetree.expression

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

val exp_None : Location.t -> Parsetree.expression

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

val exp_option : 
  Location.t ->
  Parsetree.expression option ->
  Parsetree.expression

val exp_unit : Location.t -> Parsetree.expression

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

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

val exp_Nil : Location.t -> Parsetree.expression

val exp_true : Location.t -> Parsetree.expression

val exp_false : Location.t -> Parsetree.expression

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

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

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

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

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

val pat_ident : Location.t -> string -> Parsetree.pattern

val pat_array : Location.t -> Parsetree.pattern list -> Parsetree.pattern

val typ_unit : Location.t -> Parsetree.core_type

val typ_tuple : Location.t -> Parsetree.core_type list -> Parsetree.core_type

val nolabel : Asttypes.arg_label

val labelled : string -> Asttypes.arg_label

val optional : string -> Asttypes.arg_label

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

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

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

val exp_Some_fun : Location.t -> Parsetree.expression

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

val exp_lab_apply : 
  Location.t ->
  Parsetree.expression ->
  (Asttypes.arg_label * Parsetree.expression) list ->
  Parsetree.expression

val exp_app : Location.t -> Parsetree.expression

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

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

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

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

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

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

val exp_Cons_fun : Location.t -> Parsetree.expression

val exp_Cons_rev_fun : Location.t -> Parsetree.expression

val exp_apply_fun : Location.t -> Parsetree.expression

val ppat_alias : Location.t -> Parsetree.pattern -> string -> Parsetree.pattern

val constructor_declaration : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  string Asttypes.loc ->
  Parsetree.constructor_arguments ->
  Parsetree.core_type option ->
  Parsetree.constructor_declaration

val label_declaration : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  string Asttypes.loc ->
  Asttypes.mutable_flag ->
  Parsetree.core_type ->
  Parsetree.label_declaration

type tpar =

| Joker of Location.t
| Name of string Asttypes.loc

val params_map : (tpar * 'a) list -> (Parsetree.core_type * 'a) list

val type_declaration : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  string Asttypes.loc ->
  (tpar * Asttypes.variance) list ->
  (Parsetree.core_type * Parsetree.core_type * Location.t) list ->
  Parsetree.type_kind ->
  Asttypes.private_flag ->
  Parsetree.core_type option ->
  Parsetree.type_declaration

val class_type_declaration : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  string Asttypes.loc ->
  (tpar * Asttypes.variance) list ->
  Asttypes.virtual_flag ->
  'a ->
  'a Parsetree.class_infos

val pstr_eval : Parsetree.expression -> Parsetree.structure_item_desc

val psig_value : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  string Asttypes.loc ->
  Parsetree.core_type ->
  string list ->
  Parsetree.signature_item_desc

val value_binding : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  Parsetree.pattern ->
  Parsetree.expression ->
  Parsetree.value_binding

val module_binding : 
  Location.t ->
  string Asttypes.loc ->
  Parsetree.module_type option ->
  Parsetree.module_expr ->
  Parsetree.module_binding

val module_declaration : 
  ?attributes:Parsetree.attributes ->
  Location.t ->
  string Asttypes.loc ->
  Parsetree.module_type ->
  Parsetree.module_declaration

val ppat_construct : 
  (Longident.t Asttypes.loc * Parsetree.pattern option) ->
  Parsetree.pattern_desc

val pexp_constraint : 
  (Parsetree.expression * Parsetree.core_type) ->
  Parsetree.expression_desc

val pexp_coerce : 
  (Parsetree.expression * Parsetree.core_type option * Parsetree.core_type) ->
  Parsetree.expression_desc

val pexp_assertfalse : Location.t -> Parsetree.expression

val make_case : 
  Parsetree.pattern ->
  Parsetree.expression ->
  Parsetree.expression option ->
  Parsetree.case

val pexp_function : Parsetree.case list -> Parsetree.expression_desc

val pat_unit : Location.t -> Parsetree.pattern

val pat_tuple : Location.t -> Parsetree.pattern list -> Parsetree.pattern

val pat_list : 
  Location.t ->
  Location.t ->
  Parsetree.pattern list ->
  Parsetree.pattern

val ppat_list : 
  Location.t ->
  Location.t ->
  Parsetree.pattern list ->
  Parsetree.pattern

package earley