package earley

  1. Overview
  2. Docs
include module type of struct include Pa_ocaml_prelude end
type entry = Pa_ocaml_prelude.entry =
  1. | FromExt
  2. | Impl
  3. | Intf
val entry : entry ref
val fast : bool ref
val file : string option ref
val ascii : bool ref
val print_location : out_channel -> Location.t -> unit
val string_location : Location.t -> string
val lexing_position : Earley_core.Input.buffer -> int -> Lexing.position
module Initial = Pa_ocaml_prelude.Initial
module type Extension = Pa_ocaml_prelude.Extension
module type FExt = Pa_ocaml_prelude.FExt
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 = Pa_ocaml_prelude.Initial.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 = Pa_ocaml_prelude.Initial.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 = Pa_ocaml_prelude.Initial.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 = Pa_ocaml_prelude.Initial.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 extra_prefix_expressions : Parsetree.expression Earley_core.Earley.grammar list
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 start_pos : Location.t -> Lexing.position
val end_pos : Location.t -> Lexing.position
module Make (Initial : Extension) : sig ... end
OCaml

Innovation. Community. Security.