[hcoop/debian/mlton.git] / basis-library / mlton / vector.sig

(* Copyright (C) 1999-2006, 2008 Henry Cejtin, Matthew Fluet, Suresh
 *    Jagannathan, and Stephen Weeks.
 * Copyright (C) 1997-2000 NEC Research Institute.
 *
 * MLton is released under a BSD-style license.
 * See the file MLton-LICENSE for details.
 *)

type int = Int.int

signature MLTON_VECTOR =
   sig
      val create: int -> {done: unit -> 'a vector,
                          sub: int -> 'a,
                          update: int * 'a -> unit}
      val unfoldi: int * 'b * (int * 'b -> 'a * 'b) -> 'a vector * 'b
   end
Commit	Line	Data
7f918cf1 CE	1	(* Copyright (C) 1999-2006, 2008 Henry Cejtin, Matthew Fluet, Suresh
	2	* Jagannathan, and Stephen Weeks.
	3	* Copyright (C) 1997-2000 NEC Research Institute.
	4	*
	5	* MLton is released under a BSD-style license.
	6	* See the file MLton-LICENSE for details.
	7	*)
	8
	9	type int = Int.int
	10
	11	signature MLTON_VECTOR =
	12	sig
	13	val create: int -> {done: unit -> 'a vector,
	14	sub: int -> 'a,
	15	update: int * 'a -> unit}
	16	val unfoldi: int * 'b * (int * 'b -> 'a * 'b) -> 'a vector * 'b
	17	end