inferred-types 0.42.1 → 0.43.1

package/dist/runtime/runtime-types/dict.d.ts

@@ -0,0 +1,10 @@
+import { AsString, CreateDictShape, Dict, NarrowDictProps, Narrowable, OptDictProps, Values } from "../../types/index";
+/**
+ * **dict**`(obj, ...props)`
+ *
+ * Defines a `Dict` type which mimics the behavior of a normal JS
+ * object but plays nicer with `let` declarations by not allowing
+ * re-declarations.
+ */
+export declare const dict: <N extends Narrowable, TObj extends Record<string, N>, TProps extends readonly ((string & keyof TObj) | `opt:${AsString<keyof TObj>}`)[] = []>(obj: TObj, ...props: TProps) => Dict<CreateDictShape<TObj, (TObj extends readonly unknown[] ? import("../../types/index").IsTuple<TObj> extends true ? import("../../types/index").NumericKeys<TObj> extends readonly number[] ? import("../../types/index").NumericKeys<TObj> : never : number[] : TObj extends object ? [import("../../types/index").IsObjectLiteral<import("../../types/index").RemoveIndexKeys<TObj>>] extends [true] ? (import("../../types/index").IsVueRef<import("../../types/index").RemoveIndexKeys<TObj>> extends true ? ["value"] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [symbol] ? import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [] ? import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<TObj>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<TObj>>> extends [import("../../types/index").ObjectKey] ? (keyof import("../../types/index").RemoveIndexKeys<TObj>)[] : import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>>) extends readonly (keyof TObj)[] ? readonly (keyof TObj)[] & (import("../../types/index").IsVueRef<import("../../types/index").RemoveIndexKeys<TObj>> extends true ? ["value"] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [symbol] ? import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [] ? import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<TObj>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<TObj>>> extends [import("../../types/index").ObjectKey] ? (keyof import("../../types/index").RemoveIndexKeys<TObj>)[] : import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>>) : import("../../types/index").IsVueRef<import("../../types/index").RemoveIndexKeys<TObj>> extends true ? ["value"] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [symbol] ? import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [] ? import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<TObj>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<TObj>>> extends [import("../../types/index").ObjectKey] ? (keyof import("../../types/index").RemoveIndexKeys<TObj>)[] : import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> : import("../../types/index").ObjectKey[] : never[]) extends readonly (string & keyof TObj)[] ? readonly (string & keyof TObj)[] & (TObj extends readonly unknown[] ? import("../../types/index").IsTuple<TObj> extends true ? import("../../types/index").NumericKeys<TObj> extends readonly number[] ? import("../../types/index").NumericKeys<TObj> : never : number[] : TObj extends object ? [import("../../types/index").IsObjectLiteral<import("../../types/index").RemoveIndexKeys<TObj>>] extends [true] ? (import("../../types/index").IsVueRef<import("../../types/index").RemoveIndexKeys<TObj>> extends true ? ["value"] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [symbol] ? import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [] ? import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<TObj>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<TObj>>> extends [import("../../types/index").ObjectKey] ? (keyof import("../../types/index").RemoveIndexKeys<TObj>)[] : import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>>) extends readonly (keyof TObj)[] ? readonly (keyof TObj)[] & (import("../../types/index").IsVueRef<import("../../types/index").RemoveIndexKeys<TObj>> extends true ? ["value"] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [symbol] ? import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [] ? import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<TObj>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<TObj>>> extends [import("../../types/index").ObjectKey] ? (keyof import("../../types/index").RemoveIndexKeys<TObj>)[] : import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>>) : import("../../types/index").IsVueRef<import("../../types/index").RemoveIndexKeys<TObj>> extends true ? ["value"] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [symbol] ? import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> extends [] ? import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<TObj>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<TObj>>> extends [import("../../types/index").ObjectKey] ? (keyof import("../../types/index").RemoveIndexKeys<TObj>)[] : import("../../types/index").ObjectKey[] : import("../../types/index").UnionToTuple<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>, import("../../types/index").LastInUnion<keyof import("../../types/index").RemoveIndexKeys<import("../../types/index").RemoveIndexKeys<TObj>>>> : import("../../types/index").ObjectKey[] : never[]) : never, NarrowDictProps<TProps> extends infer T ? T extends NarrowDictProps<TProps> ? T extends readonly string[] ? T : [] : never : never, OptDictProps<TProps> extends infer T_1 ? T_1 extends OptDictProps<TProps> ? T_1 extends readonly string[] ? T_1 : [] : never : never, {}>, `${Values<TObj>["length"]}${(NarrowDictProps<TProps> extends infer T_2 ? T_2 extends NarrowDictProps<TProps> ? T_2 extends readonly string[] ? T_2 : [] : never : never)["length"]}${(OptDictProps<TProps> extends infer T_3 ? T_3 extends OptDictProps<TProps> ? T_3 extends readonly string[] ? T_3 : [] : never : never)["length"]}`>;
+//# sourceMappingURL=dict.d.ts.map

