inferred-types 0.37.5 → 0.40.1

package/dist/types/src/types/runtime-types/Type.d.ts

@@ -0,0 +1,220 @@
+import type { Narrowable, Box, DoesExtend, IfArray, IfEqual, IfExtends, IfFalse, IfOr, IfStringLiteral, IsEqual, IsUnion } from "..";
+import { LITERAL_TYPE_KINDS, WIDE_TYPE_KINDS, NARROW_CONTAINER_TYPE_KINDS, WIDE_CONTAINER_TYPE_KINDS, FALSY_TYPE_KINDS, NoDefaultValue, NotApplicable } from "src/constants";
+import { TupleToUnion, TypeGuard, Filter, UnionToIntersection, AnyFunction, ErrorCondition } from "..";
+export type TypeOptions<TKind extends TypeKind = TypeKind, TRequired extends boolean = boolean, TDesc extends string = string, TUnderlying extends TypeUnderlying = TypeUnderlying, TDefaultValue extends TypeDefaultValue<TKind, TRequired, TUnderlying> = TypeDefaultValue<TKind, TRequired, TUnderlying>, TValidations extends readonly unknown[] | "no-validations" = readonly unknown[] | "no-validations"> = {
+    isRequired?: TRequired;
+    validations?: TValidations;
+    defaultValue?: TDefaultValue;
+    description?: TDesc;
+};
+export type TypeKindLiteral = TupleToUnion<typeof LITERAL_TYPE_KINDS>;
+export type TypeKindWide = TupleToUnion<typeof WIDE_TYPE_KINDS>;
+export type TypeKindFalsy = TupleToUnion<typeof FALSY_TYPE_KINDS>;
+export type TypeKindContainerNarrow = TupleToUnion<typeof NARROW_CONTAINER_TYPE_KINDS>;
+export type TypeKindContainerWide = TupleToUnion<typeof WIDE_CONTAINER_TYPE_KINDS>;
+export type TypeKindContainer = TypeKindContainerNarrow | TypeKindContainerWide;
+/**
+ * A union of all the _types_ of types we have within the `Type` namespace.
+ */
+export type TypeKind = TypeKindLiteral | TypeKindWide | TypeKindFalsy | TypeKindContainer;
+export type TypeIsRequired = "required" | "not-required";
+/**
+ * **IsLiteralKind**`<T>`
+ *
+ * Type utility which checks whether a given `TypeKind` maps to
+ * a narrow / literal type.
+ */
+export type IsLiteralKind<T extends TypeKind> = IfOr<[
+    IfExtends<T, TypeKindLiteral, true, false>,
+    IfExtends<T, TypeKindContainerNarrow, true, false>
+], true, false>;
+export type IfLiteralKind<T extends TypeKind, IF extends Narrowable, ELSE extends Narrowable> = IsLiteralKind<T> extends true ? IF : ELSE;
+/**
+ * **ToType**
+ *
+ * A type utility which takes a runtime type's "kind", whether it's
+ * required or not, and any _underlying_ values and produces the
+ * Typescript type.
+ *
+ * Note: because `Type` and `TypeDefn` have slightly different representations
+ * of TRequired and TUnderlying, we will accept either and convert.
+ */
+type ToType<TKind extends TypeKind, TRequired extends boolean | TypeIsRequired = boolean | TypeIsRequired, TUnderlying extends TypeUnderlying = "no-underlying"> = IfOr<[
+    DoesExtend<TRequired, "not-required">,
+    DoesExtend<TRequired, false>
+], ToBaseType<TKind, TUnderlying> | undefined, ToBaseType<TKind, TUnderlying>>;
+type ToBaseType<TKind extends TypeKind, TUnderlying extends TypeUnderlying = "no-underlying"> = TKind extends "string" ? string : TKind extends "number" ? number : TKind extends "boolean" ? boolean : TKind extends "null" ? null : TKind extends "undefined" ? undefined : TKind extends "stringLiteral" ? TupleToUnion<TUnderlying> : TKind extends "numericLiteral" ? TupleToUnion<TUnderlying> : TKind extends "true" ? true : TKind extends "false" ? false : TKind extends "anyArray" ? unknown[] : TKind extends "unknownObject" ? Record<string, unknown> : TKind extends "unknownObject" ? Record<string, unknown> : TKind extends "unknownFunction" ? AnyFunction : TKind extends "unknownObject" ? Record<string, unknown> : TKind extends "fnWithDict" ? TUnderlying extends readonly [
+    {
+        kind: "fnType";
+        type: unknown;
+        [key: string]: unknown;
+    },
+    {
+        kind: "object";
+        type: unknown;
+        [key: string]: unknown;
+    }
+] ? TUnderlying[0]["type"] & TUnderlying[1]["type"] : never : TKind extends "tuple" ? TUnderlying extends readonly unknown[] ? TupleToUnion<TUnderlying> : never : TKind extends "union" ? TUnderlying extends readonly unknown[] ? TupleToUnion<Filter<TUnderlying, {
+    kind: TypeKind;
+    required: TypeIsRequired;
+    underlying: readonly unknown[] | "none";
+}>> : never : TKind extends "intersection" ? TUnderlying extends readonly unknown[] ? UnionToIntersection<TupleToUnion<Filter<TUnderlying, {
+    kind: TypeKind;
+    required: TypeIsRequired;
+    underlying: readonly unknown[] | "none";
+}>>> : never : unknown;
+/**
+ * **TypeUnderlying**
+ *
+ * Used in both `Type` and `TypeDefn` structures, it's value is one of
+ * two types:
+ *
+ * - `no-underlying` is used when no _underlying_ types are needed to
+ * specify the type
+ * - `readonly unknown[]` is used to host unknown set of values which _combine_
+ * in some way to determine the **type** of the property
+ *
+ * Note: the property `underlying_
+ */
+export type TypeUnderlying = readonly unknown[] | "no-underlying";
+export type TypeDefnValidations = readonly unknown[] | "no-validations";
+/**
+ * **TypeDefaultValue**
+ *
+ * The resultant _value_ of the `defaultValue` prop in a `Type` structure
+ * and one of the generic's used to hold specifics for a `TypeDefn` struct.
+ *
+ * - either a Box<T> where T extends the type of the property
+ * - or, the constant `NoDefaultValue` indicating no default was set
+ *
+ * Note: the _generic_ `TWithDefault` in a `Type` is defined as `TypeHasDefaultValue`
+ * which is used to preserve type info but provide developers a "summarized status."
+ */
+export type TypeDefaultValue<TKind extends TypeKind = TypeKind, TRequired extends boolean = boolean, TUnderlying extends TypeUnderlying = TypeUnderlying> = Box<ToType<TKind, TRequired, TUnderlying>> | NoDefaultValue;
+/**
+ * **TypeDefn**`<TKind,TRequired,TDesc,TUnderlying,...>`
+ *
+ * Represents a minimal `Type` definition.
+ *
+ * Note: this type is typically then converted to a `Type<...>` type.
+ */
+export interface TypeDefn<TKind extends TypeKind = TypeKind, TRequired extends boolean = boolean, TDesc extends string = string, TUnderlying extends TypeUnderlying = TypeUnderlying, TDefaultVal extends TypeDefaultValue<TKind, TRequired, TUnderlying> = TypeDefaultValue<TKind, TRequired, TUnderlying>, TValidations extends TypeDefnValidations = TypeDefnValidations> {
+    readonly kind: TKind;
+    readonly isRequired?: TRequired;
+    readonly underlying?: TUnderlying;
+    readonly description?: TDesc;
+    readonly defaultValue?: TDefaultVal;
+    readonly validations?: TValidations;
+}
+/**
+ * **FromTypeDefn**`<TypeDefn>`
+ *
+ * Type utility which converts from the minimalist `TypeDefn` to a full
+ * fledged `Type` definition.
+ */
+export type FromTypeDefn<TD extends TypeDefn> = TD extends TypeDefn<infer Kind, infer Required, infer Desc, infer Underlying, infer DefaultValue, infer Validations> ? Type<Kind, IfEqual<Required, boolean, "required", IfFalse<Required, "not-required", "required">>, IfStringLiteral<Desc, Desc, "">, IfArray<Underlying, Exclude<Underlying, "no-underlying">, "no-underlying">, IfOr<[
+    IsEqual<DefaultValue, NoDefaultValue>,
+    IsUnion<DefaultValue>
+], "no-default-value", "with-default-value">, IfOr<[
+    IsEqual<Validations, "no-validations">,
+    IsUnion<Validations>
+], "no-validations", "with-validations">> : never;
+export type TypeHasDefaultValue = "no-default-value" | "with-default-value";
+export type TypeHasValidations = "no-validations" | "with-validations";
+export type TypeHasUnderlying = "no-underlying" | "literals" | "children";
+/**
+ * A function which is provided a value `T` and must either return
+ * `true` or an `ErrorCondition` which describes the issue.
+ */
+export type ValidationFunction = <T, E extends string>(value: T) => true | ErrorCondition<E>;
+/**
+ * A type definition which retains valuable runtime characteristics
+ */
+export type Type<TKind extends TypeKind = TypeKind, TRequired extends TypeIsRequired = TypeIsRequired, TDesc extends string = string, TUnderlying extends TypeUnderlying = TypeUnderlying, TWithDefault extends TypeHasDefaultValue = TypeHasDefaultValue, TWithValidations extends TypeHasValidations = TypeHasValidations> = {
+    _type: "Type";
+    /**
+     * **kind**
+     *
+     * The _type_ / _category_ of the type (e.g., string, stringLiteral, number, etc).
+     */
+    kind: TKind;
+    /**
+     * **type**
+     *
+     * The fully expressed _type definition_.
+     *
+     * **Note:** do not use this for anything in the runtime environment
+     */
+    type: ToType<TKind, TRequired, TUnderlying>;
+    /**
+     * **isRequired**
+     *
+     * Whether or not this type is _required_ to exist or if it's type
+     * should be a union with `undefined`; will default to `required`
+     */
+    isRequired: TRequired extends "not-required" ? false : true;
+    /**
+     * Whether the given runtime type is a narrow literal type
+     */
+    isLiteral: TKind extends TypeKindLiteral ? true : false;
+    /**
+     * This can be an array of _type literals_ or a container
+     * type (e.g., object, union, intersection, tuple, etc.).
+     *
+     * In all cases, the _underlying_ types represent the type
+     * definition using the _logical operand_ of the `underlying_operand`
+     * property.
+     */
+    underlying: TUnderlying;
+    /**
+     * **underlying_operand**
+     *
+     * In cases where a runtime type has _underlying_ types, this property
+     * expresses how they should be merged together into a type. In most cases
+     * this is an `OR` operand but not all.
+     */
+    underlying_operand: TUnderlying extends "no-underlying" ? "NA" : TKind extends "intersection" ? "AND" : "OR";
+    /**
+     * **defaultValue**
+     *
+     * A default value to set this variable to at runtime;
+     * defaults to not being set but when it is said then
+     * certain additional runtime operations are possible.
+     */
+    defaultValue: TWithDefault extends "no-default-value" ? NoDefaultValue : Box<ToType<TKind, TRequired, TUnderlying>>;
+    /**
+     * **isUnion**
+     *
+     * Whether or not the type represents a _union_ type. This can be true in
+     * obvious cases like a `union` _type_ but **any** type which is not required
+     * is also in effect a union type too.
+     */
+    isUnion: boolean;
+    /**
+     * **is**`(input: unknown): input is T`
+     *
+     * a **type guard** function which helps users to ensures type safety
+     * for the given type.
+     */
+    is: TypeGuard<ToType<TKind, TRequired, TUnderlying>>;
+    /**
+     * **validate**`(val) => boolean`
+     *
+     * Runs any runtime configurations which were provided to the runtime type.
+     */
+    validate: <V extends ToType<TKind, TRequired, TUnderlying>>(val: V) => boolean;
+    /**
+     * **validations**
+     *
+     * An optional array of runtime validations which can be performed on the
+     * runtime type. When the `validate()` function is called these functions
+     * along with any _underlying_ types which have validators will be run to ensure
+     * the validity at all levels of the type.
+     */
+    validations: TWithValidations extends "no-validations" ? readonly [] : readonly ValidationFunction[];
+    identity: ToType<TKind, TRequired, TUnderlying> | NotApplicable<"some types do not have an identity value for concat/sum">;
+    /** Description of the type */
+    description: TDesc;
+};
+export {};
+//# sourceMappingURL=Type.d.ts.map

