earley 2.0.0 · OCaml Package

val debug_attach : bool ref

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

val before_parse_hook : unit -> unit

type 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 =

| 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 =

| 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 =

| 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 * Pa_ocaml_prelude.entry_point) list

package earley