package cpdf

  1. Overview
  2. Docs
module Std_string = String
module Std_buffer = Buffer
type std_string = string
type std_buffer = Buffer.t
module type String = sig ... end
module type Buffer = sig ... end
module type S = sig ... end
exception Malformed
val utf8_len : int array
val uchar_utf8 : (unit -> int) -> int
val int16_be : (unit -> int) -> int
val int16_le : (unit -> int) -> int
val uchar_utf16 : ('a -> int) -> 'a -> int
val uchar_utf16be : (unit -> int) -> int
val uchar_utf16le : (unit -> int) -> int
val uchar_byte : (unit -> 'a) -> 'a
val uchar_iso_8859_1 : (unit -> 'a) -> 'a
val uchar_ascii : (unit -> int) -> int
module Make (String : String) (Buffer : Buffer with type string = String.t) : sig ... end
module String : sig ... end
module Buffer : sig ... end
include sig ... end
type string = String.t
val str : std_string -> String.t
val str_eq : 'a -> 'a -> bool
val str_empty : String.t -> bool
val cat : String.t -> String.t -> String.t
val str_of_char : int -> Buffer.string
module Ht : sig ... end
val u_nl : int
val u_cr : int
val u_space : int
val u_quot : int
val u_sharp : int
val u_amp : int
val u_apos : int
val u_minus : int
val u_slash : int
val u_colon : int
val u_scolon : int
val u_lt : int
val u_eq : int
val u_gt : int
val u_qmark : int
val u_emark : int
val u_lbrack : int
val u_rbrack : int
val u_x : int
val u_bom : int
val u_9 : int
val u_F : int
val u_D : int
val s_cdata : String.t
val ns_xml : String.t
val ns_xmlns : String.t
val n_xml : String.t
val n_xmlns : String.t
val n_space : String.t
val n_version : String.t
val n_encoding : String.t
val n_standalone : String.t
val v_yes : String.t
val v_no : String.t
val v_preserve : String.t
val v_default : String.t
val v_version_1_0 : String.t
val v_version_1_1 : String.t
val v_utf_8 : String.t
val v_utf_16 : String.t
val v_utf_16be : String.t
val v_utf_16le : String.t
val v_iso_8859_1 : String.t
val v_us_ascii : String.t
val v_ascii : String.t
val name_str : (String.t * String.t) -> String.t
type encoding = [
  1. | `ISO_8859_1
  2. | `US_ASCII
  3. | `UTF_16
  4. | `UTF_16BE
  5. | `UTF_16LE
  6. | `UTF_8
]
type dtd = string option
type name = string * string
type attribute = name * string
type tag = name * attribute list
type signal = [
  1. | `Data of string
  2. | `Dtd of dtd
  3. | `El_end
  4. | `El_start of tag
]
type pos = int * int
type error = [
  1. | `Expected_char_seqs of string list * string
  2. | `Expected_root_element
  3. | `Illegal_char_ref of string
  4. | `Illegal_char_seq of string
  5. | `Malformed_char_stream
  6. | `Max_buffer_size
  7. | `Unexpected_eoi
  8. | `Unknown_encoding of string
  9. | `Unknown_entity_ref of string
  10. | `Unknown_ns_prefix of string
]
exception Error of pos * error
val error_message : [< `Expected_char_seqs of String.t list * String.t | `Expected_root_element | `Illegal_char_ref of String.t | `Illegal_char_seq of String.t | `Malformed_char_stream | `Max_buffer_size | `Unexpected_eoi | `Unknown_encoding of String.t | `Unknown_entity_ref of String.t | `Unknown_ns_prefix of String.t ] -> String.t
type limit = Make(String)(Buffer).limit =
  1. | Stag of name
  2. | Etag of name
  3. | Pi of name
  4. | Comment
  5. | Cdata
  6. | Dtd
  7. | Text
  8. | Eoi
type source = [
  1. | `Channel of in_channel
  2. | `Fun of unit -> int
  3. | `String of int * std_string
]
type input = Make(String)(Buffer).input = {
  1. enc : encoding option;
  2. strip : bool;
  3. fun_ns : string -> string option;
  4. fun_entity : string -> string option;
  5. i : unit -> int;
  6. mutable uchar : (unit -> int) -> int;
  7. mutable c : int;
  8. mutable cr : bool;
  9. mutable line : int;
  10. mutable col : int;
  11. mutable limit : limit;
  12. mutable peek : signal;
  13. mutable stripping : bool;
  14. mutable last_white : bool;
  15. mutable scopes : (name * string list * bool) list;
  16. ns : string Ht.t;
  17. ident : Buffer.t;
  18. data : Buffer.t;
}
val err_input_tree : string
val err_input_doc_tree : string
val err : input -> error -> 'a
val err_illegal_char : input -> int -> 'a
val err_expected_seqs : input -> string list -> string -> 'a
val err_expected_chars : input -> int list -> 'a
val u_eoi : int
val u_start_doc : int
val u_end_doc : int
val signal_start_stream : [> `Data of String.t ]
val make_input : ?enc:encoding option -> ?strip:bool -> ?ns:(string -> string option) -> ?entity:(string -> string option) -> [< `Channel of in_channel | `Fun of unit -> int | `String of int * string ] -> input
val r : int -> int -> int -> bool
val is_white : int -> bool
val is_char : int -> bool
val is_digit : int -> bool
val is_hex_digit : int -> bool
val comm_range : int -> bool
val is_name_start_char : int -> bool
val is_name_char : int -> bool
val nextc : input -> unit
val nextc_eof : input -> unit
val skip_white : input -> unit
val skip_white_eof : input -> unit
val accept : input -> int -> unit
val clear_ident : input -> unit
val clear_data : input -> unit
val addc_ident : input -> int -> unit
val addc_data : input -> int -> unit
val addc_data_strip : input -> int -> unit
val expand_name : input -> (Ht.key * 'a) -> string * 'a
val find_encoding : input -> bool
val p_ncname : input -> Buffer.string
val p_qname : input -> Buffer.string * Buffer.string
val p_charref : input -> Buffer.string
val predefined_entities : String.t Ht.t
val p_entity_ref : input -> string
val p_reference : input -> Buffer.string
val p_attr_value : input -> Buffer.string
val p_attributes : input -> Buffer.string list * ((Buffer.string * Buffer.string) * Buffer.string) list
val p_limit : input -> unit
val skip_comment : input -> unit
val skip_pi : input -> unit
val skip_misc : input -> allow_xmlpi:bool -> unit
val p_chardata : (input -> int -> unit) -> input -> unit
val p_cdata : (input -> int -> unit) -> input -> unit
val p_xml_decl : input -> ignore_enc:bool -> ignore_utf16:bool -> unit
val p_dtd_signal : input -> [> `Dtd of Buffer.string option ]
val p_data : input -> Buffer.string
val p_el_start_signal : input -> name -> [> `El_start of (string * string) * ((string * Buffer.string) * Buffer.string) list ]
val p_el_end_signal : input -> name -> [> `El_end ]
val p_signal : input -> [> `Data of Buffer.string | `El_end | `El_start of (string * string) * ((string * Buffer.string) * Buffer.string) list ]
val eoi : input -> bool
val peek : input -> signal
val input : input -> signal
val input_tree : el:(tag -> 'a list -> 'a) -> data:(string -> 'a) -> input -> 'a
val input_doc_tree : el:(tag -> 'a list -> 'a) -> data:(string -> 'a) -> input -> dtd * 'a
val pos : input -> int * int
type !'a frag = [
  1. | `Data of string
  2. | `El of tag * 'a list
]
type dest = [
  1. | `Buffer of std_buffer
  2. | `Channel of out_channel
  3. | `Fun of int -> unit
]
type output = Make(String)(Buffer).output = {
  1. decl : bool;
  2. nl : bool;
  3. indent : int option;
  4. fun_prefix : string -> string option;
  5. prefixes : string Ht.t;
  6. outs : std_string -> int -> int -> unit;
  7. outc : char -> unit;
  8. mutable last_el_start : bool;
  9. mutable scopes : (name * string list) list;
  10. mutable depth : int;
}
val err_prefix : string -> string
val err_dtd : string
val err_el_start : string
val err_el_end : string
val err_data : string
val make_output : ?decl:bool -> ?nl:bool -> ?indent:int option -> ?ns_prefix:(string -> string option) -> [< `Buffer of Std_buffer.t | `Channel of out_channel | `Fun of int -> unit ] -> output
val output_depth : output -> int
val outs : output -> std_string -> unit
val str_utf_8 : String.t -> std_string
val out_utf_8 : output -> String.t -> unit
val prefix_name : output -> (Ht.key * String.t) -> string * String.t
val bind_prefixes : output -> ((String.t * string) * Ht.key) list -> Ht.key list
val out_data : output -> String.t -> unit
val out_qname : output -> (String.t * String.t) -> unit
val out_attribute : output -> ((Ht.key * String.t) * String.t) -> unit
val output : output -> [< `Data of 'a & String.t | `Dtd of String.t option & 'b | `El_end | `El_start of 'c & (Ht.key * string) * ((Ht.key * string) * Ht.key) list ] -> unit
val output_tree : ('a -> [< `Data of String.t | `El of ((Ht.key * string) * ((Ht.key * string) * Ht.key) list) * 'a list ]) -> output -> 'a -> unit
val output_doc_tree : ('a -> [< `Data of String.t | `El of ((Ht.key * string) * ((Ht.key * string) * Ht.key) list) * 'a list ]) -> output -> (String.t option * 'a) -> unit
val pp : Format.formatter -> ('a, Format.formatter, unit) format -> 'a
val pp_list : ?pp_sep:(Format.formatter -> unit -> unit) -> (Format.formatter -> 'a -> 'b) -> Format.formatter -> 'a list -> unit
val pp_name : Format.formatter -> (string * string) -> unit
val pp_attribute : Format.formatter -> ((string * string) * string) -> unit
val pp_tag : Format.formatter -> ((string * string) * ((string * string) * string) list) -> unit
val pp_dtd : Format.formatter -> string option -> unit
val pp_signal : Format.formatter -> [< `Data of string | `Dtd of string option | `El_end | `El_start of (string * string) * ((string * string) * string) list ] -> 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