@start9labs/start-sdk 0.4.0-beta.30 → 0.4.0-beta.32

package/base/lib/actions/index.d.ts

@@ -1,7 +1,6 @@
 import * as T from "../types";
 import * as IST from "../actions/input/inputSpecTypes";
 import { Action, ActionInfo } from "./setupActions";
-import { ExtractInputSpecType } from "./input/builder/inputSpec";
 export type RunActionInput<Input> = Input | ((prev?: {
     spec: IST.InputSpec;
     value: Input | null;
@@ -11,7 +10,7 @@ export declare const runAction: <Input extends Record<string, unknown>>(options:
     actionId: T.ActionId;
     input?: RunActionInput<Input>;
 }) => Promise<T.ActionResult | null>;
-type GetActionInputType<A extends ActionInfo<T.ActionId, any>> = A extends Action<T.ActionId, infer I> ? ExtractInputSpecType<I> : never;
+type GetActionInputType<A extends ActionInfo<T.ActionId, any>> = A extends Action<T.ActionId, infer I> ? I : never;
 type TaskBase = {
     reason?: string;
     replayId?: string;

package/base/lib/actions/input/builder/inputSpec.d.ts

@@ -7,8 +7,8 @@ export type LazyBuildOptions = {
     effects: Effects;
 };
 export type LazyBuild<ExpectedOut> = (options: LazyBuildOptions) => Promise<ExpectedOut> | ExpectedOut;
-export type ExtractInputSpecType<A extends Record<string, any> | InputSpec<Record<string, any>>> = A extends InputSpec<infer B> ? B : A;
-export type ExtractPartialInputSpecType<A extends Record<string, any> | InputSpec<Record<string, any>>> = A extends InputSpec<infer B> ? DeepPartial<B> : DeepPartial<A>;
+export type ExtractInputSpecType<A extends InputSpec<Record<string, any>, any>> = A extends InputSpec<infer B, any> ? B : never;
+export type ExtractInputSpecStaticValidatedAs<A extends InputSpec<any, Record<string, any>>> = A extends InputSpec<any, infer B> ? B : never;
 export type InputSpecOf<A extends Record<string, any>> = {
     [K in keyof A]: Value<A[K]>;
 };
@@ -69,12 +69,17 @@ export const addNodesSpec = InputSpec.of({ hostname: hostname, port: port });
 
   ```
  */
-export declare class InputSpec<Type extends Record<string, any>> {
+export declare class InputSpec<Type extends StaticValidatedAs, StaticValidatedAs extends Record<string, any> = Type> {
     private readonly spec;
-    validator: Parser<unknown, Type>;
+    readonly validator: Parser<unknown, StaticValidatedAs>;
     private constructor();
     _TYPE: Type;
     _PARTIAL: DeepPartial<Type>;
-    build(options: LazyBuildOptions): Promise<{ [K in keyof Type]: ValueSpec; }>;
-    static of<Spec extends Record<string, Value<any>>>(spec: Spec): InputSpec<{ [K in keyof Spec]: Spec[K] extends Value<infer T> ? T : never; }>;
+    build(options: LazyBuildOptions): Promise<{
+        spec: {
+            [K in keyof Type]: ValueSpec;
+        };
+        validator: Parser<unknown, Type>;
+    }>;
+    static of<Spec extends Record<string, Value<any, any>>>(spec: Spec): InputSpec<{ [K in keyof Spec]: Spec[K] extends Value<infer T extends any, any> ? T : never; }, { [K_1 in keyof Spec]: Spec[K_1] extends Value<any, infer T_1> ? T_1 : never; }>;
 }

package/base/lib/actions/input/builder/inputSpec.js

@@ -67,17 +67,19 @@ class InputSpec {
     }
     async build(options) {
         const answer = {};
+        const validator = {};
         for (const k in this.spec) {
-            answer[k] = await this.spec[k].build(options);
+            const built = await this.spec[k].build(options);
+            answer[k] = built.spec;
+            validator[k] = built.validator;
         }
-        return answer;
+        return {
+            spec: answer,
+            validator: (0, ts_matches_1.object)(validator),
+        };
     }
     static of(spec) {
-        const validatorObj = {};
-        for (const key in spec) {
-            validatorObj[key] = spec[key].validator;
-        }
-        const validator = (0, ts_matches_1.object)(validatorObj);
+        const validator = (0, ts_matches_1.object)(Object.fromEntries(Object.entries(spec).map(([k, v]) => [k, v.validator])));
         return new InputSpec(spec, validator);
     }
 }

package/base/lib/actions/input/builder/inputSpec.js.map

@@ -1 +1 @@
-{"version":3,"file":"inputSpec.js","sourceRoot":"","sources":["../../../../../../base/lib/actions/input/builder/inputSpec.ts"],"names":[],"mappings":";;;AAIA,2CAA2C;AAwB3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AACH,MAAa,SAAS;IACpB,YACmB,IAEhB,EACM,SAAgC;QAHtB,SAAI,GAAJ,IAAI,CAEpB;QACM,cAAS,GAAT,SAAS,CAAuB;QAElC,UAAK,GAAS,IAAmB,CAAA;QACjC,aAAQ,GAAsB,IAAgC,CAAA;IAFlE,CAAC;IAGJ,KAAK,CAAC,KAAK,CAAC,OAAyB;QACnC,MAAM,MAAM,GAAG,EAEd,CAAA;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAc,CAAC,CAAA;QACtD,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,MAAM,CAAC,EAAE,CAA0C,IAAU;QAC3D,MAAM,YAAY,GAAG,EAEpB,CAAA;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,YAAY,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAA;QACzC,CAAC;QACD,MAAM,SAAS,GAAG,IAAA,mBAAM,EAAC,YAAY,CAAC,CAAA;QACtC,OAAO,IAAI,SAAS,CAEjB,IAAI,EAAE,SAAgB,CAAC,CAAA;IAC5B,CAAC;CACF;AA/BD,8BA+BC"}
+{"version":3,"file":"inputSpec.js","sourceRoot":"","sources":["../../../../../../base/lib/actions/input/builder/inputSpec.ts"],"names":[],"mappings":";;;AAIA,2CAA2C;AA4B3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AACH,MAAa,SAAS;IAIpB,YACmB,IAEhB,EACe,SAA6C;QAH5C,SAAI,GAAJ,IAAI,CAEpB;QACe,cAAS,GAAT,SAAS,CAAoC;QAExD,UAAK,GAAS,IAAmB,CAAA;QACjC,aAAQ,GAAsB,IAAgC,CAAA;IAFlE,CAAC;IAGJ,KAAK,CAAC,KAAK,CAAC,OAAyB;QAMnC,MAAM,MAAM,GAAG,EAEd,CAAA;QACD,MAAM,SAAS,GAAG,EAEjB,CAAA;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAc,CAAC,CAAA;YACtD,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAA;YACtB,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,CAAA;QAChC,CAAC;QACD,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,SAAS,EAAE,IAAA,mBAAM,EAAC,SAAS,CAAQ;SACpC,CAAA;IACH,CAAC;IAED,MAAM,CAAC,EAAE,CAA+C,IAAU;QAChE,MAAM,SAAS,GAAG,IAAA,mBAAM,EACtB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CACvD,CACF,CAAA;QACD,OAAO,IAAI,SAAS,CAOlB,IAAI,EAAE,SAAgB,CAAC,CAAA;IAC3B,CAAC;CACF;AAlDD,8BAkDC"}

package/base/lib/actions/input/builder/list.d.ts

@@ -1,10 +1,14 @@
 import { InputSpec, LazyBuild } from "./inputSpec";
 import { ListValueSpecText, Pattern, RandomString, UniqueBy, ValueSpecList } from "../inputSpecTypes";
 import { Parser } from "ts-matches";
-export declare class List<Type> {
-    build: LazyBuild<ValueSpecList>;
-    validator: Parser<unknown, Type>;
+export declare class List<Type extends StaticValidatedAs, StaticValidatedAs = Type> {
+    build: LazyBuild<{
+        spec: ValueSpecList;
+        validator: Parser<unknown, Type>;
+    }>;
+    readonly validator: Parser<unknown, StaticValidatedAs>;
     private constructor();
+    readonly _TYPE: Type;
     static text(a: {
         name: string;
         description?: string | null;
@@ -44,7 +48,7 @@ export declare class List<Type> {
          * @description Displays a button that will generate a random string according to the provided charset and len attributes.
          */
         generate?: null | RandomString;
-    }): List<string[]>;
+    }): List<string[], string[]>;
     static dynamicText(getA: LazyBuild<{
         name: string;
         description?: string | null;
@@ -62,8 +66,8 @@ export declare class List<Type> {
             patterns?: Pattern[];
             inputmode?: ListValueSpecText["inputmode"];
         };
-    }>): List<string[]>;
-    static obj<Type extends Record<string, any>>(a: {
+    }>): List<string[], string[]>;
+    static obj<Type extends StaticValidatedAs, StaticValidatedAs extends Record<string, any>>(a: {
         name: string;
         description?: string | null;
         warning?: string | null;
@@ -71,8 +75,8 @@ export declare class List<Type> {
         minLength?: number | null;
         maxLength?: number | null;
     }, aSpec: {
-        spec: InputSpec<Type>;
+        spec: InputSpec<Type, StaticValidatedAs>;
         displayAs?: null | string;
         uniqueBy?: null | UniqueBy;
-    }): List<Type[]>;
+    }): List<Type[], StaticValidatedAs[]>;
 }

package/base/lib/actions/input/builder/list.js

@@ -6,8 +6,10 @@ class List {
     constructor(build, validator) {
         this.build = build;
         this.validator = validator;
+        this._TYPE = null;
     }
     static text(a, aSpec) {
+        const validator = (0, ts_matches_1.arrayOf)(ts_matches_1.string);
         return new List(() => {
             const spec = {
                 type: "text",
@@ -31,10 +33,11 @@ class List {
                 ...a,
                 spec,
             };
-            return built;
-        }, (0, ts_matches_1.arrayOf)(ts_matches_1.string));
+            return { spec: built, validator };
+        }, validator);
     }
     static dynamicText(getA) {
+        const validator = (0, ts_matches_1.arrayOf)(ts_matches_1.string);
         return new List(async (options) => {
             const { spec: aSpec, ...a } = await getA(options);
             const spec = {
@@ -59,19 +62,19 @@ class List {
                 ...a,
                 spec,
             };
-            return built;
-        }, (0, ts_matches_1.arrayOf)(ts_matches_1.string));
+            return { spec: built, validator };
+        }, validator);
     }
     static obj(a, aSpec) {
         return new List(async (options) => {
             const { spec: previousSpecSpec, ...restSpec } = aSpec;
-            const specSpec = await previousSpecSpec.build(options);
+            const built = await previousSpecSpec.build(options);
             const spec = {
                 type: "object",
                 displayAs: null,
                 uniqueBy: null,
                 ...restSpec,
-                spec: specSpec,
+                spec: built.spec,
             };
             const value = {
                 spec,
@@ -79,13 +82,16 @@ class List {
                 ...a,
             };
             return {
-                description: null,
-                warning: null,
-                minLength: null,
-                maxLength: null,
-                type: "list",
-                disabled: false,
-                ...value,
+                spec: {
+                    description: null,
+                    warning: null,
+                    minLength: null,
+                    maxLength: null,
+                    type: "list",
+                    disabled: false,
+                    ...value,
+                },
+                validator: (0, ts_matches_1.arrayOf)(built.validator),
             };
         }, (0, ts_matches_1.arrayOf)(aSpec.spec.validator));
     }

package/base/lib/actions/input/builder/list.js.map

@@ -1 +1 @@
-{"version":3,"file":"list.js","sourceRoot":"","sources":["../../../../../../base/lib/actions/input/builder/list.ts"],"names":[],"mappings":";;;AASA,2CAAoD;AAEpD,MAAa,IAAI;IACf,YACS,KAA+B,EAC/B,SAAgC;QADhC,UAAK,GAAL,KAAK,CAA0B;QAC/B,cAAS,GAAT,SAAS,CAAuB;IACtC,CAAC;IAEJ,MAAM,CAAC,IAAI,CACT,CAOC,EACD,KAgCC;QAED,OAAO,IAAI,IAAI,CAAW,GAAG,EAAE;YAC7B,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,MAAe;gBACrB,WAAW,EAAE,IAAI;gBACjB,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,IAAI;gBACf,MAAM,EAAE,KAAK;gBACb,SAAS,EAAE,MAAe;gBAC1B,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;gBAC9B,GAAG,KAAK;aACT,CAAA;YACD,MAAM,KAAK,GAA4B;gBACrC,WAAW,EAAE,IAAI;gBACjB,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE,MAAe;gBACrB,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,IAAI;gBACf,QAAQ,EAAE,KAAK;gBACf,GAAG,CAAC;gBACJ,IAAI;aACL,CAAA;YACD,OAAO,KAAK,CAAA;QACd,CAAC,EAAE,IAAA,oBAAO,EAAC,mBAAM,CAAC,CAAC,CAAA;IACrB,CAAC;IAED,MAAM,CAAC,WAAW,CAChB,IAiBE;QAEF,OAAO,IAAI,IAAI,CAAW,KAAK,EAAE,OAAO,EAAE,EAAE;YAC1C,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,CAAA;YACjD,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,MAAe;gBACrB,WAAW,EAAE,IAAI;gBACjB,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,IAAI;gBACf,MAAM,EAAE,KAAK;gBACb,SAAS,EAAE,MAAe;gBAC1B,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;gBAC9B,GAAG,KAAK;aACT,CAAA;YACD,MAAM,KAAK,GAA4B;gBACrC,WAAW,EAAE,IAAI;gBACjB,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE,MAAe;gBACrB,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,IAAI;gBACf,QAAQ,EAAE,KAAK;gBACf,GAAG,CAAC;gBACJ,IAAI;aACL,CAAA;YACD,OAAO,KAAK,CAAA;QACd,CAAC,EAAE,IAAA,oBAAO,EAAC,mBAAM,CAAC,CAAC,CAAA;IACrB,CAAC;IAED,MAAM,CAAC,GAAG,CACR,CAOC,EACD,KAIC;QAED,OAAO,IAAI,IAAI,CAAS,KAAK,EAAE,OAAO,EAAE,EAAE;YACxC,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAA;YACrD,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACtD,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,QAAiB;gBACvB,SAAS,EAAE,IAAI;gBACf,QAAQ,EAAE,IAAI;gBACd,GAAG,QAAQ;gBACX,IAAI,EAAE,QAAQ;aACf,CAAA;YACD,MAAM,KAAK,GAAG;gBACZ,IAAI;gBACJ,OAAO,EAAE,EAAE;gBACX,GAAG,CAAC;aACL,CAAA;YACD,OAAO;gBACL,WAAW,EAAE,IAAI;gBACjB,OAAO,EAAE,IAAI;gBACb,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,IAAI;gBACf,IAAI,EAAE,MAAe;gBACrB,QAAQ,EAAE,KAAK;gBACf,GAAG,KAAK;aACT,CAAA;QACH,CAAC,EAAE,IAAA,oBAAO,EAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAA;IACnC,CAAC;CACF;AArKD,oBAqKC"}
+{"version":3,"file":"list.js","sourceRoot":"","sources":["../../../../../../base/lib/actions/input/builder/list.ts"],"names":[],"mappings":";;;AASA,2CAAoD;AAEpD,MAAa,IAAI;IACf,YACS,KAGL,EACc,SAA6C;QAJtD,UAAK,GAAL,KAAK,CAGV;QACc,cAAS,GAAT,SAAS,CAAoC;QAEtD,UAAK,GAAS,IAAW,CAAA;IAD/B,CAAC;IAGJ,MAAM,CAAC,IAAI,CACT,CAOC,EACD,KAgCC;QAED,MAAM,SAAS,GAAG,IAAA,oBAAO,EAAC,mBAAM,CAAC,CAAA;QACjC,OAAO,IAAI,IAAI,CAAW,GAAG,EAAE;YAC7B,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,MAAe;gBACrB,WAAW,EAAE,IAAI;gBACjB,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,IAAI;gBACf,MAAM,EAAE,KAAK;gBACb,SAAS,EAAE,MAAe;gBAC1B,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;gBAC9B,GAAG,KAAK;aACT,CAAA;YACD,MAAM,KAAK,GAA4B;gBACrC,WAAW,EAAE,IAAI;gBACjB,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE,MAAe;gBACrB,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,IAAI;gBACf,QAAQ,EAAE,KAAK;gBACf,GAAG,CAAC;gBACJ,IAAI;aACL,CAAA;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;QACnC,CAAC,EAAE,SAAS,CAAC,CAAA;IACf,CAAC;IAED,MAAM,CAAC,WAAW,CAChB,IAiBE;QAEF,MAAM,SAAS,GAAG,IAAA,oBAAO,EAAC,mBAAM,CAAC,CAAA;QACjC,OAAO,IAAI,IAAI,CAAW,KAAK,EAAE,OAAO,EAAE,EAAE;YAC1C,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,CAAA;YACjD,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,MAAe;gBACrB,WAAW,EAAE,IAAI;gBACjB,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,IAAI;gBACf,MAAM,EAAE,KAAK;gBACb,SAAS,EAAE,MAAe;gBAC1B,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;gBAC9B,GAAG,KAAK;aACT,CAAA;YACD,MAAM,KAAK,GAA4B;gBACrC,WAAW,EAAE,IAAI;gBACjB,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE,MAAe;gBACrB,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,IAAI;gBACf,QAAQ,EAAE,KAAK;gBACf,GAAG,CAAC;gBACJ,IAAI;aACL,CAAA;YAED,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;QACnC,CAAC,EAAE,SAAS,CAAC,CAAA;IACf,CAAC;IAED,MAAM,CAAC,GAAG,CAIR,CAOC,EACD,KAIC;QAED,OAAO,IAAI,IAAI,CAA8B,KAAK,EAAE,OAAO,EAAE,EAAE;YAC7D,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAA;YACrD,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACnD,MAAM,IAAI,GAAG;gBACX,IAAI,EAAE,QAAiB;gBACvB,SAAS,EAAE,IAAI;gBACf,QAAQ,EAAE,IAAI;gBACd,GAAG,QAAQ;gBACX,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAA;YACD,MAAM,KAAK,GAAG;gBACZ,IAAI;gBACJ,OAAO,EAAE,EAAE;gBACX,GAAG,CAAC;aACL,CAAA;YACD,OAAO;gBACL,IAAI,EAAE;oBACJ,WAAW,EAAE,IAAI;oBACjB,OAAO,EAAE,IAAI;oBACb,SAAS,EAAE,IAAI;oBACf,SAAS,EAAE,IAAI;oBACf,IAAI,EAAE,MAAe;oBACrB,QAAQ,EAAE,KAAK;oBACf,GAAG,KAAK;iBACT;gBACD,SAAS,EAAE,IAAA,oBAAO,EAAC,KAAK,CAAC,SAAS,CAAC;aACpC,CAAA;QACH,CAAC,EAAE,IAAA,oBAAO,EAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAA;IACnC,CAAC;CACF;AAlLD,oBAkLC"}

package/base/lib/actions/input/builder/value.d.ts

@@ -1,15 +1,21 @@
 import { InputSpec, LazyBuild } from "./inputSpec";
 import { List } from "./list";
-import { Variants } from "./variants";
+import { UnionRes, UnionResStaticValidatedAs, Variants } from "./variants";
 import { Pattern, RandomString, ValueSpec, ValueSpecDatetime, ValueSpecText } from "../inputSpecTypes";
 import { DefaultString } from "../inputSpecTypes";
 import { Parser } from "ts-matches";
 import { DeepPartial } from "../../../types";
 type AsRequired<T, Required extends boolean> = Required extends true ? T : T | null;
-export declare class Value<Type> {
-    build: LazyBuild<ValueSpec>;
-    validator: Parser<unknown, Type>;
-    protected constructor(build: LazyBuild<ValueSpec>, validator: Parser<unknown, Type>);
+export declare class Value<Type extends StaticValidatedAs, StaticValidatedAs = Type> {
+    build: LazyBuild<{
+        spec: ValueSpec;
+        validator: Parser<unknown, Type>;
+    }>;
+    readonly validator: Parser<unknown, StaticValidatedAs>;
+    protected constructor(build: LazyBuild<{
+        spec: ValueSpec;
+        validator: Parser<unknown, Type>;
+    }>, validator: Parser<unknown, StaticValidatedAs>);
     _TYPE: Type;
     _PARTIAL: DeepPartial<Type>;
     /**
@@ -39,14 +45,14 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<boolean>;
+    }): Value<boolean, boolean>;
     static dynamicToggle(a: LazyBuild<{
         name: string;
         description?: string | null;
         warning?: string | null;
         default: boolean;
         disabled?: false | string;
-    }>): Value<boolean>;
+    }>): Value<boolean, boolean>;
     /**
      * @description Displays a text input field
      * @example
@@ -121,13 +127,13 @@ export declare class Value<Type> {
          * @description Displays a button that will generate a random string according to the provided charset and len attributes.
          */
         generate?: RandomString | null;
-    }): Value<AsRequired<string, Required>>;
-    static dynamicText(getA: LazyBuild<{
+    }): Value<AsRequired<string, Required>, AsRequired<string, Required>>;
+    static dynamicText<Required extends boolean>(getA: LazyBuild<{
         name: string;
         description?: string | null;
         warning?: string | null;
         default: DefaultString | null;
-        required: boolean;
+        required: Required;
         masked?: boolean;
         placeholder?: string | null;
         minLength?: number | null;
@@ -136,7 +142,7 @@ export declare class Value<Type> {
         inputmode?: ValueSpecText["inputmode"];
         disabled?: string | false;
         generate?: null | RandomString;
-    }>): Value<string | null>;
+    }>): Value<AsRequired<string, Required>, string | null>;
     /**
      * @description Displays a large textarea field for long form entry.
      * @example
@@ -172,18 +178,18 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<AsRequired<string, Required>>;
-    static dynamicTextarea(getA: LazyBuild<{
+    }): Value<AsRequired<string, Required>, AsRequired<string, Required>>;
+    static dynamicTextarea<Required extends boolean>(getA: LazyBuild<{
         name: string;
         description?: string | null;
         warning?: string | null;
         default: string | null;
-        required: boolean;
+        required: Required;
         minLength?: number | null;
         maxLength?: number | null;
         placeholder?: string | null;
         disabled?: false | string;
-    }>): Value<string | null>;
+    }>): Value<AsRequired<string, Required>, string | null>;
     /**
      * @description Displays a number input field
      * @example
@@ -241,13 +247,13 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<AsRequired<number, Required>>;
-    static dynamicNumber(getA: LazyBuild<{
+    }): Value<AsRequired<number, Required>, AsRequired<number, Required>>;
+    static dynamicNumber<Required extends boolean>(getA: LazyBuild<{
         name: string;
         description?: string | null;
         warning?: string | null;
         default: number | null;
-        required: boolean;
+        required: Required;
         min?: number | null;
         max?: number | null;
         step?: number | null;
@@ -255,7 +261,7 @@ export declare class Value<Type> {
         units?: string | null;
         placeholder?: string | null;
         disabled?: false | string;
-    }>): Value<number | null>;
+    }>): Value<AsRequired<number, Required>, number | null>;
     /**
      * @description Displays a browser-native color selector.
      * @example
@@ -291,15 +297,15 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<AsRequired<string, Required>>;
-    static dynamicColor(getA: LazyBuild<{
+    }): Value<AsRequired<string, Required>, AsRequired<string, Required>>;
+    static dynamicColor<Required extends boolean>(getA: LazyBuild<{
         name: string;
         description?: string | null;
         warning?: string | null;
         default: string | null;
-        required: boolean;
+        required: Required;
         disabled?: false | string;
-    }>): Value<string | null>;
+    }>): Value<AsRequired<string, Required>, string | null>;
     /**
      * @description Displays a browser-native date/time selector.
      * @example
@@ -345,18 +351,18 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<AsRequired<string, Required>>;
-    static dynamicDatetime(getA: LazyBuild<{
+    }): Value<AsRequired<string, Required>, AsRequired<string, Required>>;
+    static dynamicDatetime<Required extends boolean>(getA: LazyBuild<{
         name: string;
         description?: string | null;
         warning?: string | null;
         default: string | null;
-        required: boolean;
+        required: Required;
         inputmode?: ValueSpecDatetime["inputmode"];
         min?: string | null;
         max?: string | null;
         disabled?: false | string;
-    }>): Value<string | null>;
+    }>): Value<AsRequired<string, Required>, string | null>;
     /**
      * @description Displays a select modal with radio buttons, allowing for a single selection.
      * @example
@@ -407,15 +413,15 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<keyof Values & string>;
-    static dynamicSelect(getA: LazyBuild<{
+    }): Value<keyof Values & string, keyof Values & string>;
+    static dynamicSelect<Values extends Record<string, string>>(getA: LazyBuild<{
         name: string;
         description?: string | null;
         warning?: string | null;
         default: string;
-        values: Record<string, string>;
+        values: Values;
         disabled?: false | string | string[];
-    }>): Value<string>;
+    }>): Value<keyof Values & string, string>;
     /**
      * @description Displays a select modal with checkboxes, allowing for multiple selections.
      * @example
@@ -467,17 +473,17 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<(keyof Values)[]>;
-    static dynamicMultiselect(getA: LazyBuild<{
+    }): Value<(keyof Values & string)[], (keyof Values & string)[]>;
+    static dynamicMultiselect<Values extends Record<string, string>>(getA: LazyBuild<{
         name: string;
         description?: string | null;
         warning?: string | null;
         default: string[];
-        values: Record<string, string>;
+        values: Values;
         minLength?: number | null;
         maxLength?: number | null;
         disabled?: false | string | string[];
-    }>): Value<string[]>;
+    }>): Value<(keyof Values & string)[], string[]>;
     /**
      * @description Display a collapsable grouping of additional fields, a "sub form". The second value is the inputSpec spec for the sub form.
      * @example
@@ -495,10 +501,10 @@ export declare class Value<Type> {
       ),
       * ```
       */
-    static object<Type extends Record<string, any>>(a: {
+    static object<Type extends StaticValidatedAs, StaticValidatedAs extends Record<string, any>>(a: {
         name: string;
         description?: string | null;
-    }, spec: InputSpec<Type>): Value<Type>;
+    }, spec: InputSpec<Type, StaticValidatedAs>): Value<Type, StaticValidatedAs>;
     /**
      * @description Displays a dropdown, allowing for a single selection. Depending on the selection, a different object ("sub form") is presented.
      * @example
@@ -538,6 +544,7 @@ export declare class Value<Type> {
         description?: string | null;
         /** Presents a warning prompt before permitting the value to change. */
         warning?: string | null;
+        variants: Variants<VariantValues>;
         /**
          * @description Provide a default value from the list of variants.
          * @type { string }
@@ -549,7 +556,7 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }, aVariants: Variants<VariantValues>): Value<import("./variants").UnionRes<VariantValues, keyof VariantValues & string>>;
+    }): Value<UnionRes<VariantValues, keyof VariantValues & string>, UnionResStaticValidatedAs<VariantValues, keyof VariantValues & string>>;
     static dynamicUnion<VariantValues extends {
         [K in string]: {
             name: string;
@@ -559,9 +566,23 @@ export declare class Value<Type> {
         name: string;
         description?: string | null;
         warning?: string | null;
+        variants: Variants<VariantValues>;
         default: keyof VariantValues & string;
         disabled: string[] | false | string;
-    }>, aVariants: Variants<VariantValues>): Value<import("./variants").UnionRes<VariantValues, keyof VariantValues & string>>;
+    }>): Value<UnionRes<VariantValues>, unknown>;
+    static dynamicUnion<VariantValues extends StaticVariantValues, StaticVariantValues extends {
+        [K in string]: {
+            name: string;
+            spec: InputSpec<any, any>;
+        };
+    }>(getA: LazyBuild<{
+        name: string;
+        description?: string | null;
+        warning?: string | null;
+        variants: Variants<VariantValues>;
+        default: keyof VariantValues & string;
+        disabled: string[] | false | string;
+    }>, validator: Parser<unknown, UnionResStaticValidatedAs<StaticVariantValues>>): Value<UnionRes<VariantValues>, UnionResStaticValidatedAs<StaticVariantValues>>;
     /**
      * @description Presents an interface to add/remove/edit items in a list.
      * @example
@@ -625,7 +646,16 @@ export declare class Value<Type> {
       ),
      * ```
      */
-    static list<Type>(a: List<Type>): Value<Type>;
+    static list<Type>(a: List<Type>): Value<Type, Type>;
+    /**
+     * @description Provides a way to define a hidden field with a static value. Useful for tracking
+     * @example
+     * ```
+      hiddenExample: Value.hidden(),
+     * ```
+     */
+    static hidden<T>(): Value<T, unknown>;
+    static hidden<T>(parser: Parser<unknown, T>): Value<T>;
     /**
      * @description Provides a way to define a hidden field with a static value. Useful for tracking
      * @example
@@ -633,7 +663,7 @@ export declare class Value<Type> {
       hiddenExample: Value.hidden(),
      * ```
      */
-    static hidden<T>(parser?: Parser<unknown, T>): Value<T>;
-    map<U>(fn: (value: Type) => U): Value<U>;
+    static dynamicHidden<T>(getParser: LazyBuild<Parser<unknown, T>>): Value<T, unknown>;
+    map<U>(fn: (value: StaticValidatedAs) => U): Value<U>;
 }
 export {};