package/dist/runtime/runtime-types/dict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dict.d.ts","sourceRoot":"","sources":["../../../src/runtime/runtime-types/dict.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAER,eAAe,EACf,IAAI,EAEJ,eAAe,EACf,UAAU,EACV,YAAY,EAEZ,MAAM,EACP,0BAAwB;AA6BzB;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,sJAIV,IAAI,YAAY,MAAM,41TAY5B,CAAC"}

package/dist/runtime/runtime-types/dict.js

@@ -0,0 +1,11 @@
+const process = (obj, _narrow, _opt) => {
+    return Object.defineProperty(obj, "__id", { enumerable: false });
+};
+/**
+ * **dict**`(obj, ...props)`
+ *
+ * Defines a `Dict` type which mimics the behavior of a normal JS
+ * object but plays nicer with `let` declarations by not allowing
+ * re-declarations.
+ */
+export const dict = (obj, ...props) => process(obj, (props || []).filter(i => !i.startsWith("opt:")), (props || []).filter(i => i.startsWith("opt:")));

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

@@ -1,7 +1,7 @@
-export * from "./createType";
-export * from "./determineIdentity";
-export * from "./determineType";
-export * from "./describeType";
-export * from "./kind";
-export * from "./valueTypes";
+export * from "./shape";
+export * from "./choices";
+export * from "./list";
+export * from "./dict";
+export * from "./ip6Prefix";
+export * from "./parse";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/runtime/runtime-types/index.ts"],"names":[],"mappings":"AACA,cAAc,cAAc,CAAC;AAC7B,cAAc,qBAAqB,CAAC;AACpC,cAAc,iBAAiB,CAAC;AAChC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,QAAQ,CAAC;AAEvB,cAAc,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/runtime/runtime-types/index.ts"],"names":[],"mappings":"AACA,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC;AAC1B,cAAc,QAAQ,CAAC;AACvB,cAAc,QAAQ,CAAC;AACvB,cAAc,aAAa,CAAC;AAC5B,cAAc,SAAS,CAAC"}

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

@@ -1,7 +1,6 @@
-export * from "./createType.js";
-export * from "./determineIdentity.js";
-export * from "./determineType.js";
-export * from "./describeType.js";
-export * from "./kind.js";
-// export * from "./typeTuples";
-export * from "./valueTypes.js";
+export * from "./shape.js";
+export * from "./choices.js";
+export * from "./list.js";
+export * from "./dict.js";
+export * from "./ip6Prefix.js";
+export * from "./parse.js";

package/dist/runtime/runtime-types/ip6Prefix.d.ts

@@ -0,0 +1,3 @@
+import { AsIp6Prefix } from "../../types/string-literals";
+export declare const ip6Prefix: <T extends readonly (`9${string}` | `0${string}` | `1${string}` | `2${string}` | `3${string}` | `4${string}` | `5${string}` | `6${string}` | `7${string}` | `8${string}` | `E${string}` | `A${string}` | `B${string}` | `C${string}` | `D${string}` | `F${string}` | `a${string}` | `b${string}` | `c${string}` | `d${string}` | `e${string}` | `f${string}`)[]>(...groups: T) => AsIp6Prefix<T>;
+//# sourceMappingURL=ip6Prefix.d.ts.map

package/dist/runtime/runtime-types/ip6Prefix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ip6Prefix.d.ts","sourceRoot":"","sources":["../../../src/runtime/runtime-types/ip6Prefix.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAY,oCAAkC;AAGlE,eAAO,MAAM,SAAS,8WAA8C,CAAC,mBAepE,CAAA"}

package/dist/runtime/runtime-types/ip6Prefix.js

@@ -0,0 +1,17 @@
+import { addToken } from "./shape-helpers/addToken.js";
+export const ip6Prefix = (...groups) => {
+    const empty = addToken("string");
+    let count = 4 - groups.length;
+    let fillIn = [];
+    for (let index = 0; index < count; index++) {
+        fillIn.push(empty);
+    }
+    return [
+        "<<string::",
+        [
+            groups.join(":"),
+            fillIn.join(":"),
+        ].join(":"),
+        ">>"
+    ].join("");
+};

package/dist/runtime/runtime-types/list.d.ts

