earley 2.0.0 · OCaml Package

Parameters

module Initial : Extension

Signature

include module type of struct include Initial end

val debug_attach : bool ref

val spec : (Arg.key * Arg.spec * Arg.doc) list

val before_parse_hook : unit -> unit

type expression_prio = Initial.expression_prio =

| Seq
| If
| Aff
| Tupl
| Disj
| Conj
| Eq
| Append
| Cons
| Sum
| Prod
| Pow
| Opp
| App
| Dash
| Dot
| Prefix
| Atom

val expression_prios : expression_prio list

val next_exp : expression_prio -> expression_prio

type alm = Initial.alm =

| NoMatch
| Match
| Let

val allow_match : alm -> bool

val allow_let : alm -> bool

val string_exp : (alm * expression_prio) -> string

val expression_lvl : 
  (alm * expression_prio) ->
  Parsetree.expression Earley_core.Earley.grammar

val set_expression_lvl : 
  ((alm * expression_prio) -> Parsetree.expression Earley_core.Earley.grammar) ->
  unit

val expression : Parsetree.expression Earley_core.Earley.grammar

val structure_item : Parsetree.structure_item list Earley_core.Earley.grammar

val signature_item : Parsetree.signature_item list Earley_core.Earley.grammar

val parameter : 
  bool ->
  [ `Arg of
      Asttypes.arg_label * Parsetree.expression option * Parsetree.pattern
  | `Type of string Location.loc ]
    Earley_core.Earley.grammar

val set_parameter : 
  (bool ->
    [ `Arg of
        Asttypes.arg_label * Parsetree.expression option * Parsetree.pattern
    | `Type of string Location.loc ]
      Earley_core.Earley.grammar) ->
  unit

val structure : Parsetree.structure_item list Earley_core.Earley.grammar

val signature : Parsetree.signature_item list Earley_core.Earley.grammar

type type_prio = Initial.type_prio =

| TopType
| As
| Arr
| ProdType
| DashType
| AppType
| AtomType

val type_prios : type_prio list

