From a6b5a6bdd138a5ccc6827bcc73580df1e9218820 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 24 Nov 2017 09:22:24 +0100 Subject: Moved all the code to src directory --- UTF8.mli | 92 ---------------------------------------------------------------- 1 file changed, 92 deletions(-) delete mode 100755 UTF8.mli (limited to 'UTF8.mli') diff --git a/UTF8.mli b/UTF8.mli deleted file mode 100755 index a2e331e..0000000 --- a/UTF8.mli +++ /dev/null @@ -1,92 +0,0 @@ -(** UTF8 is used internally for all strings - - The module is intentionaly opaque. - - *) - -(** An UTF8 encoded string *) -type t - -val empty: t - -(** Decode a string in the current locale *) -val decode: string -> t - -(** Use this to with a known UTF8 encoded string *) -val from_utf8string: string -> t - -(** Encode to the string to the user locale *) -val encode: t -> string option - -(** Encode the string. - This function may raise Text.Invalid if the string cannot be encoded in current locale -*) -val raw_encode: t -> string - -val to_utf8string: t -> string - -val trim: t -> t - -val length: t -> int - -val get: t -> int -> t - -val rev_explode : t -> t list - -val split: t -> sep:t -> t - -val fold : (t -> 'a -> 'a) -> t -> 'a -> 'a - -val implode : t list -> t - -val rev_implode : t list -> t - -val compare: t -> t -> int - -val replace: t -> t -> t -> t - -val upper: t -> t - -val lower: t -> t - -val code: t -> int - -val char: int -> t - -val repeat: int -> t -> t - -val get: t -> int -> t - -val lchop: t -> t - -val rchop: t -> t - -val sub: t -> int -> int -> t - -module Buffer : sig - - type buffer - - val create : int -> buffer - - val contents : buffer -> t - - val add_string : buffer -> t -> unit - - val add_char: buffer -> char -> unit - -end - -module Printf : sig - - val bprintf : Buffer.buffer -> ('a, Buffer.buffer, unit) format -> 'a - -end - -module Format: sig - - val formatter_of_buffer : Buffer.buffer -> Format.formatter - - val fprintf : Format.formatter -> ('a, Format.formatter, unit) format -> 'a - -end -- cgit v1.2.3