@@ -0,0 +1,31 @@
+import { TupleToUnion, WidenUnion, List, IsUnion, Tuple, IsTuple, ObjectKey, IsEqual, First, IsStringLiteral, IsNumericLiteral, AfterFirst, Chars, Narrowable, UnionToTuple, AsString, IsNever } from "../../types/index";
+type ListWideType<T extends readonly unknown[]> = IsNever<WidenUnion<TupleToUnion<T>>> extends true ? unknown : WidenUnion<TupleToUnion<T>>;
+type Describe<T> = IsUnion<T> extends true ? `9${AsString<UnionToTuple<T>["length"]>}` : T extends string ? "1" : T extends number ? "2" : T extends boolean ? "3" : T extends Tuple ? IsTuple<T> extends true ? "tuple" : "array" : T extends Record<ObjectKey, infer V> ? `0x${Describe<V>}>` : T extends Map<unknown, infer V> ? `1x${Describe<V>}>` : IsEqual<T, unknown> extends true ? `4` : IsEqual<T, null> extends true ? `5` : `6`;
+type Lit<T> = T extends string ? IsStringLiteral<T> extends true ? First<Chars<T>> : "" : T extends number ? IsNumericLiteral<T> extends true ? `${T}` : "" : "";
+type DescribeLit<T extends readonly unknown[], TResult extends string = ""> = [] extends T ? TResult : DescribeLit<AfterFirst<T>, `${TResult}${Lit<First<T>>}`>;
+type ListHash<T extends readonly unknown[]> = [IsEqual<T["length"], number>] extends [true] ? `0${Describe<ListWideType<T>>}` : `${T["length"]}${Describe<ListWideType<T>>}${DescribeLit<T>}`;
+export type AsList<T extends readonly unknown[]> = List<ListWideType<T>, ListHash<T>>;
+/**
+ * **list**([init])
+ *
+ * Creates a `List` container which aims to behave _exactly_ like a
+ * [Javascript Array](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array)
+ * but with the exception that when declared as a variable (aka, `let` or `var`,
+ * not `const`), the variable can't be replaced with another raw array declaration.
+ *
+ * ```ts
+ * // List<number>
+ * let a = list([1,2,3]);
+ * // mutate the list
+ * a.push(4);
+ * // NOT allowed
+ * a = [4,5,6];
+ * // pass into fn as a reference
+ * const fn = (v: List<number>) => { v.push(4); return v; }
+ * // List<number> with values [1,2,3,4]
+ * fn(list([1,2,3]));
+ * ```
+ */
+export declare const list: <TList extends readonly N[] | readonly [readonly N[]], N extends Narrowable>(...init: TList) => TList extends readonly [readonly N[]] ? List<ListWideType<TList[0]>, ListHash<TList[0]>> : TList extends readonly N[] ? List<ListWideType<TList>, ListHash<TList>> : never;
+export {};
+//# sourceMappingURL=list.d.ts.map

package/dist/runtime/runtime-types/list.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"list.d.ts","sourceRoot":"","sources":["../../../src/runtime/runtime-types/list.ts"],"names":[],"mappings":"AACA,OAAO,EACL,YAAY,EACZ,UAAU,EACV,IAAI,EACJ,OAAO,EACP,KAAK,EACL,OAAO,EACP,SAAS,EACT,OAAO,EACP,KAAK,EACL,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,KAAK,EACL,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,OAAO,EACR,0BAAuB;AAIxB,KAAK,YAAY,CACf,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACnD,OAAO,GACP,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;AAG9B,KAAK,QAAQ,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACtC,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GACzC,CAAC,SAAS,MAAM,GAChB,GAAG,GACH,CAAC,SAAS,MAAM,GAChB,GAAG,GACH,CAAC,SAAS,OAAO,GACjB,GAAG,GACH,CAAC,SAAS,KAAK,GACb,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,OAAO,GACP,OAAO,GACX,CAAC,SAAS,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,GAClC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,GACrB,CAAC,SAAS,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,GAC7B,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,GACrB,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GAC9B,GAAG,GACL,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,IAAI,GAC3B,GAAG,GACL,GAAG,CAAC;AAGR,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACxB,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7B,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GACf,EAAE,GACJ,CAAC,SAAS,MAAM,GACd,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,GAC9B,GAAG,CAAC,EAAE,GACN,EAAE,GACJ,EAAE,CAAC;AAEX,KAAK,WAAW,CACd,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,OAAO,SAAS,MAAM,GAAG,EAAE,IACzB,EAAE,SAAS,CAAC,GACd,OAAO,GACP,WAAW,CACT,UAAU,CAAC,CAAC,CAAC,EACb,GAAG,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAC7B,CAAC;AAGJ,KAAK,QAAQ,CACX,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC/C,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,GAC/B,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAA;AAE/D,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,SAAS,OAAO,EAAE,IAC1B,IAAI,CACN,YAAY,CAAC,CAAC,CAAC,EACf,QAAQ,CAAC,CAAC,CAAC,CACZ,CAAC;AAoBF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,IAAI,wFAGN,KAAK,+KAWf,CAAA"}

package/dist/runtime/runtime-types/list.js

@@ -0,0 +1,36 @@
+import { isArray } from "../index.js";
+const createProxy = (...initialize) => {
+    const state = initialize;
+    state.id = null;
+    const proxy = new Proxy(state, {});
+    Object.defineProperty(proxy, "id", {
+        enumerable: false
+    });
+    return proxy;
+};
+/**
+ * **list**([init])
+ *
+ * Creates a `List` container which aims to behave _exactly_ like a
+ * [Javascript Array](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array)
+ * but with the exception that when declared as a variable (aka, `let` or `var`,
+ * not `const`), the variable can't be replaced with another raw array declaration.
+ *
+ * ```ts
+ * // List<number>
+ * let a = list([1,2,3]);
+ * // mutate the list
+ * a.push(4);
+ * // NOT allowed
+ * a = [4,5,6];
+ * // pass into fn as a reference
+ * const fn = (v: List<number>) => { v.push(4); return v; }
+ * // List<number> with values [1,2,3,4]
+ * fn(list([1,2,3]));
+ * ```
+ */
+export const list = (...init) => {
+    return (init.length === 1 && isArray(init[0])
+        ? createProxy(...init[0])
+        : createProxy(...init));
+};

