earley 2.0.0 · OCaml Package

Parameters

module In : Pa_ocaml_prelude.Extension

Signature

include module type of struct include In end

val debug_attach : bool ref

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

val before_parse_hook : unit -> unit

type expression_prio = In.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 = In.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 = In.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 = In.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_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_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

val expr_arg : Parsetree.expression Earley_core.Earley.grammar

val build_rule : 
  (Location.t
   * bool
   * 'a
   * [ `Normal of
         (string * Parsetree.pattern option)
         * bool
         * Parsetree.expression
         * [< `Fixpoint of
                Parsetree.expression option * 'b option & Parsetree.expression
                                                            option
                                                          * 'c option
           | `Fixpoint1 of
             Parsetree.expression option * 'd option & Parsetree.expression
                                                         option
                                                       * 'e option
           | `Greedy
           | `Once
           | `Option of
             Parsetree.expression option * 'f option & Parsetree.expression
                                                         option
                                                       * 'g option ]
         * bool ]
       list
   * 'h
   * action) ->
  'a * 'h * Parsetree.expression

val apply_def_cond : 
  Location.t ->
  (Location.t
   * bool
   * (Parsetree.expression ->
   'a)
   * [ `Normal of
         (string * Parsetree.pattern option)
         * bool
         * Parsetree.expression
         * [< `Fixpoint of
                Parsetree.expression option * 'b option & Parsetree.expression
                                                            option
                                                          * 'c option
           | `Fixpoint1 of
             Parsetree.expression option * 'd option & Parsetree.expression
                                                         option
                                                       * 'e option
           | `Greedy
           | `Once
           | `Option of
             Parsetree.expression option * 'f option & Parsetree.expression
                                                         option
                                                       * 'g option ]
         * bool ]
       list
   * Parsetree.expression option
   * action) ->
  'a

val apply_def_cond_list : 
  Location.t ->
  (Location.t
   * bool
   * (Parsetree.expression ->
   'a)
   * [ `Normal of
         (string * Parsetree.pattern option)
         * bool
         * Parsetree.expression
         * [< `Fixpoint of
                Parsetree.expression option * 'b option & Parsetree.expression
                                                            option
                                                          * 'c option
           | `Fixpoint1 of
             Parsetree.expression option * 'd option & Parsetree.expression
                                                         option
                                                       * 'e option
           | `Greedy
           | `Once
           | `Option of
             Parsetree.expression option * 'f option & Parsetree.expression
                                                         option
                                                       * 'g option ]
         * bool ]
       list
   * Parsetree.expression option
   * action) ->
  Parsetree.expression ->
  'a

val apply_def_cond_prio : 
  Location.t ->
  Parsetree.pattern ->
  (Location.t
   * bool
   * (Parsetree.expression ->
   'a)
   * [ `Normal of
         (string * Parsetree.pattern option)
         * bool
         * Parsetree.expression
         * [< `Fixpoint of
                Parsetree.expression option * 'b option & Parsetree.expression
                                                            option
                                                          * 'c option
           | `Fixpoint1 of
             Parsetree.expression option * 'd option & Parsetree.expression
                                                         option
                                                       * 'e option
           | `Greedy
           | `Once
           | `Option of
             Parsetree.expression option * 'f option & Parsetree.expression
                                                         option
                                                       * 'g option ]
         * bool ]
       list
   * Parsetree.expression option
   * action) ->
  Parsetree.expression ->
  'a

val build_alternatives : 
  Location.t ->
  ('a
   * (Location.t
      * bool
      * (Parsetree.expression ->
      Parsetree.expression)
      * [ `Normal of
            (string * Parsetree.pattern option)
            * bool
            * Parsetree.expression
            * [< `Fixpoint of
                   Parsetree.expression option * 'b option & Parsetree.expression
                                                               option
                                                             * 'c option & 
                   Parsetree.expression option
                   * 'd option & Parsetree.expression option * 'e option
              | `Fixpoint1 of
                Parsetree.expression option * 'f option & Parsetree.expression
                                                            option
                                                          * 'g option & 
                Parsetree.expression option
                * 'h option & Parsetree.expression option * 'i option
              | `Greedy
              | `Once
              | `Option of
                Parsetree.expression option * 'j option & Parsetree.expression
                                                            option
                                                          * 'k option & 
                Parsetree.expression option
                * 'l option & Parsetree.expression option * 'm option ]
            * bool ]
          list
      * Parsetree.expression option
      * action))
    list ->
  Parsetree.expression

val build_prio_alternatives : 
  Location.t ->
  Parsetree.pattern ->
  (bool
   * (Location.t
      * bool
      * (Parsetree.expression ->
      Parsetree.expression)
      * [ `Normal of
            (string * Parsetree.pattern option)
            * bool
            * Parsetree.expression
            * [< `Fixpoint of
                   Parsetree.expression option * 'a option & Parsetree.expression
                                                               option
                                                             * 'b option & 
                   Parsetree.expression option
                   * 'c option & Parsetree.expression option * 'd option
              | `Fixpoint1 of
                Parsetree.expression option * 'e option & Parsetree.expression
                                                            option
                                                          * 'f option & 
                Parsetree.expression option
                * 'g option & Parsetree.expression option * 'h option
              | `Greedy
              | `Once
              | `Option of
                Parsetree.expression option * 'i option & Parsetree.expression
                                                            option
                                                          * 'j option & 
                Parsetree.expression option
                * 'k option & Parsetree.expression option * 'l option ]
            * bool ]
          list
      * Parsetree.expression option
      * action))
    list ->
  Parsetree.expression

val build_str_item : 
  Location.t ->
  [< `Caml of Parsetree.value_binding
  | `Parser of
    string
    * Parsetree.pattern list
    * Parsetree.pattern option
    * Parsetree.core_type option
    * Location.t
    * (bool
       * (Location.t
          * bool
          * (Parsetree.expression ->
          Parsetree.expression)
          * [ `Normal of
                (string * Parsetree.pattern option)
                * bool
                * Parsetree.expression
                * [< `Fixpoint of
                       Parsetree.expression option * 'a option & Parsetree.expression
                                                                   option
                                                                 * 'b option & 
                       Parsetree.expression option
                       * 'c option & Parsetree.expression option * 'd option & 
                       Parsetree.expression option
                       * 'e option & Parsetree.expression option * 'f option & 
                       Parsetree.expression option
                       * 'g option & Parsetree.expression option * 'h option & 
                       Parsetree.expression option
                       * 'i option & Parsetree.expression option * 'j option & 
                       Parsetree.expression option
                       * 'k option & Parsetree.expression option * 'l option & 
                       Parsetree.expression option
                       * 'm option & Parsetree.expression option * 'n option & 
                       Parsetree.expression option
                       * 'o option & Parsetree.expression option * 'p option
                  | `Fixpoint1 of
                    Parsetree.expression option * 'q option & Parsetree.expression
                                                                option
                                                              * 'r option & 
                    Parsetree.expression option
                    * 's option & Parsetree.expression option * 't option & 
                    Parsetree.expression option
                    * 'u option & Parsetree.expression option * 'v option & 
                    Parsetree.expression option
                    * 'w option & Parsetree.expression option * 'x option & 
                    Parsetree.expression option
                    * 'y option & Parsetree.expression option * 'z option & 
                    Parsetree.expression option
                    * 'a1 option & Parsetree.expression option * 'b1 option & 
                    Parsetree.expression option
                    * 'c1 option & Parsetree.expression option * 'd1 option & 
                    Parsetree.expression option
                    * 'e1 option & Parsetree.expression option * 'f1 option
                  | `Greedy
                  | `Once
                  | `Option of
                    Parsetree.expression option * 'g1 option & Parsetree.expression
                                                                 option
                                                               * 'h1 option & 
                    Parsetree.expression option
                    * 'i1 option & Parsetree.expression option * 'j1 option & 
                    Parsetree.expression option
                    * 'k1 option & Parsetree.expression option * 'l1 option & 
                    Parsetree.expression option
                    * 'm1 option & Parsetree.expression option * 'n1 option & 
                    Parsetree.expression option
                    * 'o1 option & Parsetree.expression option * 'p1 option & 
                    Parsetree.expression option
                    * 'q1 option & Parsetree.expression option * 'r1 option & 
                    Parsetree.expression option
                    * 's1 option & Parsetree.expression option * 't1 option & 
                    Parsetree.expression option
                    * 'u1 option & Parsetree.expression option * 'v1 option ]
                * bool ]
              list
          * Parsetree.expression option
          * action))
        list ]
    list ->
  Parsetree.structure_item list

