@start9labs/start-sdk 0.3.6-alpha9 → 0.3.6-beta.1

package/base/lib/Effects.d.ts

@@ -1,4 +1,4 @@
-import { ActionId, ActionInput, ActionMetadata, SetMainStatus, DependencyRequirement, CheckDependenciesResult, SetHealth, BindParams, HostId, LanInfo, Host, ExportServiceInterfaceParams, ServiceInterface, RequestActionParams } from "./osBindings";
+import { ActionId, ActionInput, ActionMetadata, SetMainStatus, DependencyRequirement, CheckDependenciesResult, SetHealth, BindParams, HostId, NetInfo, Host, ExportServiceInterfaceParams, ServiceInterface, RequestActionParams, MainStatus } from "./osBindings";
 import { StorePath } from "./util/PathBuilder";
 import { PackageId, Dependencies, ServiceInterfaceId, SmtpValue, ActionResult } from "./types";
 import { UrlString } from "./util/getServiceInterface";
@@ -40,6 +40,11 @@ export type Effects = {
     restart(): Promise<null>;
     /** stop this service's main function */
     shutdown(): Promise<null>;
+    /** ask the host os what the service's current status is */
+    getStatus(options: {
+        packageId?: PackageId;
+        callback?: () => void;
+    }): Promise<MainStatus>;
     /** indicate to the host os what runstate the service is in */
     setMainStatus(options: SetMainStatus): Promise<null>;
     /** Set the dependencies of what the service needs, usually run during the inputSpec action as a best practice */
@@ -88,7 +93,7 @@ export type Effects = {
         packageId?: PackageId;
         hostId: HostId;
         internalPort: number;
-    }): Promise<LanInfo>;
+    }): Promise<NetInfo>;
     /** Removes all network bindings, called in the setupInputSpec */
     clearBindings(options: {
         except: {

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

@@ -1,6 +1,7 @@
 import * as T from "../types";
 import * as IST from "../actions/input/inputSpecTypes";
 import { Action } from "./setupActions";
+import { ExtractInputSpecType } from "./input/builder/inputSpec";
 export type RunActionInput<Input> = Input | ((prev?: {
     spec: IST.InputSpec;
     value: Input | null;
@@ -10,16 +11,16 @@ export declare const runAction: <Input extends Record<string, unknown>>(options:
     actionId: T.ActionId;
     input?: RunActionInput<Input> | undefined;
 }) => Promise<T.ActionResult | null>;
-type GetActionInputType<A extends Action<T.ActionId, any, any, Record<string, unknown>>> = A extends Action<T.ActionId, any, any, infer I> ? I : never;
+type GetActionInputType<A extends Action<T.ActionId, any, any>> = A extends Action<T.ActionId, any, infer I> ? ExtractInputSpecType<I> : never;
 type ActionRequestBase = {
     reason?: string;
     replayId?: string;
 };
-type ActionRequestInput<T extends Action<T.ActionId, any, any, Record<string, unknown>>> = {
+type ActionRequestInput<T extends Action<T.ActionId, any, any>> = {
     kind: "partial";
     value: Partial<GetActionInputType<T>>;
 };
-export type ActionRequestOptions<T extends Action<T.ActionId, any, any, Record<string, unknown>>> = ActionRequestBase & ({
+export type ActionRequestOptions<T extends Action<T.ActionId, any, any>> = ActionRequestBase & ({
     when?: Exclude<T.ActionRequestTrigger, {
         condition: "input-not-matches";
     }>;
@@ -30,7 +31,7 @@ export type ActionRequestOptions<T extends Action<T.ActionId, any, any, Record<s
     };
     input: ActionRequestInput<T>;
 });
-export declare const requestAction: <T extends Action<string, any, any, Record<string, unknown>>>(options: {
+export declare const requestAction: <T extends Action<string, any, any>>(options: {
     effects: T.Effects;
     packageId: string;
     action: T;

package/base/lib/actions/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../base/lib/actions/index.ts"],"names":[],"mappings":";;;AAQO,MAAM,SAAS,GAAG,KAAK,EAE5B,OAKD,EAAE,EAAE;IACH,IAAI,OAAO,CAAC,KAAK,EAAE;QACjB,IAAI,OAAO,CAAC,KAAK,YAAY,QAAQ,EAAE;YACrC,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;gBACjD,gCAAgC;gBAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;aAC3B,CAAC,CAAA;YACF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CACzB,IAAI;gBACF,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAqB,EAAE,KAAK,EAAE,IAAI,CAAC,KAAc,EAAE;gBAClE,CAAC,CAAC,SAAS,CACd,CAAA;YACD,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;gBAChC,gCAAgC;gBAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,KAAK;aACN,CAAC,CAAA;SACH;aAAM;YACL,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;gBAChC,gCAAgC;gBAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAA;SACH;KACF;SAAM;QACL,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;YAChC,kCAAkC;YAClC,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,CAAC,CAAA;KACH;AACH,CAAC,CAAA;AArCY,QAAA,SAAS,aAqCrB;AAgCD,MAAM,SAAS,GAAoB,EAIlC,CAAA;AAEM,MAAM,aAAa,GAAG,CAE3B,OAMD,EAAE,EAAE;IACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,EAAE,CAAA;IACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,CAAA;IAClC,MAAM,GAAG,GAAG;QACV,GAAG,OAAO;QACV,QAAQ;QACR,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,GAAG,OAAO,CAAC,SAAS,IAAI,QAAQ,EAAE;KACjE,CAAA;IACD,OAAO,GAAG,CAAC,MAAM,CAAA;IACjB,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;AAC5C,CAAC,CAAA;AArBY,QAAA,aAAa,iBAqBzB"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../base/lib/actions/index.ts"],"names":[],"mappings":";;;AASO,MAAM,SAAS,GAAG,KAAK,EAE5B,OAKD,EAAE,EAAE;IACH,IAAI,OAAO,CAAC,KAAK,EAAE;QACjB,IAAI,OAAO,CAAC,KAAK,YAAY,QAAQ,EAAE;YACrC,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;gBACjD,gCAAgC;gBAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;aAC3B,CAAC,CAAA;YACF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CACzB,IAAI;gBACF,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAqB,EAAE,KAAK,EAAE,IAAI,CAAC,KAAc,EAAE;gBAClE,CAAC,CAAC,SAAS,CACd,CAAA;YACD,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;gBAChC,gCAAgC;gBAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,KAAK;aACN,CAAC,CAAA;SACH;aAAM;YACL,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;gBAChC,gCAAgC;gBAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAA;SACH;KACF;SAAM;QACL,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;YAChC,kCAAkC;YAClC,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,CAAC,CAAA;KACH;AACH,CAAC,CAAA;AArCY,QAAA,SAAS,aAqCrB;AA4BD,MAAM,SAAS,GAAoB,EAIlC,CAAA;AAEM,MAAM,aAAa,GAAG,CAAyC,OAMrE,EAAE,EAAE;IACH,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,EAAE,CAAA;IACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,CAAA;IAClC,MAAM,GAAG,GAAG;QACV,GAAG,OAAO;QACV,QAAQ;QACR,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,GAAG,OAAO,CAAC,SAAS,IAAI,QAAQ,EAAE;KACjE,CAAA;IACD,OAAO,GAAG,CAAC,MAAM,CAAA;IACjB,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;AAC5C,CAAC,CAAA;AAnBY,QAAA,aAAa,iBAmBzB"}

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

@@ -2,11 +2,13 @@ import { ValueSpec } from "../inputSpecTypes";
 import { Value } from "./value";
 import { Effects } from "../../../Effects";
 import { Parser } from "ts-matches";
+import { DeepPartial } from "../../../types";
 export type LazyBuildOptions<Store> = {
     effects: Effects;
 };
 export type LazyBuild<Store, ExpectedOut> = (options: LazyBuildOptions<Store>) => Promise<ExpectedOut> | ExpectedOut;
 export type ExtractInputSpecType<A extends Record<string, any> | InputSpec<Record<string, any>, any> | InputSpec<Record<string, any>, never>> = A extends InputSpec<infer B, any> | InputSpec<infer B, never> ? B : A;
+export type ExtractPartialInputSpecType<A extends Record<string, any> | InputSpec<Record<string, any>, any> | InputSpec<Record<string, any>, never>> = A extends InputSpec<infer B, any> | InputSpec<infer B, never> ? DeepPartial<B> : DeepPartial<A>;
 export type InputSpecOf<A extends Record<string, any>, Store = never> = {
     [K in keyof A]: Value<A[K], Store>;
 };
@@ -71,6 +73,8 @@ export declare class InputSpec<Type extends Record<string, any>, Store = never>
     private readonly spec;
     validator: Parser<unknown, Type>;
     private constructor();
+    _TYPE: Type;
+    _PARTIAL: DeepPartial<Type>;
     build(options: LazyBuildOptions<Store>): Promise<{ [K in keyof Type]: ValueSpec; }>;
     static of<Spec extends Record<string, Value<any, Store> | Value<any, never>>, Store = never>(spec: Spec): InputSpec<{ [K in keyof Spec]: Spec[K] extends Value<infer T, Store> | Value<infer T, never> ? T : never; }, Store>;
     /**

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

@@ -62,6 +62,8 @@ class InputSpec {
     constructor(spec, validator) {
         this.spec = spec;
         this.validator = validator;
+        this._TYPE = null;
+        this._PARTIAL = null;
     }
     async build(options) {
         const answer = {};

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;AAmB3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AACH,MAAa,SAAS;IACpB,YACmB,IAEhB,EACM,SAAgC;QAHtB,SAAI,GAAJ,IAAI,CAEpB;QACM,cAAS,GAAT,SAAS,CAAuB;IACtC,CAAC;IACJ,KAAK,CAAC,KAAK,CAAC,OAAgC;QAC1C,MAAM,MAAM,GAAG,EAEd,CAAA;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE;YACzB,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAc,CAAC,CAAA;SACrD;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,MAAM,CAAC,EAAE,CAGP,IAAU;QACV,MAAM,YAAY,GAAG,EAEpB,CAAA;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE;YACtB,YAAY,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAA;SACxC;QACD,MAAM,SAAS,GAAG,IAAA,mBAAM,EAAC,YAAY,CAAC,CAAA;QACtC,OAAO,IAAI,SAAS,CASlB,IAAI,EAAE,SAAgB,CAAC,CAAA;IAC3B,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,SAAS;QACP,OAAO,IAAwC,CAAA;IACjD,CAAC;CACF;AAzDD,8BAyDC"}
+{"version":3,"file":"inputSpec.js","sourceRoot":"","sources":["../../../../../../base/lib/actions/input/builder/inputSpec.ts"],"names":[],"mappings":";;;AAIA,2CAA2C;AA6B3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AACH,MAAa,SAAS;IACpB,YACmB,IAEhB,EACM,SAAgC;QAHtB,SAAI,GAAJ,IAAI,CAEpB;QACM,cAAS,GAAT,SAAS,CAAuB;QAEzC,UAAK,GAAS,IAAmB,CAAA;QACjC,aAAQ,GAAsB,IAAgC,CAAA;IAF3D,CAAC;IAGJ,KAAK,CAAC,KAAK,CAAC,OAAgC;QAC1C,MAAM,MAAM,GAAG,EAEd,CAAA;QACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE;YACzB,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAc,CAAC,CAAA;SACrD;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,MAAM,CAAC,EAAE,CAGP,IAAU;QACV,MAAM,YAAY,GAAG,EAEpB,CAAA;QACD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE;YACtB,YAAY,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,CAAA;SACxC;QACD,MAAM,SAAS,GAAG,IAAA,mBAAM,EAAC,YAAY,CAAC,CAAA;QACtC,OAAO,IAAI,SAAS,CASlB,IAAI,EAAE,SAAgB,CAAC,CAAA;IAC3B,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,SAAS;QACP,OAAO,IAAwC,CAAA;IACjD,CAAC;CACF;AA3DD,8BA2DC"}

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

@@ -1,15 +1,10 @@
 import { InputSpec, LazyBuild } from "./inputSpec";
 import { List } from "./list";
 import { Variants } from "./variants";
-import { FilePath, Pattern, RandomString, ValueSpec, ValueSpecDatetime, ValueSpecText } from "../inputSpecTypes";
+import { Pattern, RandomString, ValueSpec, ValueSpecDatetime, ValueSpecText } from "../inputSpecTypes";
 import { DefaultString } from "../inputSpecTypes";
 import { Parser } from "ts-matches";
-export type RequiredDefault<A> = false | {
-    default: A | null;
-};
-type AsRequired<Type, MaybeRequiredType> = MaybeRequiredType extends {
-    default: unknown;
-} | never ? Type : Type | null | undefined;
+type AsRequired<T, Required extends boolean> = Required extends true ? T : T | null;
 export declare class Value<Type, Store> {
     build: LazyBuild<Store, ValueSpec>;
     validator: Parser<unknown, Type>;
@@ -33,19 +28,19 @@ export declare class Value<Type, Store> {
         default: boolean;
         disabled?: false | string;
     }>): Value<boolean, Store>;
-    static text<Required extends RequiredDefault<DefaultString>>(a: {
+    static text<Required extends boolean>(a: {
         name: string;
         description?: string | null;
         /** Presents a warning prompt before permitting the value to change. */
         warning?: string | null;
         /**
-         * @description Determines if the field is required. If so, optionally provide a default value.
-         * @type { false | { default: string | RandomString | null } }
-         * @example required: false
-         * @example required: { default: null }
-         * @example required: { default: 'World' }
-         * @example required: { default: { charset: 'abcdefg', len: 16 } }
+         * provide a default value.
+         * @type { string | RandomString | null }
+         * @example default: null
+         * @example default: 'World'
+         * @example default: { charset: 'abcdefg', len: 16 }
          */
+        default: string | RandomString | null;
         required: Required;
         /**
          * @description Mask (aka camouflage) text input with dots: ● ● ●
@@ -88,7 +83,8 @@ export declare class Value<Type, Store> {
         name: string;
         description?: string | null;
         warning?: string | null;
-        required: RequiredDefault<DefaultString>;
+        default: DefaultString | null;
+        required: boolean;
         masked?: boolean;
         placeholder?: string | null;
         minLength?: number | null;
@@ -97,16 +93,14 @@ export declare class Value<Type, Store> {
         inputmode?: ValueSpecText["inputmode"];
         disabled?: string | false;
         generate?: null | RandomString;
-    }>): Value<string | null | undefined, Store>;
-    static textarea(a: {
+    }>): Value<string | null, Store>;
+    static textarea<Required extends boolean>(a: {
         name: string;
         description?: string | null;
         /** Presents a warning prompt before permitting the value to change. */
         warning?: string | null;
-        /**
-         * @description Unlike other "required" fields, for textarea this is a simple boolean.
-         */
-        required: boolean;
+        default: string | null;
+        required: Required;
         minLength?: number | null;
         maxLength?: number | null;
         placeholder?: string | null;
@@ -115,29 +109,30 @@ export declare class Value<Type, Store> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<string, never>;
+    }): Value<AsRequired<string, Required>, never>;
     static dynamicTextarea<Store = never>(getA: LazyBuild<Store, {
         name: string;
         description?: string | null;
         warning?: string | null;
+        default: string | null;
         required: boolean;
         minLength?: number | null;
         maxLength?: number | null;
         placeholder?: string | null;
         disabled?: false | string;
-    }>): Value<string, Store>;
-    static number<Required extends RequiredDefault<number>>(a: {
+    }>): Value<string | null, Store>;
+    static number<Required extends boolean>(a: {
         name: string;
         description?: string | null;
         /** Presents a warning prompt before permitting the value to change. */
         warning?: string | null;
         /**
-         * @description Determines if the field is required. If so, optionally provide a default value.
-         * @type { false | { default: number | null } }
-         * @example required: false
-         * @example required: { default: null }
-         * @example required: { default: 7 }
+         * @description optionally provide a default value.
+         * @type { default: number | null }
+         * @example default: null
+         * @example default: 7
          */
+        default: number | null;
         required: Required;
         min?: number | null;
         max?: number | null;
@@ -165,7 +160,8 @@ export declare class Value<Type, Store> {
         name: string;
         description?: string | null;
         warning?: string | null;
-        required: RequiredDefault<number>;
+        default: number | null;
+        required: boolean;
         min?: number | null;
         max?: number | null;
         step?: number | null;
@@ -173,19 +169,19 @@ export declare class Value<Type, Store> {
         units?: string | null;
         placeholder?: string | null;
         disabled?: false | string;
-    }>): Value<number | null | undefined, Store>;
-    static color<Required extends RequiredDefault<string>>(a: {
+    }>): Value<number | null, Store>;
+    static color<Required extends boolean>(a: {
         name: string;
         description?: string | null;
         /** Presents a warning prompt before permitting the value to change. */
         warning?: string | null;
         /**
-         * @description Determines if the field is required. If so, optionally provide a default value.
-         * @type { false | { default: string | null } }
-         * @example required: false
-         * @example required: { default: null }
-         * @example required: { default: 'ffffff' }
+         * @description optionally provide a default value.
+         * @type { default: string | null }
+         * @example default: null
+         * @example default: 'ffffff'
          */
+        default: string | null;
         required: Required;
         /**
          * @description Once set, the value can never be changed.
@@ -197,21 +193,22 @@ export declare class Value<Type, Store> {
         name: string;
         description?: string | null;
         warning?: string | null;
-        required: RequiredDefault<string>;
+        default: string | null;
+        required: boolean;
         disabled?: false | string;
-    }>): Value<string | null | undefined, Store>;
-    static datetime<Required extends RequiredDefault<string>>(a: {
+    }>): Value<string | null, Store>;
+    static datetime<Required extends boolean>(a: {
         name: string;
         description?: string | null;
         /** Presents a warning prompt before permitting the value to change. */
         warning?: string | null;
         /**
-         * @description Determines if the field is required. If so, optionally provide a default value.
-         * @type { false | { default: string | null } }
-         * @example required: false
-         * @example required: { default: null }
-         * @example required: { default: '1985-12-16 18:00:00.000' }
+         * @description optionally provide a default value.
+         * @type { default: string | null }
+         * @example default: null
+         * @example default: '1985-12-16 18:00:00.000'
          */
+        default: string | null;
         required: Required;
         /**
          * @description Informs the browser how to behave and which date/time component to display.
@@ -230,25 +227,25 @@ export declare class Value<Type, Store> {
         name: string;
         description?: string | null;
         warning?: string | null;
-        required: RequiredDefault<string>;
+        default: string | null;
+        required: boolean;
         inputmode?: ValueSpecDatetime["inputmode"];
         min?: string | null;
         max?: string | null;
         disabled?: false | string;
-    }>): Value<string | null | undefined, Store>;
-    static select<Required extends RequiredDefault<string>, Values extends Record<string, string>>(a: {
+    }>): Value<string | null, Store>;
+    static select<Values extends Record<string, string>>(a: {
         name: string;
         description?: string | null;
         /** Presents a warning prompt before permitting the value to change. */
         warning?: string | null;
         /**
          * @description Determines if the field is required. If so, optionally provide a default value from the list of values.
-         * @type { false | { default: string | null } }
-         * @example required: false
-         * @example required: { default: null }
-         * @example required: { default: 'radio1' }
+         * @type { (keyof Values & string) | null }
+         * @example default: null
+         * @example default: 'radio1'
          */
-        required: Required;
+        default: keyof Values & string;
         /**
          * @description A mapping of unique radio options to their human readable display format.
          * @example
@@ -266,15 +263,15 @@ export declare class Value<Type, Store> {
          * @default false
          */
         immutable?: boolean;
-    }): Value<AsRequired<keyof Values, Required>, never>;
+    }): Value<keyof Values & string, never>;
     static dynamicSelect<Store = never>(getA: LazyBuild<Store, {
         name: string;
         description?: string | null;
         warning?: string | null;
-        required: RequiredDefault<string>;
+        default: string;
         values: Record<string, string>;
         disabled?: false | string | string[];
-    }>): Value<string | null | undefined, Store>;
+    }>): Value<string, Store>;
     static multiselect<Values extends Record<string, string>>(a: {
         name: string;
         description?: string | null;
@@ -283,7 +280,7 @@ export declare class Value<Type, Store> {
         /**
          * @description A simple list of which options should be checked by default.
          */
-        default: string[];
+        default: (keyof Values & string)[];
         /**
          * @description A mapping of checkbox options to their human readable display format.
          * @example
@@ -318,53 +315,54 @@ export declare class Value<Type, Store> {
         name: string;
         description?: string | null;
     }, spec: InputSpec<Type, Store>): Value<Type, Store>;
-    static file<Store>(a: {
-        name: string;
-        description?: string | null;
-        extensions: string[];
-        required: boolean;
-    }): Value<FilePath, Store>;
-    static dynamicFile<Required extends boolean, Store>(a: LazyBuild<Store, {
-        name: string;
-        description?: string | null;
-        warning?: string | null;
-        extensions: string[];
-        required: Required;
-    }>): Value<string | null | undefined, Store>;
-    static union<Required extends RequiredDefault<string>, Type, Store>(a: {
+    static union<VariantValues extends {
+        [K in string]: {
+            name: string;
+            spec: InputSpec<any, Store> | InputSpec<any, never>;
+        };
+    }, Store>(a: {
         name: string;
         description?: string | null;
         /** Presents a warning prompt before permitting the value to change. */
         warning?: string | null;
         /**
-         * @description Determines if the field is required. If so, optionally provide a default value from the list of variants.
-         * @type { false | { default: string | null } }
-         * @example required: false
-         * @example required: { default: null }
-         * @example required: { default: 'variant1' }
+         * @description Provide a default value from the list of variants.
+         * @type { string }
+         * @example default: 'variant1'
          */
-        required: Required;
+        default: keyof VariantValues & string;
         /**
          * @description Once set, the value can never be changed.
          * @default false
          */
         immutable?: boolean;
-    }, aVariants: Variants<Type, Store>): Value<AsRequired<Type, Required>, Store>;
-    static filteredUnion<Required extends RequiredDefault<string>, Type extends Record<string, any>, Store = never>(getDisabledFn: LazyBuild<Store, string[] | false | string>, a: {
+    }, aVariants: Variants<VariantValues, Store>): Value<import("./variants").UnionRes<Store, VariantValues, keyof VariantValues & string>, Store>;
+    static filteredUnion<VariantValues extends {
+        [K in string]: {
+            name: string;
+            spec: InputSpec<any, Store> | InputSpec<any, never>;
+        };
+    }, Store>(getDisabledFn: LazyBuild<Store, string[] | false | string>, a: {
         name: string;
         description?: string | null;
         warning?: string | null;
-        required: Required;
-    }, aVariants: Variants<Type, Store> | Variants<Type, never>): Value<AsRequired<Type, Required>, Store>;
-    static dynamicUnion<Required extends RequiredDefault<string>, Type extends Record<string, any>, Store = never>(getA: LazyBuild<Store, {
+        default: keyof VariantValues & string;
+    }, aVariants: Variants<VariantValues, Store> | Variants<VariantValues, never>): Value<import("./variants").UnionRes<Store, VariantValues, keyof VariantValues & string> | import("./variants").UnionRes<never, VariantValues, keyof VariantValues & string>, Store>;
+    static dynamicUnion<VariantValues extends {
+        [K in string]: {
+            name: string;
+            spec: InputSpec<any, Store> | InputSpec<any, never>;
+        };
+    }, Store>(getA: LazyBuild<Store, {
         name: string;
         description?: string | null;
         warning?: string | null;
-        required: Required;
+        default: keyof VariantValues & string;
         disabled: string[] | false | string;
-    }>, aVariants: Variants<Type, Store> | Variants<Type, never>): Value<Type | null | undefined, Store>;
+    }>, aVariants: Variants<VariantValues, Store> | Variants<VariantValues, never>): Value<import("./variants").UnionRes<Store, VariantValues, keyof VariantValues & string> | import("./variants").UnionRes<never, VariantValues, keyof VariantValues & string>, Store>;
     static list<Type, Store>(a: List<Type, Store>): Value<Type, Store>;
     static hidden<T>(parser?: Parser<unknown, T>): Value<T, never>;
+    map<U>(fn: (value: Type) => U): Value<U, Store>;
     /**
      * Use this during the times that the input needs a more specific type.
      * Used in types that the value/ variant/ list/ inputSpec is constructed somewhere else.