package/dist/runtime/runtime-types/parse.d.ts

@@ -0,0 +1,25 @@
+import { Shape } from "../../types/index";
+export type ParsedToken<TType> = {
+    isToken: true;
+    type: TType;
+    token: Shape;
+    tokenName: string;
+    tokenData: readonly string[];
+};
+/**
+ * **parse**`(value)`
+ *
+ * Detects if the value passed in is a type token
+ * from the `ShapeApi`.
+ */
+export declare const parse: <T>(value: T) => {
+    isToken: boolean;
+    type: T;
+    token: (T & `<<string${string}>>`) | (T & `<<number${string}>>`) | (T & `<<boolean${string}>>`) | (T & `<<undefined${string}>>`) | (T & `<<map${string}>>`) | (T & `<<set${string}>>`) | (T & `<<false${string}>>`) | (T & `<<true${string}>>`) | (T & `<<null${string}>>`) | (T & `<<rec${string}>>`) | (T & `<<arr${string}>>`) | (T & `<<union${string}>>`) | (T & `<<obj${string}>>`) | (T & `<<tuple${string}>>`) | (T & `<<fn${string}>>`) | (T & `<<gen${string}>>`) | (T & `<<string-set${string}>>`) | (T & `<<numeric-set${string}>>`) | (T & `<<union-set${string}>>`);
+    tokenName: string;
+    tokenData: string[];
+} | {
+    isToken: boolean;
+    type: T;
+};
+//# sourceMappingURL=parse.d.ts.map

package/dist/runtime/runtime-types/parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../../src/runtime/runtime-types/parse.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,0BAAwB;AAKxC,MAAM,MAAM,WAAW,CACrB,KAAK,IACH;IACF,OAAO,EAAE,IAAI,CAAC;IACd,IAAI,EAAE,KAAK,CAAC;IACZ,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9B,CAAC;AAaF;;;;;GAKG;AACH,eAAO,MAAM,KAAK,aAAc,CAAC;;;;;;;;;CAOhC,CAAA"}

package/dist/runtime/runtime-types/parse.js

@@ -0,0 +1,29 @@
+import { isShape } from "./shape.js";
+import { getTokenName } from "./shape-helpers/getTokenName.js";
+import { getTokenData } from "./shape-helpers/getTokenData.js";
+const handleTypeToken = (token) => () => {
+    return {
+        isToken: true,
+        type: null,
+        token,
+        tokenName: getTokenName(token),
+        tokenData: getTokenData(token),
+    };
+};
+/**
+ * **parse**`(value)`
+ *
+ * Detects if the value passed in is a type token
+ * from the `ShapeApi`.
+ */
+export const parse = (value) => {
+    return isShape(value)
+        ? handleTypeToken(value)()
+        : {
+            isToken: false,
+            type: value,
+        };
+};
+// export const IsParsedToken = <T>(value: T): value is ParsedToken<T> => {
+//   return isObject(value) && "isToken" in value && value.isToken === true;
+// }

package/dist/runtime/runtime-types/rec.d.ts

@@ -0,0 +1,3 @@
+import { Narrowable } from "../../types/index";
+export declare const rec: <N extends Narrowable, TObj extends Record<string, N>>(_obj: TObj) => void;
+//# sourceMappingURL=rec.d.ts.map

package/dist/runtime/runtime-types/rec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rec.d.ts","sourceRoot":"","sources":["../../../src/runtime/runtime-types/rec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,0BAAwB;AAG7C,eAAO,MAAM,GAAG,+DAIR,IAAI,SAGX,CAAC"}

package/dist/runtime/runtime-types/rec.js

@@ -0,0 +1,3 @@
+export const rec = (_obj) => {
+    // 
+};

package/dist/runtime/runtime-types/shape-helpers/addToken.d.ts

@@ -0,0 +1,7 @@
+import { TypeToken, TypeTokenKind } from "../../../types/index";
+/**
+ * Adds any `TypeToken` by receiving the `TypeTokenKind` and then whatever
+ * parameters that type requires.
+ */
+export declare const addToken: <T extends TypeTokenKind, TData extends readonly string[]>(token: T, ...params: TData) => TypeToken;
+//# sourceMappingURL=addToken.d.ts.map

package/dist/runtime/runtime-types/shape-helpers/addToken.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"addToken.d.ts","sourceRoot":"","sources":["../../../../src/runtime/runtime-types/shape-helpers/addToken.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,6BAAwB;AAE3D;;;GAGG;AACH,eAAO,MAAM,QAAQ,oEAGZ,CAAC,aAAa,KAAK,cACoD,CAAC"}

