121 lines
4.6 KiB
OCaml
121 lines
4.6 KiB
OCaml
(**************************************************************************)
|
|
(* *)
|
|
(* OCaml *)
|
|
(* *)
|
|
(* Benoit Vaugon, ENSTA *)
|
|
(* *)
|
|
(* Copyright 2014 Institut National de Recherche en Informatique et *)
|
|
(* en Automatique. *)
|
|
(* *)
|
|
(* All rights reserved. This file is distributed under the terms of *)
|
|
(* the GNU Lesser General Public License version 2.1, with the *)
|
|
(* special exception on linking described in the file LICENSE. *)
|
|
(* *)
|
|
(**************************************************************************)
|
|
|
|
(* No comments, OCaml stdlib internal use only. *)
|
|
|
|
open CamlinternalFormatBasics
|
|
|
|
val is_in_char_set : char_set -> char -> bool
|
|
val rev_char_set : char_set -> char_set
|
|
|
|
type mutable_char_set = bytes
|
|
val create_char_set : unit -> mutable_char_set
|
|
val add_in_char_set : mutable_char_set -> char -> unit
|
|
val freeze_char_set : mutable_char_set -> char_set
|
|
|
|
type ('a, 'b, 'c, 'd, 'e, 'f) param_format_ebb = Param_format_EBB :
|
|
('x -> 'a, 'b, 'c, 'd, 'e, 'f) fmt ->
|
|
('a, 'b, 'c, 'd, 'e, 'f) param_format_ebb
|
|
|
|
val param_format_of_ignored_format :
|
|
('a, 'b, 'c, 'd, 'y, 'x) ignored -> ('x, 'b, 'c, 'y, 'e, 'f) fmt ->
|
|
('a, 'b, 'c, 'd, 'e, 'f) param_format_ebb
|
|
|
|
type ('b, 'c) acc_formatting_gen =
|
|
| Acc_open_tag of ('b, 'c) acc
|
|
| Acc_open_box of ('b, 'c) acc
|
|
|
|
and ('b, 'c) acc =
|
|
| Acc_formatting_lit of ('b, 'c) acc * formatting_lit
|
|
| Acc_formatting_gen of ('b, 'c) acc * ('b, 'c) acc_formatting_gen
|
|
| Acc_string_literal of ('b, 'c) acc * string
|
|
| Acc_char_literal of ('b, 'c) acc * char
|
|
| Acc_data_string of ('b, 'c) acc * string
|
|
| Acc_data_char of ('b, 'c) acc * char
|
|
| Acc_delay of ('b, 'c) acc * ('b -> 'c)
|
|
| Acc_flush of ('b, 'c) acc
|
|
| Acc_invalid_arg of ('b, 'c) acc * string
|
|
| End_of_acc
|
|
|
|
type ('a, 'b) heter_list =
|
|
| Cons : 'c * ('a, 'b) heter_list -> ('c -> 'a, 'b) heter_list
|
|
| Nil : ('b, 'b) heter_list
|
|
|
|
type ('b, 'c, 'e, 'f) fmt_ebb = Fmt_EBB :
|
|
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.fmt ->
|
|
('b, 'c, 'e, 'f) fmt_ebb
|
|
|
|
val make_printf :
|
|
(('b, 'c) acc -> 'd) -> ('b, 'c) acc ->
|
|
('a, 'b, 'c, 'c, 'c, 'd) CamlinternalFormatBasics.fmt -> 'a
|
|
|
|
val make_iprintf : ('s -> 'f) -> 's -> ('a, 'b, 'c, 'd, 'e, 'f) fmt -> 'a
|
|
|
|
val output_acc : out_channel -> (out_channel, unit) acc -> unit
|
|
val bufput_acc : Buffer.t -> (Buffer.t, unit) acc -> unit
|
|
val strput_acc : Buffer.t -> (unit, string) acc -> unit
|
|
|
|
val type_format :
|
|
('x, 'b, 'c, 't, 'u, 'v) CamlinternalFormatBasics.fmt ->
|
|
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.fmtty ->
|
|
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.fmt
|
|
|
|
val fmt_ebb_of_string :
|
|
?legacy_behavior:bool -> string -> ('b, 'c, 'e, 'f) fmt_ebb
|
|
(* warning: the optional flag legacy_behavior is EXPERIMENTAL and will
|
|
be removed in the next version. You must not set it explicitly. It
|
|
is only used by the type-checker implementation.
|
|
*)
|
|
|
|
val format_of_string_fmtty :
|
|
string ->
|
|
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.fmtty ->
|
|
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6
|
|
|
|
val format_of_string_format :
|
|
string ->
|
|
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6 ->
|
|
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6
|
|
|
|
val char_of_iconv : CamlinternalFormatBasics.int_conv -> char
|
|
val string_of_formatting_lit : CamlinternalFormatBasics.formatting_lit -> string
|
|
|
|
val string_of_fmtty :
|
|
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.fmtty -> string
|
|
val string_of_fmt :
|
|
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.fmt -> string
|
|
|
|
val open_box_of_string : string -> int * block_type
|
|
|
|
val symm :
|
|
('a1, 'b1, 'c1, 'd1, 'e1, 'f1,
|
|
'a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
|
|
-> ('a2, 'b2, 'c2, 'd2, 'e2, 'f2,
|
|
'a1, 'b1, 'c1, 'd1, 'e1, 'f1) fmtty_rel
|
|
|
|
val trans :
|
|
('a1, 'b1, 'c1, 'd1, 'e1, 'f1,
|
|
'a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
|
|
-> ('a2, 'b2, 'c2, 'd2, 'e2, 'f2,
|
|
'a3, 'b3, 'c3, 'd3, 'e3, 'f3) fmtty_rel
|
|
-> ('a1, 'b1, 'c1, 'd1, 'e1, 'f1,
|
|
'a3, 'b3, 'c3, 'd3, 'e3, 'f3) fmtty_rel
|
|
|
|
val recast :
|
|
('a1, 'b1, 'c1, 'd1, 'e1, 'f1) fmt
|
|
-> ('a1, 'b1, 'c1, 'd1, 'e1, 'f1,
|
|
'a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
|
|
-> ('a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmt
|