diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2018-01-19 11:24:29 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2018-01-25 17:17:15 +0100 |
commit | 112ab4b1c396fc2117191297227d8e411f9b9bb3 (patch) | |
tree | f6d06ef60c696b43d48e2cd8e2f7f426a03b3706 /src/unicode.mli | |
parent | 098ac444e731d7674d8910264ae58fb876618a5a (diff) |
Better memory management
Diffstat (limited to 'src/unicode.mli')
-rwxr-xr-x | src/unicode.mli | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/src/unicode.mli b/src/unicode.mli deleted file mode 100755 index 9a48807..0000000 --- a/src/unicode.mli +++ /dev/null @@ -1,27 +0,0 @@ -type t - -type decoder_encoding = [ `ISO_8859_1 | `US_ASCII | `UTF_16 | `UTF_16BE | `UTF_16LE | `UTF_8 ] - -val decode : ?encoding:[< decoder_encoding ] -> string -> t - -val to_utf8: t -> string - -(** String functions *) - -val length : t -> int - -val get : t -> int -> Uchar.t - -val make : int -> Uchar.t -> t - -val init : int -> (int -> Uchar.t) -> t - -val sub : t -> int -> int -> t - -val blit : t -> int -> t -> int -> int -> unit - -val concat : t list -> t - -val iter : (Uchar.t -> unit) -> t -> unit - -val to_list : t -> Uchar.t list |