package/dist/runtime/runtime-types/shape-helpers/addToken.js

@@ -0,0 +1,5 @@
+/**
+ * Adds any `TypeToken` by receiving the `TypeTokenKind` and then whatever
+ * parameters that type requires.
+ */
+export const addToken = (token, ...params) => `<<${token}${params.length > 0 ? `::${params.join("::")}` : ""}>>`;

package/dist/runtime/runtime-types/shape-helpers/atomics.d.ts

@@ -0,0 +1,7 @@
+import { If, IsTrue, IsFalse } from "../../../types/index";
+export declare const boolean: <L extends boolean>(literal?: L) => If<IsTrue<L>, true, If<IsFalse<L>, false, boolean>>;
+export declare const unknown: () => unknown;
+export declare const undefinedType: () => undefined;
+export declare const nullType: () => null;
+export declare const never: () => never;
+//# sourceMappingURL=atomics.d.ts.map

package/dist/runtime/runtime-types/shape-helpers/atomics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"atomics.d.ts","sourceRoot":"","sources":["../../../../src/runtime/runtime-types/shape-helpers/atomics.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,6BAAwB;AAEtD,eAAO,MAAM,OAAO,gCAAiC,CAAC,wDAQa,CAAC;AAEpE,eAAO,MAAM,OAAO,eAAiC,CAAC;AAEtD,eAAO,MAAM,aAAa,iBAAgD,CAAC;AAE3E,eAAO,MAAM,QAAQ,YAAsC,CAAC;AAE5D,eAAO,MAAM,KAAK,aAAwC,CAAC"}

package/dist/runtime/runtime-types/shape-helpers/atomics.js

@@ -0,0 +1,13 @@
+import { isDefined, isFalse, isTrue } from "../../index.js";
+import { addToken } from "./addToken.js";
+export const boolean = (literal) => (isDefined(literal)
+    ? isTrue(literal)
+        ? addToken("true")
+        : isFalse(literal)
+            ? addToken("false")
+            : addToken("boolean")
+    : addToken("boolean"));
+export const unknown = () => "<<unknown>>";
+export const undefinedType = () => "<<undefined>>";
+export const nullType = () => "<<null>>";
+export const never = () => "<<never>>";

package/dist/runtime/runtime-types/shape-helpers/functions.d.ts

@@ -0,0 +1,9 @@
+import { AsLiteralFn, FnArgsDefn, FnReturnTypeDefn, FromDefn, FromWideTokens } from "../../../types/index";
+export declare const fn: <TArgs extends readonly FnArgsDefn[]>(..._args: TArgs) => {
+    returns: <TReturn extends FnReturnTypeDefn>(_rtn: TReturn) => {
+        addProperties: <TProps extends import("../../../types/index").DictionaryTypeDefn>(_kv: TProps) => AsLiteralFn<FromWideTokens<TArgs, FromDefn<TArgs>>, FromWideTokens<TReturn, FromDefn<TReturn>>, FromDefn<TProps>>;
+        done: () => AsLiteralFn<FromDefn<TArgs>, FromDefn<TReturn>>;
+    };
+    done: () => AsLiteralFn<FromDefn<TArgs>>;
+};
+//# sourceMappingURL=functions.d.ts.map

package/dist/runtime/runtime-types/shape-helpers/functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../../src/runtime/runtime-types/shape-helpers/functions.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,UAAU,EAEV,gBAAgB,EAChB,QAAQ,EACR,cAAc,EACf,6BAAwB;AAGzB,eAAO,MAAM,EAAE,kDAAmD,KAAK;sDACnB,OAAO;+FACD,MAAM;;;;CAmB9D,CAAC"}

package/dist/runtime/runtime-types/shape-helpers/functions.js

@@ -0,0 +1,15 @@
+export const fn = (..._args) => ({
+    returns: (_rtn) => ({
+        addProperties: (_kv) => {
+            // TODO
+            return null;
+        },
+        done: () => {
+            return null;
+        }
+    }),
+    done: () => {
+        const result = null;
+        return result;
+    }
+});

package/dist/runtime/runtime-types/shape-helpers/getTokenData.d.ts

@@ -0,0 +1,8 @@
+/**
+ * **getTokenData**`(token)`
+ *
+ * Given a `Shape` token, this function will extract the
+ * data parameters from the token.
+ */
+export declare const getTokenData: <T extends `<<string${string}>>` | `<<number${string}>>` | `<<boolean${string}>>` | `<<undefined${string}>>` | `<<map${string}>>` | `<<set${string}>>` | `<<false${string}>>` | `<<true${string}>>` | `<<null${string}>>` | `<<rec${string}>>` | `<<arr${string}>>` | `<<union${string}>>` | `<<obj${string}>>` | `<<tuple${string}>>` | `<<fn${string}>>` | `<<gen${string}>>` | `<<string-set${string}>>` | `<<numeric-set${string}>>` | `<<union-set${string}>>`>(token: T) => string[];
+//# sourceMappingURL=getTokenData.d.ts.map

