aboutsummaryrefslogtreecommitdiff
path: root/unicode.mli
diff options
context:
space:
mode:
Diffstat (limited to 'unicode.mli')
-rwxr-xr-xunicode.mli27
1 files changed, 27 insertions, 0 deletions
diff --git a/unicode.mli b/unicode.mli
new file mode 100755
index 0000000..9a48807
--- /dev/null
+++ b/unicode.mli
@@ -0,0 +1,27 @@
+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