Overview  Index  Help 
Standard ML Basis Library

Array


structure Array : ARRAY =
struct
  type 'a array = 'a PrimTypes.array
  type 'a vector = 'a PrimTypes.vector
  val --
  val ++
  val maxLen : int
  val array : int * 'a -> 'a array
  val fromList : 'a list -> 'a array
  val tabulate : int * (int -> 'a) -> 'a array
  val length : 'a array -> int
  val sub : 'a array * int -> 'a
  val update : 'a array * int * 'a -> unit
  val usub
  val uupd
  val vusub
  val vlength
  val copy : {src : 'a array, dst : 'a array, di : int} -> unit
  val copyVec : {src : 'a vector, dst : 'a array, di : int} -> unit
  val appi : (int * 'a -> unit) -> 'a array -> unit
  val app : ('a -> unit) -> 'a array -> unit
  val modifyi : (int * 'a -> 'a) -> 'a array -> unit
  val modify : ('a -> 'a) -> 'a array -> unit
  val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a array -> 'b
  val foldl : ('a * 'b -> 'b) -> 'b -> 'a array -> 'b
  val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a array -> 'b
  val foldr : ('a * 'b -> 'b) -> 'b -> 'a array -> 'b
  val findi : (int * 'a -> bool) -> 'a array -> (int * 'a) option
  val find : ('a -> bool) -> 'a array -> 'a option
  val exists : ('a -> bool) -> 'a array -> bool
  val all : ('a -> bool) -> 'a array -> bool
  val collate : ('a * 'a -> order) -> 'a array * 'a array -> order
  val vector : 'a array -> 'a vector
end

 
Type detail

array

type 'a array = 'a PrimTypes.array


vector

type 'a vector = 'a PrimTypes.vector

     
Value detail

--

val --


++

val ++


maxLen

val maxLen : int


array

val array : int * 'a -> 'a array


fromList

val fromList : 'a list -> 'a array


tabulate

val tabulate : int * (int -> 'a) -> 'a array


length

val length : 'a array -> int


sub

val sub : 'a array * int -> 'a


update

val update : 'a array * int * 'a -> unit


usub

val usub


uupd

val uupd


vusub

val vusub


vlength

val vlength


copy

val copy : {src : 'a array, dst : 'a array, di : int} -> unit


copyVec

val copyVec : {src : 'a vector, dst : 'a array, di : int} -> unit


appi

val appi : (int * 'a -> unit) -> 'a array -> unit


app

val app : ('a -> unit) -> 'a array -> unit


modifyi

val modifyi : (int * 'a -> 'a) -> 'a array -> unit


modify

val modify : ('a -> 'a) -> 'a array -> unit


foldli

val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a array -> 'b


foldl

val foldl : ('a * 'b -> 'b) -> 'b -> 'a array -> 'b


foldri

val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a array -> 'b


foldr

val foldr : ('a * 'b -> 'b) -> 'b -> 'a array -> 'b


findi

val findi : (int * 'a -> bool) -> 'a array -> (int * 'a) option


find

val find : ('a -> bool) -> 'a array -> 'a option


exists

val exists : ('a -> bool) -> 'a array -> bool


all

val all : ('a -> bool) -> 'a array -> bool


collate

val collate : ('a * 'a -> order) -> 'a array * 'a array -> order


vector

val vector : 'a array -> 'a vector

 


Overview  Index  Help 
Standard ML Basis Library

This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.

Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.

Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order, please visit www.cup.org (North America) or www.cup.cam.ac.uk (outside North America).