[MLton-commit] r4920

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

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

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

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/public/sum.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/sum.sig	2006-12-10 19:09:10 UTC (rev 4919)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/sum.sig	2006-12-10 19:09:18 UTC (rev 4920)
@@ -1,43 +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.
- *)
-
-(** A general purpose sum type. *)
-signature SUM = sig
-   datatype ('a, 'b) sum = INL of 'a | INR of 'b
-   type ('a, 'b) t = ('a, 'b) sum
-
-   exception Sum
-
-   (** == Operations == *)
-
-   val swap : ('a, 'b) t -> ('b, 'a) t
-
-   val isL : ('a, 'b) t UnPr.t
-   val isR : ('a, 'b) t UnPr.t
-
-   val getL : ('a, 'b) t -> 'a UnOp.t
-   val getR : ('a, 'b) t -> 'b UnOp.t
-
-   val out : ('a, 'a) t -> 'a
-   val outL : ('a, 'b) t -> 'a
-   val outR : ('a, 'b) t -> 'b
-
-   (** == HOFs == *)
-
-   val sum : ('a -> 'c) * ('b -> 'c) -> ('a, 'b) t -> 'c
-
-   val app : 'a Effect.t * 'b Effect.t -> ('a, 'b) t Effect.t
-   val appL : 'a Effect.t -> ('a, 'b) t Effect.t
-   val appR : 'b Effect.t -> ('a, 'b) t Effect.t
-
-   val map : ('a -> 'c) * ('b -> 'd) -> ('a, 'b) t -> ('c, 'd) t
-   val mapL : ('a -> 'c) -> ('a, 'b) t -> ('c, 'b) t
-   val mapR : ('b -> 'd) -> ('a, 'b) t -> ('a, 'd) t
-   val mapLR : ('a -> 'b) -> ('a, 'a) t -> ('b, 'b) 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
-end