package earley

You can search for identifiers within the package.

in-package search v0.2.0

package earley

earley.core
- Earley_core
  - Blanks
  - Charset
  - Container
    
    Make
    
    T
    
    Param
    
    Ref
  - Earley
    
    WithPP
    
    PP
  - Input
    
    OrdTbl
    
    Preprocessor
    
    Tbl
    
    WithPP
    
    PP
  - Internals
    
    HK
    
    K
    
    StackContainer
    
    Types
  - Keywords
    
    Make
    
    S
    
    Spec
  - Regexp
  - Utils
    
    EqHashtbl
    
    Fixpoint
earley.ocaml
- Earley_ocaml
  - Astextra
  - Compare
  - Helper
    
    Cf
    
    Ci
    
    Cl
    
    Const
    
    Csig
    
    Cstr
    
    Ctf
    
    Cty
    
    Exp
    
    Incl
    
    Mb
    
    Md
    
    Mod
    
    Mtd
    
    Mty
    
    Opn
    
    Pat
    
    Sig
    
    Str
    
    Te
    
    Typ
    
    Type
    
    Val
    
    Vb
  - Iter
  - Pa_ast
  - Pa_lexing
  - Pa_main
    
    OCamlPP
    
    PP
    
    Start
    
    Main
  - Pa_ocaml
    
    Make
    
    Initial
  - Pa_ocaml_prelude
    
    Extension
    
    FExt
    
    E
    
    Initial
  - Pa_parser
    
    Ext
    
    In
  - Quote
earley.str
- Earley_str

Legend:
Library
Module
Module type
Parameter
Class
Class type

include module type of struct include Pa_ocaml_prelude end

type entry = Pa_ocaml_prelude.entry =

| FromExt
| Impl
| 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

val locate : 
  Earley_core.Input.buffer ->
  int ->
  Earley_core.Input.buffer ->
  int ->
  Location.t

type entry_point = Pa_ocaml_prelude.entry_point =

| Implementation of Parsetree.structure_item list Earley_core.Earley.grammar * Earley_core.Earley.blank
| Interface of Parsetree.signature_item list Earley_core.Earley.grammar * Earley_core.Earley.blank

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 =

| 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 = Pa_ocaml_prelude.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 = Pa_ocaml_prelude.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 = Pa_ocaml_prelude.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 * 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