val type_prio_to_string : ('a * type_prio) -> string

val next_type_prio : type_prio -> type_prio

val typexpr_lvl_raw : 
  (bool * type_prio) ->
  Parsetree.core_type Earley_core.Earley.grammar

val set_typexpr_lvl : 
  ((((bool * type_prio) ->
    bool)
    * Parsetree.core_type Earley_core.Earley.grammar)
     list
   * ((bool * type_prio) ->
   Parsetree.core_type Earley_core.Earley.grammar list)) ->
  unit

val typexpr_lvl : type_prio -> Parsetree.core_type Earley_core.Earley.grammar

val typexpr_nopar : Parsetree.core_type Earley_core.Earley.grammar

val typexpr : Parsetree.core_type Earley_core.Earley.grammar

type pattern_prio = Initial.pattern_prio =

| AltPat
| TupPat
| ConsPat
| ConstrPat
| AtomPat

val topPat : pattern_prio

val pat_prio_to_string : ('a * pattern_prio) -> string

val next_pat_prio : pattern_prio -> pattern_prio

val pattern_lvl : 
  (bool * pattern_prio) ->
  Parsetree.pattern Earley_core.Earley.grammar

val set_pattern_lvl : 
  ((((bool * pattern_prio) ->
    bool)
    * Parsetree.pattern Earley_core.Earley.grammar)
     list
   * ((bool * pattern_prio) ->
   Parsetree.pattern Earley_core.Earley.grammar list)) ->
  unit

val pattern : Parsetree.pattern Earley_core.Earley.grammar

val let_binding : Parsetree.value_binding list Earley_core.Earley.grammar

val class_body : Parsetree.class_structure Earley_core.Earley.grammar

val class_expr : Parsetree.class_expr Earley_core.Earley.grammar

val value_path : Longident.t Earley_core.Earley.grammar

val extra_expressions : 
  ((alm * expression_prio) ->
    Parsetree.expression Earley_core.Earley.grammar)
    list

val extra_prefix_expressions : 
  Parsetree.expression Earley_core.Earley.grammar list

val extra_types : 
  (type_prio -> Parsetree.core_type Earley_core.Earley.grammar) list

val extra_patterns : 
  ((bool * pattern_prio) -> Parsetree.pattern Earley_core.Earley.grammar) list

val extra_structure : 
  Parsetree.structure_item list Earley_core.Earley.grammar list

val extra_signature : 
  Parsetree.signature_item list Earley_core.Earley.grammar list

type record_field = Longident.t Asttypes.loc * Parsetree.expression

val constr_decl_list : 
  Parsetree.constructor_declaration list Earley_core.Earley.grammar

val field_decl_list : 
  Parsetree.label_declaration list Earley_core.Earley.grammar

val record_list : record_field list Earley_core.Earley.grammar

val match_cases : Parsetree.case list Earley_core.Earley.grammar

val module_expr : Parsetree.module_expr Earley_core.Earley.grammar

val module_type : Parsetree.module_type Earley_core.Earley.grammar

val parse_string' : 'a Earley_core.Earley.grammar -> string -> 'a

val mk_attrib : 
  Astextra.loc ->
  'a ->
  string ->
  'a Asttypes.loc * Parsetree.payload

val attach_attrib : 
  Location.t ->
  (string Asttypes.loc * Parsetree.payload) list ->
  (string Asttypes.loc * Parsetree.payload) list

val attach_gen : 
  (Location.t -> (string Asttypes.loc * Parsetree.payload) -> 'a) ->
  Location.t ->
  'a list

val attach_sig : Location.t -> Parsetree.signature_item list

val attach_str : Location.t -> Parsetree.structure_item list

val union_re : string list -> string

val arrow_re : string Earley_core.Earley.grammar

val infix_symb_re : expression_prio -> string

val infix_prios : expression_prio list

val prefix_symb_re : expression_prio -> string

val prefix_prios : expression_prio list

val infix_symbol : expression_prio -> string Earley_core.Earley.grammar

val infix_symbol__set__grammar : 
  (expression_prio -> string Earley_core.Earley.grammar) ->
  unit

val prefix_symbol : expression_prio -> string Earley_core.Earley.grammar

val prefix_symbol__set__grammar : 
  (expression_prio -> string Earley_core.Earley.grammar) ->
  unit

val mutable_flag : Asttypes.mutable_flag Earley_core.Earley.grammar

val private_flag : Asttypes.private_flag Earley_core.Earley.grammar

val virtual_flag : Asttypes.virtual_flag Earley_core.Earley.grammar

val rec_flag : Asttypes.rec_flag Earley_core.Earley.grammar

val downto_flag : Asttypes.direction_flag Earley_core.Earley.grammar

val entry_points : (string * entry_point) list

val ouident : string Earley_core.Earley.grammar

val uident : string Earley_core.Earley.grammar

val olident : string Earley_core.Earley.grammar

val lident : Asttypes.label Earley_core.Earley.grammar

val oident : string Earley_core.Earley.grammar

val ident : Asttypes.label Earley_core.Earley.grammar

val mk_unary_op : 
  Astextra.loc ->
  string ->
  Location.t ->
  Parsetree.expression ->
  Parsetree.expression

val mk_binary_op : 
  Astextra.loc ->
  Parsetree.expression ->
  string ->
  Location.t ->
  Parsetree.expression ->
  Parsetree.expression

val wrap_type_annotation : 
  Astextra.loc ->
  Astextra.str list ->
  Parsetree.core_type ->
  Parsetree.expression ->
  Parsetree.expression * Parsetree.core_type

type tree =

| Node of tree * tree
| Leaf of string

val string_of_tree : tree -> string

val label_name : Asttypes.label Earley_core.Earley.grammar

val ty_label : Asttypes.arg_label Earley_core.Earley.grammar

val ty_opt_label : Asttypes.arg_label Earley_core.Earley.grammar

val maybe_opt_label : Asttypes.arg_label Earley_core.Earley.grammar

val list_antiquotation : Location.t -> Parsetree.expression -> 'a list

val operator_name : string Earley_core.Earley.grammar

val value_name : Asttypes.label Earley_core.Earley.grammar

val constr_name : string Earley_core.Earley.grammar

val tag_name : Asttypes.label Earley_core.Earley.grammar

val typeconstr_name : Asttypes.label Earley_core.Earley.grammar

val field_name : Asttypes.label Earley_core.Earley.grammar

val smodule_name : string Earley_core.Earley.grammar

val module_name : string Asttypes.loc Earley_core.Earley.grammar

val modtype_name : Asttypes.label Earley_core.Earley.grammar

val class_name : Asttypes.label Earley_core.Earley.grammar

val inst_var_name : Asttypes.label Earley_core.Earley.grammar

val method_name : Asttypes.label Asttypes.loc Earley_core.Earley.grammar

val module_path_gen : bool -> Longident.t Earley_core.Earley.grammar

val set_module_path_gen : 
  (bool -> Longident.t Earley_core.Earley.grammar) ->
  unit

val module_path_suit : 
  bool ->
  (Longident.t -> Longident.t) Earley_core.Earley.grammar

val set_module_path_suit : 
  (bool -> (Longident.t -> Longident.t) Earley_core.Earley.grammar) ->
  unit

val module_path_suit_aux : 
  bool ->
  (Longident.t -> Longident.t) Earley_core.Earley.grammar

val module_path_suit_aux__set__grammar : 
  (bool -> (Longident.t -> Longident.t) Earley_core.Earley.grammar) ->
  unit

val module_path : Longident.t Earley_core.Earley.grammar

val extended_module_path : Longident.t Earley_core.Earley.grammar

val constr : Longident.t Earley_core.Earley.grammar

val typeconstr : Longident.t Earley_core.Earley.grammar

val field : Longident.t Earley_core.Earley.grammar

val class_path : Longident.t Earley_core.Earley.grammar

val modtype_path : Longident.t Earley_core.Earley.grammar

val classtype_path : Longident.t Earley_core.Earley.grammar

val opt_variance : Asttypes.variance Earley_core.Earley.grammar

val override_flag : Asttypes.override_flag Earley_core.Earley.grammar

val attr_id : string Asttypes.loc Earley_core.Earley.grammar

val payload : Parsetree.payload Earley_core.Earley.grammar

val attribute : Parsetree.attribute Earley_core.Earley.grammar

val attributes : Parsetree.attribute list Earley_core.Earley.grammar

val ext_attributes : 
  (Parsetree.attribute option * Parsetree.attribute list)
    Earley_core.Earley.grammar

val post_item_attributes : Astextra.attrs Earley_core.Earley.grammar

val floating_attribute : 
  (string Asttypes.loc * Parsetree.payload) Earley_core.Earley.grammar

val extension : 
  (string Asttypes.loc * Parsetree.payload) Earley_core.Earley.grammar

val floating_extension : 
  (string Asttypes.loc * Parsetree.payload) Earley_core.Earley.grammar

val only_poly_typexpr : Parsetree.core_type Earley_core.Earley.grammar

val poly_typexpr : Parsetree.core_type Earley_core.Earley.grammar

val poly_syntax_typexpr : 
  (Asttypes.label Asttypes.loc list * Parsetree.core_type)
    Earley_core.Earley.grammar

val method_type : Parsetree.object_field Earley_core.Earley.grammar

val tag_spec : Parsetree.row_field Earley_core.Earley.grammar

val tag_spec_first : Parsetree.row_field list Earley_core.Earley.grammar

val tag_spec_full : Parsetree.row_field Earley_core.Earley.grammar

val polymorphic_variant_type : Parsetree.core_type Earley_core.Earley.grammar

val package_constraint : 
  (Longident.t Asttypes.loc * Parsetree.core_type) Earley_core.Earley.grammar

val package_type : Parsetree.core_type Earley_core.Earley.grammar

val opt_present : Asttypes.label list Earley_core.Earley.grammar

val mkoption : Location.t -> Parsetree.core_type -> Parsetree.core_type

val extra_types_grammar : 
  type_prio ->
  Parsetree.core_type Earley_core.Earley.grammar

val op_cl : Asttypes.closed_flag Earley_core.Earley.grammar

val type_param : (Pa_ast.tpar * Asttypes.variance) Earley_core.Earley.grammar

val type_params : 
  (Pa_ast.tpar * Asttypes.variance) list Earley_core.Earley.grammar

val type_equation : 
  (Asttypes.private_flag * Parsetree.core_type) Earley_core.Earley.grammar

val type_constraint : 
  (Parsetree.core_type * Parsetree.core_type * Location.t)
    Earley_core.Earley.grammar

val constr_name2 : string Earley_core.Earley.grammar

val bar : bool -> unit Earley_core.Earley.grammar

val bar__set__grammar : (bool -> unit Earley_core.Earley.grammar) -> unit

val constr_decl : 
  bool ->
  (string Asttypes.loc
   * Parsetree.constructor_arguments
   * Parsetree.core_type option
   * Astextra.attrs)
    Earley_core.Earley.grammar

val constr_decl__set__grammar : 
  (bool ->
    (string Asttypes.loc
     * Parsetree.constructor_arguments
     * Parsetree.core_type option
     * Astextra.attrs)
      Earley_core.Earley.grammar) ->
  unit

FIXME OCAML: the bar is included in position

val type_constr_decl : 
  bool ->
  Parsetree.constructor_declaration Earley_core.Earley.grammar

val type_constr_decl__set__grammar : 
  (bool -> Parsetree.constructor_declaration Earley_core.Earley.grammar) ->
  unit

val type_constr_extn : 
  bool ->
  Parsetree.extension_constructor Earley_core.Earley.grammar

val type_constr_extn__set__grammar : 
  (bool -> Parsetree.extension_constructor Earley_core.Earley.grammar) ->
  unit

val constr_extn_list : 
  Parsetree.extension_constructor list Earley_core.Earley.grammar

val field_decl_semi : Parsetree.label_declaration Earley_core.Earley.grammar

val field_decl : Parsetree.label_declaration Earley_core.Earley.grammar

val field_decl_aux : 
  Parsetree.label_declaration list Earley_core.Earley.grammar

val type_representation : Parsetree.type_kind Earley_core.Earley.grammar

val type_information : 
  (Asttypes.private_flag
   * (Asttypes.private_flag * Parsetree.core_type) option
   * Parsetree.type_kind
   * (Parsetree.core_type * Parsetree.core_type * Location.t) list)
    Earley_core.Earley.grammar

val typedef_gen : 
  bool ->
  'a Earley_core.Earley.grammar ->
  ('a -> string) ->
  (Location.t option ->
    'a Asttypes.loc * Parsetree.type_declaration)
    Earley_core.Earley.grammar

val type_extension : Parsetree.type_extension Earley_core.Earley.grammar

val typedef : 
  (Location.t option ->
    Asttypes.label Asttypes.loc * Parsetree.type_declaration)
    Earley_core.Earley.grammar

val typedef_in_constraint : 
  (Location.t option ->
    Longident.t Asttypes.loc * Parsetree.type_declaration)
    Earley_core.Earley.grammar

val type_definition : 
  Parsetree.type_declaration list Earley_core.Earley.grammar

val exception_definition : 
  Parsetree.structure_item_desc Earley_core.Earley.grammar

val class_field_spec : Parsetree.class_type_field Earley_core.Earley.grammar

val class_body_type : Parsetree.class_type Earley_core.Earley.grammar

val virt_mut : 
  (Asttypes.virtual_flag * Asttypes.mutable_flag) Earley_core.Earley.grammar

val virt_priv : 
  (Asttypes.virtual_flag * Asttypes.private_flag) Earley_core.Earley.grammar

val class_type : Parsetree.class_type Earley_core.Earley.grammar

val type_parameters : 
  (Pa_ast.tpar * Asttypes.variance) list Earley_core.Earley.grammar

val class_spec : Parsetree.class_description Earley_core.Earley.grammar

val class_specification : 
  Parsetree.class_description list Earley_core.Earley.grammar

val classtype_def : 
  (Location.t -> Parsetree.class_type_declaration) Earley_core.Earley.grammar

val classtype_definition : 
  Parsetree.class_type_declaration list Earley_core.Earley.grammar

val constant : Parsetree.constant Earley_core.Earley.grammar

val neg_constant : Parsetree.constant Earley_core.Earley.grammar

val extra_patterns_grammar : 
  (bool * pattern_prio) ->
  Parsetree.pattern Earley_core.Earley.grammar

val extra_patterns_grammar__set__grammar : 
  ((bool * pattern_prio) -> Parsetree.pattern Earley_core.Earley.grammar) ->
  unit

val let_re : string

type assoc =

| NoAssoc
| Left
| Right

val assoc : expression_prio -> assoc

val infix_prio : string -> expression_prio

val prefix_prio : string -> expression_prio

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

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

val untuplify : Parsetree.expression -> Parsetree.expression list

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

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

val constructor : Longident.t Earley_core.Earley.grammar

val argument : 
  (Asttypes.arg_label * Parsetree.expression) Earley_core.Earley.grammar

val apply_params : 
  ?gh:bool ->
  Location.t ->
  ([< `Arg of
        Asttypes.arg_label * Parsetree.expression option * Parsetree.pattern
   | `Type of Astextra.str ]
   * Location.t)
    list ->
  Parsetree.expression ->
  Parsetree.expression

FIXME OCAML: should be ghost, or above should not be ghost

val apply_params_cls : 
  ?gh:bool ->
  Location.t ->
  ([< `Arg of
        Asttypes.arg_label * Parsetree.expression option * Parsetree.pattern
   | `Type of 'a ]
   * Location.t)
    list ->
  Parsetree.class_expr ->
  Parsetree.class_expr

FIXME OCAML: shoud be ghost as above ?

val right_member : Parsetree.expression Earley_core.Earley.grammar

val eright_member : 
  (Parsetree.core_type option * Parsetree.expression)
    Earley_core.Earley.grammar

FIXME OCAML: shoud not change the position below

val match_case__set__grammar : 
  ((alm * expression_prio) -> Parsetree.case Earley_core.Earley.grammar) ->
  unit

val match_case : 
  alm ->
  expression_prio ->
  Parsetree.case Earley_core.Earley.grammar

val type_coercion : 
  (Parsetree.core_type option * Parsetree.core_type option)
    Earley_core.Earley.grammar

val expression_list : 
  (Parsetree.expression * Location.t) list Earley_core.Earley.grammar

val record_item : record_field Earley_core.Earley.grammar

val last_record_item : record_field Earley_core.Earley.grammar

val obj_item : 
  (Asttypes.label Asttypes.loc * Parsetree.expression)
    Earley_core.Earley.grammar

val class_expr_base : Parsetree.class_expr Earley_core.Earley.grammar

val class_field : Parsetree.class_field Earley_core.Earley.grammar

val class_binding : 
  (Location.t -> Parsetree.class_declaration) Earley_core.Earley.grammar

val class_definition : 
  Parsetree.class_declaration list Earley_core.Earley.grammar

val pexp_list : 
  Location.t ->
  ?loc_cl:Location.t ->
  (Parsetree.expression * Location.t) list ->
  Parsetree.expression

val apply_lbl : 
  Location.t ->
  (string * Parsetree.expression option) ->
  string * Parsetree.expression

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

val extra_expressions_grammar : 
  (alm * expression_prio) ->
  Parsetree.expression Earley_core.Earley.grammar

val extra_expressions_grammar__set__grammar : 
  ((alm * expression_prio) -> Parsetree.expression Earley_core.Earley.grammar) ->
  unit

val structure_item_simple : Parsetree.structure Earley_core.Earley.grammar

val left_expr : 
  (alm * expression_prio) ->
  (expression_prio
   * bool
   * (Parsetree.expression ->
   (Astextra.loc * Location.t) ->
   Parsetree.expression))
    Earley_core.Earley.grammar

val left_expr__set__grammar : 
  ((((alm * expression_prio) ->
    bool)
    * (expression_prio
       * bool
       * (Parsetree.expression ->
       (Astextra.loc * Location.t) ->
       Parsetree.expression))
        Earley_core.Earley.grammar)
     list
   * ((alm * expression_prio) ->
   (expression_prio
    * bool
    * (Parsetree.expression ->
    (Astextra.loc * Location.t) ->
    Parsetree.expression))
     Earley_core.Earley.grammar
     list)) ->
  unit

val prefix_expr : 
  expression_prio ->
  (expression_prio
   * bool
   * (Parsetree.expression ->
   (Astextra.loc * Location.t) ->
   Parsetree.expression))
    Earley_core.Earley.grammar

val prefix_expr__set__grammar : 
  (expression_prio ->
    (expression_prio
     * bool
     * (Parsetree.expression ->
     (Astextra.loc * Location.t) ->
     Parsetree.expression))
      Earley_core.Earley.grammar) ->
  unit

val infix_expr : 
  expression_prio ->
  (expression_prio
   * bool
   * (Parsetree.expression ->
   (Astextra.loc * 'a) ->
   Parsetree.expression))
    Earley_core.Earley.grammar

val prefix_expression : Parsetree.expression Earley_core.Earley.grammar

val right_expression : 
  expression_prio ->
  Parsetree.expression Earley_core.Earley.grammar

val right_expression__set__grammar : 
  (((expression_prio -> bool) * Parsetree.expression Earley_core.Earley.grammar)
     list
   * (expression_prio ->
   Parsetree.expression Earley_core.Earley.grammar list)) ->
  unit

val semicol : (alm * expression_prio) -> bool Earley_core.Earley.grammar

val semicol__set__grammar : 
  ((((alm * expression_prio) -> bool) * bool Earley_core.Earley.grammar) list
   * ((alm * expression_prio) ->
   bool Earley_core.Earley.grammar list)) ->
  unit

val noelse : bool -> unit Earley_core.Earley.grammar

val noelse__set__grammar : 
  (((bool -> bool) * unit Earley_core.Earley.grammar) list
   * (bool ->
   unit Earley_core.Earley.grammar list)) ->
  unit

val debut__set__grammar : 
  ((expression_prio * alm) ->
    ((expression_prio * bool)
     * ((Parsetree.expression ->
        (Astextra.loc * Location.t) ->
        Parsetree.expression)
        * Location.t))
      Earley_core.Earley.grammar) ->
  unit

val debut : 
  expression_prio ->
  alm ->
  ((expression_prio * bool)
   * ((Parsetree.expression ->
      (Astextra.loc * Location.t) ->
      Parsetree.expression)
      * Location.t))
    Earley_core.Earley.grammar

val suit__set__grammar : 
  ((expression_prio * alm * (expression_prio * bool)) ->
    (((Parsetree.expression ->
      (Astextra.loc * Location.t) ->
      Parsetree.expression)
      * Location.t) ->
      Parsetree.expression)
      Earley_core.Earley.grammar) ->
  unit

val suit : 
  expression_prio ->
  alm ->
  (expression_prio * bool) ->
  (((Parsetree.expression ->
    (Astextra.loc * Location.t) ->
    Parsetree.expression)
    * Location.t) ->
    Parsetree.expression)
    Earley_core.Earley.grammar

val module_expr_base : Parsetree.module_expr Earley_core.Earley.grammar

val module_type_base : Parsetree.module_type Earley_core.Earley.grammar

val mod_constraint : Parsetree.with_constraint Earley_core.Earley.grammar

val structure_item_base : Parsetree.structure_item Earley_core.Earley.grammar

val structure_item_aux : 
  Parsetree.structure_item list Earley_core.Earley.grammar

val signature_item_base : Parsetree.signature_item Earley_core.Earley.grammar

package earley

Parameters

Signature