aboutsummaryrefslogtreecommitdiff
path: root/unicode.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-11-24 09:22:24 +0100
committerSébastien Dailly <sebastien@chimrod.com>2017-11-24 09:23:38 +0100
commita6b5a6bdd138a5ccc6827bcc73580df1e9218820 (patch)
treeff577395c1a5951a61a7234322f927f6ead5ee29 /unicode.mli
parentecb6fd62c275af03a07d892313ab3914d81cd40e (diff)
Moved all the code to src directory
Diffstat (limited to 'unicode.mli')
-rwxr-xr-xunicode.mli27
1 files changed, 0 insertions, 27 deletions
diff --git a/unicode.mli b/unicode.mli
deleted file mode 100755
index 9a48807..0000000
--- a/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