package text

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Character encodings
Decoding
Encoding

package text

text
- Encoding
- Text
text.bigarray
- Encoding_bigarray

Legend:
Library
Module
Module type
Parameter
Class
Class type

Character encodings

type t = string

Type of a character encoding

val equal : t -> t -> bool

equal e1 e2 returns whether e1 and e2 denotes the same encoding. It does a caseless comparison of e1 or e2 without optionnal suffixes ("//IGNORE" or "//TRANSLIT").

val system : t

The character encoding used by the system

type code_point = int

Type of a unicode code-point.

val recode_string : src:t -> dst:t -> string -> string

recode_string ~src ~dst str recode str from src encoding to dst encoding.

Decoding

type decoder

Type of a decoder

val decoder : t -> decoder

Creates a decoder from an encoding-name

type decoding_result =

| Dec_ok of code_point * int
(*
Dec_ok(code, num) means that the operation succeed. code is the unicode code-point read and num is the number of bytes read by the decoder.
*)
| Dec_need_more
(*
Dec_not_finished means that the input contains a not-terminated sequence
*)
| Dec_error
(*
Dec_error means that the input contains an invalid sequence
*)

Result of a decoding operation

val decode : decoder -> string -> int -> int -> decoding_result

decode decoder buffer ptr len decodes with decoder bytes at position ptr in buffer

Encoding

type encoder

Type of an encoder

val encoder : t -> encoder

Creates an encoder from an encoding-name

type encoding_result =

| Enc_ok of int
(*
Enc_ok num means that the operation succeed and num bytes have been written.
*)
| Enc_need_more
(*
Enc_need_more means that there is not enough space in the output to ouput all bytes.
*)
| Enc_error
(*
Enc_error means that the given code-point cannot be encoded in the given encoding
*)

Result of an encoding operation

val encode : encoder -> string -> int -> int -> code_point -> encoding_result

encode decoder buffer ptr len code encodes code with encoder at position ptr in buffer