package charInfo_width

You can search for identifiers within the package.

in-package search v0.2.0

charInfo_width
- CharInfo_width
  - Cfg
  - String
    
    US
    
    Buf

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

The type of string.

val get : t -> int -> CamomileLibrary.UChar.t

get t i : i-th character of the storage.

val init : int -> (int -> CamomileLibrary.UChar.t) -> t

init len f creates a new storage. the returned storage has length len, its nth-element is f n. f is called with integers 0 ... len - 1, only once for each integer. The call is in the increasing order f 0, f 1, f 2, ...

val length : t -> int

The number of Unicode characters in the storage

type index

locations in storages.

val look : t -> index -> CamomileLibrary.UChar.t

look t i : The character in the location i of t.

val nth : t -> int -> index

nth t n : the location of the n-th character in t.

next x i, prev x i : The operation is valid if i points the valid element, i.e. the returned value may point the location beyond valid elements by one. If i does not point a valid element, the results are unspecified.

val next : t -> index -> index

val prev : t -> index -> index

val out_of_range : t -> index -> bool

val iter : (CamomileLibrary.UChar.t -> unit) -> t -> unit

val compare : t -> t -> int

val first : t -> index

The location of the first character in the storage.

val last : t -> index

The location of the last character in the storage.

val move : t -> index -> int -> index

move t i n : if n >= 0, then returns n-th character after i and otherwise returns -n-th character before i. If there is no such character, or i does not point a valid character, the result is unspecified.

val compare_index : t -> index -> index -> int

compare_index t i j returns a positive integer if i is the location placed after j in t, 0 if i and j point the same location, and a negative integer if i is the location placed before j in t.

module Buf : sig ... end

Character buffers. Similar to Buffer.