Changeset 4020

Timestamp:

Oct 31, 2008, 7:26:18 PM (12 years ago)

Author:

yura

Message:

• SortAndNub?,

File:

• to-imperative/trunk/java/refal/refal/plus/List2.rf (modified) (1 diff)

to-imperative/trunk/java/refal/refal/plus/List2.rf

@@ -302 +302 @@
     e.right : /*empty*/ = e.merged e.left;
   };
+
+$public $func SortAndNub e.list = e.list;
+SortAndNub e.list = <SortBy &CompareTerms e.list>;
+
+$public $func SortAndNubBy t.cmpTerms e.list = e.list;
+SortAndNubBy t.cmpTerms e.list =
+  <Div <Length e.list> 2> : {
+    0 = e.list;
+    s.k = <MergeAndNub t.cmpTerms (<SortAndNubBy t.cmpTerms <Left 0 s.k e.list>>) (<SortAndNubBy t.cmpTerms <Middle s.k 0 e.list>>)>;
+  };
+
+$func MergeAndNub t.cmpTerms (e.left) (e.right) = e.merged_list;
+MergeAndNub t.cmpTerms (e.left) (e.right) =
+  (e.left) (e.right) $iter {
+    e.left : t.l e.left_rest, e.right : t.r e.right_rest = <Apply t.cmpTerms t.l t.r> : {
+     '<' = e.merged t.l (e.left_rest) (e.right);
+     '>' = e.merged t.r (e.left) (e.right_rest);
+     '=' = e.merged (e.left) (e.right_rest);
+    };
+  } :: e.merged (e.left) (e.right),
+  \{
+    e.left  : /*empty*/ = e.merged e.right;
+    e.right : /*empty*/ = e.merged e.left;
+  };