package/dist/types/src/types/runtime-types/Type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/Type.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,UAAU,EACV,GAAG,EACH,UAAU,EACV,OAAO,EACP,OAAO,EACP,SAAS,EACT,OAAO,EACP,IAAI,EACJ,eAAe,EACf,OAAO,EACP,OAAO,EACR,MAAM,IAAI,CAAC;AACZ,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,2BAA2B,EAC3B,yBAAyB,EACzB,gBAAgB,EAChB,cAAc,EACd,aAAa,EACd,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,YAAY,EAAG,SAAS,EAAG,MAAM,EAAK,mBAAmB,EAAG,WAAW,EAAG,cAAc,EAAE,MAAM,IAAI,CAAC;AAE9G,MAAM,MAAM,WAAW,CACrB,KAAK,SAAS,QAAQ,GAAG,QAAQ,EACjC,SAAS,SAAS,OAAO,GAAG,OAAO,EACnC,KAAK,SAAS,MAAM,GAAG,MAAM,EAC7B,WAAW,SAAS,cAAc,GAAG,cAAc,EACnD,aAAa,SAAS,gBAAgB,CAAC,KAAK,EAAC,SAAS,EAAC,WAAW,CAAC,GAAG,gBAAgB,CACpF,KAAK,EACL,SAAS,EACT,WAAW,CACZ,EACD,YAAY,SAAS,SAAS,OAAO,EAAE,GAAG,gBAAgB,GAAG,SAAS,OAAO,EAAE,GAAG,gBAAgB,IAChG;IACF,UAAU,CAAC,EAAE,SAAS,CAAC;IACvB,WAAW,CAAC,EAAE,YAAY,CAAC;IAC3B,YAAY,CAAC,EAAE,aAAa,CAAC;IAC7B,WAAW,CAAC,EAAE,KAAK,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,YAAY,CAAC,OAAO,kBAAkB,CAAC,CAAC;AACtE,MAAM,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,eAAe,CAAC,CAAC;AAChE,MAAM,MAAM,aAAa,GAAG,YAAY,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAClE,MAAM,MAAM,uBAAuB,GAAE,YAAY,CAAC,OAAO,2BAA2B,CAAC,CAAC;AACtF,MAAM,MAAM,qBAAqB,GAAG,YAAY,CAAC,OAAO,yBAAyB,CAAC,CAAC;AACnF,MAAM,MAAM,iBAAiB,GAAG,uBAAuB,GAAG,qBAAqB,CAAC;AAEhF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,eAAe,GAAG,YAAY,GAAG,aAAa,GAAG,iBAAiB,CAAC;AAE1F,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,cAAc,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,QAAQ,IAAI,IAAI,CAClD;IACE,SAAS,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,CAAC;IAC1C,SAAS,CAAC,CAAC,EAAE,uBAAuB,EAAE,IAAI,EAAE,KAAK,CAAC;CACnD,EACD,IAAI,EACJ,KAAK,CACN,CAAC;AAEF,MAAM,MAAM,aAAa,CACvB,CAAC,SAAS,QAAQ,EAClB,EAAE,SAAS,UAAU,EACrB,IAAI,SAAS,UAAU,IACrB,aAAa,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,EAAE,GAAG,IAAI,CAAC;AAE9C;;;;;;;;;GASG;AACH,KAAK,MAAM,CACT,KAAK,SAAS,QAAQ,EACtB,SAAS,SAAS,OAAO,GAAG,cAAc,GAAG,OAAO,GAAG,cAAc,EACrE,WAAW,SAAS,cAAc,GAAG,eAAe,IAClD,IAAI,CACF;IAAC,UAAU,CAAC,SAAS,EAAE,cAAc,CAAC;IAAE,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC;CAAC,EAAE,UAAU,CAAC,KAAK,EAAG,WAAW,CAAC,GAAG,SAAS,EAClH,UAAU,CAAC,KAAK,EAAG,WAAW,CAAC,CAChC,CAAC;AAEN,KAAK,UAAU,CACb,KAAK,SAAS,QAAQ,EACtB,WAAW,SAAS,cAAc,GAAG,eAAe,IAEpD,KAAK,SAAS,QAAQ,GAAG,MAAM,GAC7B,KAAK,SAAS,QAAQ,GAAG,MAAM,GAC/B,KAAK,SAAS,SAAS,GAAG,OAAO,GACjC,KAAK,SAAS,MAAM,GAAG,IAAI,GAC3B,KAAK,SAAS,WAAW,GAAG,SAAS,GACrC,KAAK,SAAS,eAAe,GAAG,YAAY,CAAC,WAAW,CAAC,GACzD,KAAK,SAAS,gBAAgB,GAAG,YAAY,CAAC,WAAW,CAAC,GAC1D,KAAK,SAAS,MAAM,GAAG,IAAI,GAC3B,KAAK,SAAS,OAAO,GAAG,KAAK,GAC7B,KAAK,SAAS,UAAU,GAAG,OAAO,EAAE,GACpC,KAAK,SAAS,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACvD,KAAK,SAAS,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACvD,KAAK,SAAS,iBAAiB,GAAG,WAAW,GAC7C,KAAK,SAAS,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACvD,KAAK,SAAS,YAAY,GACxB,WAAW,SAAS,SAAS;IAC3B;QAAC,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,OAAO,CAAC;QAAC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;KAAC;IACvD;QAAC,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,OAAO,CAAC;QAAC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;KAAC;CACxD,GACG,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAC/C,KAAK,GACX,KAAK,SAAS,OAAO,GACnB,WAAW,SAAS,SAAS,OAAO,EAAE,GACpC,YAAY,CAAC,WAAW,CAAC,GACzB,KAAK,GACT,KAAK,SAAS,OAAO,GACnB,WAAW,SAAS,SAAS,OAAO,EAAE,GACpC,YAAY,CAAC,MAAM,CACjB,WAAW,EACX;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,cAAc,CAAC;IAAC,UAAU,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAAA;CAAE,CACtF,CAAC,GACF,KAAK,GACT,KAAK,SAAS,cAAc,GAC1B,WAAW,SAAS,SAAS,OAAO,EAAE,GACpC,mBAAmB,CAAC,YAAY,CAAC,MAAM,CACvC,WAAW,EACX;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,cAAc,CAAC;IAAC,UAAU,EAAE,SAAS,OAAO,EAAE,GAAG,MAAM,CAAA;CAAE,CACtF,CAAC,CAAC,GACH,KAAK,GACT,OAAO,CAAC;AAGV;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,GAAI,SAAS,OAAO,EAAE,GAAG,eAAe,CAAC;AAEnE,MAAM,MAAM,mBAAmB,GAAG,SAAS,OAAO,EAAE,GAAG,gBAAgB,CAAC;AAExE;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,gBAAgB,CAC1B,KAAK,SAAS,QAAQ,GAAG,QAAQ,EACjC,SAAS,SAAS,OAAO,GAAG,OAAO,EACnC,WAAW,SAAS,cAAc,GAAG,cAAc,IACjD,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,GAAG,cAAc,CAAC;AAGhE;;;;;;GAMG;AACH,MAAM,WAAW,QAAQ,CACvB,KAAK,SAAS,QAAQ,GAAG,QAAQ,EACjC,SAAS,SAAS,OAAO,GAAG,OAAO,EACnC,KAAK,SAAS,MAAM,GAAG,MAAM,EAC7B,WAAW,SAAS,cAAc,GAAG,cAAc,EACnD,WAAW,SAAS,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,EACrH,YAAY,SAAS,mBAAmB,GAAG,mBAAmB;IAE9D,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC;CACrC;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,EAAE,SAAS,QAAQ,IACjB,EAAE,SAAS,QAAQ,CACrB,MAAM,IAAI,EACV,MAAM,QAAQ,EACd,MAAM,IAAI,EACV,MAAM,UAAU,EAChB,MAAM,YAAY,EAClB,MAAM,WAAW,CAClB,GACG,IAAI,CACF,IAAI,EACJ,OAAO,CACL,QAAQ,EAAE,OAAO,EACjB,UAAU,EACV,OAAO,CAAC,QAAQ,EAAE,cAAc,EAAE,UAAU,CAAC,CAC9C,EACD,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,EAC/B,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,eAAe,CAAC,EAAE,eAAe,CAAC,EAC1E,IAAI,CACF;IACE,OAAO,CAAC,YAAY,EAAE,cAAc,CAAC;IACrC,OAAO,CAAC,YAAY,CAAC;CACtB,EACD,kBAAkB,EAClB,oBAAoB,CACrB,EACD,IAAI,CACF;IACE,OAAO,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACtC,OAAO,CAAC,WAAW,CAAC;CACrB,EACD,gBAAgB,EAChB,kBAAkB,CACnB,CAEF,GACD,KAAK,CAAC;AAEV,MAAM,MAAM,mBAAmB,GAAG,kBAAkB,GAAG,oBAAoB,CAAC;AAC5E,MAAM,MAAM,kBAAkB,GAAG,gBAAgB,GAAG,kBAAkB,CAAC;AACvE,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAAG,UAAU,GAAG,UAAU,CAAC;AAE1E;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,KAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;AAE9F;;GAEG;AACH,MAAM,MAAM,IAAI,CACd,KAAK,SAAS,QAAQ,GAAG,QAAQ,EACjC,SAAS,SAAS,cAAc,GAAG,cAAc,EACjD,KAAK,SAAS,MAAM,GAAG,MAAM,EAC7B,WAAW,SAAS,cAAc,GAAG,cAAc,EACnD,YAAY,SAAS,mBAAmB,GAAG,mBAAmB,EAC9D,gBAAgB,SAAS,kBAAkB,GAAG,kBAAkB,IAC9D;IACF,KAAK,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,IAAI,EAAE,KAAK,CAAC;IACZ;;;;;;OAMG;IACH,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;IAE5C;;;;;OAKG;IACH,UAAU,EAAE,SAAS,SAAS,cAAc,GAAG,KAAK,GAAG,IAAI,CAAC;IAE5D;;OAEG;IACH,SAAS,EAAE,KAAK,SAAS,eAAe,GAAG,IAAI,GAAG,KAAK,CAAC;IAExD;;;;;;;OAOG;IACH,UAAU,EAAE,WAAW,CAAC;IAExB;;;;;;OAMG;IACH,kBAAkB,EAAE,WAAW,SAAS,eAAe,GACnD,IAAI,GACJ,KAAK,SAAS,cAAc,GAAG,KAAK,GAAG,IAAI,CAAC;IAEhD;;;;;;OAMG;IACH,YAAY,EAAE,YAAY,SAAS,kBAAkB,GACjD,cAAc,GACd,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;IAE/C;;;;;;OAMG;IACH,OAAO,EAAE,OAAO,CAAC;IAEjB;;;;;OAKG;IACH,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;IAErD;;;;OAIG;IACH,QAAQ,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,OAAO,CAAC;IAE/E;;;;;;;OAOG;IACH,WAAW,EAAE,gBAAgB,SAAS,gBAAgB,GAClD,SAAS,EAAE,GACX,SAAS,kBAAkB,EAAE,CAAC;IAElC,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,GAAG,aAAa,CAAC,yDAAyD,CAAC,CAAC;IAE3H,8BAA8B;IAC9B,WAAW,EAAE,KAAK,CAAC;CACpB,CAAC"}

