[hcoop/debian/mlton.git] / basis-library / libs / basis-1997 / arrays-and-vectors / mono-vector.sig

signature MONO_VECTOR_1997 =
   sig
      type vector
      type elem
      val maxLen: int
      val fromList: elem list -> vector
      val tabulate: (int * (int -> elem)) -> vector
      val length: vector -> int
      val sub: (vector * int) -> elem
      val extract: (vector * int * int option) -> vector
      val concat: vector list -> vector
      val mapi: ((int * elem) -> elem) -> (vector * int * int option) -> vector
      val map: (elem -> elem) -> vector -> vector
      val appi: ((int * elem) -> unit) -> (vector * int * int option) -> unit
      val app: (elem -> unit) -> vector -> unit
      val foldli: ((int * elem * 'a) -> 'a) -> 'a -> (vector * int * int option) -> 'a
      val foldri: ((int * elem * 'a) -> 'a) -> 'a -> (vector * int * int option) -> 'a
      val foldl: ((elem * 'a) -> 'a) -> 'a -> vector -> 'a
      val foldr: ((elem * 'a) -> 'a) -> 'a -> vector -> 'a 
   end
Commit	Line	Data
7f918cf1 CE	1	signature MONO_VECTOR_1997 =
	2	sig
	3	type vector
	4	type elem
	5	val maxLen: int
	6	val fromList: elem list -> vector
	7	val tabulate: (int * (int -> elem)) -> vector
	8	val length: vector -> int
	9	val sub: (vector * int) -> elem
	10	val extract: (vector * int * int option) -> vector
	11	val concat: vector list -> vector
	12	val mapi: ((int * elem) -> elem) -> (vector * int * int option) -> vector
	13	val map: (elem -> elem) -> vector -> vector
	14	val appi: ((int * elem) -> unit) -> (vector * int * int option) -> unit
	15	val app: (elem -> unit) -> vector -> unit
	16	val foldli: ((int * elem * 'a) -> 'a) -> 'a -> (vector * int * int option) -> 'a
	17	val foldri: ((int * elem * 'a) -> 'a) -> 'a -> (vector * int * int option) -> 'a
	18	val foldl: ((elem * 'a) -> 'a) -> 'a -> vector -> 'a
	19	val foldr: ((elem * 'a) -> 'a) -> 'a -> vector -> 'a
	20	end