NEXT ·  UP ·  PREVIOUS ·  CONTENTS ·  INDEX

The Vector structure

In addition to the functions which we have seen the Vector structure in the Standard ML library also provides the following. The functions Vector.foldli and Vector.foldri differ from familiar left and right folding in that they also make use of the integer index into the vector and thus are near relatives of the for loops in Pascal-like programming languages. Such loops supply an integer loop control variable which is automatically incremented on each loop iteration (and may not be altered within the loop body). The Vector.foldli and Vector.foldri functions operate on vector slices.

  Vector.concat : 'a vector list -> 'a vector
  Vector.foldl : ('a * 'b -> 'b) -> 'b -> 'a vector -> 'b
  Vector.foldr : ('a * 'b -> 'b) -> 'b -> 'a vector -> 'b
  Vector.foldli : (int * 'a * 'b -> 'b) -> 'b 
                    -> 'a vector * int * int option -> 'b
  Vector.foldri : (int * 'a * 'b -> 'b) -> 'b
                     -> 'a vector * int * int option -> 'b
  Vector.length : 'a vector -> int
  Vector.tabulate : int * (int -> 'a) -> 'a vector

NEXT ·  UP ·  PREVIOUS ·  CONTENTS ·  INDEX