package earley

  1. Overview
  2. Docs

Parameters

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 =
  1. | Seq
  2. | If
  3. | Aff
  4. | Tupl
  5. | Disj
  6. | Conj
  7. | Eq
  8. | Append
  9. | Cons
  10. | Sum
  11. | Prod
  12. | Pow
  13. | Opp
  14. | App
  15. | Dash
  16. | Dot
  17. | Prefix
  18. | Atom
val expression_prios : expression_prio list
type alm = In.alm =
  1. | NoMatch
  2. | Match
  3. | Let
val allow_match : alm -> bool
val allow_let : alm -> bool
val string_exp : (alm * expression_prio) -> string
val set_expression_lvl : ((alm * expression_prio) -> Parsetree.expression Earley_core.Earley.grammar) -> unit
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
type type_prio = In.type_prio =
  1. | TopType
  2. | As
  3. | Arr
  4. | ProdType
  5. | DashType
  6. | AppType
  7. | 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
type pattern_prio = In.pattern_prio =
  1. | AltPat
  2. | TupPat
  3. | ConsPat
  4. | ConstrPat
  5. | AtomPat
val topPat : pattern_prio
val pat_prio_to_string : ('a * pattern_prio) -> string
val next_pat_prio : pattern_prio -> pattern_prio
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 class_body : Parsetree.class_structure Earley_core.Earley.grammar
val extra_patterns : ((bool * pattern_prio) -> Parsetree.pattern Earley_core.Earley.grammar) list
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 entry_points : (string * Pa_ocaml_prelude.entry_point) list
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_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_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_prefix_expressions : Parsetree.expression Earley_core.Earley.grammar list