package/dist/types/src/types/runtime-types/Type.js

@@ -0,0 +1 @@
+export {};

package/dist/types/src/types/runtime-types/TypeOf.d.ts

@@ -0,0 +1,54 @@
+import { TYPE_OF } from "src/constants";
+import { IsUndefined, AnyFunction, AnyObject, TupleToUnion } from "..";
+/**
+ * **TypeOf**
+ *
+ * The possible _types_ returned by the Javascript `typeof` command.
+ *
+ * - most types such as `string`, `number`, `boolean`, `undefined`, etc. have very
+ * straight forward "types"
+ * - the `object` type however translates into `null` and any array or object
+ * - even though `function` _is_ clearly separated from `object` at runtime with **typeof**
+ * it does allow dictionary properties to be attached along with being a function. This
+ * contrasts with Typescript which models an intersection between a function signature
+ * and an object signature.
+ *
+ * **Related:** `TypeOfExtended`
+ */
+export type TypeOf = TupleToUnion<typeof TYPE_OF>;
+/**
+ * **TypeOfExtended**
+ *
+ * The base data structures we tend think of in Javascript including some
+ * like `null` and `array` which are not reported by the **typeof** operator.
+ *
+ * This set of operators, while not natively supported by **typeof** is supported
+ * by type and runtime utilities in this library.
+ *
+ * **Related:** `TypeOf`, `TypeTokens`
+ */
+export type TypeOfExtended = TypeOf | "null" | "array" | "function-with-props";
+/**
+ * **GetTypeOf**`<T>`
+ *
+ * type utility which converts a type string literal which represents
+ * the value of this type from the standpoint of Javascript's `typeof`
+ * operator.
+ */
+export type GetTypeOf<T> = (T extends string ? "string" : T extends number ? "number" : T extends boolean ? "boolean" : T extends AnyFunction ? "function" : T extends AnyObject | null | unknown[] ? "object" : T extends bigint ? "bigint" : IsUndefined<T> extends true ? "undefined" : T extends symbol ? "symbol" : never) & TypeOf;
+/**
+ * **ConvertTypeOf**`<T>`
+ *
+ * Type utility which receives a `TypeOf` value and converts into a
+ * comparable type.
+ *
+ * - please keep in mind that `object` types are converted to:
+ *    ```ts
+ *    AnyObject | null | unknown[]
+ *    ```
+ * - any runtime type which is seen as a `function` is converted to the
+ * `AnyFunction` type alias which includes allowing for functions which
+ * have dictionary props.
+ */
+export type ConvertTypeOf<T extends TypeOf> = T extends "string" ? string : T extends "number" ? number : T extends "object" ? AnyObject | null | unknown[] : T extends "undefined" ? undefined : T extends "function" ? AnyFunction : T extends "bigint" ? number : T extends "symbol" ? symbol : T extends "boolean" ? boolean : never;
+//# sourceMappingURL=TypeOf.d.ts.map

