home *** CD-ROM | disk | FTP | other *** search
/ BURKS 2 / BURKS_AUG97.ISO / BURKS / LANGUAGE / ML / MOSMLREF / img36.gif < prev    next >
Graphics Interchange Format  |  1997-07-31  |  7KB  |  705x242  |  1-bit (2 colors)
Labels: black | darkness
OCR: type effect app ('a -> unit) -> 'a vector -> unit apply f left-right appi (int * 'a -> unit) -> 'a vector * int * int option -> unit concat 'a vector list -> 'a vector concatenate vectors extract 'a vector * int * int option -> 'a vector extract a subvector or tail fold1 ('a * 'b -> 'b) -> 'b -> 'a vector -> 'b fold f left-right foldli (int * 'a * 'b -> 'b) -> 'b -> 'a vector*int*int option -> 'b foldr ('a * 'b -> 'b) -> 'b -> 'a vector -> 'b fold f right-left foldri (int * 'a * 'b -> 'b) -> 'b -> 'a vector*int*int option -> 'b fromList 'a list -> 'a vector make vector from the list length 'a vector -> int length of the vector maxLen int maximal vector length sub 'a vector * int -> 'a n'th element (0-based) tabulate int * (int -> 'a) -> 'a vector vector of f (0) ,. .., f (n-1)