[MLton-commit] r5030

[Vesa Karvonen]

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

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

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

Added: mltonlib/trunk/com/ssh/misc-util/unstable/fru.sml
===================================================================
--- mltonlib/trunk/com/ssh/misc-util/unstable/fru.sml	2007-01-12 12:27:21 UTC (rev 5029)
+++ mltonlib/trunk/com/ssh/misc-util/unstable/fru.sml	2007-01-12 12:27:36 UTC (rev 5030)
@@ -0,0 +1,77 @@
+(* 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.
+ *)
+
+(*
+ * Support for functional record update.
+ *
+ * See
+ *
+ *   http://mlton.org/FunctionalRecordUpdate
+ *
+ * for further information.
+ *)
+
+structure FRU = struct
+   local
+      fun pathFold ? = Fold01N.fold {zero = const (), none = id, some = id} ?
+      fun pathStep ? =
+          Fold01N.step0
+             {none = const id,
+              some = fn m =>
+                        fn p =>
+                           m (p o INL) &
+                             (p o INR)} ?
+
+      fun setFold ? = Fold01N.fold {zero = id, none = id, some = id} ?
+      fun setStep ? =
+          Fold01N.step0
+             {none = const const,
+              some = fn u =>
+                        fn INL p =>
+                           (fn l & r => u p l & r)
+                         | INR v =>
+                           (fn l & _ => l & v)} ?
+   in
+      fun make ? =
+          FoldPair.fold
+             (pathFold, setFold)
+             (fn (m, u) =>
+                 fn iso : ('r1, 'p1) Iso.t =>
+                    fn (_, p2r') : ('r2, 'p2) Iso.t =>
+                       p2r' (m (Fn.map iso o u))) ?
+
+      fun A ? = FoldPair.step0 (pathStep, setStep) ?
+   end
+
+   (* 2^n *)
+   val A1 = A
+   fun A2 ? = pass ? A1 A1
+   fun A4 ? = pass ? A2 A2
+   fun A8 ? = pass ? A4 A4
+
+   (* 2^i + j where j < 2^i *)
+   fun A3  ? = pass ? A2 A1
+   fun A5  ? = pass ? A4 A1
+   fun A6  ? = pass ? A4 A2
+   fun A7  ? = pass ? A4 A3
+   fun A9  ? = pass ? A8 A1
+   fun A10 ? = pass ? A8 A2
+   fun A11 ? = pass ? A8 A3
+   fun A12 ? = pass ? A8 A4
+   fun A13 ? = pass ? A8 A5
+   fun A14 ? = pass ? A8 A6
+   fun A15 ? = pass ? A8 A7
+
+   fun updData iso u = Fold.fold ((id, u), Fn.map iso o Pair.fst)
+   fun fruData iso = Fold.post (fn f => fn ~ => updData iso o f ~) make
+
+   fun upd ? = updData Iso.id ?
+   fun fru ? = fruData Iso.id ?
+
+   fun U s v = Fold.step0 (fn (f, u) => (s u v o f, u))
+end
+
+val U = FRU.U


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