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
type gram
type internal_entry
type tree
type token_pattern = (Token.t -> bool) * string
type token_info
type token_stream = (Token.t * token_info) Stream.t
val token_location : token_info -> Loc.t
type 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 * 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 mk : unit -> gram
module Entry : sig ... end
val get_filter : gram -> Token.Filter.t
type 'a 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 : gram -> Loc.t -> char Stream.t -> (Token.t * Loc.t) Stream.t not_filtered
val lex_string : gram -> 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
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