package/dist/runtime/runtime-types/shape-helpers/getTokenData.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"getTokenData.d.ts","sourceRoot":"","sources":["../../../../src/runtime/runtime-types/shape-helpers/getTokenData.ts"],"names":[],"mappings":"AAGA;;;;;GAKG;AACH,eAAO,MAAM,YAAY,8cAA4B,CAAC,aAIrD,CAAA"}

package/dist/runtime/runtime-types/shape-helpers/getTokenData.js

@@ -0,0 +1,11 @@
+import { stripTrailing } from "../../index.js";
+/**
+ * **getTokenData**`(token)`
+ *
+ * Given a `Shape` token, this function will extract the
+ * data parameters from the token.
+ */
+export const getTokenData = (token) => {
+    const [_name, ...rest] = stripTrailing(token, ">>").split("::");
+    return rest;
+};

package/dist/runtime/runtime-types/shape-helpers/getTokenName.d.ts

@@ -0,0 +1,7 @@
+/**
+ * **getTokenName**`(token)`
+ *
+ * Given a `Shape` token, this function will extract the
+ */
+export declare const getTokenName: <T extends `<<string${string}>>` | `<<number${string}>>` | `<<boolean${string}>>` | `<<undefined${string}>>` | `<<map${string}>>` | `<<set${string}>>` | `<<false${string}>>` | `<<true${string}>>` | `<<null${string}>>` | `<<rec${string}>>` | `<<arr${string}>>` | `<<union${string}>>` | `<<obj${string}>>` | `<<tuple${string}>>` | `<<fn${string}>>` | `<<gen${string}>>` | `<<string-set${string}>>` | `<<numeric-set${string}>>` | `<<union-set${string}>>`>(token: T) => string;
+//# sourceMappingURL=getTokenName.d.ts.map

package/dist/runtime/runtime-types/shape-helpers/getTokenName.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"getTokenName.d.ts","sourceRoot":"","sources":["../../../../src/runtime/runtime-types/shape-helpers/getTokenName.ts"],"names":[],"mappings":"AAGA;;;;GAIG;AACH,eAAO,MAAM,YAAY,8cAA4B,CAAC,WAIrD,CAAA"}

package/dist/runtime/runtime-types/shape-helpers/getTokenName.js

@@ -0,0 +1,10 @@
+import { stripLeading } from "../../index.js";
+/**
+ * **getTokenName**`(token)`
+ *
+ * Given a `Shape` token, this function will extract the
+ */
+export const getTokenName = (token) => {
+    const [name, ..._rest] = stripLeading(token, "<<").split("::");
+    return name;
+};

package/dist/runtime/runtime-types/shape-helpers/literal-containers.d.ts

@@ -0,0 +1,4 @@
+import { DictionaryTypeDefn, FromDefn, TupleDefn } from "../../../types/index";
+export declare const dictionary: <T extends DictionaryTypeDefn>(_obj: T) => FromDefn<T>;
+export declare const tuple: <T extends readonly TupleDefn[]>(..._elements: T) => FromDefn<T>;
+//# sourceMappingURL=literal-containers.d.ts.map

package/dist/runtime/runtime-types/shape-helpers/literal-containers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal-containers.d.ts","sourceRoot":"","sources":["../../../../src/runtime/runtime-types/shape-helpers/literal-containers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,SAAS,EAAE,6BAAwB;AAI1E,eAAO,MAAM,UAAU,uCAAwC,CAAC,gBAI/D,CAAC;AAGF,eAAO,MAAM,KAAK,iDAAkD,CAAC,gBAGpE,CAAA"}

package/dist/runtime/runtime-types/shape-helpers/literal-containers.js

@@ -0,0 +1,9 @@
+export const dictionary = (_obj) => {
+    // TODO
+    return null;
+};
+;
+export const tuple = (..._elements) => {
+    // TODO
+    return null;
+};

package/dist/runtime/runtime-types/shape-helpers/singletons.d.ts

@@ -0,0 +1,4 @@
+import { StringTokenUtilities, TupleToUnion } from "../../../types/index";
+export declare const string: <L extends readonly string[]>(...literals: L) => L["length"] extends 0 ? StringTokenUtilities<string> : L["length"] extends 1 ? L[0] : TupleToUnion<L>;
+export declare const number: <L extends readonly number[]>(...literals: L) => L["length"] extends 0 ? number : L["length"] extends 1 ? L[0] : TupleToUnion<L>;
+//# sourceMappingURL=singletons.d.ts.map

package/dist/runtime/runtime-types/shape-helpers/singletons.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"singletons.d.ts","sourceRoot":"","sources":["../../../../src/runtime/runtime-types/shape-helpers/singletons.ts"],"names":[],"mappings":"AACA,OAAO,EAML,oBAAoB,EAGpB,YAAY,EAKb,6BAAwB;AAmEzB,eAAO,MAAM,MAAM,wJAAoC,CAAC;AACxD,eAAO,MAAM,MAAM,kIAAyB,CAAC"}

