40 lines · 1.4 KB · Standard ML
RawDownload
(* Word8Array -- SML Basis Library *) eqtype arraytype elem   = Word8.wordtype vector = Word8Vector.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 Word8.word, that   is, 8-bit words.  Arrays a1 and a2 are equal if both were created   by the same call to a primitive (array0, array, tabulate, fromList).    All operations are as for Array.array.*)