rename exists to isSomeAnd like Rust

Author: jmagaram

src/Core__Option.mjs

@@ -106,7 +106,7 @@ function cmp(a, b, f) {
   }
 }
 
-function exists(o, p) {
+function isSomeAnd(o, p) {
   if (o !== undefined) {
     return Curry._1(p, Caml_option.valFromOption(o));
   } else {
@@ -135,7 +135,7 @@ export {
   isNone ,
   eq ,
   cmp ,
-  exists ,
+  isSomeAnd ,
   isNoneOr ,
 }
 /* No side effect */

src/Core__Option.res

@@ -112,7 +112,7 @@ let cmpU = (a, b, f) =>
 
 let cmp = (a, b, f) => cmpU(a, b, (. x, y) => f(x, y))
 
-let exists = (o, p) =>
+let isSomeAnd = (o, p) =>
   switch o {
   | None => false
   | Some(v) => p(v)

src/Core__Option.resi

@@ -250,19 +250,19 @@ cmp(None, None, clockCompare) // 0
 let cmp: (option<'a>, option<'b>, ('a, 'b) => int) => int
 
 /**
-`exists(option, predicate)` tests whether the option is `Some` **and** the predicate applied to its value is true.
+`isSomeAnd(option, predicate)` tests whether the option is `Some` **and** the predicate applied to its value is true.
 
-An option can be thought of as an array with 0 or 1 items in it. `exists` is similar to `Array.some` and acts like the "there exists" quantifier in mathematics. It returns false for a `None` option.
+An option can be thought of as an array with 0 or 1 items in it. `isSomeAnd` is similar to `Array.some` and acts like the "there exists" quantifier in mathematics. It returns false for a `None` option.
 
 ## Examples
 
 ```rescript
-Option.exists(None, i => i >= 0) // false
-Option.exists(Some(3), i => i > 1) // true
-Option.exists(Some(3), i => i < 0) // false
+Option.isSomeAnd(None, i => i >= 0) // false
+Option.isSomeAnd(Some(3), i => i > 1) // true
+Option.isSomeAnd(Some(3), i => i < 0) // false
 ```
 */
-let exists: (option<'a>, 'a => bool) => bool
+let isSomeAnd: (option<'a>, 'a => bool) => bool
 
 /**
 `isNoneOr(option, predicate)` tests whether the option is `None` **or** the predicate applied to its value is true.

test/OptionTests.mjs

@@ -13,37 +13,37 @@ function isPositive(i) {
 Test.run([
       [
         "OptionTests.res",
-        11,
-        20,
-        51
+        12,
+        13,
+        47
       ],
-      "exists: if None, return false"
-    ], Core__Option.exists(undefined, isPositive), eq, false);
+      "isSomeAnd: if None, return false"
+    ], Core__Option.isSomeAnd(undefined, isPositive), eq, false);
 
 Test.run([
       [
         "OptionTests.res",
-        14,
+        19,
         13,
         52
       ],
       "exists: if Some and true, return true"
-    ], Core__Option.exists(1, isPositive), eq, true);
+    ], Core__Option.isSomeAnd(1, isPositive), eq, true);
 
 Test.run([
       [
         "OptionTests.res",
-        21,
+        26,
         13,
         54
       ],
       "exists: if Some and false, return false"
-    ], Core__Option.exists(-1, isPositive), eq, false);
+    ], Core__Option.isSomeAnd(-1, isPositive), eq, false);
 
 Test.run([
       [
         "OptionTests.res",
-        27,
+        32,
         20,
         52
       ],
@@ -53,7 +53,7 @@ Test.run([
 Test.run([
       [
         "OptionTests.res",
-        30,
+        35,
         13,
         54
       ],
@@ -63,7 +63,7 @@ Test.run([
 Test.run([
       [
         "OptionTests.res",
-        37,
+        42,
         13,
         56
       ],

test/OptionTests.res

@@ -2,24 +2,29 @@ open RescriptCore
 
 let eq = (a, b) => a == b
 
-// ===================
-// exists and isNoneOr
-// ===================
+// ======================
+// isSomeAnd and isNoneOr
+// ======================
 
 let isPositive = i => i > 0
 
-Test.run(__POS_OF__("exists: if None, return false"), None->Option.exists(isPositive), eq, false)
+Test.run(
+  __POS_OF__("isSomeAnd: if None, return false"),
+  None->Option.isSomeAnd(isPositive),
+  eq,
+  false,
+)
 
 Test.run(
   __POS_OF__("exists: if Some and true, return true"),
-  Some(1)->Option.exists(isPositive),
+  Some(1)->Option.isSomeAnd(isPositive),
   eq,
   true,
 )
 
 Test.run(
   __POS_OF__("exists: if Some and false, return false"),
-  Some(-1)->Option.exists(isPositive),
+  Some(-1)->Option.isSomeAnd(isPositive),
   eq,
   false,
 )