[MLton-commit] r4917

[Vesa K. <ve...@ml...>]

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

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

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/product-type.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/product-type.sig	2006-12-10 18:59:08 UTC (rev 4916)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/product-type.sig	2006-12-10 19:08:50 UTC (rev 4917)
@@ -1,69 +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.
- *)
-
-signature PRODUCT_TYPE = sig
-   type ('a, 'b) t
-
-   (** == Conversions == *)
-
-   val fromTuple2 : 'a * 'b -> ('a, 'b) t
-   val fromTuple3 : 'a * 'b * 'c -> (('a, 'b) t, 'c) t
-   val fromTuple4 : 'a * 'b * 'c * 'd -> ((('a, 'b) t, 'c) t, 'd) t
-   (**
-    * Conversions from tuples to products.
-    *)
-
-   val toTuple2 : ('a, 'b) t -> 'a * 'b
-   val toTuple3 : (('a, 'b) t, 'c) t -> 'a * 'b * 'c
-   val toTuple4 : ((('a, 'b) t, 'c) t, 'd) t -> 'a * 'b * 'c * 'd
-   (**
-    * Conversions from products to tuples.
-    *)
-
-   (** == Isomorphisms == *)
-
-   val isoTuple2 : ('a * 'b, ('a, 'b) t) Iso.t
-   val isoTuple3 : ('a * 'b * 'c, (('a, 'b) t, 'c) t) Iso.t
-   val isoTuple4 : ('a * 'b * 'c * 'd, ((('a, 'b) t, 'c) t, 'd) t) Iso.t
-   (**
-    * Isomorphisms between products and tuples.
-    *)
-
-   (** == Operations == *)
-
-   val swap : ('a, 'b) t -> ('b, 'a) t
-   (** Swap the elements of a product. *)
-
-   val swizzle : ('a, 'b) t * ('c, 'd) t -> ('a * 'c, 'b * 'd) t
-   (** Swizzle the elements of a pair of products. *)
-
-   val fst : ('a, 'b) t -> 'a
-   (** Extract the first element of a product. *)
-
-   val snd : ('a, 'b) t -> 'b
-   (** Extract the second element of a product. *)
-
-   (** == HOFs for Building Operations on Products == *)
-
-   val app : 'a Effect.t * 'b Effect.t -> ('a, 'b) t Effect.t
-   val appFst : 'a Effect.t -> ('a, 'b) t Effect.t
-   val appSnd : 'b Effect.t -> ('a, 'b) t Effect.t
-
-   val map : ('a -> 'c) * ('b -> 'd) -> ('a, 'b) t -> ('c, 'd) t
-   val mapFst : ('a -> 'c) -> ('a, 'b) t -> ('c, 'b) t
-   val mapSnd : ('b -> 'c) -> ('a, 'b) t -> ('a, 'c) t
-
-   val all : 'a UnPr.t * 'b UnPr.t -> ('a, 'b) t UnPr.t
-   val exists : 'a UnPr.t * 'b UnPr.t -> ('a, 'b) t UnPr.t
-
-   val equal : 'a BinPr.t * 'b BinPr.t -> ('a, 'b) t BinPr.t
-   val collate : 'a Cmp.t * 'b Cmp.t -> ('a, 'b) t Cmp.t
-
-   val foldl : ('a * 'x -> 'y) * ('b * 'y -> 'z) -> ('a, 'b) t * 'x -> 'z
-   val foldr : ('a * 'y -> 'z) * ('b * 'x -> 'y) -> ('a, 'b) t * 'x -> 'z
-
-   val thunk : 'a Thunk.t * 'b Thunk.t -> ('a, 'b) t Thunk.t
-end