inferred-types 0.51.1 → 0.51.2

package/src/runtime/type-guards/isUrl.ts

@@ -1,55 +0,0 @@
-import { isString, valuesOf } from "src/runtime/index";
-import { NETWORK_PROTOCOL_LOOKUP } from "inferred-types/dist/constants/index";
-import { Keys,TupleToUnion,  NetworkProtocol, Uri  } from "inferred-types/dist/types/index";
-
-/**
- * **isUri**`(val, ...protocols)`
- *
- * Type guard to test with the passed in value is a valid URI.
- *
- * **Note:** by default all protocols in `NetworkProtocol` are
- * considered valid but you can scope this down by setting which
- * protocols you explicitly interested in.
- *
- * **Related:** `isUrl`
- */
-export const isUri = <
-  T,
-  P extends readonly NetworkProtocol[]
->(val: T, ...protocols: P): val is T & Uri<
-  Keys<P>["length"] extends 0
-  ? NetworkProtocol
-  : TupleToUnion<P>
-> => {
-  const p = protocols.length === 0
-    ? valuesOf(NETWORK_PROTOCOL_LOOKUP).flat().filter(i => i)
-    : protocols;
-
-  return isString(val) && p.some(i => val.startsWith(`${i}://`))
-}
-
-
-/**
- * **isUrl**`(val,[...protocols])`
- *
- * Type guard to test with the passed in value is a http/https URL.
- *
- * **Note:** you _can_ specify precisely which network protocols you
- * are wanting to test for but by default it is "http" and "https"
- *
- * **Related:** `isUri`
- */
-export const isUrl = <
-T,
-P extends readonly NetworkProtocol[]
->(val: T, ...protocols: P): val is T & Uri<
-  Keys<P>["length"] extends 0
-  ? "http" | "https"
-  : P[number]
-> => {
-const p = protocols.length === 0
-  ? ["http", "https"]
-  : protocols;
-
-  return isString(val) && p.some(i => val.startsWith(`${i}://`))
-}

package/src/runtime/type-guards/metrics/index.ts

@@ -1,2 +0,0 @@
-export * from "./isUom";
-export * from "./isMetric";

package/src/runtime/type-guards/metrics/isMetric.ts

