[MLton-commit] r4941

[Vesa Karvonen]

Reorganized public files.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig

----------------------------------------------------------------------

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig	2006-12-10 19:12:40 UTC (rev 4940)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/vector.sig	2006-12-10 19:12:49 UTC (rev 4941)
@@ -1,36 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-(** Extended {VECTOR} signature. *)
-signature VECTOR = sig
-   include VECTOR
-
-   type 'a t = 'a vector
-   (** Convenience alias. *)
-
-   val unfoldi : (Int.t * 'b -> 'a * 'b) -> Int.t * 'b -> 'a t * 'b
-   (**
-    * {unfoldi f (n, b)} constructs a vector {v} of a length {n}, whose
-    * elements {vi} are determined by the equations {b0 = b} and {(vi,
-    * bi+1) = f (i, bi)}.
-    *)
-
-   (** == Conversions == *)
-
-   val toList : 'a t -> 'a List.t
-   (**
-    * Generates a list from the given vector.  Specifically, the result of
-    * {toList v} is equivalent to {foldr op :: [] v}.
-    *)
-
-   (** == Isomorphisms == *)
-
-   val isoList : ('a t, 'a List.t) Iso.t
-   (**
-    * An isomorphism between vectors and lists.  It is always equivalent
-    * to {(toList, fromList)}.
-    *)
-end