40 lines · 1.4 KB · Standard ML
RawDownload
(* CharArray -- SML Basis Library *) eqtype arraytype elem   = Char.chartype vector = CharVector.vector val maxLen   : int val array    : int * elem -> arrayval tabulate : int * (int -> elem) -> arrayval fromList : elem list -> array val length   : array -> intval sub      : array * int -> elemval update   : array * int * elem -> unitval extract  : array * int * int option -> vector val copy     : {src: array,  si: int, len: int option,                 dst: array, di: int} -> unitval copyVec  : {src: vector, si: int, len: int option,                 dst: array, di: int} -> unit val app      : (elem -> unit) -> array -> unitval foldl    : (elem * 'b -> 'b) -> 'b -> array -> 'bval foldr    : (elem * 'b -> 'b) -> 'b -> array -> 'bval modify   : (elem -> elem) -> array -> unit val appi     : (int * elem -> unit) -> array * int * int option -> unitval foldli   : (int * elem * 'b -> 'b) -> 'b -> array * int * int option -> 'bval foldri   : (int * elem * 'b -> 'b) -> 'b -> array * int * int option -> 'bval modifyi  : (int * elem -> elem) -> array * int * int option -> unit (*    [array] is the type of one-dimensional, mutable, zero-based   constant-time-access arrays with elements of type Char.char, that   is, characters.  Arrays a1 and a2 are equal if both were created by   the same call to a primitive, or if both are empty.    All operations are as for Array.array.*)