List.minimum/maximum: use uncurried Ord.max/min for better perf.

jbgi · jbgi · commit 5f73cac759e5 · 2016-11-06T17:52:31.000+01:00
diff --git a/core/src/main/java/fj/data/List.java b/core/src/main/java/fj/data/List.java
@@ -1462,7 +1462,7 @@ public static <A> F<List<A>, Integer> length_() {
    * @return The maximum element in this list according to the given ordering.
    */
   public final A maximum(final Ord<A> o) {
-    return foldLeft1(o.max);
+    return foldLeft1(o::max);
   }
 
   /**
@@ -1472,7 +1472,7 @@ public final A maximum(final Ord<A> o) {
    * @return The minimum element in this list according to the given ordering.
    */
   public final A minimum(final Ord<A> o) {
-    return foldLeft1(o.min);
+    return foldLeft1(o::min);
   }
 
   public final java.util.List<A> toJavaList() {
diff --git a/demo/src/main/java/fj/demo/euler/Problem4.java b/demo/src/main/java/fj/demo/euler/Problem4.java
@@ -19,6 +19,6 @@ public static void main(final String[] a) {
     intShow.println(tdl.tails().bind(tdl.zipWith(multiply)).filter(i -> {
         final Stream<Character> s = intShow.show(i);
         return streamEqual(charEqual).eq(s.reverse().take(3), s.take(3));
-    }).foldLeft1(intOrd.max));
+    }).foldLeft1(intOrd::max));
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -19,6 +19,6 @@ public static void main(final String[] a) {`
`19`	`19`	`intShow.println(tdl.tails().bind(tdl.zipWith(multiply)).filter(i -> {`
`20`	`20`	`final Stream<Character> s = intShow.show(i);`
`21`	`21`	`return streamEqual(charEqual).eq(s.reverse().take(3), s.take(3));`
`22`		`- }).foldLeft1(intOrd.max));`
	`22`	`+ }).foldLeft1(intOrd::max));`
`23`	`23`	`}`
`24`	`24`	`}`