package/dist/types/src/types/runtime-types/TypeOf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeOf.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/TypeOf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,WAAW,EAAG,WAAW,EAAE,SAAS,EAAG,YAAY,EAAE,MAAM,IAAI,CAAC;AAEzE;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,OAAO,CAAC,CAAC;AAElD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,qBAAqB,CAAC;AAE/E;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,MAAM,GACxC,QAAQ,GACR,CAAC,SAAS,MAAM,GAAG,QAAQ,GAC3B,CAAC,SAAS,OAAO,GAAG,SAAS,GAC7B,CAAC,SAAS,WAAW,GAAG,UAAU,GAClC,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,OAAO,EAAE,GAAG,QAAQ,GACjD,CAAC,SAAS,MAAM,GAAG,QAAQ,GAC3B,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,WAAW,GACzC,CAAC,SAAS,MAAM,GAAG,QAAQ,GAC3B,KAAK,CACR,GAAG,MAAM,CAAC;AAEX;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,QAAQ,GAC5D,MAAM,GACN,CAAC,SAAS,QAAQ,GAAG,MAAM,GAC3B,CAAC,SAAS,QAAQ,GAAG,SAAS,GAAG,IAAI,GAAG,OAAO,EAAE,GACjD,CAAC,SAAS,WAAW,GAAG,SAAS,GACjC,CAAC,SAAS,UAAU,GAAG,WAAW,GAClC,CAAC,SAAS,QAAQ,GAAG,MAAM,GAC3B,CAAC,SAAS,QAAQ,GAAG,MAAM,GAC3B,CAAC,SAAS,SAAS,GAAG,OAAO,GAC7B,KAAK,CAAC"}