package/dist/runtime/runtime-types/shape-helpers/singletons.js

@@ -0,0 +1,32 @@
+import { addToken } from "./addToken.js";
+/**
+ * Generates a token and then types it appropriates for the given Singleton
+ */
+const addSingleton = (token, api) => (...literals) => {
+    return (literals.length === 0
+        ? api
+            ? api
+            : addToken(token)
+        : literals.length === 1
+            ? addToken(token, literals[0])
+            : addToken("union", literals
+                .map(l => addToken(token, `${l}`))
+                .join(",")));
+};
+const stringApi = ({
+    zip: () => addToken("string-set", "Zip5"),
+    zipPlus4: () => addToken("string-set", "Zip5_4"),
+    zipCode: () => addToken("string-set", "ZipCode"),
+    militaryTime: (resolution) => {
+        return addToken("string-set", "militaryTime", resolution || "HH:MM");
+    },
+    civilianTime: (resolution) => {
+        return addToken("string-set", "militaryTime", resolution || "HH:MM");
+    },
+    numericString: () => addToken("string-set", "numeric"),
+    ipv4Address: () => addToken("string-set", "ipv4Address"),
+    ipv6Address: () => addToken("string-set", "ipv6Address"),
+    done: () => addToken("string")
+});
+export const string = addSingleton("string", stringApi);
+export const number = addSingleton("number");

package/dist/runtime/runtime-types/shape-helpers/union.d.ts

@@ -0,0 +1,3 @@
+import { AsUnion, UnionElDefn } from "../../../types/index";
+export declare const union: <U extends readonly [UnionElDefn, ...UnionElDefn[]]>(...elements: U) => AsUnion<U>;
+//# sourceMappingURL=union.d.ts.map

package/dist/runtime/runtime-types/shape-helpers/union.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../../../src/runtime/runtime-types/shape-helpers/union.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,6BAAwB;AAIvD,eAAO,MAAM,KAAK,oEAAoE,CAAC,eAMtF,CAAC"}

package/dist/runtime/runtime-types/shape-helpers/union.js

@@ -0,0 +1,6 @@
+export const union = (...elements) => {
+    const result = elements.map(_el => {
+        // TODO
+    });
+    return result;
+};

package/dist/runtime/runtime-types/shape-helpers/wide-containers.d.ts

@@ -0,0 +1,7 @@
+import { ArrayTypeDefn, AsArray, FromDefn, HandleDoneFn, MapKeyDefn, MapValueDefn, ObjKeyDefn, RecordValueTypeDefn, ShapeCallback, WeakMapKeyDefn, WeakMapValueDefn, WideTokenNames } from "../../../types/index";
+export declare const record: <TKey extends ObjKeyDefn = "string | symbol", TValue extends RecordValueTypeDefn = "unknown">(_key?: TKey, _value?: TValue) => Record<FromDefn<TKey>, FromDefn<TValue>>;
+export declare const array: <T extends ArrayTypeDefn = "unknown[]">(_type?: T) => AsArray<FromDefn<T>>;
+export declare const set: <T extends ShapeCallback | WideTokenNames = "unknown">(_type?: T) => T extends ShapeCallback ? Set<HandleDoneFn<ReturnType<T>>> : T extends WideTokenNames ? Set<FromDefn<T>> : Set<unknown>;
+export declare const map: <TKey extends MapKeyDefn = "unknown", TValue extends MapValueDefn = "unknown">(_key?: TKey, _value?: TValue) => Map<FromDefn<TKey>, FromDefn<TValue>>;
+export declare const weakMap: <TKey extends WeakMapKeyDefn = "object", TValue extends WeakMapValueDefn = "unknown">(_key?: TKey, _value?: TValue) => WeakMap<FromDefn<TKey> extends object ? FromDefn<TKey> : never, FromDefn<TValue>>;
+//# sourceMappingURL=wide-containers.d.ts.map

package/dist/runtime/runtime-types/shape-helpers/wide-containers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wide-containers.d.ts","sourceRoot":"","sources":["../../../../src/runtime/runtime-types/shape-helpers/wide-containers.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,OAAO,EACP,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,UAAU,EACV,mBAAmB,EACnB,aAAa,EACb,cAAc,EACd,gBAAgB,EAChB,cAAc,EACf,6BAAwB;AAGzB,eAAO,MAAM,MAAM,uGAGV,IAAI,WAAW,MAAM,6CAG7B,CAAA;AAED,eAAO,MAAM,KAAK,kDACR,CAAC,yBAIV,CAAC;AAEF,eAAO,MAAM,GAAG,iEAAkE,CAAC,4HAMlF,CAAC;AAEF,eAAO,MAAM,GAAG,wFAGP,IAAI,WAAW,MAAM,0CAG7B,CAAA;AAED,eAAO,MAAM,OAAO,+FAGX,IAAI,WAAW,MAAM,sFAQ7B,CAAA"}

