[MLton-commit] r5027

[Vesa Karvonen]

Initial commit of a lib of misc utils to be refactored.
----------------------------------------------------------------------

A   mltonlib/trunk/com/ssh/misc-util/unstable/fold01n.sml

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

Added: mltonlib/trunk/com/ssh/misc-util/unstable/fold01n.sml
===================================================================
--- mltonlib/trunk/com/ssh/misc-util/unstable/fold01n.sml	2007-01-12 12:26:02 UTC (rev 5026)
+++ mltonlib/trunk/com/ssh/misc-util/unstable/fold01n.sml	2007-01-12 12:26:48 UTC (rev 5027)
@@ -0,0 +1,59 @@
+(* Copyright (C) 2007 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.
+ *)
+
+(*
+ * Utility module for creating folds (see fold.sml) that need to treat the
+ * cases of 0 and 1 or more steps differently.
+ *
+ * See
+ *
+ *   http://mlton.org/Fold01N
+ *
+ * for discussion.
+ *)
+
+signature FOLD01N = sig
+   type ('a, 'b, 'c, 'd, 'e, 'f, 'g) ac
+
+   val fold : {none: 'a -> 'b,
+               some: 'c -> 'd,
+               zero: 'e}
+              -> (('e, 'f, 'g, 'h, 'i, 'f, 'g) ac,
+                  ('j, 'a, 'b, 'c, 'd, 'j, 'k) ac,
+                  'k, 'l) Fold.t
+   val step0 : {none: 'a -> 'b,
+                some: 'c -> 'd}
+               -> (('e, 'a, 'b, 'c, 'd, 'e, 'f) ac,
+                   ('f, 'g, 'h, 'i, 'j, 'i, 'j) ac,
+                   'k, 'l, 'm) Fold.step0
+   val step1 : {none: 'a -> 'b,
+                some: 'c -> 'd}
+               -> ('e,
+                   ('f, 'a, 'b, 'c, 'd, 'e * 'f, 'g) ac,
+                   ('g, 'h, 'i, 'j, 'k, 'j, 'k) ac,
+                   'l, 'm, 'n) Fold.step1
+end
+
+structure Fold01N :> FOLD01N = struct
+   datatype ('a, 'b, 'c, 'd, 'e, 'f, 'g) ac =
+            IN of 'a * (('b -> 'c) * ('d -> 'e) -> 'f -> 'g)
+
+   fun fold {zero, none, some} =
+       Fold.fold (IN (zero, Pair.fst),
+                  fn IN (ac, pick) =>
+                     pick (none, some) ac)
+
+   fun step0 {none, some} =
+       Fold.step0 (fn IN (ac, pick) =>
+                      IN (pick (none, some) ac,
+                          Pair.snd))
+
+   fun step1 {none, some} =
+       Fold.step1 (fn (x, IN (ac, pick)) =>
+                      IN (pick (none, some)
+                               (x, ac),
+                          Pair.snd))
+end


Property changes on: mltonlib/trunk/com/ssh/misc-util/unstable/fold01n.sml
___________________________________________________________________
Name: svn:eol-style
   + native