package/dist/types/src/types/runtime-types/TypeOf.js

@@ -0,0 +1 @@
+export {};

package/dist/types/src/types/runtime-types/TypeToken.d.ts

@@ -0,0 +1,37 @@
+import { Surround, TupleToUnion, Date, Time, DateTime, IfNull, RetainFromList } from "..";
+import { TYPE_TOKEN_IDENTITIES, TYPE_TOKEN_PARAM_STR, TYPE_TOKEN_PARAM_CSV, TYPE_TOKEN_PARAM_DATETIME, TYPE_TOKEN_PARAM_DATE, TYPE_TOKEN_PARAM_TIME, TYPE_TOKEN_ALL } from "src/constants";
+/**
+ * **TypeTokenName**
+ *
+ * A union of all `TypeToken` types
+ */
+export type TypeTokenName = TupleToUnion<typeof TYPE_TOKEN_ALL>;
+/**
+ * **GenericTypeToken**
+ *
+ * All `TypeToken`'s are represented _generically_ as a string surrounded by
+ * "<<" and ">>" characters.
+ */
+export type GenericTypeToken = `<<${string}>>`;
+type TT = Readonly<[
+    ...Surround<typeof TYPE_TOKEN_IDENTITIES, "<<", ">>">,
+    ...Surround<typeof TYPE_TOKEN_PARAM_STR, "<<", `:${string}>>`>,
+    ...Surround<typeof TYPE_TOKEN_PARAM_CSV, "<<", `:${string}>>`>,
+    ...Surround<typeof TYPE_TOKEN_PARAM_DATETIME, "<<", `:${DateTime}>>`>,
+    ...Surround<typeof TYPE_TOKEN_PARAM_DATE, "<<", `:${Date}>>`>,
+    ...Surround<typeof TYPE_TOKEN_PARAM_TIME, "<<", `:${Time}>>`>
+]>;
+/**
+ * **TypeTokens**`<[TFind]>`
+ *
+ * A union of "type tokens" where a token is a string representation
+ * of a type. These string representations fit into the following
+ * categories.
+ *
+ * - all type tokens follow the generic pattern imposed by `GenericTypeToken`.
+ * - if a string literal is provided to `TFind` then only the type of a particular
+ * type literal will be returned.
+ */
+export type TypeToken<TFind extends string | null = null> = IfNull<TFind, TupleToUnion<TT>, TupleToUnion<RetainFromList<TT, "extends", `<<${TFind}${">>" | `:${string}>>`}`>>>;
+export {};
+//# sourceMappingURL=TypeToken.d.ts.map

package/dist/types/src/types/runtime-types/TypeToken.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeToken.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/TypeToken.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,cAAc,EACf,MAAM,IAAI,CAAC;AACZ,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,oBAAoB,EACpB,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EACrB,cAAc,EACf,MAAM,eAAe,CAAC;AAEvB;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,YAAY,CAAC,OAAO,cAAc,CAAC,CAAC;AAEhE;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,KAAK,MAAM,IAAI,CAAC;AAE/C,KAAK,EAAE,GAAG,QAAQ,CAAC;IACjB,GAAG,QAAQ,CAAC,OAAO,qBAAqB,EAAE,IAAI,EAAE,IAAI,CAAC;IACrD,GAAG,QAAQ,CAAC,OAAO,oBAAoB,EAAE,IAAI,EAAE,IAAI,MAAM,IAAI,CAAC;IAC9D,GAAG,QAAQ,CAAC,OAAO,oBAAoB,EAAE,IAAI,EAAE,IAAI,MAAM,IAAI,CAAC;IAC9D,GAAG,QAAQ,CAAC,OAAO,yBAAyB,EAAE,IAAI,EAAE,IAAI,QAAQ,IAAI,CAAC;IACrE,GAAG,QAAQ,CAAC,OAAO,qBAAqB,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;IAC7D,GAAG,QAAQ,CAAC,OAAO,qBAAqB,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC;CAC9D,CAAC,CAAC;AAEH;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,MAAM,GAAG,IAAI,GAAG,IAAI,IAChC,MAAM,CACR,KAAK,EACL,YAAY,CAAC,EAAE,CAAC,EAChB,YAAY,CAAC,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,KAAK,GAAG,IAAI,GAAG,IAAI,MAAM,IAAI,EAAE,CAAC,CAAC,CAClF,CAAC"}

package/dist/types/src/types/runtime-types/TypeToken.js

@@ -0,0 +1 @@
+export {};

package/dist/types/src/types/runtime-types/TypeTuple.d.ts

@@ -0,0 +1,19 @@
+import { Narrowable, TypeGuard } from "..";
+/**
+ * **TypeTuple**`<TType>`
+ *
+ * The Tuple containing:
+ *  - a type _representation_
+ *  - a type guard to validate
+ *  - (optionally) a textual description of the type
+ *
+ * This provides a simple shorthand way of defining a type in a way
+ * which can be used in the tooling for `Type` and `TypeDefn` but does
+ * not represent a full-fledged `Type<T>`.
+ */
+export type TypeTuple<TType extends Narrowable = Narrowable, TDesc extends string = string> = [
+    type: TType,
+    guard: TypeGuard<TType>,
+    desc: TDesc
+];
+//# sourceMappingURL=TypeTuple.d.ts.map

package/dist/types/src/types/runtime-types/TypeTuple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeTuple.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/TypeTuple.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAG,SAAS,EAAE,MAAM,IAAI,CAAC;AAE5C;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,SAAS,CACnB,KAAK,SAAS,UAAU,GAAG,UAAU,EACrC,KAAK,SAAS,MAAM,GAAG,MAAM,IAC3B;IACF,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC;IACvB,IAAI,EAAE,KAAK;CACZ,CAAC"}

package/dist/types/src/types/runtime-types/TypeTuple.js

@@ -0,0 +1 @@
+export {};

package/dist/types/src/types/runtime-types/api/boolean.d.ts

@@ -0,0 +1,9 @@
+import type { FromTypeDefn, TypeDefaultValue, TypeOptions, TypeUnderlying } from "../..";
+export type TypeApiBoolean = <TRequired extends boolean, TDesc extends string, TUnderlying extends TypeUnderlying, TDefaultValue extends TypeDefaultValue<"boolean", TRequired, TUnderlying>, TValidations extends readonly unknown[] | "no-validations">(options?: TypeOptions<"boolean", TRequired, TDesc, TUnderlying, TDefaultValue, TValidations>) => FromTypeDefn<{
+    kind: "boolean";
+    isRequired: TRequired;
+    description: TDesc;
+    defaultValue: TDefaultValue;
+    validations: TValidations;
+}>;
+//# sourceMappingURL=boolean.d.ts.map

package/dist/types/src/types/runtime-types/api/boolean.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"boolean.d.ts","sourceRoot":"","sources":["../../../../../../src/types/runtime-types/api/boolean.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,cAAc,EACf,MAAM,OAAO,CAAC;AAEf,MAAM,MAAM,cAAc,GAAG,CACzB,SAAS,SAAS,OAAO,EACzB,KAAK,SAAS,MAAM,EACpB,WAAW,SAAS,cAAc,EAClC,aAAa,SAAS,gBAAgB,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,EACzE,YAAY,SAAS,SAAS,OAAO,EAAE,GAAG,gBAAgB,EAE5D,OAAO,CAAC,EAAE,WAAW,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,KACzF,YAAY,CAAC;IAChB,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,EAAE,SAAS,CAAC;IACtB,WAAW,EAAE,KAAK,CAAC;IACnB,YAAY,EAAE,aAAa,CAAC;IAC5B,WAAW,EAAE,YAAY,CAAC;CAC3B,CAAC,CAAC"}

package/dist/types/src/types/runtime-types/api/boolean.js

@@ -0,0 +1 @@
+export {};

package/dist/types/src/types/runtime-types/api/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * **TypeApi**
+ *
+ * A builder API surface to create a runtime `Type` definition.
+ */
+export type TypeApi = {};
+//# sourceMappingURL=index.d.ts.map

package/dist/types/src/types/runtime-types/api/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/types/runtime-types/api/index.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,MAAM,MAAM,OAAO,GAAG,EAkBrB,CAAC"}

package/dist/types/src/types/runtime-types/api/index.js

@@ -0,0 +1 @@
+export {};

package/dist/types/src/types/runtime-types/api/number.d.ts

@@ -0,0 +1,4 @@
+import { NoDefaultValue } from "src/constants";
+import { Type, TypeDefaultValue, TypeOptions, TypeUnderlying } from "../..";
+export type TypeApiNumber = <TRequired extends boolean = true, TDesc extends string = "", TUnderlying extends TypeUnderlying = "no-underlying", TDefaultValue extends TypeDefaultValue<"number", TRequired, TUnderlying> = NoDefaultValue, TValidations extends readonly unknown[] | "no-validations" = "no-validations">(options?: TypeOptions<"number", TRequired, TDesc, TUnderlying, TDefaultValue, TValidations>) => Type<"number", TRequired extends true ? "required" : "not-required", TDesc, TUnderlying, TDefaultValue extends NoDefaultValue ? "no-default-value" : "with-default-value", TValidations extends "no-validations" ? "no-validations" : "with-validations">;
+//# sourceMappingURL=number.d.ts.map

package/dist/types/src/types/runtime-types/api/number.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../../../../../src/types/runtime-types/api/number.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EACL,IAAI,EACJ,gBAAgB,EAChB,WAAW,EACX,cAAc,EACf,MAAM,OAAO,CAAC;AAEf,MAAM,MAAM,aAAa,GAAG,CACxB,SAAS,SAAS,OAAO,GAAG,IAAI,EAChC,KAAK,SAAS,MAAM,GAAG,EAAE,EACzB,WAAW,SAAS,cAAc,GAAG,eAAe,EACpD,aAAa,SAAS,gBAAgB,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,GAAG,cAAc,EACzF,YAAY,SAAS,SAAS,OAAO,EAAE,GAAG,gBAAgB,GAAG,gBAAgB,EAE/E,OAAO,CAAC,EAAE,WAAW,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,KACxF,IAAI,CACP,QAAQ,EACR,SAAS,SAAS,IAAI,GAAG,UAAU,GAAG,cAAc,EACpD,KAAK,EACL,WAAW,EACX,aAAa,SAAS,cAAc,GAAG,kBAAkB,GAAG,oBAAoB,EAChF,YAAY,SAAS,gBAAgB,GAAG,gBAAgB,GAAG,kBAAkB,CAC9E,CAAC"}

package/dist/types/src/types/runtime-types/api/number.js

@@ -0,0 +1 @@
+export {};

package/dist/types/src/types/runtime-types/api/numericLiteral.d.ts

@@ -0,0 +1 @@
+//# sourceMappingURL=numericLiteral.d.ts.map

package/dist/types/src/types/runtime-types/api/numericLiteral.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numericLiteral.d.ts","sourceRoot":"","sources":["../../../../../../src/types/runtime-types/api/numericLiteral.ts"],"names":[],"mappings":""}

package/dist/types/src/types/runtime-types/api/numericLiteral.js

@@ -0,0 +1,22 @@
+"use strict";
+// import { NoDefaultValue } from "src/constants";
+// import { Type, TypeDefaultValue, TypeOptions, TypeUnderlying } from "src/types";
+// export type TypeApiNumericLiteral = <
+// TRequired extends boolean = true,
+// TDesc extends string = "",
+// TUnderlying extends TypeUnderlying = "no-underlying",
+// TDefaultValue extends TypeDefaultValue<"stringLiteral", TRequired, TUnderlying> = NoDefaultValue,
+// TValidations extends readonly unknown[] | "no-validations" = "no-validations", 
+// >(
+//   literal: TUnderlying extends readonly string[] 
+//     ? TUnderlying 
+//     : never, 
+//   options?: TypeOptions<"numericLiteral",TRequired, TDesc, TUnderlying, TDefaultValue, TValidations>
+// ) => Type<
+//   "numericLiteral",
+//   TRequired extends true ? "required" : "not-required", 
+//   TDesc, 
+//   TUnderlying, 
+//   TDefaultValue extends NoDefaultValue ? "no-default-value" : "with-default-value", 
+//   TValidations extends "no-validations" ? "no-validations" : "with-validations"
+// >;

package/dist/types/src/types/runtime-types/api/string.d.ts

@@ -0,0 +1,4 @@
+import { NoDefaultValue } from "src/constants";
+import { Type, TypeDefaultValue, TypeOptions, TypeUnderlying } from "../..";
+export type TypeApiString = <TRequired extends boolean = true, TDesc extends string = "", TUnderlying extends TypeUnderlying = "no-underlying", TDefaultValue extends TypeDefaultValue<"string", TRequired, TUnderlying> = NoDefaultValue, TValidations extends readonly unknown[] | "no-validations" = "no-validations">(options?: TypeOptions<"string", TRequired, TDesc, TUnderlying, TDefaultValue, TValidations>) => Type<"string", TRequired extends false ? "not-required" : "required", TDesc, TUnderlying, TDefaultValue extends NoDefaultValue ? "no-default-value" : "with-default-value", TValidations extends "no-validations" ? "no-validations" : "with-validations">;
+//# sourceMappingURL=string.d.ts.map

package/dist/types/src/types/runtime-types/api/string.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../../../../src/types/runtime-types/api/string.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,OAAO,CAAC;AAE5E,MAAM,MAAM,aAAa,GAAG,CACxB,SAAS,SAAS,OAAO,GAAG,IAAI,EAChC,KAAK,SAAS,MAAM,GAAG,EAAE,EACzB,WAAW,SAAS,cAAc,GAAG,eAAe,EACpD,aAAa,SAAS,gBAAgB,CAAC,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,GAAG,cAAc,EACzF,YAAY,SAAS,SAAS,OAAO,EAAE,GAAG,gBAAgB,GAAG,gBAAgB,EAE/E,OAAO,CAAC,EAAE,WAAW,CAAC,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,KACxF,IAAI,CACP,QAAQ,EACR,SAAS,SAAS,KAAK,GAAG,cAAc,GAAG,UAAU,EACrD,KAAK,EACL,WAAW,EACX,aAAa,SAAS,cAAc,GAAG,kBAAkB,GAAG,oBAAoB,EAChF,YAAY,SAAS,gBAAgB,GAAG,gBAAgB,GAAG,kBAAkB,CAC9E,CAAC"}

package/dist/types/src/types/runtime-types/api/string.js

@@ -0,0 +1 @@
+export {};

package/dist/types/src/types/runtime-types/api/stringLiteral.d.ts

@@ -0,0 +1,21 @@
+import type { Digit, TypeOptions, IfReadonlyArray, AlphaNumericChar, LowerAlphaChar, UpperAlphaChar, Narrowable, FromTypeDefn, TypeDefaultValue } from "../..";
+export type StringLiteralMapper = {
+    "<string>": `${string}`;
+    "<number>": `${number}`;
+    "<boolean>": `${boolean}`;
+    "<digit>": `${Digit}`;
+    "<letter>": `${AlphaNumericChar}`;
+    "<letter:lowercase>": `${LowerAlphaChar}`;
+    "<letter:uppercase>": `${UpperAlphaChar}`;
+};
+type ToUnderlying<T extends Narrowable> = IfReadonlyArray<T, T & readonly unknown[], readonly [T]>;
+export type TypeApiStringLiteral = <TRequired extends boolean, TDesc extends string, TUnderlying extends Narrowable[], TDefaultValue extends TypeDefaultValue<"stringLiteral", TRequired, ToUnderlying<TUnderlying>>, TValidations extends readonly unknown[] | "no-validations">(defn: TUnderlying, options?: TypeOptions<"stringLiteral", TRequired, TDesc, ToUnderlying<TUnderlying>, TDefaultValue, TValidations>) => FromTypeDefn<{
+    kind: "stringLiteral";
+    isRequired: TRequired;
+    description: TDesc;
+    underlying: ToUnderlying<TUnderlying>;
+    defaultValue: TDefaultValue;
+    validations: TValidations;
+}>;
+export {};
+//# sourceMappingURL=stringLiteral.d.ts.map

package/dist/types/src/types/runtime-types/api/stringLiteral.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stringLiteral.d.ts","sourceRoot":"","sources":["../../../../../../src/types/runtime-types/api/stringLiteral.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,KAAK,EACL,WAAW,EACX,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,UAAU,EACV,YAAY,EACZ,gBAAgB,EACjB,MAAM,OAAO,CAAC;AAEf,MAAM,MAAM,mBAAmB,GAAG;IAChC,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC;IACxB,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC;IACxB,WAAW,EAAE,GAAG,OAAO,EAAE,CAAC;IAC1B,SAAS,EAAE,GAAG,KAAK,EAAE,CAAC;IACtB,UAAU,EAAE,GAAG,gBAAgB,EAAE,CAAC;IAClC,oBAAoB,EAAE,GAAG,cAAc,EAAE,CAAC;IAC1C,oBAAoB,EAAE,GAAG,cAAc,EAAE,CAAC;CAC3C,CAAC;AAaF,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,IAAI,eAAe,CACvD,CAAC,EAAE,CAAC,GAAG,SAAS,OAAO,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,CACxC,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG,CACjC,SAAS,SAAS,OAAO,EACzB,KAAK,SAAS,MAAM,EAEpB,WAAW,SAAS,UAAU,EAAE,EAChC,aAAa,SAAS,gBAAgB,CAAC,eAAe,EAAE,SAAS,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC,EAC7F,YAAY,SAAS,SAAS,OAAO,EAAE,GAAG,gBAAgB,EAE1D,IAAI,EAAE,WAAW,EACjB,OAAO,CAAC,EAAE,WAAW,CACnB,eAAe,EAAE,SAAS,EAAE,KAAK,EAAE,YAAY,CAAC,WAAW,CAAC,EAAE,aAAa,EAAE,YAAY,CAC1F,KACE,YAAY,CAAC;IAChB,IAAI,EAAE,eAAe,CAAC;IACtB,UAAU,EAAE,SAAS,CAAC;IACtB,WAAW,EAAE,KAAK,CAAC;IACnB,UAAU,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC;IACtC,YAAY,EAAE,aAAa,CAAC;IAC5B,WAAW,EAAE,YAAY,CAAC;CAC3B,CAAC,CAAC"}

package/dist/types/src/types/runtime-types/api/stringLiteral.js

@@ -0,0 +1 @@
+export {};

package/dist/types/src/types/runtime-types/index.d.ts

@@ -0,0 +1,11 @@
+export * from "./api/index";
+export * from "./DescribeType";
+export * from "./Type";
+export * from "./TypeOf";
+export * from "./StringLiteralToken";
+export * from "./FromLiteralTokens";
+export * from "./TokenizeStringLiteral";
+export * from "./LiteralType";
+export * from "./TypeToken";
+export * from "./TypeTuple";
+//# sourceMappingURL=index.d.ts.map

package/dist/types/src/types/runtime-types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/types/runtime-types/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,QAAQ,CAAC;AACvB,cAAc,UAAU,CAAC;AACzB,cAAc,sBAAsB,CAAC;AACrC,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC"}

package/dist/types/src/types/runtime-types/index.js

@@ -0,0 +1,10 @@
+export * from "./api/index";
+export * from "./DescribeType";
+export * from "./Type";
+export * from "./TypeOf";
+export * from "./StringLiteralToken";
+export * from "./FromLiteralTokens";
+export * from "./TokenizeStringLiteral";
+export * from "./LiteralType";
+export * from "./TypeToken";
+export * from "./TypeTuple";

package/dist/types/src/types/sets/AllKeys.d.ts

@@ -0,0 +1,11 @@
+import { Keys, AfterFirst, First, Dedupe, AnyObject, Tuple } from "..";
+type Calc<T extends readonly (Tuple | AnyObject)[], Acc extends readonly PropertyKey[] = []> = [] extends T ? Dedupe<Acc> : Calc<AfterFirst<T>, [
+    ...Acc,
+    ...Keys<First<T>>
+]>;
+/**
+ * **AllKeys**<TContainers>
+ */
+export type AllKeys<TContainers extends readonly (Tuple | AnyObject)[]> = Calc<TContainers>;
+export {};
+//# sourceMappingURL=AllKeys.d.ts.map

package/dist/types/src/types/sets/AllKeys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AllKeys.d.ts","sourceRoot":"","sources":["../../../../../src/types/sets/AllKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,IAAI,CAAC;AAEvE,KAAK,IAAI,CACP,CAAC,SAAS,SAAS,CAAC,KAAK,GAAG,SAAS,CAAC,EAAE,EACxC,GAAG,SAAS,SAAS,WAAW,EAAE,GAAG,EAAE,IACrC,EAAE,SAAS,CAAC,GACZ,MAAM,CAAC,GAAG,CAAC,GACX,IAAI,CACF,UAAU,CAAC,CAAC,CAAC,EACb;IAAC,GAAG,GAAG;IAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CAAC,CAC5B,CAAC;AAEN;;GAEG;AACH,MAAM,MAAM,OAAO,CAAC,WAAW,SAAS,SAAS,CAAC,KAAK,GAAG,SAAS,CAAC,EAAE,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC"}

package/dist/types/src/types/sets/AllKeys.js

@@ -0,0 +1 @@
+export {};

package/dist/types/src/types/sets/Dedupe.d.ts

@@ -0,0 +1,18 @@
+import { Tuple, AfterFirst, First, IfContains } from "..";
+type _Dedupe<T extends Tuple, TResult extends Tuple = []> = [] extends T ? TResult : _Dedupe<AfterFirst<T>, IfContains<TResult, First<T>, TResult, [
+    ...TResult,
+    First<T>
+]>>;
+/**
+ * **Dedupe**`<T>`
+ *
+ * Deduplicates a tuple `T` so that only one of each value is represented
+ * in the Tuple.
+ * ```ts
+ * // [1,2,3]
+ * type T = Dedupe<[1,2,2,3]>;
+ * ```
+ */
+export type Dedupe<T extends Tuple> = _Dedupe<T>;
+export {};
+//# sourceMappingURL=Dedupe.d.ts.map

package/dist/types/src/types/sets/Dedupe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Dedupe.d.ts","sourceRoot":"","sources":["../../../../../src/types/sets/Dedupe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAG1D,KAAK,OAAO,CACV,CAAC,SAAS,KAAK,EACf,OAAO,SAAS,KAAK,GAAG,EAAE,IACxB,EAAE,SAAS,CAAC,GACd,OAAO,GACP,OAAO,CACL,UAAU,CAAC,CAAC,CAAC,EACb,UAAU,CACR,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EACjB,OAAO,EACP;IAAC,GAAG,OAAO;IAAE,KAAK,CAAC,CAAC,CAAC;CAAC,CACvB,CACF,CAAC;AAEJ;;;;;;;;;GASG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,KAAK,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC"}

package/dist/types/src/types/sets/Dedupe.js

@@ -0,0 +1 @@
+export {};

package/dist/types/src/types/sets/IntersectingKeys.d.ts

@@ -0,0 +1,7 @@
+import { Container, UnionToTuple } from "..";
+/**
+ * Provides a tuple of keys which are shared between the two
+ * tuples passed in [`L`,`R`].
+ */
+export type IntersectingKeys<L extends Container, R extends Container> = UnionToTuple<(keyof L) & (keyof R)> & PropertyKey[];
+//# sourceMappingURL=IntersectingKeys.d.ts.map

package/dist/types/src/types/sets/IntersectingKeys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IntersectingKeys.d.ts","sourceRoot":"","sources":["../../../../../src/types/sets/IntersectingKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAG7C;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAC1B,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,IACjB,YAAY,CACd,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CACtB,GAAG,WAAW,EAAE,CAAC"}

package/dist/types/src/types/sets/IntersectingKeys.js

@@ -0,0 +1 @@
+export {};