package/dist/runtime/runtime-types/shape-helpers/wide-containers.js

@@ -0,0 +1,19 @@
+export const record = (_key, _value) => {
+    // TODO
+    return null;
+};
+export const array = (_type) => {
+    // TODO
+    return null;
+};
+export const set = (_type) => {
+    return null;
+};
+export const map = (_key, _value) => {
+    // TODO
+    return null;
+};
+export const weakMap = (_key, _value) => {
+    // TODO
+    return null;
+};

package/dist/runtime/runtime-types/shape.d.ts

@@ -0,0 +1,18 @@
+import { ShapeApi as TShapeApi, ShapeCallback, HandleDoneFn } from "../../types/index";
+export declare const ShapeApiImplementation: TShapeApi;
+/**
+ * **shape**(s => s.[API])
+ *
+ * Provides a callback API to allow for defining a type (_which
+ * retains a runtime value which will map back to the type_)
+ *
+ * **Related:** `isShape(val)`
+ */
+export declare const shape: <T extends ShapeCallback>(cb: T) => HandleDoneFn<ReturnType<T>>;
+/**
+ * **isShape**(val)
+ *
+ * Type guard which tests whether a value is a _type_ defined by a `Shape`.
+ */
+export declare const isShape: (v: unknown) => v is `<<string${string}>>` | `<<number${string}>>` | `<<boolean${string}>>` | `<<undefined${string}>>` | `<<map${string}>>` | `<<set${string}>>` | `<<false${string}>>` | `<<true${string}>>` | `<<null${string}>>` | `<<rec${string}>>` | `<<arr${string}>>` | `<<union${string}>>` | `<<obj${string}>>` | `<<tuple${string}>>` | `<<fn${string}>>` | `<<gen${string}>>` | `<<string-set${string}>>` | `<<numeric-set${string}>>` | `<<union-set${string}>>`;
+//# sourceMappingURL=shape.d.ts.map

package/dist/runtime/runtime-types/shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape.d.ts","sourceRoot":"","sources":["../../../src/runtime/runtime-types/shape.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,QAAQ,IAAI,SAAS,EACrB,aAAa,EACb,YAAY,EACb,0BAAwB;AA8BzB,eAAO,MAAM,sBAAsB,WAgBV,CAAA;AAEzB;;;;;;;GAOG;AACH,eAAO,MAAM,KAAK,gCAEZ,CAAC,KAAG,aAAa,WAAW,CAAC,CAAC,CAKnC,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,OAAO,MAAO,OAAO,kcAMjC,CAAA"}

package/dist/runtime/runtime-types/shape.js

@@ -0,0 +1,69 @@
+import { SHAPE_PREFIXES } from "../../constants/Shape.js";
+import { isString, hasKeys, isObject, handleDoneFn } from "../index.js";
+import { boolean, nullType, undefinedType, unknown } from "./shape-helpers/atomics.js";
+import { number, string } from "./shape-helpers/singletons.js";
+import { fn } from "./shape-helpers/functions.js";
+import { dictionary, tuple } from "./shape-helpers/literal-containers.js";
+import { array, map, record, set, weakMap } from "./shape-helpers/wide-containers.js";
+import { union } from "./shape-helpers/union.js";
+const isAddOrDone = (val) => {
+    return isObject(val) && hasKeys("add", "done") && typeof val.done === "function" && typeof val.add === "function";
+};
+/*
+ * **Shape Api** _Implementation_
+ *
+ * This API surface is intended to be used to create a string-based
+ * **token** which _represents_ a fully typed _type_.
+ *
+ * Even though the runtime system can interrogate this this token
+ * at runtime -- via the `isShape()` type guard -- the
+ * runtime will "see" the actual type that the token represents.
+ *
+ * ```ts
+ * // number
+ * const token = ShapeApi.number();
+ * // <<number>>
+ * console.log(token);
+ * ```
+ */
+export const ShapeApiImplementation = {
+    string,
+    number,
+    boolean,
+    unknown,
+    undefined: undefinedType,
+    null: nullType,
+    union,
+    fn,
+    record,
+    array,
+    set,
+    map,
+    weakMap,
+    dictionary,
+    tuple
+};
+/**
+ * **shape**(s => s.[API])
+ *
+ * Provides a callback API to allow for defining a type (_which
+ * retains a runtime value which will map back to the type_)
+ *
+ * **Related:** `isShape(val)`
+ */
+export const shape = (cb) => {
+    const rtn = cb(ShapeApiImplementation);
+    return handleDoneFn(isAddOrDone(rtn) ? rtn.done() : rtn);
+};
+/**
+ * **isShape**(val)
+ *
+ * Type guard which tests whether a value is a _type_ defined by a `Shape`.
+ */
+export const isShape = (v) => {
+    return isString(v) &&
+        v.startsWith("<<") &&
+        v.endsWith(">>") &&
+        SHAPE_PREFIXES.some(i => v.startsWith(`<<${i}`))
+        ? true : false;
+};