package camlp5

  1. Overview
  2. Docs
type g
type token = string * string
val gcreate : token Plexing.lexer -> g
val tokens : g -> string -> (string * int) list
val glexer : g -> token Plexing.lexer
type parsable
val parsable : g -> char Stream.t -> parsable
module Entry : sig ... end
val of_entry : 'a Entry.e -> g
type ('self, 'a) ty_symbol
type ('self, 'f, 'r) ty_rule
type 'a ty_production
type ty_extension
val s_facto : ('self, 'a) ty_symbol -> ('self, 'a) ty_symbol
val s_nterm : 'a Entry.e -> ('self, 'a) ty_symbol
val s_nterml : 'a Entry.e -> string -> ('self, 'a) ty_symbol
val s_list0 : ('self, 'a) ty_symbol -> ('self, 'a list) ty_symbol
val s_list0sep : ('self, 'a) ty_symbol -> ('self, 'b) ty_symbol -> bool -> ('self, 'a list) ty_symbol
val s_list1 : ('self, 'a) ty_symbol -> ('self, 'a list) ty_symbol
val s_list1sep : ('self, 'a) ty_symbol -> ('self, 'b) ty_symbol -> bool -> ('self, 'a list) ty_symbol
val s_opt : ('self, 'a) ty_symbol -> ('self, 'a option) ty_symbol
val s_flag : ('self, 'a) ty_symbol -> ('self, bool) ty_symbol
val s_self : ('self, 'self) ty_symbol
val s_next : ('self, 'self) ty_symbol
val s_token : Plexing.pattern -> ('self, string) ty_symbol
val s_rules : 'a ty_production list -> ('self, 'a) ty_symbol
val s_vala : string list -> ('self, 'a) ty_symbol -> ('self, 'a Ploc.vala) ty_symbol
val r_stop : ('self, 'r, 'r) ty_rule
val r_next : ('self, 'a, 'r) ty_rule -> ('self, 'b) ty_symbol -> ('self, 'b -> 'a, 'r) ty_rule
val r_cut : ('self, 'a, 'r) ty_rule -> ('self, 'a, 'r) ty_rule
val production : (('a, 'f, Ploc.t -> 'a) ty_rule * string * 'f) -> 'a ty_production
val extension : 'a Entry.e -> Gramext.position option -> (string option * Gramext.g_assoc option * 'a ty_production list) list -> ty_extension
val safe_extend : ty_extension list -> unit
val safe_delete_rule : 'a Entry.e -> ('a, 'f, 'r) ty_rule -> unit
module Unsafe : sig ... end
type parse_algorithm = Gramext.parse_algorithm =
  1. | Predictive
  2. | Functional
  3. | Backtracking
  4. | DefaultAlgorithm
val set_algorithm : g -> parse_algorithm -> unit
val set_default_algorithm : parse_algorithm -> unit
val default_algorithm : unit -> parse_algorithm
val backtrack_stalling_limit : int Pervasives.ref
module type GLexerType = sig ... end
module type S = sig ... end
module GMake (L : GLexerType) : sig ... end
val skip_item : 'a -> 'a
val error_verbose : bool Pervasives.ref
val warning_verbose : bool Pervasives.ref
val strict_parsing : bool Pervasives.ref
val utf8_print : bool Pervasives.ref
val print_entry : Format.formatter -> 'te Gramext.g_entry -> unit
val iter_entry : ('te Gramext.g_entry -> unit) -> 'te Gramext.g_entry -> unit
val fold_entry : ('te Gramext.g_entry -> 'a -> 'a) -> 'te Gramext.g_entry -> 'a -> 'a
val reinit_entry_functions : 'te Gramext.g_entry -> unit
val loc_of_token_interval : int -> int -> Ploc.t
val extend : ('te Gramext.g_entry * Gramext.position option * (string option * Gramext.g_assoc option * ('te Gramext.g_symbol list * string * Gramext.g_action) list) list) list -> unit
val delete_rule : 'a Entry.e -> token Gramext.g_symbol list -> unit
val parse_top_symb : 'te Gramext.g_entry -> 'te Gramext.g_symbol -> 'te Stream.t -> Obj.t
val symb_failed_txt : 'te Gramext.g_entry -> 'te Gramext.g_symbol -> 'te Gramext.g_symbol -> string
val create_local_entry : g -> string -> 'a Entry.e
val backtrack_parse : bool Pervasives.ref
OCaml

Innovation. Community. Security.