inferred-types 0.54.8 → 0.55.0

package/modules/runtime/dist/index.js

@@ -685,13 +685,51 @@ var AREA_METRICS_LOOKUP = [
   { abbrev: "acre", name: "acre" },
   { abbrev: "ha", name: "hectare" }
 ];
+var NETWORK_PROTOCOL_INSECURE = [
+  "http",
+  "ftp",
+  "ws",
+  "dns",
+  "telnet",
+  "imap",
+  "pop3",
+  "smtp"
+];
+var NETWORK_PROTOCOL_SECURE = [
+  "https",
+  "sftp",
+  "wss",
+  "sdns",
+  "ssh"
+];
+var NETWORK_PROTOCOL = [
+  ...NETWORK_PROTOCOL_INSECURE,
+  ...NETWORK_PROTOCOL_SECURE
+];
 var NETWORK_PROTOCOL_LOOKUP = {
   http: ["http", "https"],
   ftp: ["ftp", "sftp"],
   file: ["", "file"],
   ws: ["ws", "wss"],
   ssh: ["", "ssh"],
-  scp: ["", "scp"]
+  scp: ["", "scp"],
+  telnet: ["telnet", ""],
+  dns: ["dns", "sdns"]
+};
+var PROTOCOL_DEFAULT_PORTS = {
+  http: 80,
+  https: 443,
+  ws: 80,
+  wss: 443,
+  ssh: 22,
+  telnet: 23,
+  dns: 53,
+  sdns: 853,
+  smtp: 25,
+  imap: 142,
+  pop3: 110,
+  ftp: 21,
+  sftp: 22
 };
 var Never = createConstant("never");
 var US_NEWS = [
@@ -2197,6 +2235,18 @@ function narrowObjectToType() {
   );
 }
 
