compare and equal (rescript-lang#84)

* eq -> equal, cmp -> compare

* Fix typo

* Add String.equal, String.compare

* Add Int.equal, Int.compare

* Add Float.equal, Float.compare

* Add Date.equal, Date.compare

* Add Array.equal, Array.compare

* Simplify Option.equal, Option.compare

* Add Null.equal, Null.compare

* Add Nullable.equal, Nullable.compare

* Handle Infinity, NaN correctly for Int compare

* Remove xxxU functions

Author: cknitt

src/Core__Array.mjs

@@ -24,6 +24,50 @@ function fromInitializer(length, f) {
   return arr;
 }
 
+function equal(a, b, eq) {
+  var len = a.length;
+  if (len === b.length) {
+    var _i = 0;
+    while(true) {
+      var i = _i;
+      if (i === len) {
+        return true;
+      }
+      if (!Curry._2(eq, a[i], b[i])) {
+        return false;
+      }
+      _i = i + 1 | 0;
+      continue ;
+    };
+  } else {
+    return false;
+  }
+}
+
+function compare(a, b, cmp) {
+  var lenA = a.length;
+  var lenB = b.length;
+  if (lenA > lenB) {
+    return 1;
+  } else if (lenA < lenB) {
+    return -1;
+  } else {
+    var _i = 0;
+    while(true) {
+      var i = _i;
+      if (i === lenA) {
+        return 0;
+      }
+      var c = Curry._2(cmp, a[i], b[i]);
+      if (c !== 0) {
+        return c;
+      }
+      _i = i + 1 | 0;
+      continue ;
+    };
+  }
+}
+
 function indexOfOpt(arr, item) {
   var index = arr.indexOf(item);
   if (index !== -1) {
@@ -126,6 +170,8 @@ function findMap(arr, f) {
 export {
   make ,
   fromInitializer ,
+  equal ,
+  compare ,
   indexOfOpt ,
   lastIndexOfOpt ,
   reduce ,

src/Core__Array.res

@@ -37,6 +37,48 @@ let fromInitializer = (~length, f) =>
 
 @get external length: array<'a> => int = "length"
 
+let rec equalFromIndex = (a, b, i, eq, len) =>
+  if i === len {
+    true
+  } else if eq(a->getUnsafe(i), b->getUnsafe(i)) {
+    equalFromIndex(a, b, i + 1, eq, len)
+  } else {
+    false
+  }
+
+let equal = (a, b, eq) => {
+  let len = a->length
+  if len === b->length {
+    equalFromIndex(a, b, 0, eq, len)
+  } else {
+    false
+  }
+}
+
+let rec compareFromIndex = (a, b, i, cmp, len) =>
+  if i === len {
+    0
+  } else {
+    let c = cmp(a->getUnsafe(i), b->getUnsafe(i))
+    if c === 0 {
+      compareFromIndex(a, b, i + 1, cmp, len)
+    } else {
+      c
+    }
+  }
+
+let compare = (a, b, cmp) => {
+  let lenA = a->length
+  let lenB = b->length
+  if lenA > lenB {
+    1
+  } else if lenA < lenB {
+    -1
+  } else {
+    compareFromIndex(a, b, 0, cmp, lenA)
+  }
+}
+
 @send external copyAllWithin: (array<'a>, ~target: int) => array<'a> = "copyWithin"
 
 @send

src/Core__Array.resi

@@ -27,6 +27,10 @@ let make: (~length: int, 'a) => array<'a>
 */
 let fromInitializer: (~length: int, int => 'a) => array<'a>
 
+let equal: (array<'a>, array<'a>, ('a, 'a) => bool) => bool
+
+let compare: (array<'a>, array<'a>, ('a, 'a) => int) => int
+
 @val external isArray: 'a => bool = "Array.isArray"
 
 /**

src/Core__Date.mjs

@@ -1,9 +1,20 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as Core__Float from "./Core__Float.mjs";
 
 var UTC = {};
 
+function equal(a, b) {
+  return a.getTime() === b.getTime();
+}
+
+function compare(a, b) {
+  return Core__Float.compare(a.getTime(), b.getTime());
+}
+
 export {
   UTC ,
+  equal ,
+  compare ,
 }
 /* No side effect */

src/Core__Date.res

@@ -86,6 +86,10 @@ module UTC = {
 @send external getTime: t => msSinceEpoch = "getTime"
 @send external getTimezoneOffset: t => int = "getTimezoneOffset"
 
+let equal = (a, b) => a->getTime === b->getTime
+
+let compare = (a, b) => Core__Float.compare(a->getTime, b->getTime)
+
 // Locale
 @send external getFullYear: t => int = "getFullYear"
 @send external getMonth: t => int = "getMonth"

src/Core__Date.resi

@@ -432,6 +432,10 @@ Returns the time, in milliseconds, between UNIX epoch (January 1, 1970 00:00:00
 @val
 external now: unit => msSinceEpoch = "Date.now"
 
+let equal: (t, t) => bool
+
+let compare: (t, t) => int
+
 /** 
 `getTime(date)`
 

src/Core__Float.mjs

@@ -3,6 +3,20 @@
 
 var Constants = {};
 
+function equal(a, b) {
+  return a === b;
+}
+
+function compare(a, b) {
+  if (a < b) {
+    return -1;
+  } else if (a === b) {
+    return 0;
+  } else {
+    return 1;
+  }
+}
+
 function fromString(i) {
   var i$1 = parseFloat(i);
   if (isNaN(i$1)) {
@@ -14,6 +28,8 @@ function fromString(i) {
 
 export {
   Constants ,
+  equal ,
+  compare ,
   fromString ,
 }
 /* No side effect */

src/Core__Float.res

@@ -7,6 +7,17 @@ module Constants = {
   @val external maxValue: float = "Number.MAX_VALUE"
 }
 
+let equal = (a: float, b: float) => a === b
+
+let compare = (a: float, b: float) =>
+  if a < b {
+    -1
+  } else if a === b {
+    0
+  } else {
+    1
+  }
+
 @val external isNaN: float => bool = "isNaN"
 @val external isFinite: float => bool = "isFinite"
 @val external parseFloat: 'a => float = "parseFloat"

src/Core__Float.resi

@@ -109,6 +109,10 @@ module Constants: {
   external maxValue: float = "Number.MAX_VALUE"
 }
 
+let equal: (float, float) => bool
+
+let compare: (float, float) => int
+
 /**
 `isNaN(v)` tests if the given `v` is `NaN`.
 See [`NaN`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/NaN) on MDN.

src/Core__Int.mjs

@@ -3,6 +3,20 @@
 import * as Pervasives from "rescript/lib/es6/pervasives.js";
 import * as Core__Array from "./Core__Array.mjs";
 
+function equal(a, b) {
+  return a === b;
+}
+
+function compare(a, b) {
+  if (a < b) {
+    return -1;
+  } else if (a === b) {
+    return 0;
+  } else {
+    return 1;
+  }
+}
+
 function fromString(radix, x) {
   var maybeInt = radix !== undefined ? parseInt(x, radix) : parseInt(x);
   if (isNaN(maybeInt) || maybeInt > 2147483647 || maybeInt < -2147483648) {
@@ -54,6 +68,8 @@ var Constants = {
 
 export {
   Constants ,
+  equal ,
+  compare ,
   fromString ,
   range ,
   rangeWithOptions ,