Add support for constraints to Matcher

[Pisces] / numeric.js

diff --git a/numeric.js b/numeric.js
index 78ea64c50aa080746ac4a206e41e71b2c5ebb017..1d0a5435bb75512cd18b657759fdc6fccff85c89 100644 (file)
--- a/numeric.js
+++ b/numeric.js
@@ -605,19 +605,64 @@ export const {
   return {
     toIntN: (n, $) => {
       const prim = toPrimitive($);
   return {
     toIntN: (n, $) => {
       const prim = toPrimitive($);

-      const big·int = toBigInt(prim);
-      const intN = asIntN(n, big·int);
-      return typeof prim === "bigint" ? intN : toNumber(intN);
+      if (typeof prim === "bigint") {
+        // The primitive value is a big·int.
+        return asIntN(n, prim);
+      } else {
+        // The primitive value is not a big·int.
+        const int = trunc(prim);
+        if (!isFiniteNumber(int) || int == 0) {
+          // The truncated value is zero or not finite.
+          return 0;
+        } else {
+          // The truncated value is finite.
+          return toNumber(asIntN(n, toBigInt(int)));
+        }
+      }

     },
     toUintN: (n, $) => {
       const prim = toPrimitive($);
     },
     toUintN: (n, $) => {
       const prim = toPrimitive($);

-      const big·int = toBigInt(prim);
-      const uintN = asUintN(n, big·int);
-      return typeof prim === "bigint" ? uintN : toNumber(uintN);
+      if (typeof prim === "bigint") {
+        // The primitive value is a big·int.
+        return asUintN(n, prim);
+      } else {
+        // The primitive value is not a big·int.
+        const int = trunc(prim);
+        if (!isFiniteNumber(int) || int == 0) {
+          // The truncated value is zero or not finite.
+          return 0;
+        } else {
+          // The truncated value is finite.
+          return toNumber(asUintN(n, toBigInt(int)));
+        }
+      }

     },
   };
 })();
 
     },
   };
 })();
 

+/**
+ * Returns the result of converting the provided number to an integer
+ * or infinity.
+ *
+ * ☡ This function does not allow big·int arguments.
+ */
+export const toIntegerOrInfinity = ($) => {
+  const integer = trunc($);
+  if (isNan(integer) || integer == 0) {
+    // The provided value truncs to nan or (positive or negative) zero.
+    return 0;
+  } else if (integer == POSITIVE_INFINITY) {
+    // The provided value truncs to positive infinity.
+    return POSITIVE_INFINITY;
+  } else if (integer == NEGATIVE_INFINITY) {
+    // The provided value truncs to negative infinity.
+    return NEGATIVE_INFINITY;
+  } else {
+    // The provided value truncs to an integer.
+    return integer;
+  }
+};
+

 /**
  * Returns the result of converting the provided value to a number.
  *
 /**
  * Returns the result of converting the provided value to a number.
  *