package camlp4

  1. Overview
  2. Docs
package camlp4
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Lexer : Sig.Lexer

Signature

module Loc : sig ... end
module Token : sig ... end
module Lexer : sig ... end
type gram = {
  1. gfilter : Token.Filter.t;
  2. gkeywords : (string, int ref) Hashtbl.t;
  3. glexer : Loc.t -> char Stream.t -> (Token.t * Loc.t) Stream.t;
  4. warning_verbose : bool ref;
  5. error_verbose : bool ref;
}
type token_info = {
  1. prev_loc : Loc.t;
  2. cur_loc : Loc.t;
  3. prev_loc_only : bool;
}
type token_stream = (Token.t * token_info) Stream.t
type efun = token_stream -> Action.t
type token_pattern = (Token.t -> bool) * string
type internal_entry = {
  1. egram : gram;
  2. ename : string;
  3. mutable estart : int -> efun;
  4. mutable econtinue : int -> Loc.t -> Action.t -> efun;
  5. mutable edesc : desc;
}
and desc =
  1. | Dlevels of level list
  2. | Dparser of token_stream -> Action.t
and level = {
  1. assoc : Sig.Grammar.assoc;
  2. lname : string option;
  3. lsuffix : tree;
  4. lprefix : tree;
}
and symbol =
  1. | Smeta of string * symbol list * Action.t
  2. | Snterm of internal_entry
  3. | Snterml of internal_entry * string
  4. | Slist0 of symbol
  5. | Slist0sep of symbol * symbol
  6. | Slist1 of symbol
  7. | Slist1sep of symbol * symbol
  8. | Sopt of symbol
  9. | Stry of symbol
  10. | Sself
  11. | Snext
  12. | Stoken of token_pattern
  13. | Skeyword of string
  14. | Stree of tree
and tree =
  1. | Node of node
  2. | LocAct of Action.t * Action.t list
  3. | DeadEnd
and node = {
  1. node : symbol;
  2. son : tree;
  3. brother : tree;
}
type production_rule = symbol list * Action.t
type single_extend_statment = string option * Sig.Grammar.assoc option * production_rule list
type extend_statment = Sig.Grammar.position option * single_extend_statment list
type delete_statment = symbol list
type (!'a, !'b, !'c) fold = internal_entry -> symbol list -> ('a Stream.t -> 'b) -> 'a Stream.t -> 'c
type (!'a, !'b, !'c) foldsep = internal_entry -> symbol list -> ('a Stream.t -> 'b) -> ('a Stream.t -> unit) -> 'a Stream.t -> 'c
val get_filter : gram -> Token.Filter.t
val token_location : token_info -> Loc.t
type !'a not_filtered = 'a
val using : gram -> string -> unit
val removing : gram -> string -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct