inferred-types 0.42.1 → 0.43.1

package/dist/types/boolean-logic/operators/index.d.ts

@@ -1,8 +1,12 @@
 export * from "./AllExtend";
 export * from "./AllLiteral";
+export * from "./AreSameType";
+export * from "./AllStringLiterals";
+export * from "./AllNumericLiterals";
 export * from "./Contains";
 export * from "./ContainsAll";
 export * from "./DoesExtend";
+export * from "./Extends";
 export * from "./DoesNotExtend";
 export * from "./ExtendsAll";
 export * from "./ExtendsSome";
@@ -10,7 +14,6 @@ export * from "./ExtendsNone";
 export * from "./EndsWith";
 export * from "./SomeEqual";
 export * from "./SomeExtend";
-export * from "./NotCharacters";
 export * from "./NarrowlyContains";
 export * from "./Returns";
 export * from "./ReturnsTrue";
@@ -21,21 +24,22 @@ export * from "./HasParameters";
 export * from "./HasUnionType";
 export * from "./HasSameValues";
 export * from "./IsNegativeNumber";
-export * from "./IsRef";
-export * from "./IsValidKey";
+export * from "./IsVueRef";
+export * from "./IsNarrowingFn";
+export * from "./IsLiteralFn";
+export * from "./IsValidIndex";
 export * from "./IsObjectLiteral";
 export * from "./IsTuple";
+export * from "./IsNothing";
 export * from "./IsGreaterThan";
 export * from "./IsDotPath";
 export * from "./IsSingularNoun";
-export * from "./IsValidDotPath";
 export * from "./IsAllLowercase";
 export * from "./IsAllCaps";
-export * from "./IsChar";
+export * from "./IsSingleChar";
 export * from "./IsDefined";
 export * from "./IsOptionalScalar";
 export * from "./IsObject";
-export * from "./Includes";
 export * from "./IsLength";
 export * from "./IsScalar";
 export * from "./IsEmptyObject";
@@ -46,14 +50,12 @@ export * from "./IsBoolean";
 export * from "./IsTrue";
 export * from "./IsFalse";
 export * from "./IsFalsy";
-export * from "./IsMaybeTrue";
 export * from "./IsStringLiteral";
 export * from "./IsNumericLiteral";
 export * from "./IsBooleanLiteral";
 export * from "./IsEqual";
 export * from "./IsUnion";
 export * from "./IsArray";
-export * from "./IsError";
 export * from "./IsReadonlyArray";
 export * from "./IsNull";
 export * from "./IsSymbol";
@@ -68,10 +70,21 @@ export * from "./IsFunction";
 export * from "./IsFnWithParams";
 export * from "./IsContainer";
 export * from "./NotLength";
-export * from "./IsIndexable";
 export * from "./HasCharacters";
-export * from "./IsIndexable";
+export * from "./HasOtherCharacters";
 export * from "./IsReadonlyObject";
-export * from "./OfSameLength";
+export * from "./AreSameLength";
 export * from "./HasWideValues";
+export * from "./HasProp";
+export * from "./Validate";
+export * from "./HasSameKeys";
+export * from "./HasIndex";
+export * from "./IsWideUnion";
+export * from "./IsLiteralUnion";
+export * from "./IsNonLiteralUnion";
+export * from "./HasRequiredProps";
+export * from "./IsValidDotPath";
+export * from "./IsHexadecimal";
+export * from "./IsFloat";
+export * from "./IsInteger";
 //# sourceMappingURL=index.d.ts.map

package/dist/types/boolean-logic/operators/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/types/boolean-logic/operators/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,iBAAiB,CAAC;AAChC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,iBAAiB,CAAC;AAChC,cAAc,oBAAoB,CAAC;AACnC,cAAc,WAAW,CAAC;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,iBAAiB,CAAC;AAChC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,iBAAiB,CAAC;AAChC,cAAc,oBAAoB,CAAC;AACnC,cAAc,SAAS,CAAC;AACxB,cAAc,cAAc,CAAC;AAC7B,cAAc,mBAAmB,CAAC;AAClC,cAAc,WAAW,CAAC;AAC1B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC;AAE5B,cAAc,oBAAoB,CAAC;AACnC,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,WAAW,CAAC;AAC1B,cAAc,WAAW,CAAC;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,oBAAoB,CAAC;AACnC,cAAc,WAAW,CAAC;AAC1B,cAAc,WAAW,CAAC;AAC1B,cAAc,WAAW,CAAC;AAC1B,cAAc,WAAW,CAAC;AAC1B,cAAc,mBAAmB,CAAC;AAClC,cAAc,UAAU,CAAC;AACzB,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,oBAAoB,CAAC;AACnC,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,cAAc,CAAC;AAC7B,cAAc,cAAc,CAAC;AAC7B,cAAc,kBAAkB,CAAC;AACjC,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC;AAC9B,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/types/boolean-logic/operators/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC;AAC1B,cAAc,iBAAiB,CAAC;AAChC,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC;AACnC,cAAc,WAAW,CAAC;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,iBAAiB,CAAC;AAChC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,iBAAiB,CAAC;AAChC,cAAc,oBAAoB,CAAC;AACnC,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,mBAAmB,CAAC;AAClC,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,oBAAoB,CAAC;AACnC,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,WAAW,CAAC;AAC1B,cAAc,WAAW,CAAC;AAC1B,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,oBAAoB,CAAC;AACnC,cAAc,WAAW,CAAC;AAC1B,cAAc,WAAW,CAAC;AAC1B,cAAc,WAAW,CAAC;AAC1B,cAAc,mBAAmB,CAAC;AAClC,cAAc,UAAU,CAAC;AACzB,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,oBAAoB,CAAC;AACnC,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,cAAc,CAAC;AAC7B,cAAc,cAAc,CAAC;AAC7B,cAAc,kBAAkB,CAAC;AACjC,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,sBAAsB,CAAC;AACrC,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC;AAChC,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAA;AAC1B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,iBAAiB,CAAC;AAChC,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC"}

package/dist/types/boolean-logic/operators/index.js

@@ -1,8 +1,12 @@
 export * from "./AllExtend.js";
 export * from "./AllLiteral.js";
+export * from "./AreSameType.js";
+export * from "./AllStringLiterals.js";
+export * from "./AllNumericLiterals.js";
 export * from "./Contains.js";
 export * from "./ContainsAll.js";
 export * from "./DoesExtend.js";
+export * from "./Extends.js";
 export * from "./DoesNotExtend.js";
 export * from "./ExtendsAll.js";
 export * from "./ExtendsSome.js";
@@ -10,7 +14,6 @@ export * from "./ExtendsNone.js";
 export * from "./EndsWith.js";
 export * from "./SomeEqual.js";
 export * from "./SomeExtend.js";
-export * from "./NotCharacters.js";
 export * from "./NarrowlyContains.js";
 export * from "./Returns.js";
 export * from "./ReturnsTrue.js";
@@ -21,21 +24,22 @@ export * from "./HasParameters.js";
 export * from "./HasUnionType.js";
 export * from "./HasSameValues.js";
 export * from "./IsNegativeNumber.js";
-export * from "./IsRef.js";
-export * from "./IsValidKey.js";
+export * from "./IsVueRef.js";
+export * from "./IsNarrowingFn.js";
+export * from "./IsLiteralFn.js";
+export * from "./IsValidIndex.js";
 export * from "./IsObjectLiteral.js";
 export * from "./IsTuple.js";
+export * from "./IsNothing.js";
 export * from "./IsGreaterThan.js";
 export * from "./IsDotPath.js";
 export * from "./IsSingularNoun.js";
-export * from "./IsValidDotPath.js";
 export * from "./IsAllLowercase.js";
 export * from "./IsAllCaps.js";
-export * from "./IsChar.js";
+export * from "./IsSingleChar.js";
 export * from "./IsDefined.js";
 export * from "./IsOptionalScalar.js";
 export * from "./IsObject.js";
-export * from "./Includes.js";
 export * from "./IsLength.js";
 export * from "./IsScalar.js";
 export * from "./IsEmptyObject.js";
@@ -46,14 +50,12 @@ export * from "./IsBoolean.js";
 export * from "./IsTrue.js";
 export * from "./IsFalse.js";
 export * from "./IsFalsy.js";
-export * from "./IsMaybeTrue.js";
 export * from "./IsStringLiteral.js";
 export * from "./IsNumericLiteral.js";
 export * from "./IsBooleanLiteral.js";
 export * from "./IsEqual.js";
 export * from "./IsUnion.js";
 export * from "./IsArray.js";
-export * from "./IsError.js";
 export * from "./IsReadonlyArray.js";
 export * from "./IsNull.js";
 export * from "./IsSymbol.js";
@@ -68,9 +70,20 @@ export * from "./IsFunction.js";
 export * from "./IsFnWithParams.js";
 export * from "./IsContainer.js";
 export * from "./NotLength.js";
-export * from "./IsIndexable.js";
 export * from "./HasCharacters.js";
-export * from "./IsIndexable.js";
+export * from "./HasOtherCharacters.js";
 export * from "./IsReadonlyObject.js";
-export * from "./OfSameLength.js";
+export * from "./AreSameLength.js";
 export * from "./HasWideValues.js";
+export * from "./HasProp.js";
+export * from "./Validate.js";
+export * from "./HasSameKeys.js";
+export * from "./HasIndex.js";
+export * from "./IsWideUnion.js";
+export * from "./IsLiteralUnion.js";
+export * from "./IsNonLiteralUnion.js";
+export * from "./HasRequiredProps.js";
+export * from "./IsValidDotPath.js";
+export * from "./IsHexadecimal.js";
+export * from "./IsFloat.js";
+export * from "./IsInteger.js";

package/dist/types/classes/Constructor.d.ts

@@ -2,5 +2,5 @@
  * Define a class constructor; allowing strong typing for constructor's parameters
  * and the returned class structure.
  */
-export type Constructor<Ctor extends unknown[], Klass> = new (...props: Ctor) => Klass;
+export type Constructor<Ctor extends readonly unknown[] = readonly unknown[], Klass = any> = new (...props: Ctor) => Klass;
 //# sourceMappingURL=Constructor.d.ts.map

