package camlp4

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Loc : sig ... end
module Action : sig ... end
module Token : sig ... end
type gram = Syntax.Gram.gram
type internal_entry = Syntax.Gram.internal_entry
type tree = Syntax.Gram.tree
type token_pattern = (Token.t -> bool) * string
type token_info = Syntax.Gram.token_info
type token_stream = (Token.t * token_info) Stream.t
val token_location : token_info -> Loc.t
type symbol = Syntax.Gram.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
type production_rule = symbol list * Action.t
type single_extend_statment = string option * Camlp4.Sig.Grammar.assoc option * production_rule list
type extend_statment = Camlp4.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
module Entry : sig ... end
val get_filter : unit -> Token.Filter.t
type 'a not_filtered = 'a Syntax.Gram.not_filtered
val extend : 'a Entry.t -> extend_statment -> unit
val delete_rule : 'a Entry.t -> delete_statment -> unit
val srules : 'a Entry.t -> (symbol list * Action.t) list -> symbol
val sfold0 : ('a -> 'b -> 'b) -> 'b -> ('c, 'a, 'b) fold
val sfold1 : ('a -> 'b -> 'b) -> 'b -> ('c, 'a, 'b) fold
val sfold0sep : ('a -> 'b -> 'b) -> 'b -> ('c, 'a, 'b) foldsep
val lex : Loc.t -> char Stream.t -> (Token.t * Loc.t) Stream.t not_filtered
val lex_string : Loc.t -> string -> (Token.t * Loc.t) Stream.t not_filtered
val parse : 'a Entry.t -> Loc.t -> char Stream.t -> 'a
val parse_string : 'a Entry.t -> Loc.t -> string -> 'a
val parse_tokens_before_filter : 'a Entry.t -> (Token.t * Loc.t) Stream.t not_filtered -> 'a
val parse_tokens_after_filter : 'a Entry.t -> token_stream -> 'a