home *** CD-ROM | disk | FTP | other *** search
/ BURKS 2 / BURKS_AUG97.ISO / BURKS / LANGUAGE / ML / MOSMLREF / img37.gif < prev    next >
Graphics Interchange Format  |  1997-07-31  |  11KB  |  705x363  |  1-bit (2 colors)
Labels: black | darkness
OCR: type effect app ('a -> unit) -> 'a array -> unit apply f left-right appi (int * 'a -> unit) -> 'a array * int * int option -> unit array int # 'a -> 'a array {src : 'a array, si : int, len : int option, create and initialize array copy copy subarray to subarray dst : 'a array, di : int} -> unit copy Vec {src : 'a vector, si : int, len : int option, copy subvector to subarray dst : 'a array, di : int} -> unit extract 'a array * int * int option -> 'a vector extract subarray to vector fold1 ('a * 'b => 'b) -> 'b -> 'a array -> 'b fold left-right foldli (int * 'a * 'b -> 'b) -> 'b -> 'a array * int * int option -> 'b foldr ('a * 'b -> 'b) -> 'b -> 'a array -> 'b fold right-left foldri (int * 'a * 'b -> 'b) -> 'b -> 'a array * int * int option -> 'b fromList 'a list -> 'a array make array from the list length 'a array -> int length of the array maxLen int maximal array length modify ('a -> 'a) -> 'a array -> unit apply f and update modifyi (int # 'a -> 'a) -> 'a array * int * int option -> unit sub 'a array * int -> 'a n'th element (0-based) tabulate int * (int -> 'a) -> 'a array array of f (0) ,..., f(n-1) update 'a array * int * 'a -> unit set n'th element (0-based)