package/dist/types/classes/Constructor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Constructor.d.ts","sourceRoot":"","sources":["../../../src/types/classes/Constructor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,MAAM,WAAW,CACrB,IAAI,SAAS,OAAO,EAAE,EACtB,KAAK,IACH,KAAK,GAAG,KAAK,EAAE,IAAI,KAAK,KAAK,CAAC"}
+{"version":3,"file":"Constructor.d.ts","sourceRoot":"","sources":["../../../src/types/classes/Constructor.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,MAAM,MAAM,WAAW,CACrB,IAAI,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,OAAO,EAAE,EACpD,KAAK,GAAG,GAAG,IACT,KAAK,GAAG,KAAK,EAAE,IAAI,KAAK,KAAK,CAAC"}

package/dist/types/classes/KlassMeta.d.ts

@@ -0,0 +1,21 @@
+/**
+ * **KlassMeta**`<T>`
+ *
+ * Given a class constructor `CTor`, this will return a tuple:
+ *
+ * ```ts
+ * {
+ *  args: ConstructorParams<CTor>,
+ *  instance: InstanceType<CTor>,
+ *  class_decorators: ClassDecoratorContext<CTor>,
+ *  field_decorators: ClassFieldDecoratorContext<CTor>
+ * }
+ * ```
+ */
+export type KlassMeta<CTor extends abstract new (...args: any[]) => any> = CTor extends abstract new (...args: infer P) => infer R ? {
+    params: P;
+    instance: R;
+    class_decorators: ClassDecoratorContext<CTor>;
+    field_decorators: ClassFieldDecoratorContext<CTor>;
+} : never;
+//# sourceMappingURL=KlassMeta.d.ts.map

package/dist/types/classes/KlassMeta.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"KlassMeta.d.ts","sourceRoot":"","sources":["../../../src/types/classes/KlassMeta.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,SAAS,CACnB,IAAI,SAAS,QAAQ,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,IAC/C,IAAI,SAAS,QAAQ,MAAM,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,MAAM,CAAC,GACvD;IACE,MAAM,EAAE,CAAC,CAAC;IACV,QAAQ,EAAE,CAAC,CAAC;IACZ,gBAAgB,EAAE,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC9C,gBAAgB,EAAE,0BAA0B,CAAC,IAAI,CAAC,CAAC;CACtD,GACC,KAAK,CAAC"}

package/dist/types/classes/index.d.ts

@@ -1,2 +1,3 @@
 export * from "./Constructor";
+export * from "./KlassMeta";
 //# sourceMappingURL=index.d.ts.map

package/dist/types/classes/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/classes/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/classes/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC"}

package/dist/types/classes/index.js

@@ -1 +1,2 @@
 export * from "./Constructor.js";
+export * from "./KlassMeta.js";

package/dist/types/containers/IsEmptyContainer.d.ts

@@ -0,0 +1,11 @@
+import { Container, ExplicitlyEmptyObject, Dictionary, Keys } from "../index";
+/**
+ * **EmptyContainer**`<T>`
+ *
+ * Boolean utility which tests whether a container is "empty"
+ * (meaning it has no keys).
+ *
+ * **Related:** `NonEmptyContainer`
+ */
+export type IsEmptyContainer<T extends Container> = T extends Dictionary ? T extends ExplicitlyEmptyObject ? true : Keys<T>["length"] extends 0 ? true : false : Keys<T>["length"] extends 0 ? true : false;
+//# sourceMappingURL=IsEmptyContainer.d.ts.map

package/dist/types/containers/IsEmptyContainer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IsEmptyContainer.d.ts","sourceRoot":"","sources":["../../../src/types/containers/IsEmptyContainer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAK,qBAAqB,EAAG,UAAU,EAAG,IAAI,EAAE,iBAAwB;AAE1F;;;;;;;GAOG;AACH,MAAM,MAAM,gBAAgB,CAC1B,CAAC,SAAS,SAAS,IACjB,CAAC,SAAS,UAAU,GACpB,CAAC,SAAS,qBAAqB,GAC7B,IAAI,GACJ,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GACzB,IAAI,GACJ,KAAK,GACT,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAC3B,IAAI,GACJ,KAAK,CAAC"}

package/dist/types/containers/IsNonEmptyContainer.d.ts

@@ -0,0 +1,12 @@
+import { IsEmptyContainer } from "./IsEmptyContainer";
+import { Container } from "../index";
+/**
+ * **NonEmptyContainer**`<T>`
+ *
+ * Boolean utility which tests whether a container has keys
+ * (aka, is not "empty")
+ *
+ * **Related:** `EmptyContainer`
+ */
+export type IsNonEmptyContainer<T extends Container> = IsEmptyContainer<T> extends true ? false : true;
+//# sourceMappingURL=IsNonEmptyContainer.d.ts.map

package/dist/types/containers/IsNonEmptyContainer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IsNonEmptyContainer.d.ts","sourceRoot":"","sources":["../../../src/types/containers/IsNonEmptyContainer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,OAAO,EAAE,SAAS,EAAE,iBAAwB;AAE5C;;;;;;;GAOG;AACH,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,SAAS,IACjB,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC"}

package/dist/types/containers/RemoveMarked.d.ts

@@ -0,0 +1,13 @@
+import { MARKED } from "../../constants/index";
+import { DoesExtend, UnionToTuple, First, AfterFirst, NumericKeys, RemoveIndexKeys, Container, EmptyObject, Dictionary, ObjectKey, Tuple } from "../index";
+type Marked = typeof MARKED;
+type _Keys<T extends object> = UnionToTuple<keyof RemoveIndexKeys<T>> extends readonly ObjectKey[] ? UnionToTuple<keyof RemoveIndexKeys<T>> : never;
+type Process<T extends Container, TKeys extends readonly PropertyKey[], TResults extends Container = T extends readonly unknown[] ? [] : EmptyObject> = [] extends TKeys ? TResults : First<TKeys> extends keyof T ? DoesExtend<T[First<TKeys>], Marked> extends true ? Process<T, AfterFirst<TKeys>, TResults> : Process<T, AfterFirst<TKeys>, First<TKeys> extends keyof T ? TResults extends readonly unknown[] ? [...TResults, T[First<TKeys>]] : TResults extends Dictionary ? TResults & Record<First<TKeys>, T[First<TKeys>]> : never : never> : never;
+/**
+ * **RemoveMarked**`<T>`
+ *
+ * Removes all values in `T` which extends `Constant<"Marked">`
+ */
+export type RemoveMarked<T extends Container> = Process<T, T extends Tuple ? NumericKeys<T> : _Keys<T>>;
+export {};
+//# sourceMappingURL=RemoveMarked.d.ts.map

package/dist/types/containers/RemoveMarked.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RemoveMarked.d.ts","sourceRoot":"","sources":["../../../src/types/containers/RemoveMarked.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,8BAA4B;AAC7C,OAAO,EACL,UAAU,EACV,YAAY,EACZ,KAAK,EACL,UAAU,EACV,WAAW,EACX,eAAe,EACf,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EACrD,iBAAwB;AAGzB,KAAK,MAAM,GAAG,OAAO,MAAM,CAAC;AAE5B,KAAK,KAAK,CAAC,CAAC,SAAS,MAAM,IAAI,YAAY,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC,SACrE,SAAS,SAAS,EAAE,GAChB,YAAY,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC,GACtC,KAAK,CAAC;AAEV,KAAK,OAAO,CACV,CAAC,SAAS,SAAS,EACnB,KAAK,SAAS,SAAS,WAAW,EAAE,EACpC,QAAQ,SAAS,SAAS,GAAG,CAAC,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,GAAG,WAAW,IAC1E,EAAE,SAAS,KAAK,GAClB,QAAQ,GACR,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,GAC1B,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,IAAI,GAC9C,OAAO,CAAC,CAAC,EAAC,UAAU,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,GACtC,OAAO,CACL,CAAC,EACD,UAAU,CAAC,KAAK,CAAC,EACjB,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,GACxB,QAAQ,SAAS,SAAS,OAAO,EAAE,GACjC,CAAC,GAAG,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAC9B,QAAQ,SAAS,UAAU,GACzB,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAChD,KAAK,GACT,KAAK,CACV,GAEH,KAAK,CAAA;AAET;;;;GAIG;AACH,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,SAAS,IACjB,OAAO,CACT,CAAC,EACD,CAAC,SAAS,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,GAAI,KAAK,CAAC,CAAC,CAAC,CAC7C,CAAA"}

package/dist/types/containers/RemoveNever.d.ts

@@ -0,0 +1,18 @@
+import { Container, EmptyObject, Dictionary, ObjectKey } from "../base-types";
+import { IfNever } from "../boolean-logic/branching/IfNever";
+import { RemoveIndexKeys } from "../dictionary/RemoveIndexKeys";
+import { NumericKeys } from "../lists";
+import { AfterFirst } from "../lists/AfterFirst";
+import { First } from "../lists/First";
+import { UnionToTuple } from "../type-conversion/UnionToTuple";
+type _Keys<T extends object> = UnionToTuple<keyof RemoveIndexKeys<T>> extends readonly ObjectKey[] ? UnionToTuple<keyof RemoveIndexKeys<T>> : never;
+type ProcessObj<T extends Container, TKeys extends readonly PropertyKey[], TResults extends Dictionary = EmptyObject> = [] extends TKeys ? TResults : First<TKeys> extends keyof T ? IfNever<T[First<TKeys>], ProcessObj<T, AfterFirst<TKeys>, TResults>, ProcessObj<T, AfterFirst<TKeys>, First<TKeys> extends keyof T ? TResults extends readonly unknown[] ? [...TResults, T[First<TKeys>]] : TResults extends Dictionary ? TResults & Record<First<TKeys>, T[First<TKeys>]> : never : never>> : never;
+type ProcessTuple<T extends Container, TKeys extends readonly number[], TResults extends readonly unknown[] = []> = [] extends TKeys ? TResults : First<TKeys> extends keyof T ? IfNever<T[First<TKeys>], ProcessTuple<T, AfterFirst<TKeys>, TResults>, ProcessTuple<T, AfterFirst<TKeys>, First<TKeys> extends keyof T ? [...TResults, T[First<TKeys>]] : never>> : never;
+/**
+ * **RemoveNever**`<T>`
+ *
+ * Removes all of the elements from `T` which are typed as _never_.
+ */
+export type RemoveNever<T extends Container> = T extends readonly unknown[] ? ProcessTuple<T, NumericKeys<T>> : T extends Dictionary ? ProcessObj<T, _Keys<T>> : never;
+export {};
+//# sourceMappingURL=RemoveNever.d.ts.map

package/dist/types/containers/RemoveNever.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RemoveNever.d.ts","sourceRoot":"","sources":["../../../src/types/containers/RemoveNever.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC9E,OAAO,EAAE,OAAO,EAAE,MAAM,oCAAoC,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAE/D,KAAK,KAAK,CAAC,CAAC,SAAS,MAAM,IAAI,YAAY,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC,SACrE,SAAS,SAAS,EAAE,GAChB,YAAY,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC,GACtC,KAAK,CAAC;AAEV,KAAK,UAAU,CACb,CAAC,SAAS,SAAS,EACnB,KAAK,SAAS,SAAS,WAAW,EAAE,EACpC,QAAQ,SAAS,UAAU,GAAG,WAAW,IACvC,EAAE,SAAS,KAAK,GAClB,QAAQ,GACR,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,GAC1B,OAAO,CACL,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EACf,UAAU,CAAC,CAAC,EAAC,UAAU,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,EACzC,UAAU,CACR,CAAC,EACD,UAAU,CAAC,KAAK,CAAC,EACjB,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,GACxB,QAAQ,SAAS,SAAS,OAAO,EAAE,GACjC,CAAC,GAAG,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAC9B,QAAQ,SAAS,UAAU,GACzB,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAChD,KAAK,GACT,KAAK,CACV,CACF,GACD,KAAK,CAAA;AAET,KAAK,YAAY,CACf,CAAC,SAAS,SAAS,EACnB,KAAK,SAAS,SAAS,MAAM,EAAE,EAC/B,QAAQ,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IACtC,EAAE,SAAS,KAAK,GAClB,QAAQ,GACR,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,GAC1B,OAAO,CACL,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EACf,YAAY,CAAC,CAAC,EAAC,UAAU,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,EAC3C,YAAY,CACV,CAAC,EACD,UAAU,CAAC,KAAK,CAAC,EACjB,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,GACxB,CAAC,GAAG,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAC9B,KAAK,CACV,CACF,GACD,KAAK,CAAA;AAET;;;;GAIG;AACH,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,SAAS,IACjB,CAAC,SAAS,SAAS,OAAO,EAAE,GAC9B,YAAY,CAAC,CAAC,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAC9B,CAAC,SAAS,UAAU,GAClB,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GACvB,KAAK,CAAC"}

package/dist/types/containers/RemoveUndefined.d.ts

@@ -0,0 +1,17 @@
+import { Container, EmptyObject, Dictionary, ObjectKey, Tuple } from "../base-types";
+import { IsUndefined } from "../boolean-logic/operators/IsUndefined";
+import { RemoveIndexKeys } from "../dictionary/RemoveIndexKeys";
+import { NumericKeys } from "../lists";
+import { AfterFirst } from "../lists/AfterFirst";
+import { First } from "../lists/First";
+import { UnionToTuple } from "../type-conversion/UnionToTuple";
+type _Keys<T extends object> = UnionToTuple<keyof RemoveIndexKeys<T>> extends readonly ObjectKey[] ? UnionToTuple<keyof RemoveIndexKeys<T>> : never;
+type Process<T extends Container, TKeys extends readonly PropertyKey[], TResults extends Container = T extends readonly unknown[] ? [] : EmptyObject> = [] extends TKeys ? TResults : First<TKeys> extends keyof T ? IsUndefined<T[First<TKeys>]> extends true ? Process<T, AfterFirst<TKeys>, TResults> : Process<T, AfterFirst<TKeys>, First<TKeys> extends keyof T ? TResults extends readonly unknown[] ? [...TResults, T[First<TKeys>]] : TResults extends Dictionary ? TResults & Record<First<TKeys>, T[First<TKeys>]> : never : never> : never;
+/**
+ * **RemoveUndefined**`<T>`
+ *
+ * Removes all the elements from `T` which are typed as _undefined_.
+ */
+export type RemoveUndefined<T extends Container> = Process<T, T extends Tuple ? NumericKeys<T> : _Keys<T>>;
+export {};
+//# sourceMappingURL=RemoveUndefined.d.ts.map

package/dist/types/containers/RemoveUndefined.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RemoveUndefined.d.ts","sourceRoot":"","sources":["../../../src/types/containers/RemoveUndefined.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,wCAAwC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAE/D,KAAK,KAAK,CAAC,CAAC,SAAS,MAAM,IAAI,YAAY,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC,SACrE,SAAS,SAAS,EAAE,GAChB,YAAY,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC,GACtC,KAAK,CAAC;AAEV,KAAK,OAAO,CACV,CAAC,SAAS,SAAS,EACnB,KAAK,SAAS,SAAS,WAAW,EAAE,EACpC,QAAQ,SAAS,SAAS,GAAG,CAAC,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,GAAG,WAAW,IAC1E,EAAE,SAAS,KAAK,GAClB,QAAQ,GACR,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,GAExB,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACvC,OAAO,CAAC,CAAC,EAAC,UAAU,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,GACtC,OAAO,CACP,CAAC,EACD,UAAU,CAAC,KAAK,CAAC,EACjB,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,GACxB,QAAQ,SAAS,SAAS,OAAO,EAAE,GACjC,CAAC,GAAG,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAC9B,QAAQ,SAAS,UAAU,GACzB,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAChD,KAAK,GACT,KAAK,CACV,GACH,KAAK,CAAA;AAGT;;;;GAIG;AACH,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,SAAS,IACjB,OAAO,CACT,CAAC,EACD,CAAC,SAAS,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,GAAI,KAAK,CAAC,CAAC,CAAC,CAC7C,CAAA"}

package/dist/types/containers/index.d.ts

@@ -1,4 +1,6 @@
-export * from "./EmptyContainer";
-export * from "./NonEmptyContainer";
-export * from "./WithKey";
+export * from "./IsEmptyContainer";
+export * from "./IsNonEmptyContainer";
+export * from "./RemoveNever";
+export * from "./RemoveMarked";
+export * from "./RemoveUndefined";
 //# sourceMappingURL=index.d.ts.map

package/dist/types/containers/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/containers/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/containers/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,uBAAuB,CAAC;AACtC,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,mBAAmB,CAAC"}

package/dist/types/containers/index.js

@@ -1,3 +1,5 @@
-export * from "./EmptyContainer.js";
-export * from "./NonEmptyContainer.js";
-export * from "./WithKey.js";
+export * from "./IsEmptyContainer.js";
+export * from "./IsNonEmptyContainer.js";
+export * from "./RemoveNever.js";
+export * from "./RemoveMarked.js";
+export * from "./RemoveUndefined.js";

package/dist/types/dictionary/AddKeyValue.d.ts

@@ -1,4 +1,4 @@
-import type { AnyObject, IfContains, Narrowable, SimplifyObject, Concat, ToString, Keys, ErrorCondition } from "../index";
+import type { AnyObject, If, Contains, Narrowable, SimplifyObject, Concat, ToString, Keys, ErrorCondition, AsRecord } from "../index";
 /**
  * **AddKeyValue**`<TObj,TKey,TVal>`
  *
@@ -9,5 +9,5 @@ import type { AnyObject, IfContains, Narrowable, SimplifyObject, Concat, ToStrin
  * in an **ErrorCondition< "duplicate-key" >**. Use the `UpsertKeyValue` utility if
  * you want this condition to result in an overwrite.
  */
-export type AddKeyValue<TObj extends AnyObject, K extends PropertyKey, V extends Narrowable> = IfContains<Keys<TObj>, K, ErrorCondition<"duplicate-key", Concat<["The object passed into AddKeyValue already has the key '", ToString<K>, "'. This is not allowed. If you intended this then consider using UpsertKeyValue instead."]>>, SimplifyObject<TObj & Record<K, V>>>;
+export type AddKeyValue<TObj extends AnyObject, K extends PropertyKey, V extends Narrowable> = If<Contains<Keys<AsRecord<TObj>>, K>, ErrorCondition<"duplicate-key", Concat<["The object passed into AddKeyValue already has the key '", ToString<K>, "'. This is not allowed. If you intended this then consider using UpsertKeyValue instead."]>>, SimplifyObject<TObj & Record<K, V>>>;
 //# sourceMappingURL=AddKeyValue.d.ts.map

package/dist/types/dictionary/AddKeyValue.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AddKeyValue.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/AddKeyValue.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,SAAS,EACT,UAAU,EACV,UAAU,EACV,cAAc,EACd,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,cAAc,EACf,iBAAwB;AAEzB;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,CACrB,IAAI,SAAS,SAAS,EACtB,CAAC,SAAS,WAAW,EACrB,CAAC,SAAS,UAAU,IAClB,UAAU,CACZ,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EACb,cAAc,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,0DAA0D,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,0FAA0F,CAAC,CAAC,CAAC,EAC9M,cAAc,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CACpC,CAAC"}
+{"version":3,"file":"AddKeyValue.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/AddKeyValue.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,SAAS,EACT,EAAE,EACF,QAAQ,EACR,UAAU,EACV,cAAc,EACd,MAAM,EACN,QAAQ,EACR,IAAI,EACJ,cAAc,EACd,QAAQ,EACT,iBAAwB;AAEzB;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,CACrB,IAAI,SAAS,SAAS,EACtB,CAAC,SAAS,WAAW,EACrB,CAAC,SAAS,UAAU,IAClB,EAAE,CACJ,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EACjC,cAAc,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,0DAA0D,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,0FAA0F,CAAC,CAAC,CAAC,EAC9M,cAAc,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CACpC,CAAC"}

package/dist/types/dictionary/CombinedKeys.d.ts

@@ -1,6 +1,4 @@
-import { AnyObject } from "../base-types/AnyObject";
-import { Unique } from "../sets/Unique";
-import { ExplicitKeys } from "./ExplicitKeys";
+import { Dictionary, Unique, IsObjectLiteral, Keys } from "../index";
 /**
  * **CombinedKeys**`<A,B>`
  *
@@ -12,8 +10,8 @@ import { ExplicitKeys } from "./ExplicitKeys";
  * type T = CombinedKeys<{foo: 1; bar: 2; baz: 3}, {bar: 4; baz: 5; bax: 6}>
  * ```
  */
-export type CombinedKeys<A extends AnyObject, B extends AnyObject> = Unique<[
-    ...ExplicitKeys<A>,
-    ...ExplicitKeys<B>
+export type CombinedKeys<A extends Dictionary, B extends Dictionary> = Unique<[
+    ...(IsObjectLiteral<A> extends true ? Keys<A> : []),
+    ...(IsObjectLiteral<B> extends true ? Keys<B> : [])
 ]>;
 //# sourceMappingURL=CombinedKeys.d.ts.map

package/dist/types/dictionary/CombinedKeys.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"CombinedKeys.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/CombinedKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,IACjB,MAAM,CAAC;IACT,GAAG,YAAY,CAAC,CAAC,CAAC;IAClB,GAAG,YAAY,CAAC,CAAC,CAAC;CACnB,CAAC,CAAC"}
+{"version":3,"file":"CombinedKeys.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/CombinedKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,iBAAwB;AAE5E;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,UAAU,EACpB,CAAC,SAAS,UAAU,IAClB,MAAM,CAAC;IACT,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACnD,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;CACpD,CAAC,CAAC"}

package/dist/types/dictionary/CreateKV.d.ts

@@ -0,0 +1,15 @@
+import { EmptyObject } from "../base-types";
+import { Dictionary } from "../base-types/Dictionary";
+import { AfterFirst, First } from "../lists";
+import { ExpandRecursively } from "../literals";
+type Process<TKeys extends readonly string[], TValue, TObj extends Dictionary = EmptyObject> = [] extends TKeys ? TObj : Process<AfterFirst<TKeys>, TValue, TObj & Record<First<TKeys>, TValue>>;
+/**
+ * **CreateKV**`<TKeys,[TValue]>`
+ *
+ * Creates a key value pair with the keys passed in
+ * as `TKeys` and with all properties set to the value
+ * of `TValue` (which defaults to `unknown`)
+ */
+export type CreateKV<TKeys extends readonly string[], TValue = unknown> = ExpandRecursively<Process<TKeys, TValue>>;
+export {};
+//# sourceMappingURL=CreateKV.d.ts.map

package/dist/types/dictionary/CreateKV.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CreateKV.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/CreateKV.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AAC5C,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAEhD,KAAK,OAAO,CACZ,KAAK,SAAS,SAAS,MAAM,EAAE,EAC/B,MAAM,EACN,IAAI,SAAS,UAAU,GAAG,WAAW,IAClC,EAAE,SAAS,KAAK,GACjB,IAAI,GACJ,OAAO,CACL,UAAU,CAAC,KAAK,CAAC,EACjB,MAAM,EACN,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAC,MAAM,CAAC,CACnC,CAAC;AAEJ;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,CAClB,KAAK,SAAS,SAAS,MAAM,EAAE,EAC/B,MAAM,GAAG,OAAO,IACd,iBAAiB,CACnB,OAAO,CAAC,KAAK,EAAC,MAAM,CAAC,CACtB,CAAA"}

package/dist/types/dictionary/CreateLookup.d.ts

@@ -0,0 +1,13 @@
+import { ObjectKey } from "../base-types/ObjectKey";
+import { AfterFirst, First } from "../lists";
+import { ExpandRecursively } from "../literals/ExpandRecursively";
+import { AsString } from "../type-conversion/AsString";
+type Process<TPayload extends readonly Record<ObjectKey, unknown>[], TKeyProp extends string, TValProp extends string, TOutput extends Record<ObjectKey, unknown> = NonNullable<unknown>> = [] extends TPayload ? TOutput : TKeyProp extends keyof First<TPayload> ? TValProp extends keyof First<TPayload> ? Process<AfterFirst<TPayload>, TKeyProp, TValProp, First<TPayload>[TKeyProp] extends ObjectKey ? TOutput & Record<First<TPayload>[TKeyProp], First<TPayload>[TValProp]> : TOutput & Record<AsString<First<TPayload>[TKeyProp]>, First<TPayload>[TValProp]>> : Process<AfterFirst<TPayload>, TKeyProp, TValProp, TOutput> : Process<AfterFirst<TPayload>, TKeyProp, TValProp, TOutput>;
+/**
+ * **CreateLookup**
+ *
+ * Creates a dictionary lookup from a Tuple of similarly typed objects.
+ */
+export type CreateLookup<TPayload extends readonly Record<ObjectKey, unknown>[], TKeyProp extends string, TValProp extends string> = ExpandRecursively<Process<TPayload, TKeyProp, TValProp>>;
+export {};
+//# sourceMappingURL=CreateLookup.d.ts.map

package/dist/types/dictionary/CreateLookup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CreateLookup.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/CreateLookup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAEvD,KAAK,OAAO,CACV,QAAQ,SAAS,SAAS,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,EACtD,QAAQ,SAAS,MAAM,EACvB,QAAQ,SAAS,MAAM,EACvB,OAAO,SAAS,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,IAC/D,EAAE,SAAS,QAAQ,GACrB,OAAO,GACP,QAAQ,SAAS,MAAM,KAAK,CAAC,QAAQ,CAAC,GAClC,QAAQ,SAAS,MAAM,KAAK,CAAC,QAAQ,CAAC,GACpC,OAAO,CACL,UAAU,CAAC,QAAQ,CAAC,EACpB,QAAQ,EACR,QAAQ,EACR,KAAK,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,SAAS,SAAS,GACzC,OAAO,GAAG,MAAM,CACZ,KAAK,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,EACzB,KAAK,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAC1B,GACH,OAAO,GAAG,MAAM,CACd,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EACnC,KAAK,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAC1B,CACJ,GACD,OAAO,CACL,UAAU,CAAC,QAAQ,CAAC,EACpB,QAAQ,EACR,QAAQ,EACR,OAAO,CACR,GACL,OAAO,CACL,UAAU,CAAC,QAAQ,CAAC,EACpB,QAAQ,EACR,QAAQ,EACR,OAAO,CACR,CAAC;AAKN;;;;GAIG;AACH,MAAM,MAAM,YAAY,CACtB,QAAQ,SAAS,SAAS,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,EACtD,QAAQ,SAAS,MAAM,EACvB,QAAQ,SAAS,MAAM,IACrB,iBAAiB,CACrB,OAAO,CACL,QAAQ,EACR,QAAQ,EACR,QAAQ,CACT,CAAC,CAAC"}

package/dist/types/dictionary/EnsureKeys.d.ts

@@ -0,0 +1,19 @@
+import { Dictionary } from "../base-types";
+import { ExpandRecursively } from "../literals";
+import { CreateKV } from "./CreateKV";
+type BuildObj<T extends readonly string[] | Dictionary | [Dictionary], TType> = T extends Dictionary ? T : T extends [Dictionary] ? T[0] : T extends string[] ? CreateKV<T, TType> : never;
+/**
+ * **EnsureKeys**`<TObj,TKeys,[TType]>`
+ *
+ * Receives an object `TObj` and a specifier `TKeys` which
+ * ensures that the specified _keys_ exist on the object.
+ *
+ * The _keys_ specifier may be either an array of keys or a dictionary of key/value pairs.
+ *
+ * - when _keys_ is a _dictionary_ then both the key and _type_ of that key
+ * are inferred.
+ * - otherwise, the optional `TType` (set to `unknown` by default) is used.
+ */
+export type EnsureKeys<TObj extends object, TKeys extends readonly string[] | Dictionary | [Dictionary], TType = unknown> = ExpandRecursively<TObj & BuildObj<TKeys, TType>>;
+export {};
+//# sourceMappingURL=EnsureKeys.d.ts.map

package/dist/types/dictionary/EnsureKeys.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EnsureKeys.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/EnsureKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC,KAAK,QAAQ,CACX,CAAC,SAAS,SAAS,MAAM,EAAE,GAAG,UAAU,GAAG,CAAC,UAAU,CAAC,EACvD,KAAK,IACH,CAAC,SAAS,UAAU,GACtB,CAAC,GACD,CAAC,SAAS,CAAC,UAAU,CAAC,GACtB,CAAC,CAAC,CAAC,CAAC,GACJ,CAAC,SAAS,MAAM,EAAE,GAClB,QAAQ,CAAC,CAAC,EAAC,KAAK,CAAC,GACjB,KAAK,CAAC;AAGR;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,UAAU,CACpB,IAAI,SAAS,MAAM,EACnB,KAAK,SAAS,SAAS,MAAM,EAAE,GAAG,UAAU,GAAG,CAAC,UAAU,CAAC,EAC3D,KAAK,GAAG,OAAO,IACb,iBAAiB,CACnB,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAC9B,CAAA"}

package/dist/types/dictionary/FromMaybeRef.d.ts

@@ -1,9 +1,9 @@
-import { IsRef } from "../index";
+import { IsVueRef } from "../index";
 /**
  * **FromMaybeRef**`<T>`
  *
  * Dereferences the `value` property on VueJS `Ref<T>`'s otherwise
  * returns `T` as is.
  */
-export type FromMaybeRef<T> = IsRef<T> extends true ? "value" extends keyof T ? T["value"] : never : T;
+export type FromMaybeRef<T> = IsVueRef<T> extends true ? "value" extends keyof T ? T["value"] : never : T;
 //# sourceMappingURL=FromMaybeRef.d.ts.map

package/dist/types/dictionary/FromMaybeRef.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FromMaybeRef.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/FromMaybeRef.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,iBAAwB;AAExC;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GAC/C,OAAO,SAAS,MAAM,CAAC,GACrB,CAAC,CAAC,OAAO,CAAC,GACV,KAAK,GACP,CAAC,CAAC"}
+{"version":3,"file":"FromMaybeRef.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/FromMaybeRef.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,iBAAwB;AAE3C;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,SAAS,IAAI,GAClD,OAAO,SAAS,MAAM,CAAC,GACrB,CAAC,CAAC,OAAO,CAAC,GACV,KAAK,GACP,CAAC,CAAC"}

package/dist/types/dictionary/Get.d.ts

@@ -1,29 +1,8 @@
-import type { IfUndefined, ErrorCondition, IfOptionalScalar, IfExtends, ErrorConditionHandler, ToString, ValueAtDotPath } from "../index";
-import { NoDefaultValue, NotDefined } from "../../constants/index";
-type ResolveDefVal<TValue, TDefVal> = IfUndefined<TValue, TDefVal extends NoDefaultValue ? undefined : TDefVal, TValue>;
-type ResolveHandler<TValue, THandler> = IfExtends<TValue, ErrorCondition<any>, THandler extends NotDefined ? TValue : THandler extends ErrorConditionHandler ? ReturnType<THandler> : THandler, TValue>;
+import { IsNever } from "../index";
+type _Get<T, K, Acc = never> = K extends `${infer A}.${infer B}` ? A extends keyof T ? _Get<T[A], B, _Get<T[A], B>> : Acc : K extends keyof T ? _Get<T[K], K, T[K]> : Acc;
 /**
- * **Get**`<T,K,[DevVal, Handler]>`
- *
- * Get the type of a property of an object:
- * ```ts
- * type Car = {
- *    make: "Chevy",
- *    model: "Malibu",
- *    colors: [ "red", "blue" ]
- * }
- * // "red"
- * type T = Get<Car, "colors.0">;
- * ```
- *
- * - if a _valid_ dotpath leads to a value which is optionally
- * undefined, you may specify a _default value_ with `TDefVal`
- * - if you want to resolve an _invalid_ dotpath to something
- * besides the default `ErrorCondition<"invalid-path">`
- * you can set `THandler` to the type you'd like it to become.
+ * **Get**`<TContainer,TDotPath,[TDefVal]>`
  */
-export type Get<TContainer, TDotPath extends string | number | null, TDefVal = NoDefaultValue, THandler = NotDefined> = TDotPath extends "" ? TContainer : TDotPath extends null ? TContainer : IfOptionalScalar<TContainer, ResolveHandler<ErrorCondition<"invalid-path", `The path of "${TDotPath}" is an invalid dotpath and can not be used!`, {
-    library: "Get<TContainer,TDotPath>";
-}>, THandler>, ResolveHandler<ResolveDefVal<ValueAtDotPath<TContainer, ToString<TDotPath>>, TDefVal>, THandler>>;
+export type Get<TContainer, TDotPath, TDefVal = undefined> = IsNever<_Get<TContainer, TDotPath>> extends true ? TDefVal : _Get<TContainer, TDotPath> extends undefined ? TDefVal : _Get<TContainer, TDotPath>;
 export {};
 //# sourceMappingURL=Get.d.ts.map

package/dist/types/dictionary/Get.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Get.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/Get.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAEV,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,SAAS,EACT,qBAAqB,EACrB,QAAQ,EACR,cAAc,EACf,iBAAwB;AACzB,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,8BAA4B;AAEjE,KAAK,aAAa,CAChB,MAAM,EACN,OAAO,IACL,WAAW,CACb,MAAM,EACN,OAAO,SAAS,cAAc,GAC1B,SAAS,GACT,OAAO,EACX,MAAM,CACP,CAAC;AAEF,KAAK,cAAc,CACjB,MAAM,EACN,QAAQ,IACN,SAAS,CACX,MAAM,EAAE,cAAc,CAAC,GAAG,CAAC,EAE3B,QAAQ,SAAS,UAAU,GACvB,MAAM,GACN,QAAQ,SAAS,qBAAqB,GACpC,UAAU,CAAC,QAAQ,CAAC,GACpB,QAAQ,EAEd,MAAM,CACP,CAAC;AAGF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,GAAG,CACb,UAAU,EACV,QAAQ,SAAS,MAAM,GAAG,MAAM,GAAG,IAAI,EACvC,OAAO,GAAG,cAAc,EACxB,QAAQ,GAAG,UAAU,IACnB,QAAQ,SAAS,EAAE,GACnB,UAAU,GACV,QAAQ,SAAS,IAAI,GACrB,UAAU,GACV,gBAAgB,CACd,UAAU,EACV,cAAc,CACZ,cAAc,CACZ,cAAc,EACd,gBAAgB,QAAQ,8CAA8C,EACtE;IAAE,OAAO,EAAE,0BAA0B,CAAA;CAAC,CACvC,EACD,QAAQ,CACT,EAED,cAAc,CACZ,aAAa,CACX,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAC9C,OAAO,CACR,EACD,QAAQ,CACT,CACF,CAAC"}
+{"version":3,"file":"Get.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/Get.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,iBAAwB;AAE1C,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,GAAC,KAAK,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,EAAE,GAC5D,CAAC,SAAS,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,GACtD,CAAC,SAAS,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;AAEhD;;GAEG;AACH,MAAM,MAAM,GAAG,CACb,UAAU,EACV,QAAQ,EACR,OAAO,GAAG,SAAS,IACjB,OAAO,CAAC,IAAI,CAAC,UAAU,EAAC,QAAQ,CAAC,CAAC,SAAS,IAAI,GAC/C,OAAO,GACP,IAAI,CAAC,UAAU,EAAC,QAAQ,CAAC,SAAS,SAAS,GACzC,OAAO,GACP,IAAI,CAAC,UAAU,EAAC,QAAQ,CAAC,CAAA"}

package/dist/types/dictionary/Get.js

@@ -1,2 +1 @@
-/* eslint-disable @typescript-eslint/no-explicit-any */
 export {};

package/dist/types/dictionary/Keys.d.ts

@@ -1,4 +1,9 @@
-import { IfNever, ExplicitKeys, Container } from "../index";
+import type { Container, ObjectKey, UnionToTuple, NumericKeys, RemoveIndexKeys, IsVueRef, IsTuple, IsObjectLiteral } from "../index";
+type _Keys<T extends object> = UnionToTuple<keyof RemoveIndexKeys<T>>;
+type GetKeys<T extends object> = IsVueRef<T> extends true ? ["value"] : _Keys<T> extends [symbol] ? ObjectKey[] : _Keys<T> extends [] ? UnionToTuple<keyof T> extends [ObjectKey] ? (keyof T)[] : ObjectKey[] : _Keys<T>;
+type ProcessObj<TContainer extends object> = GetKeys<TContainer>;
+type ProcessTuple<TContainer extends readonly unknown[]> = NumericKeys<TContainer> extends readonly number[] ? NumericKeys<TContainer> : never;
+type Process<TContainer extends Container> = TContainer extends readonly unknown[] ? IsTuple<TContainer> extends true ? ProcessTuple<TContainer> : number[] : TContainer extends object ? [IsObjectLiteral<RemoveIndexKeys<TContainer>>] extends [true] ? ProcessObj<RemoveIndexKeys<TContainer>> extends readonly (keyof TContainer)[] ? ProcessObj<RemoveIndexKeys<TContainer>> : ProcessObj<RemoveIndexKeys<TContainer>> : ObjectKey[] : never[];
 /**
  * **Keys**`<TContainer>`
  *
@@ -15,5 +20,6 @@ import { IfNever, ExplicitKeys, Container } from "../index";
  *
  * **Related:** `ValidKey`
  */
-export type Keys<TContainer extends Container> = IfNever<TContainer, readonly PropertyKey[], ExplicitKeys<TContainer> & readonly PropertyKey[]>;
+export type Keys<TContainer extends Container> = Process<TContainer>;
+export {};
 //# sourceMappingURL=Keys.d.ts.map

package/dist/types/dictionary/Keys.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Keys.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/Keys.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,OAAO,EACP,YAAY,EACZ,SAAS,EACV,iBAAwB;AAEzB;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,IAAI,CACd,UAAU,SAAS,SAAS,IACxB,OAAO,CACX,UAAU,EACV,SAAS,WAAW,EAAE,EACtB,YAAY,CAAC,UAAU,CAAC,GAAG,SAAS,WAAW,EAAE,CAClD,CAAC"}
+{"version":3,"file":"Keys.d.ts","sourceRoot":"","sources":["../../../src/types/dictionary/Keys.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,SAAS,EACT,SAAS,EACT,YAAY,EACZ,WAAW,EACX,eAAe,EACf,QAAQ,EACR,OAAO,EACP,eAAe,EAChB,iBAAwB;AAEzB,KAAK,KAAK,CACV,CAAC,SAAS,MAAM,IACZ,YAAY,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;AAG3C,KAAK,OAAO,CACV,CAAC,SAAS,MAAM,IACd,QAAQ,CAAC,CAAC,CAAC,SAAS,IAAI,GAC1B,CAAC,OAAO,CAAC,GACT,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GACvB,SAAS,EAAE,GACX,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,GACjB,YAAY,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GACvC,CAAC,MAAM,CAAC,CAAC,EAAE,GACX,SAAS,EAAE,GACb,KAAK,CAAC,CAAC,CAAC,CAAC;AAEf,KAAK,UAAU,CACb,UAAU,SAAS,MAAM,IACvB,OAAO,CAAC,UAAU,CAAC,CAAA;AAEvB,KAAK,YAAY,CACf,UAAU,SAAS,SAAS,OAAO,EAAE,IACnC,WAAW,CAAC,UAAU,CAAC,SAAS,SAAS,MAAM,EAAE,GACnD,WAAW,CAAC,UAAU,CAAC,GACvB,KAAK,CAAC;AAER,KAAK,OAAO,CACZ,UAAU,SAAS,SAAS,IACxB,UAAU,SAAS,SAAS,OAAO,EAAE,GACvC,OAAO,CAAC,UAAU,CAAC,SAAS,IAAI,GAC9B,YAAY,CAAC,UAAU,CAAC,GACxB,MAAM,EAAE,GACV,UAAU,SAAS,MAAM,GACvB,CAAC,eAAe,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC3D,UAAU,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,UAAU,CAAC,EAAE,GAC3E,UAAU,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,GACvC,UAAU,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,GACzC,SAAS,EAAE,GACb,KAAK,EAAE,CAAC;AAEZ;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,IAAI,CACd,UAAU,SAAS,SAAS,IAC1B,OAAO,CAAC,UAAU,CAAC,CAAC"}