@@ -1,133 +0,0 @@
-import {
-  Acceleration,
-  Area,
-  Current,
-  Distance,
-  Energy,
-  Frequency,
-  Luminosity,
-  Mass,
-  Metric,
-  Power,
-  Pressure,
-  Resistance,
-  Speed,
-  Temperature,
-  TimeMetric,
-  Voltage,
-  Volume
-} from "inferred-types/dist/types/index";
-import { isString } from "../isString";
-import {
-  ACCELERATION_METRICS_LOOKUP,
-  AREA_METRICS_LOOKUP,
-  CURRENT_METRICS_LOOKUP,
-  DISTANCE_METRICS_LOOKUP,
-  ENERGY_METRICS_LOOKUP,
-  FREQUENCY_METRICS_LOOKUP,
-  LUMINOSITY_METRICS_LOOKUP,
-  MASS_METRICS_LOOKUP,
-  NUMERIC_CHAR,
-  POWER_METRICS_LOOKUP,
-  PRESSURE_METRICS_LOOKUP,
-  RESISTANCE_METRICS_LOOKUP,
-  SPEED_METRICS_LOOKUP,
-  TEMPERATURE_METRICS_LOOKUP,
-  TIME_METRICS_LOOKUP,
-  VOLTAGE_METRICS_LOOKUP,
-  VOLUME_METRICS_LOOKUP,
-} from "inferred-types/dist/constants/index";
-import { stripWhile } from "inferred-types/dist/runtime/index";
-
-
-
-const separate = (s: string) => {
-  return stripWhile(s.toLowerCase(), ...NUMERIC_CHAR).trim()
-}
-
-export const isAreaMetric = (val: unknown): val is Area => {
-  return isString(val) && AREA_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isLuminosityMetric = (val: unknown): val is Luminosity => {
-  return isString(val) && LUMINOSITY_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isResistance = (val: unknown): val is Resistance => {
-  return isString(val) && RESISTANCE_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isCurrentMetric = (val: unknown): val is Current => {
-  return isString(val) && CURRENT_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isVoltageMetric = (val: unknown): val is Voltage => {
-  return isString(val) && VOLTAGE_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isFrequencyMetric = (val: unknown): val is Frequency => {
-  return isString(val) && FREQUENCY_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isPowerMetric = (val: unknown): val is Power => {
-  return isString(val) && POWER_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isTimeMetric = (val: unknown): val is TimeMetric => {
-  return isString(val) && TIME_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isEnergyMetric = (val: unknown): val is Energy => {
-  return isString(val) && ENERGY_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isPressureMetric = (val: unknown): val is Pressure => {
-  return isString(val) && PRESSURE_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isTemperatureMetric = (val: unknown): val is Temperature => {
-  return isString(val) && TEMPERATURE_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isVolumeMetric = (val: unknown): val is Volume => {
-  return isString(val) && VOLUME_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isAccelerationMetric = (val: unknown): val is Acceleration => {
-  return isString(val) && ACCELERATION_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isSpeedMetric = (val: unknown): val is Speed => {
-  const speed = SPEED_METRICS_LOOKUP.map(i => i.abbrev);
-  return isString(val) && speed.includes(separate(val) as any);
-}
-
-export const isMassMetric = (val: unknown): val is Mass => {
-  return isString(val) && MASS_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-export const isDistanceMetric = (val: unknown): val is Distance => {
-  return isString(val) && DISTANCE_METRICS_LOOKUP.map(i => i.abbrev).includes(separate(val) as any);
-}
-
-/**
- * Type guard which validates the passed in `val` is a `Metric` (unit
- * of measure).
- */
-export const isMetric = (val: unknown): val is Metric => {
-  return isDistanceMetric(val)
-  || isMassMetric(val)
-  || isSpeedMetric(val)
-  || isAccelerationMetric(val)
-  || isVoltageMetric(val)
-  || isTemperatureMetric(val)
-  || isPressureMetric(val)
-  || isEnergyMetric(val)
-  || isTimeMetric(val)
-  || isPowerMetric(val)
-  || isFrequencyMetric(val)
-  || isVoltageMetric(val)
-  || isCurrentMetric(val)
-  || isLuminosityMetric(val)
-  || isAreaMetric(val)
-}

package/src/runtime/type-guards/metrics/isUom.ts

@@ -1,125 +0,0 @@
-import {
-  AccelerationUom,
-  AreaUom,
-  CurrentUom,
-  DistanceUom,
-  EnergyUom,
-  FrequencyUom,
-  LuminosityUom,
-  MassUom,
-  PowerUom,
-  PressureUom,
-  ResistanceUom,
-  SpeedUom,
-  TemperatureUom,
-  TimeUom,
-  Uom,
-  VoltageUom,
-  VolumeUom
-} from "inferred-types/dist/types/index";
-import { isString } from "../isString";
-import {
-  ACCELERATION_METRICS_LOOKUP,
-  AREA_METRICS_LOOKUP,
-  CURRENT_METRICS_LOOKUP,
-  ENERGY_METRICS_LOOKUP,
-  FREQUENCY_METRICS_LOOKUP,
-  LUMINOSITY_METRICS_LOOKUP,
-  MASS_METRICS_LOOKUP,
-  POWER_METRICS_LOOKUP,
-  PRESSURE_METRICS_LOOKUP,
-  RESISTANCE_METRICS_LOOKUP,
-  SPEED_METRICS_LOOKUP,
-  TEMPERATURE_METRICS_LOOKUP,
-  TIME_METRICS_LOOKUP,
-  VOLTAGE_METRICS_LOOKUP,
-  VOLUME_METRICS_LOOKUP,
-} from "inferred-types/dist/constants/index";
-
-
-
-export const isAreaUom = (val: unknown): val is AreaUom => {
-  return isString(val) && AREA_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isLuminosityUom = (val: unknown): val is LuminosityUom => {
-  return isString(val) && LUMINOSITY_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isResistanceUom = (val: unknown): val is ResistanceUom => {
-  return isString(val) && RESISTANCE_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isCurrentUom = (val: unknown): val is CurrentUom => {
-  return isString(val) && CURRENT_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isVoltageUom = (val: unknown): val is VoltageUom => {
-  return isString(val) && VOLTAGE_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isFrequencyUom = (val: unknown): val is FrequencyUom => {
-  return isString(val) && FREQUENCY_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isPowerUom = (val: unknown): val is PowerUom => {
-  return isString(val) && POWER_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isTimeUom = (val: unknown): val is TimeUom => {
-  return isString(val) && TIME_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isEnergyUom = (val: unknown): val is EnergyUom => {
-  return isString(val) && ENERGY_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isPressureUom = (val: unknown): val is PressureUom => {
-  return isString(val) && PRESSURE_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isTemperatureUom = (val: unknown): val is TemperatureUom => {
-  return isString(val) && TEMPERATURE_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isVolumeUom = (val: unknown): val is VolumeUom => {
-  return isString(val) && VOLUME_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isAccelerationUom = (val: unknown): val is AccelerationUom => {
-  return isString(val) && ACCELERATION_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isSpeedUom = (val: unknown): val is SpeedUom => {
-  return isString(val) && SPEED_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isMassUom = (val: unknown): val is MassUom => {
-  return isString(val) && MASS_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-export const isDistanceUom = (val: unknown): val is DistanceUom => {
-  return isString(val) && ENERGY_METRICS_LOOKUP.map(i => i.abbrev).includes(val as any);
-}
-
-/**
- * Type guard which validates the passed in `val` is a `Uom` (unit
- * of measure).
- */
-export const isUom = (val: unknown): val is Uom => {
-  return isDistanceUom(val)
-  || isMassUom(val)
-  || isSpeedUom(val)
-  || isAccelerationUom(val)
-  || isVoltageUom(val)
-  || isTemperatureUom(val)
-  || isPressureUom(val)
-  || isEnergyUom(val)
-  || isTimeUom(val)
-  || isPowerUom(val)
-  || isFrequencyUom(val)
-  || isVoltageUom(val)
-  || isCurrentUom(val)
-  || isLuminosityUom(val)
-  || isAreaUom(val)
-}

package/src/runtime/type-guards/network-tg.ts

@@ -1,123 +0,0 @@
-import {
-  DomainName,
-  GetUrlProtocolPrefix,
-  GetUrlSource,
-  Ip4Address,
-  Ip6AddressLoose,
-  UrlPath,
-  AsString
-} from "inferred-types/dist/types/index"
-import { isString } from "./isString"
-import {
-  getUrlQueryParams,
-  removeUrlProtocol,
-  isHexadecimal,
-  ip6GroupExpansion,
-  isNumberLike,
-  isAlpha,
-  asChars
-} from "src/runtime/index"
-
-
-
-
-/**
- * **isIp4Address**`(val)`
- *
- * Type guard which checks whether the value is a valid IPv4 address.
- */
-export const isIp4Address = <T>(val: T): val is T & Ip4Address => {
-  return isString(val) &&
-    ( val.split(".").length === 4) &&
-    ( val.split(".").every(i => isNumberLike(i))) &&
-    val.split(".").every(i => Number(i)>= 0 && Number(i)<= 255)
-}
-
-/**
- * **isIp6Address**`(val)`
- *
- * Type guard which checks whether the value is a valid IPv6 address.
- */
-export const isIp6Address = <T>(val: T): val is T & Ip6AddressLoose => {
-  const expanded = isString(val)
-  ? ip6GroupExpansion(val)
-  : "";
-  return isString(val) && isString(expanded) &&
-    ( expanded.split(":").every(i => asChars(i).length >= 1 && asChars(i).length <= 4) ) &&
-    expanded.split(":").every(i => isHexadecimal(i))
-}
-
-/**
- * **isIpAddress**`(val)`
- *
- * Type guard which checks whether the value is a valid IP address (v4 or v6).
- */
-export const isIpAddress = <T>(val: T): val is T & (Ip4Address | Ip6AddressLoose) => {
-  return isIp4Address(val) || isIp6Address(val);
-}
-
-/**
- * **hasUrlPort**`(val)`
- *
- * Type guard which tests whether there is an explicit _port_ reference
- * in the passed in URL (versus implicitly using the default port of the
- * protocol)
- */
-export const hasUrlPort = <T>(val: T): val is T & `${GetUrlProtocolPrefix<T>}${GetUrlSource<AsString<T>>}:${number}${string}` => {
-  return isString(val) && asChars(removeUrlProtocol(val)).some(i => i === ":");
-}
-
-/**
- * **isUrlPath**`(val)`
- *
- * Type guard which checks whether the value is a valid `UrlPath`
- */
-export const isUrlPath = <T>(val: T): val is T & UrlPath => {
-  return isString(val) &&
-  ( val === "" || val.startsWith("/") ) &&
-  (
-    asChars(val).every(
-      c => isAlpha(c) ||
-      isNumberLike(c) ||
-      c === "_" ||
-      c === "@" ||
-      c === "." ||
-      c === "-"
-    )
-  )
-}
-
-/**
- * **isDomainName**`(val)`
- *
- * Type guard which checks whether the value is a valid DNS domain name
- */
-export const isDomainName = <T>(val: T): val is T & DomainName<AsString<T>> => {
-  return isString(val) &&
-    val.split(".").filter(i => i).length > 1 &&
-    isString(val.split(".").filter(i => i).pop()) &&
-    asChars(val.split(".").filter(i => i).pop() as string).length > 1 &&
-    val.split(".").filter(i => i).every(
-      i => isAlpha(i) || isNumberLike(i) || i === "-" || i === "_"
-    )
-}
-
-/**
- * **isUrlSource**`(val)`
- *
- * Type guard which checks whether the value is a valid URL source
- * (aka, an IP address or a Domain Name)
- */
-export const isUrlSource = <T>(val: T) => {
-  return isDomainName(val) || isIpAddress(val);
-}
-
-
-/**
- * **hasUrlQueryParameter**`(val,prop)`
- *
- * Tests whether the valued in has a query parameter specified by `prop`.
- */
-export const hasUrlQueryParameter = <T extends string,P extends string>(val: T, prop: P) => {
-  return isString(getUrlQueryParams(val, prop))
-}

package/src/runtime/type-guards/tokens/index.ts

@@ -1,8 +0,0 @@
-export * from "./isAtomicToken";
-export * from "./isContainerToken";
-export * from "./isFunctionToken";
-export * from "./isSingletonToken";
-export * from "./isSimpleToken";
-export * from "./isShapeCallback";
-export * from "./isDefineObject";
-

package/src/runtime/type-guards/tokens/isAtomicToken.ts

@@ -1,16 +0,0 @@
-import { TT_Atomics } from "inferred-types/dist/constants/index";
-import { AtomicToken } from "inferred-types/dist/types/index";
-import { isString } from "src/runtime/index";
-
-
-
-/**
- * **isAtomicToken**`(val)`
- *
- * Type guard which validates whether the value passed in is a
- * valid `AtomicToken`.
- */
-export const isAtomicToken = (val: unknown): val is AtomicToken => {
-  return isString(val) &&
-    TT_Atomics.some(v => val === `<<${v}>>`)
-}

package/src/runtime/type-guards/tokens/isContainerToken.ts

@@ -1,64 +0,0 @@
-import {
-  ArrayToken,
-  ContainerToken,
-  MapToken, ObjectToken, RecordToken, SetToken, TupleToken, UnionSetToken, UnionToken, WeakMapToken } from "inferred-types/dist/types/index";
-import { isString } from "src/runtime/index"
-
-export const isObjectToken = (val: unknown): val is ObjectToken => {
-  return isString(val) && val.startsWith("<<obj::");
-}
-
-export const isRecordToken = (val: unknown): val is RecordToken => {
-  return isString(val) && val.startsWith("<<rec::") && val.endsWith(">>");
-}
-
-export const isTupleToken = (val: unknown): val is TupleToken => {
-  return isString(val) && val.startsWith("<<tuple::");
-}
-
-export const isArrayToken = (val: unknown): val is ArrayToken => {
-  return isString(val) && val.startsWith("<<arr::");
-}
-
-export const isMapToken = (val: unknown): val is MapToken => {
-  return isString(val) && val.startsWith("<<map::");
-}
-
-export const isSetToken = (val: unknown): val is SetToken => {
-  return isString(val) && val.startsWith("<<set::");
-}
-
-export const isWeakMapToken = (val: unknown): val is WeakMapToken => {
-  return isString(val) && val.startsWith("<<weak::");
-}
-
-/**
- * **isUnionToken**`(val)`: **val** is `UnionToken`
- */
-export const isUnionToken = (val: unknown): val is UnionToken => {
-  return isString(val) && val.startsWith("<<union::[ ");
-}
-
-/**
- * **isUnionSetToken**`(val)`: **val** is `UnionSetToken`
- */
-export const isUnionSetToken = (val: unknown): val is UnionSetToken => {
-  return isString(val) && val.startsWith("<<union-set::")
-}
-
-/**
- * **isContainerToken**`(val)`: **val** is `ContainerToken`
- */
-export const isContainerToken = (val: unknown): val is ContainerToken => {
-  return isString(val) && (
-    isObjectToken(val) ||
-    isRecordToken(val) ||
-    isTupleToken(val) ||
-    isArrayToken(val) ||
-    isMapToken(val) ||
-    isSetToken(val) ||
-    isWeakMapToken(val) ||
-    isUnionSetToken(val) ||
-    isUnionToken(val)
-  )
-}

package/src/runtime/type-guards/tokens/isDefineObject.ts

@@ -1,16 +0,0 @@
-import { DefineObject } from "inferred-types/dist/types/index";
-import { isObject } from "../isObject";
-import { isSimpleToken } from "./isSimpleToken";
-import { isShapeToken } from "./isShapeToken";
-import { isShapeCallback } from "./isShapeCallback";
-
-/**
- * type guard which validates whether the `val` passed in a `DefineObject`
- */
-export const isDefineObject = (val: unknown): val is DefineObject => {
-  return isObject(val) && Object.keys(val).some(
-    key => isSimpleToken(val[key]) ||
-      isShapeToken(val) ||
-      isShapeCallback(val)
-  )
-}

package/src/runtime/type-guards/tokens/isFunctionToken.ts

@@ -1,11 +0,0 @@
-import { FnToken, GeneratorToken } from "inferred-types/dist/types/index"
-import { isString } from "src/runtime/index"
-
-
-export const isFnToken = (val: unknown): val is FnToken => {
-  return isString(val) && val.startsWith("<<fn::")
-}
-
-export const isGeneratorToken = (val: unknown): val is GeneratorToken => {
-  return isString(val) && val.startsWith("<<gen::")
-}

package/src/runtime/type-guards/tokens/isShapeCallback.ts

@@ -1,9 +0,0 @@
-import { ShapeCallback } from "inferred-types/dist/types/index";
-import { isFunction } from "../isFunction";
-
-/**
- * type guard which validates that the `val` passed in is a `ShapeCallback`
- */
-export const isShapeCallback = (val: unknown): val is ShapeCallback => {
-  return isFunction(val) && (val as any).kind === "shape"
-}

package/src/runtime/type-guards/tokens/isShapeToken.ts

@@ -1,33 +0,0 @@
-import { TypeToken } from "inferred-types/dist/types/index";
-import { isString } from "src/runtime/index"
-import {
-  TT_Atomics,
-  TT_Containers,
-  TT_Functions,
-  TT_Singletons,
-  TT_Sets
-} from "inferred-types/dist/constants/index";
-
-const token_types = [
-  ...TT_Atomics,
-  ...TT_Containers,
-  ...TT_Functions,
-  ...TT_Sets,
-  ...TT_Singletons
-] as const;
-
-
-
-/**
- * **isShapeToken**`(val)`
- *
- * Type guard which validates whether the value passed in is a
- * valid "shape token" of some sort.
- */
-export const isShapeToken = (val: unknown): val is TypeToken => {
-
-  return isString(val) &&
-    val.startsWith("<<") &&
-    val.endsWith(">>") &&
-    token_types.some( t => val.startsWith(`<<${t}`))
-}