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

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 InputSpec<Record<string, any>>> = A extends InputSpec<infer B> ? B : never;
-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,8 +69,9 @@ 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;
+    readonly validator: Parser<unknown, StaticValidatedAs>;
     private constructor();
     _TYPE: Type;
     _PARTIAL: DeepPartial<Type>;
@@ -80,5 +81,5 @@ export declare class InputSpec<Type extends Record<string, any>> {
         };
         validator: Parser<unknown, Type>;
     }>;
-    static of<Spec extends Record<string, Value<any>>>(spec: Spec): InputSpec<{ [K in keyof Spec]: Spec[K] extends Value<infer T> ? T : never; }>;
+    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

@@ -59,8 +59,9 @@ export const addNodesSpec = InputSpec.of({ hostname: hostname, port: port });
   ```
  */
 class InputSpec {
-    constructor(spec) {
+    constructor(spec, validator) {
         this.spec = spec;
+        this.validator = validator;
         this._TYPE = null;
         this._PARTIAL = null;
     }
@@ -78,7 +79,8 @@ class InputSpec {
         };
     }
     static of(spec) {
-        return new InputSpec(spec);
+        const validator = (0, ts_matches_1.object)(Object.fromEntries(Object.entries(spec).map(([k, v]) => [k, v.validator])));
+        return new InputSpec(spec, validator);
     }
 }
 exports.InputSpec = InputSpec;

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;QAFgB,SAAI,GAAJ,IAAI,CAEpB;QAEI,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,CAA0C,IAAU;QAC3D,OAAO,IAAI,SAAS,CAEjB,IAAI,CAAC,CAAA;IACV,CAAC;CACF;AApCD,8BAoCC"}
+{"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,11 +1,12 @@
 import { InputSpec, LazyBuild } from "./inputSpec";
 import { ListValueSpecText, Pattern, RandomString, UniqueBy, ValueSpecList } from "../inputSpecTypes";
 import { Parser } from "ts-matches";
-export declare class List<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: {
@@ -47,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;
@@ -65,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;
@@ -74,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

@@ -3,11 +3,13 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.List = void 0;
 const ts_matches_1 = require("ts-matches");
 class List {
-    constructor(build) {
+    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 { spec: built, validator: (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,8 +62,8 @@ class List {
                 ...a,
                 spec,
             };
-            return { spec: built, validator: (0, ts_matches_1.arrayOf)(ts_matches_1.string) };
-        });
+            return { spec: built, validator };
+        }, validator);
     }
     static obj(a, aSpec) {
         return new List(async (options) => {
@@ -90,7 +93,7 @@ class List {
                 },
                 validator: (0, ts_matches_1.arrayOf)(built.validator),
             };
-        });
+        }, (0, ts_matches_1.arrayOf)(aSpec.spec.validator));
     }
 }
 exports.List = List;

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,KAGL;QAHK,UAAK,GAAL,KAAK,CAGV;QAEK,UAAK,GAAS,IAAW,CAAA;IAD/B,CAAC;IAGJ,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,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAA,oBAAO,EAAC,mBAAM,CAAC,EAAE,CAAA;QACpD,CAAC,CAAC,CAAA;IACJ,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;YAED,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,IAAA,oBAAO,EAAC,mBAAM,CAAC,EAAE,CAAA;QACpD,CAAC,CAAC,CAAA;IACJ,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,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,CAAC,CAAA;IACJ,CAAC;CACF;AA5KD,oBA4KC"}
+{"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,20 +1,21 @@
 import { InputSpec, LazyBuild } from "./inputSpec";
 import { List } from "./list";
-import { UnionRes, 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> {
+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>;
     /**
@@ -44,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
@@ -126,7 +127,7 @@ 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>>;
+    }): Value<AsRequired<string, Required>, AsRequired<string, Required>>;
     static dynamicText<Required extends boolean>(getA: LazyBuild<{
         name: string;
         description?: string | null;
@@ -141,7 +142,7 @@ export declare class Value<Type> {
         inputmode?: ValueSpecText["inputmode"];
         disabled?: string | false;
         generate?: null | RandomString;
-    }>): Value<AsRequired<string, Required>>;
+    }>): Value<AsRequired<string, Required>, string | null>;
     /**
      * @description Displays a large textarea field for long form entry.
      * @example
@@ -177,7 +178,7 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<AsRequired<string, Required>>;
+    }): Value<AsRequired<string, Required>, AsRequired<string, Required>>;
     static dynamicTextarea<Required extends boolean>(getA: LazyBuild<{
         name: string;
         description?: string | null;
@@ -188,7 +189,7 @@ export declare class Value<Type> {
         maxLength?: number | null;
         placeholder?: string | null;
         disabled?: false | string;
-    }>): Value<AsRequired<string, Required>>;
+    }>): Value<AsRequired<string, Required>, string | null>;
     /**
      * @description Displays a number input field
      * @example
@@ -246,7 +247,7 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<AsRequired<number, Required>>;
+    }): Value<AsRequired<number, Required>, AsRequired<number, Required>>;
     static dynamicNumber<Required extends boolean>(getA: LazyBuild<{
         name: string;
         description?: string | null;
@@ -260,7 +261,7 @@ export declare class Value<Type> {
         units?: string | null;
         placeholder?: string | null;
         disabled?: false | string;
-    }>): Value<AsRequired<number, Required>>;
+    }>): Value<AsRequired<number, Required>, number | null>;
     /**
      * @description Displays a browser-native color selector.
      * @example
@@ -296,7 +297,7 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<AsRequired<string, Required>>;
+    }): Value<AsRequired<string, Required>, AsRequired<string, Required>>;
     static dynamicColor<Required extends boolean>(getA: LazyBuild<{
         name: string;
         description?: string | null;
@@ -304,7 +305,7 @@ export declare class Value<Type> {
         default: string | null;
         required: Required;
         disabled?: false | string;
-    }>): Value<AsRequired<string, Required>>;
+    }>): Value<AsRequired<string, Required>, string | null>;
     /**
      * @description Displays a browser-native date/time selector.
      * @example
@@ -350,7 +351,7 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<AsRequired<string, Required>>;
+    }): Value<AsRequired<string, Required>, AsRequired<string, Required>>;
     static dynamicDatetime<Required extends boolean>(getA: LazyBuild<{
         name: string;
         description?: string | null;
@@ -361,7 +362,7 @@ export declare class Value<Type> {
         min?: string | null;
         max?: string | null;
         disabled?: false | string;
-    }>): Value<AsRequired<string, Required>>;
+    }>): Value<AsRequired<string, Required>, string | null>;
     /**
      * @description Displays a select modal with radio buttons, allowing for a single selection.
      * @example
@@ -412,7 +413,7 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<keyof Values & string>;
+    }): Value<keyof Values & string, keyof Values & string>;
     static dynamicSelect<Values extends Record<string, string>>(getA: LazyBuild<{
         name: string;
         description?: string | null;
@@ -420,7 +421,7 @@ export declare class Value<Type> {
         default: string;
         values: Values;
         disabled?: false | string | string[];
-    }>): Value<keyof Values & string>;
+    }>): Value<keyof Values & string, string>;
     /**
      * @description Displays a select modal with checkboxes, allowing for multiple selections.
      * @example
@@ -472,7 +473,7 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<(keyof Values & string)[]>;
+    }): Value<(keyof Values & string)[], (keyof Values & string)[]>;
     static dynamicMultiselect<Values extends Record<string, string>>(getA: LazyBuild<{
         name: string;
         description?: string | null;
@@ -482,7 +483,7 @@ export declare class Value<Type> {
         minLength?: number | null;
         maxLength?: number | null;
         disabled?: false | string | string[];
-    }>): Value<(keyof Values & 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
@@ -500,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
@@ -555,7 +556,7 @@ export declare class Value<Type> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<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;
@@ -568,7 +569,20 @@ export declare class Value<Type> {
         variants: Variants<VariantValues>;
         default: keyof VariantValues & string;
         disabled: string[] | false | string;
-    }>): Value<UnionRes<VariantValues>>;
+    }>): 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
@@ -632,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
@@ -640,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 {};