+// src/dictionary/objectValues.ts
+function objectValues(obj) {
+  const tuple3 = Object.keys(obj).reduce(
+    (acc, key) => [
+      ...acc,
+      obj[key]
+    ],
+    []
+  );
+  return tuple3;
+}
+
 // src/dictionary/omit.ts
 function omit(obj, ...removeKeys) {
   const keys = Object.keys(obj);
@@ -2263,13 +2313,115 @@ function withoutKeys(dict, ...exclude) {
   return omit(dict, ...exclude);
 }
 
+// src/runtime-types/doesExtend.ts
+function doesExtend(type) {
+  return (val) => {
+    let response = false;
+    if (isString(val)) {
+      if (type === "string") {
+        response = true;
+      }
+      if (type.startsWith("string(")) {
+        const literals = stripAfter(
+          stripBefore(type, "string("),
+          ")"
+        ).split(/,\s*/);
+        if (literals.includes(val)) {
+          response = true;
+        }
+      }
+    }
+    if (isNumber(val)) {
+      if (type === "number") {
+        response = true;
+      }
+      if (type.startsWith("number(")) {
+        const literals = stripAfter(
+          stripBefore(type, "number("),
+          ")"
+        ).split(/,\s*/).map(Number);
+        if (literals.includes(val)) {
+          response = true;
+        }
+      }
+    }
+    if (isNull(val) && (type === "null" || type === "Opt<null>")) {
+      response = true;
+    }
+    if (isUndefined(val) && (type === "undefined" || type.startsWith("Opt<"))) {
+      response = true;
+    }
+    if (isBoolean(val)) {
+      if (type === "boolean") {
+        response = true;
+      }
+      if (type === "true" && val === true || type === "false" && val === false) {
+        response = true;
+      }
+    }
+    if (isNarrowableObject(val)) {
+      if (type === "Dict" || type === "Dict<string, unknown>") {
+        response = true;
+      }
+      if (startsWith("Dict<")(type)) {
+        const match = infer("Dict<{{infer key}}, {{infer value}}>")(type);
+        if (match) {
+          const { value } = match;
+          const isOpt = value.includes(`Opt<`);
+          const values = objectValues(val);
+          if (values.every((i) => isOpt ? isString(i) || isUndefined(i) : isString(i)) && type === "Dict<string, string>" || values.every((i) => isOpt ? isUndefined(i) || isNumber(i) : isNumber(i)) && type === "Dict<string, number>" || values.every((i) => isOpt ? isUndefined(i) || isBoolean(i) : isBoolean(i)) && type === "Dict<string, boolean>") {
+            response = true;
+          }
+        }
+      }
+    }
+    if (isArray(val)) {
+      if (type === "Array" || type === "Array<unknown>") {
+        return true;
+      }
+      if (type === "Array<Dict>" && val.every(isObject) || type === "Array<boolean>" && val.every(isBoolean) || type === "Array<string>" && val.every(isString) || type === "Array<number>" && val.every(isNumber) || type === "Array<Map>" && val.every(isMap) || type === "Array<Set>" && val.every(isSetContainer)) {
+        response = true;
+      }
+    }
+    if (isMap(val)) {
+      if (type === "Map" || type === "Map<Dict, Array>" && Array.from(val.keys()).every(isObject) && Array.from(val.values()).every(isArray) || type === "Map<Dict, Dict>" && Array.from(val.keys()).every(isObject) && Array.from(val.values()).every(isObject) || type === "Map<Dict, boolean>" && Array.from(val.keys()).every(isObject) && Array.from(val.values()).every(isBoolean) || type === "Map<Dict, number>" && Array.from(val.keys()).every(isObject) && Array.from(val.values()).every(isNumber) || type === "Map<Dict, string>" && Array.from(val.keys()).every(isObject) && Array.from(val.values()).every(isString) || type === "Map<Dict, unknown>" && Array.from(val.keys()).every(isObject) || type === "Map<string, string>" && Array.from(val.keys()).every(isString) && Array.from(val.values()).every(isString) || type === "Map<string, number>" && Array.from(val.keys()).every(isString) && Array.from(val.values()).every(isNumber) || type === "Map<string, boolean>" && Array.from(val.keys()).every(isString) && Array.from(val.values()).every(isBoolean) || type === "Map<string, unknown>" && Array.from(val.keys()).every(isString) || type === "Map<number, string>" && Array.from(val.keys()).every(isNumber) && Array.from(val.values()).every(isString) || type === "Map<number, number>" && Array.from(val.keys()).every(isNumber) && Array.from(val.values()).every(isNumber) || type === "Map<number, boolean>" && Array.from(val.keys()).every(isNumber) && Array.from(val.values()).every(isBoolean) || type === "Map<number, unknown>" && Array.from(val.keys()).every(isNumber)) {
+        response = true;
+      }
+    }
+    if (isSetContainer(val)) {
+      if (type === "Set" || type === "Set<unknown>" || type === "Set<boolean>" && Array.from(val).every(isBoolean) || type === "Set<string>" && Array.from(val).every(isString) || type === "Set<number>" && Array.from(val).every(isNumber) || type === "Set<Opt<boolean>>" && Array.from(val).every((i) => isBoolean(i) || isUndefined(i)) || type === "Set<Opt<string>>" && Array.from(val).every((i) => isString(i) || isUndefined(i)) || type === "Set<Opt<number>>" && Array.from(val).every((i) => isNumber(i) || isUndefined(i))) {
+        response = true;
+      }
+    }
+    return response;
+  };
+}
+
 // src/dictionary/withoutValue.ts
-function withoutValue(val) {
+function withoutValue(wo) {
   return (obj) => {
-    return Object.keys(obj).reduce(
-      (acc, key) => val === obj[key] ? acc : { ...acc, [key]: obj[key] },
-      {}
-    );
+    const output = {};
+    for (const key of keysOf(obj)) {
+      const val = obj[key];
+      if (!doesExtend(wo)(val)) {
+        output[key] = val;
+      }
+    }
+    return output;
+  };
+}
+
+// src/dictionary/withValue.ts
+function withValue(wo) {
+  return (obj) => {
+    const output = {};
+    for (const key of keysOf(obj)) {
+      const val = obj[key];
+      if (doesExtend(wo)(val)) {
+        output[key] = val;
+      }
+    }
+    return output;
   };
 }
 
@@ -2354,7 +2506,7 @@ var filter = "NOT READY";
 function find(list2, deref = null) {
   return (comparator) => {
     return list2.find((i) => {
-      const val = deref ? isContainer(i) ? deref in i ? i[deref] : void 0 : i : i;
+      const val = deref ? isObject(i) || isArray(i) ? deref in i ? i[deref] : void 0 : i : i;
       return val === comparator;
     });
   };
@@ -2544,6 +2696,9 @@ function isFunction(value) {
 function isObject(value) {
   return typeof value === "object" && value !== null && Array.isArray(value) === false;
 }
+function isNarrowableObject(value) {
+  return isObject(value) && Object.keys(value).every((key) => ["string", "number", "boolean", "symbol", "object", "undefined", "void", "null"].includes(typeof value[key]));
+}
 
 // src/type-guards/api-tg.ts
 function isEscapeFunction(val) {
@@ -3184,6 +3339,11 @@ function isCssAspectRatio(val) {
   return isString(val) && val.split(/\s+/).every((i) => tokens.includes(i) || isRatio(i));
 }
 
+// src/type-guards/isCsv.ts
+function isCsv(val) {
+  return isString(val) && val.includes(",") && !val.startsWith(",");
+}
+
 // src/type-guards/isDefined.ts
 function isDefined(value) {
   return typeof value !== "undefined";
@@ -3241,6 +3401,11 @@ function isInlineSvg(v) {
   return isString(v) && v.trim().startsWith(`<svg`) && v.trim().endsWith(`</svg>`);
 }
 
+// src/type-guards/isMap.ts
+function isMap(val) {
+  return val instanceof Map;
+}
+
 // src/type-guards/isNever.ts
 function isNever(val) {
   return isConstant(val) && val.kind === "never";
@@ -3261,7 +3426,7 @@ function isPhoneNumber(val) {
   const svelte = String(val).trim();
   const chars = svelte.split("");
   const numeric = retainChars(svelte, ...NUMERIC_CHAR);
-  const valid = ["+", "(", ...NUMERIC_CHAR];
+  const valid2 = ["+", "(", ...NUMERIC_CHAR];
   const nothing = stripChars(svelte, ...[
     ...NUMERIC_CHAR,
     ...WHITESPACE_CHARS,
@@ -3271,7 +3436,7 @@ function isPhoneNumber(val) {
     ".",
     "-"
   ]);
-  return chars.every((i) => valid.includes(i)) && svelte.startsWith(`+`) ? numeric.length >= 8 : svelte.startsWith(`00`) ? numeric.length >= 10 : numeric.length >= 7 && nothing === "";
+  return chars.every((i) => valid2.includes(i)) && svelte.startsWith(`+`) ? numeric.length >= 8 : svelte.startsWith(`00`) ? numeric.length >= 10 : numeric.length >= 7 && nothing === "";
 }
 
 // src/type-guards/isReadonlyArray.ts
@@ -3303,6 +3468,16 @@ function isLikeRegExp(val) {
   return false;
 }
 
+// src/type-guards/isSet.ts
+function isSet(val) {
+  return isObject(val) ? val.kind !== "Unset" : true;
+}
+
+// src/type-guards/isSetContainer.ts
+function isSetContainer(val) {
+  return val instanceof Set;
+}
+
 // src/type-guards/isStringArray.ts
 function isStringArray(val) {
   return Array.isArray(val) && val.every((i) => isString(i));
@@ -3342,9 +3517,6 @@ function isTypeTuple(value) {
 function isUnset(val) {
   return isObject(val) && val.kind === "Unset";
 }
-function isSet(val) {
-  return isObject(val) ? val.kind !== "Unset" : true;
-}
 
 // src/type-guards/isUrl.ts
 function isUri(val, ...protocols) {
@@ -3356,6 +3528,21 @@ function isUrl(val, ...protocols) {
   return isString(val) && p.some((i) => val.startsWith(`${i}://`));
 }
 
+// src/type-guards/isVariable.ts
+var VALID = [
+  ...ALPHA_CHARS,
+  ...NUMERIC_CHAR,
+  "_",
+  "."
+];
+var alpha = null;
+function valid(chars) {
+  return chars.every((i) => VALID.includes(i));
+}
+function isVariable(val) {
+  return isString(val) && startsWith(alpha)(val) && valid(asChars(val));
+}
+
 // src/type-guards/metrics/isMetric.ts
 function separate(s) {
   return stripWhile(s.toLowerCase(), ...NUMERIC_CHAR).trim();
@@ -3502,6 +3689,20 @@ function isNumericArray(val) {
   return Array.isArray(val) && val.every((i) => isNumber(i));
 }
 
+// src/type-guards/protocol.ts
+function hasProtocol(val, ...protocols) {
+  return isString(val) && protocols.length === 0 ? NETWORK_PROTOCOL.some((i) => val.startsWith(i)) : protocols.some((i) => val.startsWith(i));
+}
+function isProtocol(val, ...protocols) {
+  return isString(val) && protocols.length === 0 ? NETWORK_PROTOCOL.includes(val) : protocols.includes(val);
+}
+function hasProtocolPrefix(val, ...protocols) {
+  return isString(val) && protocols.length === 0 ? NETWORK_PROTOCOL.map((i) => `${i}://`).some((i) => val.startsWith(i)) : protocols.map((i) => `${i}://`).some((i) => val.startsWith(i));
+}
+function isProtocolPrefix(val, ...protocols) {
+  return isString(val) && protocols.length === 0 ? NETWORK_PROTOCOL.map((i) => `${i}://`).includes(val) : protocols.map((i) => `${i}://`).includes(val);
+}
+
 // src/type-guards/tokens/general.ts
 function isTypeToken(val, kind) {
   if (isString(val) && val.startsWith("<<") && val.endsWith(">>")) {
@@ -3796,28 +3997,28 @@ function isNewsUrl(val) {
 
 // src/type-guards/urls/repos/bitbucket.ts
 function isBitbucketUrl(val) {
-  const valid = REPO_SOURCE_LOOKUP.bitbucket;
-  return isString(val) && valid.some(
+  const valid2 = REPO_SOURCE_LOOKUP.bitbucket;
+  return isString(val) && valid2.some(
     (i) => val === i || val.startsWith(`${i}/`) || val.startsWith(`${i}?`)
   );
 }
 
 // src/type-guards/urls/repos/codeCommit.ts
 function isCodeCommitUrl(val) {
-  const valid = REPO_SOURCE_LOOKUP.codecommit;
-  return isString(val) && valid.some(
+  const valid2 = REPO_SOURCE_LOOKUP.codecommit;
+  return isString(val) && valid2.some(
     (i) => val === i || val.startsWith(`${i}/`) || val.startsWith(`${i}?`)
   );
 }
 
 // src/type-guards/urls/repos/github.ts
 function isGithubUrl(val) {
-  const valid = [
+  const valid2 = [
     "https://github.com",
     "https://www.github.com",
     "https://github.io"
   ];
-  return isString(val) && valid.some(
+  return isString(val) && valid2.some(
     (i) => val === i || val.startsWith(`${i}/`) || val.startsWith(`${i}?`)
   );
 }
@@ -4455,16 +4656,77 @@ function getUrlQueryParams(url, specific = void 0) {
   }
   return qp === "" ? qp : `?${qp}`;
 }
-function getUrlPort(url) {
-  const candidate = takeNumericCharacters(
-    stripBefore(removeUrlProtocol(url), ":")
-  );
-  return candidate === "" ? "default" : Number(candidate);
+function getUrlDefaultPort(url) {
+  const proto = getUrlProtocol(url);
+  return proto in PROTOCOL_DEFAULT_PORTS ? PROTOCOL_DEFAULT_PORTS[proto] : null;
+}
+function getUrlPort(url, resolve = false) {
+  const re = /.*:(\d{2,3})/;
+  const match = url.match(re);
+  return re.test(url) && match && isNumberLike(Array.from(match)[1]) ? Number(Array.from(match)[1]) : resolve ? getUrlDefaultPort(url) : hasProtocol(url) ? `default` : null;
 }
 function getUrlSource(url) {
   const candidate = stripAfter(stripAfter(stripAfter(removeUrlProtocol(url), "/"), "?"), ":");
   return isIpAddress(candidate) || isDomainName(candidate) ? candidate : Never;
 }
+function getUrlBase(url) {
+  const path = getUrlPath(url);
+  const remaining = stripAfter(url, path);
+  return remaining;
+}
+function getUrlDynamics(url) {
+  const path = getUrlPath(url);
+  const qp = getUrlQueryParams(url);
+  const pathParts = path.startsWith("<") ? path.split("<").map((i) => ensureLeading(i, "<")) : path.split("<").map((i) => ensureLeading(i, "<")).slice(1);
+  const segmentTypes = [
+    "string",
+    "number",
+    "boolean",
+    "Opt<string>",
+    "Opt<number>",
+    "Opt<boolean>"
+  ];
+  const pathVars = {};
+  const findPathTyped = infer(`<{{infer name}} as {{infer type}}>`);
+  const findPathUnion = infer(`<{{infer name}} as string({{infer union}})>`);
+  const findPathNamed = infer(`<{{infer name}}>`);
+  for (const part of pathParts) {
+    const union4 = findPathUnion(part);
+    const typed = findPathTyped(part);
+    const named = findPathNamed(part);
+    if (union4) {
+      if (isVariable(union4.name) && isCsv(union4.union)) {
+        pathVars[union4.name] = `string(${union4.union})`;
+      }
+    } else if (typed && segmentTypes.includes(typed.type) && isVariable(typed.name)) {
+      pathVars[typed.name] = typed.type;
+    } else if (named && isVariable(named.name)) {
+      pathVars[named.name] = "string";
+    }
+  }
+  const qpVars = {};
+  const qpParts = stripLeading(qp, "?").split("&");
+  for (const p of qpParts) {
+    const union4 = infer(`{{infer var}}=<string({{infer params}})>`)(p);
+    const dynamic = infer(`{{infer var}}=<{{infer val}}>`)(p);
+    const fixed = infer(`{{infer var}}={{infer val}}`)(p);
+    if (union4 && isVariable(union4.var) && isCsv(union4.params)) {
+      qpVars[union4.var] = `string(${union4.params})`;
+    } else if (dynamic && isVariable(dynamic.var) && segmentTypes.includes(dynamic.val)) {
+      qpVars[dynamic.var] = dynamic.val;
+    } else if (fixed && isVariable(fixed.var)) {
+      qpVars[fixed.var] = fixed.val;
+    }
+  }
+  return {
+    pathVars,
+    qpVars,
+    allVars: hasOverlappingKeys(pathVars, qpVars) ? null : {
+      ...pathVars,
+      ...qpVars
+    }
+  };
+}
 function urlMeta(url) {
   return {
     url,
@@ -4472,6 +4734,7 @@ function urlMeta(url) {
     protocol: getUrlProtocol(url),
     path: getUrlPath(url),
     queryParameters: getUrlQueryParams(url),
+    params: getUrlDynamics,
     port: getUrlPort(url),
     source: getUrlSource(url),
     isIpAddress: isIpAddress(getUrlSource(url)),
@@ -4917,6 +5180,17 @@ function simpleType(token) {
   return value;
 }
 
+// src/sets/hasOverlappingKeys.ts
+function hasOverlappingKeys(a, b) {
+  const keys = Object.keys(a);
+  for (const k of keys) {
+    if (k in b) {
+      return true;
+    }
+  }
+  return false;
+}
+
 // src/sets/uniqueKeys.ts
 function uniqueKeys(left, right) {
   const isNumeric = !!(isArray(left) && isArray(right));
@@ -5005,6 +5279,9 @@ export {
   getTokenKind,
   getTomorrow,
   getTypeSubtype,
+  getUrlBase,
+  getUrlDefaultPort,
+  getUrlDynamics,
   getUrlPath,
   getUrlPort,
   getUrlProtocol,
@@ -5017,6 +5294,9 @@ export {
   hasDefaultValue,
   hasIndexOf,
   hasKeys,
+  hasOverlappingKeys,
+  hasProtocol,
+  hasProtocolPrefix,
   hasUrlPort,
   hasUrlQueryParameter,
   hasWhiteSpace,
@@ -5082,6 +5362,7 @@ export {
   isCountryCode3,
   isCountryName,
   isCssAspectRatio,
+  isCsv,
   isCurrentMetric,
   isCurrentUom,
   isCvsUrl,
@@ -5158,12 +5439,14 @@ export {
   isLuminosityUom,
   isLuxonDateTime,
   isMacysUrl,
+  isMap,
   isMapToken,
   isMassMetric,
   isMassUom,
   isMetric,
   isMexicanNewsUrl,
   isMoment,
+  isNarrowableObject,
   isNever,
   isNewsUrl,
   isNikeUrl,
@@ -5183,6 +5466,8 @@ export {
   isPowerUom,
   isPressureMetric,
   isPressureUom,
+  isProtocol,
+  isProtocolPrefix,
   isReadonlyArray,
   isRecordToken,
   isRef,
@@ -5198,6 +5483,7 @@ export {
   isSet,
   isSetBasedKind,
   isSetBasedToken,
+  isSetContainer,
   isSetToken,
   isShape,
   isShapeCallback,
@@ -5260,6 +5546,7 @@ export {
   isUsNewsUrl,
   isUsStateAbbreviation,
   isUsStateName,
+  isVariable,
   isVoltageMetric,
   isVoltageUom,
   isVolumeMetric,
@@ -5307,6 +5594,7 @@ export {
   narrowObjectToType,
   never,
   objectToApi,
+  objectValues,
   omit,
   optional,
   optionalOrNull,
@@ -5383,6 +5671,7 @@ export {
   widen,
   withDefaults,
   withKeys,
+  withValue,
   withoutKeys,
   withoutValue,
   wrapFn,