package earley

You can search for identifiers within the package.

in-package search v0.2.0

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

Use container to store a point to the rule in stack, we use recursive module for that

type 'a table

type 'b container

type ('b, 'a) elt = ('a, 'b) Types.pre_stack

val create : unit -> 'b container

val create_table : unit -> 'a table

val address : 'b container -> 'b Container.tag

val eq : 'a container -> 'b container -> ('a, 'b) Container.eq

val add : 'a table -> 'b container -> ('a, 'b) elt -> unit

val find : 'a table -> 'b container -> ('a, 'b) elt

val clear : 'a table -> unit

type 'a iter = {

f : 'b. ('a, 'b) elt -> unit;

}

val iter : 'a iter -> 'a table -> unit

type ('a, 'c) fold = {

f : 'b. ('a, 'b) elt -> 'c -> 'c;

}

val fold : ('a, 'c) fold -> 'a table -> 'c -> 'c