val glr_sequence : (bool * Parsetree.expression) Earley_core.Earley.grammar

val glr_opt_expr : Parsetree.expression option Earley_core.Earley.grammar

val glr_option : 
  [ `Fixpoint of Parsetree.expression option * char option
  | `Fixpoint1 of Parsetree.expression option * char option
  | `Greedy
  | `Once
  | `Option of Parsetree.expression option * char option ]
    Earley_core.Earley.grammar

val glr_ident : 
  (bool option * (string * Parsetree.pattern option))
    Earley_core.Earley.grammar

val glr_left_member : 
  [ `Normal of
      (string * Parsetree.pattern option)
      * bool
      * Parsetree.expression
      * [ `Fixpoint of Parsetree.expression option * char option
        | `Fixpoint1 of Parsetree.expression option * char option
        | `Greedy
        | `Once
        | `Option of Parsetree.expression option * char option ] ]
    list
    Earley_core.Earley.grammar

val glr_let : 
  (Parsetree.expression -> Parsetree.expression) Earley_core.Earley.grammar

val glr_cond : Parsetree.expression option Earley_core.Earley.grammar

val glr_action : bool -> action Earley_core.Earley.grammar

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

val glr_rule : 
  bool ->
  (Location.t
   * bool
   * (Parsetree.expression ->
   Parsetree.expression)
   * [ `Normal of
         (string * Parsetree.pattern option)
         * bool
         * Parsetree.expression
         * [ `Fixpoint of Parsetree.expression option * char option
           | `Fixpoint1 of Parsetree.expression option * char option
           | `Greedy
           | `Once
           | `Option of Parsetree.expression option * char option ]
         * bool ]
       list
   * Parsetree.expression option
   * action)
    Earley_core.Earley.grammar

val glr_rule__set__grammar : 
  (bool ->
    (Location.t
     * bool
     * (Parsetree.expression ->
     Parsetree.expression)
     * [ `Normal of
           (string * Parsetree.pattern option)
           * bool
           * Parsetree.expression
           * [ `Fixpoint of Parsetree.expression option * char option
             | `Fixpoint1 of Parsetree.expression option * char option
             | `Greedy
             | `Once
             | `Option of Parsetree.expression option * char option ]
           * bool ]
         list
     * Parsetree.expression option
     * action)
      Earley_core.Earley.grammar) ->
  unit

val glr_at_rule : 
  bool ->
  (bool
   * (Location.t
      * bool
      * (Parsetree.expression ->
      Parsetree.expression)
      * [ `Normal of
            (string * Parsetree.pattern option)
            * bool
            * Parsetree.expression
            * [ `Fixpoint of Parsetree.expression option * char option
              | `Fixpoint1 of Parsetree.expression option * char option
              | `Greedy
              | `Once
              | `Option of Parsetree.expression option * char option ]
            * bool ]
          list
      * Parsetree.expression option
      * action))
    Earley_core.Earley.grammar

val glr_at_rule__set__grammar : 
  (bool ->
    (bool
     * (Location.t
        * bool
        * (Parsetree.expression ->
        Parsetree.expression)
        * [ `Normal of
              (string * Parsetree.pattern option)
              * bool
              * Parsetree.expression
              * [ `Fixpoint of Parsetree.expression option * char option
                | `Fixpoint1 of Parsetree.expression option * char option
                | `Greedy
                | `Once
                | `Option of Parsetree.expression option * char option ]
              * bool ]
            list
        * Parsetree.expression option
        * action))
      Earley_core.Earley.grammar) ->
  unit

val glr_rules : 
  (bool
   * (Location.t
      * bool
      * (Parsetree.expression ->
      Parsetree.expression)
      * [ `Normal of
            (string * Parsetree.pattern option)
            * bool
            * Parsetree.expression
            * [ `Fixpoint of Parsetree.expression option * char option
              | `Fixpoint1 of Parsetree.expression option * char option
              | `Greedy
              | `Once
              | `Option of Parsetree.expression option * char option ]
            * bool ]
          list
      * Parsetree.expression option
      * action))
    list
    Earley_core.Earley.grammar

val glr_binding : 
  [ `Caml of Parsetree.value_binding
  | `Parser of
    string
    * Parsetree.pattern list
    * Parsetree.pattern option
    * Parsetree.core_type option
    * Location.t
    * (bool
       * (Location.t
          * bool
          * (Parsetree.expression ->
          Parsetree.expression)
          * [ `Normal of
                (string * Parsetree.pattern option)
                * bool
                * Parsetree.expression
                * [ `Fixpoint of Parsetree.expression option * char option
                  | `Fixpoint1 of Parsetree.expression option * char option
                  | `Greedy
                  | `Once
                  | `Option of Parsetree.expression option * char option ]
                * bool ]
              list
          * Parsetree.expression option
          * action))
        list ]
    Earley_core.Earley.grammar

val glr_bindings : 
  [ `Caml of Parsetree.value_binding
  | `Parser of
    string
    * Parsetree.pattern list
    * Parsetree.pattern option
    * Parsetree.core_type option
    * Location.t
    * (bool
       * (Location.t
          * bool
          * (Parsetree.expression ->
          Parsetree.expression)
          * [ `Normal of
                (string * Parsetree.pattern option)
                * bool
                * Parsetree.expression
                * [ `Fixpoint of Parsetree.expression option * char option
                  | `Fixpoint1 of Parsetree.expression option * char option
                  | `Greedy
                  | `Once
                  | `Option of Parsetree.expression option * char option ]
                * bool ]
              list
          * Parsetree.expression option
          * action))
        list ]
    list
    Earley_core.Earley.grammar

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

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

package earley

Parameters

Signature