@jayalfredprufrock/confetti 0.1.2 → 0.2.0

package/dist/index.d.cts

@@ -1,68 +1,128 @@
 //#region src/symbols.d.ts
 declare const CONFETTI: unique symbol;
 declare const DEFAULT: unique symbol;
-declare const ENV_VAR: unique symbol;
+declare const ENV: unique symbol;
 declare const DATA: unique symbol;
+declare const TYPE: unique symbol;
 //#endregion
 //#region src/types.d.ts
 type Obj<T = unknown> = Record<string, T>;
 type Primitive = string | number | boolean | null;
 type MaybeArray<T> = T | T[];
-type ConfigVal = MaybeArray<Primitive> | ((context: ConfigFlatMapContext) => any) | (() => Promise<any>);
+type ConfigValFn<T = unknown> = (env: string) => T;
+type ConfigVal = MaybeArray<Primitive> | ConfigValFn<any>;
+type TypeTag = "string" | "number" | "boolean" | "string[]" | "number[]" | "boolean[]";
+type TypeMap = {
+  string: string;
+  number: number;
+  boolean: boolean;
+  "string[]": string[];
+  "number[]": number[];
+  "boolean[]": boolean[];
+};
 type IsConfigValPerEnv<T> = T extends {
   [DEFAULT]: any;
 } | {
-  [ENV_VAR]: any;
+  [ENV]: any;
 } | {
   [DATA]: any;
+} | {
+  [TYPE]: any;
 } ? true : false;
-type ConfigValPerEnv<D extends ConfigVal = ConfigVal> = {
-  [DEFAULT]?: D;
-  [ENV_VAR]?: string;
-  [DATA]?: any;
-} & Record<string, D>;
+type ConfigValPerEnvTyped<T extends TypeTag> = {
+  readonly [TYPE]: T;
+  readonly [DEFAULT]?: TypeMap[T] | ConfigValFn<TypeMap[T]>;
+  readonly [ENV]?: string;
+  readonly [DATA]?: any;
+  readonly [key: string]: TypeMap[T] | ConfigValFn<TypeMap[T]>;
+};
+type ConfigValPerEnvFetcher = {
+  readonly [TYPE]?: never;
+  readonly [DEFAULT]?: string | ConfigValFn<string>;
+  readonly [ENV]?: string;
+  readonly [DATA]?: any;
+  readonly [key: string]: string | ConfigValFn<string> | undefined;
+};
+type ConfigValPerEnvPlain<D extends ConfigVal = ConfigVal> = {
+  readonly [TYPE]?: never;
+  readonly [DEFAULT]?: D;
+  readonly [ENV]?: never;
+  readonly [DATA]?: never;
+  readonly [key: string]: D;
+};
+type ConfigValPerEnv = ConfigValPerEnvTyped<TypeTag> | ConfigValPerEnvFetcher | ConfigValPerEnvPlain;
 type Config = {
   [key: string]: Config | ConfigVal | ConfigValPerEnv;
 };
-type ResolvedValue<V> = V extends ((...args: any[]) => any) ? Awaited<ReturnType<V>> : V;
-type ResolvedConfig<C> = { [K in keyof C]: C[K] extends Obj ? IsConfigValPerEnv<C[K]> extends true ? C[K] extends ConfigValPerEnv<infer D> ? ResolvedValue<D> : ResolvedConfig<C[K]> : ResolvedConfig<C[K]> : ResolvedValue<C[K]> };
-type MakeConfig<R extends Config> = (env: string) => Promise<R>;
-type ResolvedEnvVars<C> = { [K in keyof C]: C[K] extends ConfigValPerEnv<infer V> ? C[K][typeof ENV_VAR] extends string ? V : undefined : C[K] extends Obj ? ResolvedEnvVars<C[K]> : Awaited<C[K]> };
-interface ResolvedSecret {
-  secret: string;
-  path: string;
-  value: unknown;
+type ValidateConfig<C> = { [K in keyof C]: C[K] extends {
+  [TYPE]: infer T extends TypeTag;
+} ? ConfigValPerEnvTyped<T> : C[K] extends {
+  [ENV]: any;
+} | {
+  [DATA]: any;
+} ? ConfigValPerEnvFetcher : C[K] extends {
+  [DEFAULT]: any;
+} ? C[K] : C[K] extends Obj ? ValidateConfig<C[K]> : C[K] };
+type WidenLiteral<T> = T extends boolean ? boolean : T extends number ? number : T extends string ? string : T extends readonly (infer E)[] ? WidenLiteral<E>[] : T;
+type ResolvedValue<V> = V extends ((...args: any[]) => any) ? Awaited<ReturnType<V>> : WidenLiteral<V>;
+type ResolvedConfig<C> = { [K in keyof C]: C[K] extends Obj ? IsConfigValPerEnv<C[K]> extends true ? ResolveNode<C[K]> : ResolvedConfig<C[K]> : ResolvedValue<C[K]> };
+type IsNestedConfig<T> = T extends Obj ? (IsConfigValPerEnv<T> extends true ? false : true) : false;
+type Paths<C> = C extends Obj ? { [K in keyof C & string]: IsNestedConfig<C[K]> extends true ? K | `${K}.${Paths<C[K]> & string}` : K }[keyof C & string] : never;
+type SubtreePaths<C> = C extends Obj ? { [K in keyof C & string]: IsNestedConfig<C[K]> extends true ? K | `${K}.${SubtreePaths<C[K]> & string}` : never }[keyof C & string] : never;
+type ResolveNode<T> = T extends Obj ? IsConfigValPerEnv<T> extends true ? T extends {
+  [TYPE]: infer Tag extends TypeTag;
+} ? TypeMap[Tag] : T extends {
+  [ENV]: any;
+} | {
+  [DATA]: any;
+} ? string : T extends ConfigValPerEnvPlain<infer D> ? ResolvedValue<D> : never : ResolvedConfig<T> : ResolvedValue<T>;
+type ValueAtPath<C, P extends string> = P extends `${infer Head}.${infer Rest}` ? Head extends keyof C ? ValueAtPath<C[Head], Rest> : never : P extends keyof C ? ResolveNode<C[P]> : never;
+interface FetcherContext<D = unknown> {
+  env: string;
+  default?: D;
   envVar?: string;
+  data?: unknown;
+  type?: TypeTag;
 }
-interface ConfigFlatMapContext {
+type Fetcher<D = unknown, T = unknown> = (context: FetcherContext<D>) => Promise<T | undefined>;
+interface ConfigEntry {
   path: string;
-  unresolvedValue: ConfigVal;
+  value?: unknown;
+  default?: unknown;
   envVar?: string;
   data?: unknown;
+  type?: TypeTag;
 }
 type Confetti<C> = {
   [CONFETTI]: "CONFETTI";
   (env: string): {
     config: C;
-    flatMap: <T>(transform: (context: ConfigFlatMapContext) => T | T[]) => T[];
-    resolve: () => Promise<ResolvedConfig<C>>;
-    resolveSync: () => ResolvedConfig<C>;
-    resolveValue: (path: string) => Promise<string>;
-    resolveValueSync: (path: string) => string;
-    resolveEnv: () => Promise<Obj<string>>;
+    get<P extends Paths<C> & string>(path: P): ValueAtPath<C, P>;
+    resolve<P extends Paths<C> & string>(path: P, fetcher: Fetcher): Promise<ValueAtPath<C, P>>;
+    entries(startPath?: SubtreePaths<C> & string): IterableIterator<[string, ConfigEntry]>;
   };
 };
 type GetConfig<T> = T extends Confetti<infer C> ? ResolvedConfig<C> : never;
 //#endregion
 //#region src/make-config.d.ts
-declare const makeConfig: <C extends Config>(makeConfig: (env: string) => C) => Confetti<C>;
+declare const makeConfig: <const C extends Config>(input: (C & ValidateConfig<C>) | ((env: string) => C & ValidateConfig<C>)) => Confetti<C>;
 //#endregion
 //#region src/util.d.ts
 declare const isObj: (val: unknown) => val is Obj;
 declare const isConfigValPerEnv: (val: unknown) => val is ConfigValPerEnv;
+declare const isNestedConfig: (val: unknown) => val is Obj;
 declare const isConfetti: (val: unknown) => val is Confetti<any>;
-declare const configFlatMap: <T>(env: string, obj: Obj, map: (context: ConfigFlatMapContext) => T | T[], _currentPath?: string) => T[];
-declare const setAtPath: (obj: Obj, path: string, value: unknown) => void;
+declare const isThenable: (v: unknown) => v is PromiseLike<unknown>;
+declare const getAtPath: (config: Obj, path: string) => unknown;
+declare const coerceFromString: (raw: string, type: TypeTag, path: string) => unknown;
+declare const buildEntry: (node: unknown, path: string, env: string) => ConfigEntry;
+declare function entriesIter(config: Obj, env: string, pathPrefix?: string): IterableIterator<[string, ConfigEntry]>;
+declare const invokeSync: (source: unknown, path: string, env: string) => unknown;
+declare const invokeAsync: (source: unknown, env: string) => Promise<unknown>;
+declare const resolveEntrySync: (entry: ConfigEntry, env: string) => unknown;
+declare const resolveEntryAsync: (entry: ConfigEntry, env: string, fetcher: Fetcher) => Promise<unknown>;
+declare const resolveSubtreeSync: (node: Obj, prefix: string, env: string) => Obj;
+declare const resolveSubtreeAsync: (node: Obj, prefix: string, env: string, fetcher: Fetcher) => Promise<Obj>;
 //#endregion
-export { CONFETTI, Confetti, Config, ConfigFlatMapContext, ConfigVal, ConfigValPerEnv, DATA, DEFAULT, ENV_VAR, GetConfig, IsConfigValPerEnv, MakeConfig, MaybeArray, Obj, Primitive, ResolvedConfig, ResolvedEnvVars, ResolvedSecret, ResolvedValue, configFlatMap, isConfetti, isConfigValPerEnv, isObj, makeConfig, setAtPath };
+export { CONFETTI, Confetti, Config, ConfigEntry, ConfigVal, ConfigValFn, ConfigValPerEnv, ConfigValPerEnvFetcher, ConfigValPerEnvPlain, ConfigValPerEnvTyped, DATA, DEFAULT, ENV, Fetcher, FetcherContext, GetConfig, IsConfigValPerEnv, MaybeArray, Obj, Paths, Primitive, ResolvedConfig, ResolvedValue, SubtreePaths, TYPE, TypeMap, TypeTag, ValidateConfig, ValueAtPath, buildEntry, coerceFromString, entriesIter, getAtPath, invokeAsync, invokeSync, isConfetti, isConfigValPerEnv, isNestedConfig, isObj, isThenable, makeConfig, resolveEntryAsync, resolveEntrySync, resolveSubtreeAsync, resolveSubtreeSync };
 //# sourceMappingURL=index.d.cts.map

package/dist/index.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.cts","names":[],"sources":["../src/symbols.ts","../src/types.ts","../src/make-config.ts","../src/util.ts"],"mappings":";cAAa,QAAA;AAAA,cACA,OAAA;AAAA,cACA,OAAA;AAAA,cACA,IAAA;;;KCDD,GAAA,gBAAmB,MAAA,SAAe,CAAA;AAAA,KAElC,SAAA;AAAA,KACA,UAAA,MAAgB,CAAA,GAAI,CAAA;AAAA,KAEpB,SAAA,GACR,UAAA,CAAW,SAAA,MACT,OAAA,EAAS,oBAAA,mBACJ,OAAA;AAAA,KAEC,iBAAA,MAAuB,CAAA;EAAA,CAC5B,OAAA;AAAA;EAAA,CACA,OAAA;AAAA;EAAA,CACA,IAAA;AAAA;AAAA,KAKK,eAAA,WAA0B,SAAA,GAAY,SAAA;EAAA,CAC/C,OAAA,IAAW,CAAA;EAAA,CACX,OAAA;EAAA,CACA,IAAA;AAAA,IACC,MAAA,SAAe,CAAA;AAAA,KAEP,MAAA;EAAA,CACT,GAAA,WAAc,MAAA,GAAS,SAAA,GAAY,eAAA;AAAA;AAAA,KAG1B,aAAA,MAAmB,CAAA,cAAc,IAAA,mBAAsB,OAAA,CAAQ,UAAA,CAAW,CAAA,KAAM,CAAA;AAAA,KAEhF,cAAA,oBACE,CAAA,GAAI,CAAA,CAAE,CAAA,UAAW,GAAA,GACzB,iBAAA,CAAkB,CAAA,CAAE,CAAA,kBAClB,CAAA,CAAE,CAAA,UAAW,eAAA,YACX,aAAA,CAAc,CAAA,IACd,cAAA,CAAe,CAAA,CAAE,CAAA,KACnB,cAAA,CAAe,CAAA,CAAE,CAAA,KACnB,aAAA,CAAc,CAAA,CAAE,CAAA;AAAA,KAGV,UAAA,WAAqB,MAAA,KAAW,GAAA,aAAgB,OAAA,CAAQ,CAAA;AAAA,KAExD,eAAA,oBACE,CAAA,GAAI,CAAA,CAAE,CAAA,UAAW,eAAA,YACzB,CAAA,CAAE,CAAA,SAAU,OAAA,mBACV,CAAA,eAEF,CAAA,CAAE,CAAA,UAAW,GAAA,GACX,eAAA,CAAgB,CAAA,CAAE,CAAA,KAClB,OAAA,CAAQ,CAAA,CAAE,CAAA;AAAA,UAGD,cAAA;EACf,MAAA;EACA,IAAA;EACA,KAAA;EACA,MAAA;AAAA;AAAA,UAGe,oBAAA;EACf,IAAA;EACA,eAAA,EAAiB,SAAA;EACjB,MAAA;EACA,IAAA;AAAA;AAAA,KAGU,QAAA;EAAA,CACT,QAAA;EAAA,CACA,GAAA;IACC,MAAA,EAAQ,CAAA;IACR,OAAA,MAAa,SAAA,GAAY,OAAA,EAAS,oBAAA,KAAyB,CAAA,GAAI,CAAA,OAAQ,CAAA;IACvE,OAAA,QAAe,OAAA,CAAQ,cAAA,CAAe,CAAA;IACtC,WAAA,QAAmB,cAAA,CAAe,CAAA;IAClC,YAAA,GAAe,IAAA,aAAiB,OAAA;IAChC,gBAAA,GAAmB,IAAA;IACnB,UAAA,QAAkB,OAAA,CAAQ,GAAA;EAAA;AAAA;AAAA,KAIlB,SAAA,MAAe,CAAA,SAAU,QAAA,YAAoB,cAAA,CAAe,CAAA;;;cC7E3D,UAAA,aAAwB,MAAA,EAAQ,UAAA,GAAa,GAAA,aAAgB,CAAA,KAAI,QAAA,CAAS,CAAA;;;cCD1E,KAAA,GAAS,GAAA,cAAe,GAAA,IAAO,GAAA;AAAA,cAI/B,iBAAA,GAAqB,GAAA,cAAe,GAAA,IAAO,eAAA;AAAA,cAI3C,UAAA,GAAc,GAAA,cAAe,GAAA,IAAO,QAAA;AAAA,cAIpC,aAAA,MACX,GAAA,UACA,GAAA,EAAK,GAAA,EACL,GAAA,GAAM,OAAA,EAAS,oBAAA,KAAyB,CAAA,GAAI,CAAA,IAC5C,YAAA,cACC,CAAA;AAAA,cAuCU,SAAA,GAAa,GAAA,EAAK,GAAA,EAAK,IAAA,UAAc,KAAA"}
+{"version":3,"file":"index.d.cts","names":[],"sources":["../src/symbols.ts","../src/types.ts","../src/make-config.ts","../src/util.ts"],"mappings":";cAAa,QAAA;AAAA,cACA,OAAA;AAAA,cACA,GAAA;AAAA,cACA,IAAA;AAAA,cACA,IAAA;;;KCFD,GAAA,gBAAmB,MAAA,SAAe,CAAA;AAAA,KAElC,SAAA;AAAA,KACA,UAAA,MAAgB,CAAA,GAAI,CAAA;AAAA,KAEpB,WAAA,iBAA4B,GAAA,aAAgB,CAAA;AAAA,KAC5C,SAAA,GAAY,UAAA,CAAW,SAAA,IAAa,WAAA;AAAA,KAEpC,OAAA;AAAA,KAEA,OAAA;EACV,MAAA;EACA,MAAA;EACA,OAAA;EACA,UAAA;EACA,UAAA;EACA,WAAA;AAAA;AAAA,KAGU,iBAAA,MAAuB,CAAA;EAAA,CAC5B,OAAA;AAAA;EAAA,CACA,GAAA;AAAA;EAAA,CACA,IAAA;AAAA;EAAA,CACA,IAAA;AAAA;AAAA,KAIK,oBAAA,WAA+B,OAAA;EAAA,UAC/B,IAAA,GAAO,CAAA;EAAA,UACP,OAAA,IAAW,OAAA,CAAQ,CAAA,IAAK,WAAA,CAAY,OAAA,CAAQ,CAAA;EAAA,UAC5C,GAAA;EAAA,UACA,IAAA;EAAA,UACA,GAAA,WAAc,OAAA,CAAQ,CAAA,IAAK,WAAA,CAAY,OAAA,CAAQ,CAAA;AAAA;AAAA,KAG/C,sBAAA;EAAA,UACA,IAAA;EAAA,UACA,OAAA,aAAoB,WAAA;EAAA,UACpB,GAAA;EAAA,UACA,IAAA;EAAA,UACA,GAAA,oBAAuB,WAAA;AAAA;AAAA,KAGvB,oBAAA,WAA+B,SAAA,GAAY,SAAA;EAAA,UAC3C,IAAA;EAAA,UACA,OAAA,IAAW,CAAA;EAAA,UACX,GAAA;EAAA,UACA,IAAA;EAAA,UACA,GAAA,WAAc,CAAA;AAAA;AAAA,KAGd,eAAA,GACR,oBAAA,CAAqB,OAAA,IACrB,sBAAA,GACA,oBAAA;AAAA,KAEQ,MAAA;EAAA,CACT,GAAA,WAAc,MAAA,GAAS,SAAA,GAAY,eAAA;AAAA;AAAA,KAG1B,cAAA,oBACE,CAAA,GAAI,CAAA,CAAE,CAAA;EAAA,CAAc,IAAA,mBAAuB,OAAA;AAAA,IACnD,oBAAA,CAAqB,CAAA,IACrB,CAAA,CAAE,CAAA;EAAA,CAAc,GAAA;AAAA;EAAA,CAAiB,IAAA;AAAA,IAC/B,sBAAA,GACA,CAAA,CAAE,CAAA;EAAA,CAAc,OAAA;AAAA,IACd,CAAA,CAAE,CAAA,IACF,CAAA,CAAE,CAAA,UAAW,GAAA,GACX,cAAA,CAAe,CAAA,CAAE,CAAA,KACjB,CAAA,CAAE,CAAA;AAAA,KAGT,YAAA,MAAkB,CAAA,6BAEnB,CAAA,2BAEE,CAAA,2BAEE,CAAA,gCACE,YAAA,CAAa,CAAA,MACb,CAAA;AAAA,KAEE,aAAA,MAAmB,CAAA,cAAc,IAAA,mBACzC,OAAA,CAAQ,UAAA,CAAW,CAAA,KACnB,YAAA,CAAa,CAAA;AAAA,KAEL,cAAA,oBACE,CAAA,GAAI,CAAA,CAAE,CAAA,UAAW,GAAA,GACzB,iBAAA,CAAkB,CAAA,CAAE,CAAA,kBAClB,WAAA,CAAY,CAAA,CAAE,CAAA,KACd,cAAA,CAAe,CAAA,CAAE,CAAA,KACnB,aAAA,CAAc,CAAA,CAAE,CAAA;AAAA,KAGjB,cAAA,MAAoB,CAAA,SAAU,GAAA,IAAO,iBAAA,CAAkB,CAAA;AAAA,KAEhD,KAAA,MAAW,CAAA,SAAU,GAAA,iBAEf,CAAA,YAAa,cAAA,CAAe,CAAA,CAAE,CAAA,kBACtC,CAAA,MAAO,CAAA,IAAK,KAAA,CAAM,CAAA,CAAE,CAAA,gBACpB,CAAA,SACE,CAAA;AAAA,KAGA,YAAA,MAAkB,CAAA,SAAU,GAAA,iBAEtB,CAAA,YAAa,cAAA,CAAe,CAAA,CAAE,CAAA,kBACtC,CAAA,MAAO,CAAA,IAAK,YAAA,CAAa,CAAA,CAAE,CAAA,8BAEzB,CAAA;AAAA,KAGP,WAAA,MAAiB,CAAA,SAAU,GAAA,GAC5B,iBAAA,CAAkB,CAAA,iBAChB,CAAA;EAAA,CAAa,IAAA,qBAAyB,OAAA;AAAA,IACpC,OAAA,CAAQ,GAAA,IACR,CAAA;EAAA,CAAa,GAAA;AAAA;EAAA,CAAiB,IAAA;AAAA,aAE5B,CAAA,SAAU,oBAAA,YACR,aAAA,CAAc,CAAA,YAEpB,cAAA,CAAe,CAAA,IACjB,aAAA,CAAc,CAAA;AAAA,KAEN,WAAA,wBAAmC,CAAA,yCAC3C,IAAA,eAAmB,CAAA,GACjB,WAAA,CAAY,CAAA,CAAE,IAAA,GAAO,IAAA,YAEvB,CAAA,eAAgB,CAAA,GACd,WAAA,CAAY,CAAA,CAAE,CAAA;AAAA,UAGH,cAAA;EACf,GAAA;EACA,OAAA,GAAU,CAAA;EACV,MAAA;EACA,IAAA;EACA,IAAA,GAAO,OAAA;AAAA;AAAA,KAGG,OAAA,8BACV,OAAA,EAAS,cAAA,CAAe,CAAA,MACrB,OAAA,CAAQ,CAAA;AAAA,UAEI,WAAA;EACf,IAAA;EACA,KAAA;EACA,OAAA;EACA,MAAA;EACA,IAAA;EACA,IAAA,GAAO,OAAA;AAAA;AAAA,KAGG,QAAA;EAAA,CACT,QAAA;EAAA,CACA,GAAA;IACC,MAAA,EAAQ,CAAA;IACR,GAAA,WAAc,KAAA,CAAM,CAAA,YAAa,IAAA,EAAM,CAAA,GAAI,WAAA,CAAY,CAAA,EAAG,CAAA;IAC1D,OAAA,WAAkB,KAAA,CAAM,CAAA,YAAa,IAAA,EAAM,CAAA,EAAG,OAAA,EAAS,OAAA,GAAU,OAAA,CAAQ,WAAA,CAAY,CAAA,EAAG,CAAA;IACxF,OAAA,CAAQ,SAAA,GAAY,YAAA,CAAa,CAAA,aAAc,gBAAA,UAA0B,WAAA;EAAA;AAAA;AAAA,KAIjE,SAAA,MAAe,CAAA,SAAU,QAAA,YAAoB,cAAA,CAAe,CAAA;;;cC/I3D,UAAA,mBAA8B,MAAA,EACzC,KAAA,GAAQ,CAAA,GAAI,cAAA,CAAe,CAAA,OAAQ,GAAA,aAAgB,CAAA,GAAI,cAAA,CAAe,CAAA,OACrE,QAAA,CAAS,CAAA;;;cCbC,KAAA,GAAS,GAAA,cAAe,GAAA,IAAO,GAAA;AAAA,cAI/B,iBAAA,GAAqB,GAAA,cAAe,GAAA,IAAO,eAAA;AAAA,cAI3C,cAAA,GAAkB,GAAA,cAAe,GAAA,IAAO,GAAA;AAAA,cAIxC,UAAA,GAAc,GAAA,cAAe,GAAA,IAAO,QAAA;AAAA,cAIpC,UAAA,GAAc,CAAA,cAAa,CAAA,IAAK,WAAA;AAAA,cAShC,SAAA,GAAa,MAAA,EAAQ,GAAA,EAAK,IAAA;AAAA,cAyB1B,gBAAA,GAAoB,GAAA,UAAa,IAAA,EAAM,OAAA,EAAS,IAAA;AAAA,cA2ChD,UAAA,GAAc,IAAA,WAAe,IAAA,UAAc,GAAA,aAAc,WAAA;AAAA,iBA0BrD,WAAA,CACf,MAAA,EAAQ,GAAA,EACR,GAAA,UACA,UAAA,YACC,gBAAA,UAA0B,WAAA;AAAA,cAWhB,UAAA,GAAc,MAAA,WAAiB,IAAA,UAAc,GAAA;AAAA,cAS7C,WAAA,GAAqB,MAAA,WAAiB,GAAA,aAAc,OAAA;AAAA,cAIpD,gBAAA,GAAoB,KAAA,EAAO,WAAA,EAAa,GAAA;AAAA,cAMxC,iBAAA,GACX,KAAA,EAAO,WAAA,EACP,GAAA,UACA,OAAA,EAAS,OAAA,KACR,OAAA;AAAA,cAmBU,kBAAA,GAAsB,IAAA,EAAM,GAAA,EAAK,MAAA,UAAgB,GAAA,aAAc,GAAA;AAAA,cAW/D,mBAAA,GACX,IAAA,EAAM,GAAA,EACN,MAAA,UACA,GAAA,UACA,OAAA,EAAS,OAAA,KACR,OAAA,CAAQ,GAAA"}

package/dist/index.d.mts

@@ -1,68 +1,128 @@
 //#region src/symbols.d.ts
 declare const CONFETTI: unique symbol;
 declare const DEFAULT: unique symbol;
-declare const ENV_VAR: unique symbol;
+declare const ENV: unique symbol;
 declare const DATA: unique symbol;
+declare const TYPE: unique symbol;
 //#endregion
 //#region src/types.d.ts
 type Obj<T = unknown> = Record<string, T>;
 type Primitive = string | number | boolean | null;
 type MaybeArray<T> = T | T[];
-type ConfigVal = MaybeArray<Primitive> | ((context: ConfigFlatMapContext) => any) | (() => Promise<any>);
+type ConfigValFn<T = unknown> = (env: string) => T;
+type ConfigVal = MaybeArray<Primitive> | ConfigValFn<any>;
+type TypeTag = "string" | "number" | "boolean" | "string[]" | "number[]" | "boolean[]";
+type TypeMap = {
+  string: string;
+  number: number;
+  boolean: boolean;
+  "string[]": string[];
+  "number[]": number[];
+  "boolean[]": boolean[];
+};
 type IsConfigValPerEnv<T> = T extends {
   [DEFAULT]: any;
 } | {
-  [ENV_VAR]: any;
+  [ENV]: any;
 } | {
   [DATA]: any;
+} | {
+  [TYPE]: any;
 } ? true : false;
-type ConfigValPerEnv<D extends ConfigVal = ConfigVal> = {
-  [DEFAULT]?: D;
-  [ENV_VAR]?: string;
-  [DATA]?: any;
-} & Record<string, D>;
+type ConfigValPerEnvTyped<T extends TypeTag> = {
+  readonly [TYPE]: T;
+  readonly [DEFAULT]?: TypeMap[T] | ConfigValFn<TypeMap[T]>;
+  readonly [ENV]?: string;
+  readonly [DATA]?: any;
+  readonly [key: string]: TypeMap[T] | ConfigValFn<TypeMap[T]>;
+};
+type ConfigValPerEnvFetcher = {
+  readonly [TYPE]?: never;
+  readonly [DEFAULT]?: string | ConfigValFn<string>;
+  readonly [ENV]?: string;
+  readonly [DATA]?: any;
+  readonly [key: string]: string | ConfigValFn<string> | undefined;
+};
+type ConfigValPerEnvPlain<D extends ConfigVal = ConfigVal> = {
+  readonly [TYPE]?: never;
+  readonly [DEFAULT]?: D;
+  readonly [ENV]?: never;
+  readonly [DATA]?: never;
+  readonly [key: string]: D;
+};
+type ConfigValPerEnv = ConfigValPerEnvTyped<TypeTag> | ConfigValPerEnvFetcher | ConfigValPerEnvPlain;
 type Config = {
   [key: string]: Config | ConfigVal | ConfigValPerEnv;
 };
-type ResolvedValue<V> = V extends ((...args: any[]) => any) ? Awaited<ReturnType<V>> : V;
-type ResolvedConfig<C> = { [K in keyof C]: C[K] extends Obj ? IsConfigValPerEnv<C[K]> extends true ? C[K] extends ConfigValPerEnv<infer D> ? ResolvedValue<D> : ResolvedConfig<C[K]> : ResolvedConfig<C[K]> : ResolvedValue<C[K]> };
-type MakeConfig<R extends Config> = (env: string) => Promise<R>;
-type ResolvedEnvVars<C> = { [K in keyof C]: C[K] extends ConfigValPerEnv<infer V> ? C[K][typeof ENV_VAR] extends string ? V : undefined : C[K] extends Obj ? ResolvedEnvVars<C[K]> : Awaited<C[K]> };
-interface ResolvedSecret {
-  secret: string;
-  path: string;
-  value: unknown;
+type ValidateConfig<C> = { [K in keyof C]: C[K] extends {
+  [TYPE]: infer T extends TypeTag;
+} ? ConfigValPerEnvTyped<T> : C[K] extends {
+  [ENV]: any;
+} | {
+  [DATA]: any;
+} ? ConfigValPerEnvFetcher : C[K] extends {
+  [DEFAULT]: any;
+} ? C[K] : C[K] extends Obj ? ValidateConfig<C[K]> : C[K] };
+type WidenLiteral<T> = T extends boolean ? boolean : T extends number ? number : T extends string ? string : T extends readonly (infer E)[] ? WidenLiteral<E>[] : T;
+type ResolvedValue<V> = V extends ((...args: any[]) => any) ? Awaited<ReturnType<V>> : WidenLiteral<V>;
+type ResolvedConfig<C> = { [K in keyof C]: C[K] extends Obj ? IsConfigValPerEnv<C[K]> extends true ? ResolveNode<C[K]> : ResolvedConfig<C[K]> : ResolvedValue<C[K]> };
+type IsNestedConfig<T> = T extends Obj ? (IsConfigValPerEnv<T> extends true ? false : true) : false;
+type Paths<C> = C extends Obj ? { [K in keyof C & string]: IsNestedConfig<C[K]> extends true ? K | `${K}.${Paths<C[K]> & string}` : K }[keyof C & string] : never;
+type SubtreePaths<C> = C extends Obj ? { [K in keyof C & string]: IsNestedConfig<C[K]> extends true ? K | `${K}.${SubtreePaths<C[K]> & string}` : never }[keyof C & string] : never;
+type ResolveNode<T> = T extends Obj ? IsConfigValPerEnv<T> extends true ? T extends {
+  [TYPE]: infer Tag extends TypeTag;
+} ? TypeMap[Tag] : T extends {
+  [ENV]: any;
+} | {
+  [DATA]: any;
+} ? string : T extends ConfigValPerEnvPlain<infer D> ? ResolvedValue<D> : never : ResolvedConfig<T> : ResolvedValue<T>;
+type ValueAtPath<C, P extends string> = P extends `${infer Head}.${infer Rest}` ? Head extends keyof C ? ValueAtPath<C[Head], Rest> : never : P extends keyof C ? ResolveNode<C[P]> : never;
+interface FetcherContext<D = unknown> {
+  env: string;
+  default?: D;
   envVar?: string;
+  data?: unknown;
+  type?: TypeTag;
 }
-interface ConfigFlatMapContext {
+type Fetcher<D = unknown, T = unknown> = (context: FetcherContext<D>) => Promise<T | undefined>;
+interface ConfigEntry {
   path: string;
-  unresolvedValue: ConfigVal;
+  value?: unknown;
+  default?: unknown;
   envVar?: string;
   data?: unknown;
+  type?: TypeTag;
 }
 type Confetti<C> = {
   [CONFETTI]: "CONFETTI";
   (env: string): {
     config: C;
-    flatMap: <T>(transform: (context: ConfigFlatMapContext) => T | T[]) => T[];
-    resolve: () => Promise<ResolvedConfig<C>>;
-    resolveSync: () => ResolvedConfig<C>;
-    resolveValue: (path: string) => Promise<string>;
-    resolveValueSync: (path: string) => string;
-    resolveEnv: () => Promise<Obj<string>>;
+    get<P extends Paths<C> & string>(path: P): ValueAtPath<C, P>;
+    resolve<P extends Paths<C> & string>(path: P, fetcher: Fetcher): Promise<ValueAtPath<C, P>>;
+    entries(startPath?: SubtreePaths<C> & string): IterableIterator<[string, ConfigEntry]>;
   };
 };
 type GetConfig<T> = T extends Confetti<infer C> ? ResolvedConfig<C> : never;
 //#endregion
 //#region src/make-config.d.ts
-declare const makeConfig: <C extends Config>(makeConfig: (env: string) => C) => Confetti<C>;
+declare const makeConfig: <const C extends Config>(input: (C & ValidateConfig<C>) | ((env: string) => C & ValidateConfig<C>)) => Confetti<C>;
 //#endregion
 //#region src/util.d.ts
 declare const isObj: (val: unknown) => val is Obj;
 declare const isConfigValPerEnv: (val: unknown) => val is ConfigValPerEnv;
+declare const isNestedConfig: (val: unknown) => val is Obj;
 declare const isConfetti: (val: unknown) => val is Confetti<any>;
-declare const configFlatMap: <T>(env: string, obj: Obj, map: (context: ConfigFlatMapContext) => T | T[], _currentPath?: string) => T[];
-declare const setAtPath: (obj: Obj, path: string, value: unknown) => void;
+declare const isThenable: (v: unknown) => v is PromiseLike<unknown>;
+declare const getAtPath: (config: Obj, path: string) => unknown;
+declare const coerceFromString: (raw: string, type: TypeTag, path: string) => unknown;
+declare const buildEntry: (node: unknown, path: string, env: string) => ConfigEntry;
+declare function entriesIter(config: Obj, env: string, pathPrefix?: string): IterableIterator<[string, ConfigEntry]>;
+declare const invokeSync: (source: unknown, path: string, env: string) => unknown;
+declare const invokeAsync: (source: unknown, env: string) => Promise<unknown>;
+declare const resolveEntrySync: (entry: ConfigEntry, env: string) => unknown;
+declare const resolveEntryAsync: (entry: ConfigEntry, env: string, fetcher: Fetcher) => Promise<unknown>;
+declare const resolveSubtreeSync: (node: Obj, prefix: string, env: string) => Obj;
+declare const resolveSubtreeAsync: (node: Obj, prefix: string, env: string, fetcher: Fetcher) => Promise<Obj>;
 //#endregion
-export { CONFETTI, Confetti, Config, ConfigFlatMapContext, ConfigVal, ConfigValPerEnv, DATA, DEFAULT, ENV_VAR, GetConfig, IsConfigValPerEnv, MakeConfig, MaybeArray, Obj, Primitive, ResolvedConfig, ResolvedEnvVars, ResolvedSecret, ResolvedValue, configFlatMap, isConfetti, isConfigValPerEnv, isObj, makeConfig, setAtPath };
+export { CONFETTI, Confetti, Config, ConfigEntry, ConfigVal, ConfigValFn, ConfigValPerEnv, ConfigValPerEnvFetcher, ConfigValPerEnvPlain, ConfigValPerEnvTyped, DATA, DEFAULT, ENV, Fetcher, FetcherContext, GetConfig, IsConfigValPerEnv, MaybeArray, Obj, Paths, Primitive, ResolvedConfig, ResolvedValue, SubtreePaths, TYPE, TypeMap, TypeTag, ValidateConfig, ValueAtPath, buildEntry, coerceFromString, entriesIter, getAtPath, invokeAsync, invokeSync, isConfetti, isConfigValPerEnv, isNestedConfig, isObj, isThenable, makeConfig, resolveEntryAsync, resolveEntrySync, resolveSubtreeAsync, resolveSubtreeSync };
 //# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/symbols.ts","../src/types.ts","../src/make-config.ts","../src/util.ts"],"mappings":";cAAa,QAAA;AAAA,cACA,OAAA;AAAA,cACA,OAAA;AAAA,cACA,IAAA;;;KCDD,GAAA,gBAAmB,MAAA,SAAe,CAAA;AAAA,KAElC,SAAA;AAAA,KACA,UAAA,MAAgB,CAAA,GAAI,CAAA;AAAA,KAEpB,SAAA,GACR,UAAA,CAAW,SAAA,MACT,OAAA,EAAS,oBAAA,mBACJ,OAAA;AAAA,KAEC,iBAAA,MAAuB,CAAA;EAAA,CAC5B,OAAA;AAAA;EAAA,CACA,OAAA;AAAA;EAAA,CACA,IAAA;AAAA;AAAA,KAKK,eAAA,WAA0B,SAAA,GAAY,SAAA;EAAA,CAC/C,OAAA,IAAW,CAAA;EAAA,CACX,OAAA;EAAA,CACA,IAAA;AAAA,IACC,MAAA,SAAe,CAAA;AAAA,KAEP,MAAA;EAAA,CACT,GAAA,WAAc,MAAA,GAAS,SAAA,GAAY,eAAA;AAAA;AAAA,KAG1B,aAAA,MAAmB,CAAA,cAAc,IAAA,mBAAsB,OAAA,CAAQ,UAAA,CAAW,CAAA,KAAM,CAAA;AAAA,KAEhF,cAAA,oBACE,CAAA,GAAI,CAAA,CAAE,CAAA,UAAW,GAAA,GACzB,iBAAA,CAAkB,CAAA,CAAE,CAAA,kBAClB,CAAA,CAAE,CAAA,UAAW,eAAA,YACX,aAAA,CAAc,CAAA,IACd,cAAA,CAAe,CAAA,CAAE,CAAA,KACnB,cAAA,CAAe,CAAA,CAAE,CAAA,KACnB,aAAA,CAAc,CAAA,CAAE,CAAA;AAAA,KAGV,UAAA,WAAqB,MAAA,KAAW,GAAA,aAAgB,OAAA,CAAQ,CAAA;AAAA,KAExD,eAAA,oBACE,CAAA,GAAI,CAAA,CAAE,CAAA,UAAW,eAAA,YACzB,CAAA,CAAE,CAAA,SAAU,OAAA,mBACV,CAAA,eAEF,CAAA,CAAE,CAAA,UAAW,GAAA,GACX,eAAA,CAAgB,CAAA,CAAE,CAAA,KAClB,OAAA,CAAQ,CAAA,CAAE,CAAA;AAAA,UAGD,cAAA;EACf,MAAA;EACA,IAAA;EACA,KAAA;EACA,MAAA;AAAA;AAAA,UAGe,oBAAA;EACf,IAAA;EACA,eAAA,EAAiB,SAAA;EACjB,MAAA;EACA,IAAA;AAAA;AAAA,KAGU,QAAA;EAAA,CACT,QAAA;EAAA,CACA,GAAA;IACC,MAAA,EAAQ,CAAA;IACR,OAAA,MAAa,SAAA,GAAY,OAAA,EAAS,oBAAA,KAAyB,CAAA,GAAI,CAAA,OAAQ,CAAA;IACvE,OAAA,QAAe,OAAA,CAAQ,cAAA,CAAe,CAAA;IACtC,WAAA,QAAmB,cAAA,CAAe,CAAA;IAClC,YAAA,GAAe,IAAA,aAAiB,OAAA;IAChC,gBAAA,GAAmB,IAAA;IACnB,UAAA,QAAkB,OAAA,CAAQ,GAAA;EAAA;AAAA;AAAA,KAIlB,SAAA,MAAe,CAAA,SAAU,QAAA,YAAoB,cAAA,CAAe,CAAA;;;cC7E3D,UAAA,aAAwB,MAAA,EAAQ,UAAA,GAAa,GAAA,aAAgB,CAAA,KAAI,QAAA,CAAS,CAAA;;;cCD1E,KAAA,GAAS,GAAA,cAAe,GAAA,IAAO,GAAA;AAAA,cAI/B,iBAAA,GAAqB,GAAA,cAAe,GAAA,IAAO,eAAA;AAAA,cAI3C,UAAA,GAAc,GAAA,cAAe,GAAA,IAAO,QAAA;AAAA,cAIpC,aAAA,MACX,GAAA,UACA,GAAA,EAAK,GAAA,EACL,GAAA,GAAM,OAAA,EAAS,oBAAA,KAAyB,CAAA,GAAI,CAAA,IAC5C,YAAA,cACC,CAAA;AAAA,cAuCU,SAAA,GAAa,GAAA,EAAK,GAAA,EAAK,IAAA,UAAc,KAAA"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/symbols.ts","../src/types.ts","../src/make-config.ts","../src/util.ts"],"mappings":";cAAa,QAAA;AAAA,cACA,OAAA;AAAA,cACA,GAAA;AAAA,cACA,IAAA;AAAA,cACA,IAAA;;;KCFD,GAAA,gBAAmB,MAAA,SAAe,CAAA;AAAA,KAElC,SAAA;AAAA,KACA,UAAA,MAAgB,CAAA,GAAI,CAAA;AAAA,KAEpB,WAAA,iBAA4B,GAAA,aAAgB,CAAA;AAAA,KAC5C,SAAA,GAAY,UAAA,CAAW,SAAA,IAAa,WAAA;AAAA,KAEpC,OAAA;AAAA,KAEA,OAAA;EACV,MAAA;EACA,MAAA;EACA,OAAA;EACA,UAAA;EACA,UAAA;EACA,WAAA;AAAA;AAAA,KAGU,iBAAA,MAAuB,CAAA;EAAA,CAC5B,OAAA;AAAA;EAAA,CACA,GAAA;AAAA;EAAA,CACA,IAAA;AAAA;EAAA,CACA,IAAA;AAAA;AAAA,KAIK,oBAAA,WAA+B,OAAA;EAAA,UAC/B,IAAA,GAAO,CAAA;EAAA,UACP,OAAA,IAAW,OAAA,CAAQ,CAAA,IAAK,WAAA,CAAY,OAAA,CAAQ,CAAA;EAAA,UAC5C,GAAA;EAAA,UACA,IAAA;EAAA,UACA,GAAA,WAAc,OAAA,CAAQ,CAAA,IAAK,WAAA,CAAY,OAAA,CAAQ,CAAA;AAAA;AAAA,KAG/C,sBAAA;EAAA,UACA,IAAA;EAAA,UACA,OAAA,aAAoB,WAAA;EAAA,UACpB,GAAA;EAAA,UACA,IAAA;EAAA,UACA,GAAA,oBAAuB,WAAA;AAAA;AAAA,KAGvB,oBAAA,WAA+B,SAAA,GAAY,SAAA;EAAA,UAC3C,IAAA;EAAA,UACA,OAAA,IAAW,CAAA;EAAA,UACX,GAAA;EAAA,UACA,IAAA;EAAA,UACA,GAAA,WAAc,CAAA;AAAA;AAAA,KAGd,eAAA,GACR,oBAAA,CAAqB,OAAA,IACrB,sBAAA,GACA,oBAAA;AAAA,KAEQ,MAAA;EAAA,CACT,GAAA,WAAc,MAAA,GAAS,SAAA,GAAY,eAAA;AAAA;AAAA,KAG1B,cAAA,oBACE,CAAA,GAAI,CAAA,CAAE,CAAA;EAAA,CAAc,IAAA,mBAAuB,OAAA;AAAA,IACnD,oBAAA,CAAqB,CAAA,IACrB,CAAA,CAAE,CAAA;EAAA,CAAc,GAAA;AAAA;EAAA,CAAiB,IAAA;AAAA,IAC/B,sBAAA,GACA,CAAA,CAAE,CAAA;EAAA,CAAc,OAAA;AAAA,IACd,CAAA,CAAE,CAAA,IACF,CAAA,CAAE,CAAA,UAAW,GAAA,GACX,cAAA,CAAe,CAAA,CAAE,CAAA,KACjB,CAAA,CAAE,CAAA;AAAA,KAGT,YAAA,MAAkB,CAAA,6BAEnB,CAAA,2BAEE,CAAA,2BAEE,CAAA,gCACE,YAAA,CAAa,CAAA,MACb,CAAA;AAAA,KAEE,aAAA,MAAmB,CAAA,cAAc,IAAA,mBACzC,OAAA,CAAQ,UAAA,CAAW,CAAA,KACnB,YAAA,CAAa,CAAA;AAAA,KAEL,cAAA,oBACE,CAAA,GAAI,CAAA,CAAE,CAAA,UAAW,GAAA,GACzB,iBAAA,CAAkB,CAAA,CAAE,CAAA,kBAClB,WAAA,CAAY,CAAA,CAAE,CAAA,KACd,cAAA,CAAe,CAAA,CAAE,CAAA,KACnB,aAAA,CAAc,CAAA,CAAE,CAAA;AAAA,KAGjB,cAAA,MAAoB,CAAA,SAAU,GAAA,IAAO,iBAAA,CAAkB,CAAA;AAAA,KAEhD,KAAA,MAAW,CAAA,SAAU,GAAA,iBAEf,CAAA,YAAa,cAAA,CAAe,CAAA,CAAE,CAAA,kBACtC,CAAA,MAAO,CAAA,IAAK,KAAA,CAAM,CAAA,CAAE,CAAA,gBACpB,CAAA,SACE,CAAA;AAAA,KAGA,YAAA,MAAkB,CAAA,SAAU,GAAA,iBAEtB,CAAA,YAAa,cAAA,CAAe,CAAA,CAAE,CAAA,kBACtC,CAAA,MAAO,CAAA,IAAK,YAAA,CAAa,CAAA,CAAE,CAAA,8BAEzB,CAAA;AAAA,KAGP,WAAA,MAAiB,CAAA,SAAU,GAAA,GAC5B,iBAAA,CAAkB,CAAA,iBAChB,CAAA;EAAA,CAAa,IAAA,qBAAyB,OAAA;AAAA,IACpC,OAAA,CAAQ,GAAA,IACR,CAAA;EAAA,CAAa,GAAA;AAAA;EAAA,CAAiB,IAAA;AAAA,aAE5B,CAAA,SAAU,oBAAA,YACR,aAAA,CAAc,CAAA,YAEpB,cAAA,CAAe,CAAA,IACjB,aAAA,CAAc,CAAA;AAAA,KAEN,WAAA,wBAAmC,CAAA,yCAC3C,IAAA,eAAmB,CAAA,GACjB,WAAA,CAAY,CAAA,CAAE,IAAA,GAAO,IAAA,YAEvB,CAAA,eAAgB,CAAA,GACd,WAAA,CAAY,CAAA,CAAE,CAAA;AAAA,UAGH,cAAA;EACf,GAAA;EACA,OAAA,GAAU,CAAA;EACV,MAAA;EACA,IAAA;EACA,IAAA,GAAO,OAAA;AAAA;AAAA,KAGG,OAAA,8BACV,OAAA,EAAS,cAAA,CAAe,CAAA,MACrB,OAAA,CAAQ,CAAA;AAAA,UAEI,WAAA;EACf,IAAA;EACA,KAAA;EACA,OAAA;EACA,MAAA;EACA,IAAA;EACA,IAAA,GAAO,OAAA;AAAA;AAAA,KAGG,QAAA;EAAA,CACT,QAAA;EAAA,CACA,GAAA;IACC,MAAA,EAAQ,CAAA;IACR,GAAA,WAAc,KAAA,CAAM,CAAA,YAAa,IAAA,EAAM,CAAA,GAAI,WAAA,CAAY,CAAA,EAAG,CAAA;IAC1D,OAAA,WAAkB,KAAA,CAAM,CAAA,YAAa,IAAA,EAAM,CAAA,EAAG,OAAA,EAAS,OAAA,GAAU,OAAA,CAAQ,WAAA,CAAY,CAAA,EAAG,CAAA;IACxF,OAAA,CAAQ,SAAA,GAAY,YAAA,CAAa,CAAA,aAAc,gBAAA,UAA0B,WAAA;EAAA;AAAA;AAAA,KAIjE,SAAA,MAAe,CAAA,SAAU,QAAA,YAAoB,cAAA,CAAe,CAAA;;;cC/I3D,UAAA,mBAA8B,MAAA,EACzC,KAAA,GAAQ,CAAA,GAAI,cAAA,CAAe,CAAA,OAAQ,GAAA,aAAgB,CAAA,GAAI,cAAA,CAAe,CAAA,OACrE,QAAA,CAAS,CAAA;;;cCbC,KAAA,GAAS,GAAA,cAAe,GAAA,IAAO,GAAA;AAAA,cAI/B,iBAAA,GAAqB,GAAA,cAAe,GAAA,IAAO,eAAA;AAAA,cAI3C,cAAA,GAAkB,GAAA,cAAe,GAAA,IAAO,GAAA;AAAA,cAIxC,UAAA,GAAc,GAAA,cAAe,GAAA,IAAO,QAAA;AAAA,cAIpC,UAAA,GAAc,CAAA,cAAa,CAAA,IAAK,WAAA;AAAA,cAShC,SAAA,GAAa,MAAA,EAAQ,GAAA,EAAK,IAAA;AAAA,cAyB1B,gBAAA,GAAoB,GAAA,UAAa,IAAA,EAAM,OAAA,EAAS,IAAA;AAAA,cA2ChD,UAAA,GAAc,IAAA,WAAe,IAAA,UAAc,GAAA,aAAc,WAAA;AAAA,iBA0BrD,WAAA,CACf,MAAA,EAAQ,GAAA,EACR,GAAA,UACA,UAAA,YACC,gBAAA,UAA0B,WAAA;AAAA,cAWhB,UAAA,GAAc,MAAA,WAAiB,IAAA,UAAc,GAAA;AAAA,cAS7C,WAAA,GAAqB,MAAA,WAAiB,GAAA,aAAc,OAAA;AAAA,cAIpD,gBAAA,GAAoB,KAAA,EAAO,WAAA,EAAa,GAAA;AAAA,cAMxC,iBAAA,GACX,KAAA,EAAO,WAAA,EACP,GAAA,UACA,OAAA,EAAS,OAAA,KACR,OAAA;AAAA,cAmBU,kBAAA,GAAsB,IAAA,EAAM,GAAA,EAAK,MAAA,UAAgB,GAAA,aAAc,GAAA;AAAA,cAW/D,mBAAA,GACX,IAAA,EAAM,GAAA,EACN,MAAA,UACA,GAAA,UACA,OAAA,EAAS,OAAA,KACR,OAAA,CAAQ,GAAA"}

package/dist/index.mjs

@@ -1,121 +1,185 @@
 //#region src/symbols.ts
 const CONFETTI = Symbol.for("CONFETTI");
 const DEFAULT = Symbol.for("CONFETTI_DEFAULT");
-const ENV_VAR = Symbol.for("CONFETTI_ENV_VAR");
+const ENV = Symbol.for("CONFETTI_ENV");
 const DATA = Symbol.for("CONFETTI_DATA");
+const TYPE = Symbol.for("CONFETTI_TYPE");
 //#endregion
 //#region src/util.ts
 const isObj = (val) => {
 	return val !== null && typeof val === "object" && !Array.isArray(val);
 };
 const isConfigValPerEnv = (val) => {
-	return isObj(val) && (DEFAULT in val || DATA in val || ENV_VAR in val);
+	return isObj(val) && (DEFAULT in val || DATA in val || ENV in val || TYPE in val);
+};
+const isNestedConfig = (val) => {
+	return isObj(val) && !isConfigValPerEnv(val);
 };
 const isConfetti = (val) => {
 	return typeof val === "function" && Object.hasOwn(val, CONFETTI);
 };
-const configFlatMap = (env, obj, map, _currentPath = "") => {
-	return Object.entries(obj).flatMap(([key, value]) => {
-		const path = `${_currentPath}${key}`;
-		if (isObj(value)) {
-			if (isConfigValPerEnv(value)) {
-				let unresolvedValue;
-				if (value[ENV_VAR] && process.env[value[ENV_VAR]] !== void 0) try {
-					unresolvedValue = JSON.parse(process.env[value[ENV_VAR]]);
-				} catch {
-					unresolvedValue = process.env[value[ENV_VAR]];
-				}
-				else if (value[env] !== void 0) unresolvedValue = value[env];
-				else if (value[DEFAULT] !== void 0) unresolvedValue = value[DEFAULT];
-				if (unresolvedValue === void 0) throw new Error(`Unable to find '${env}' config value at '${path}`);
-				return map({
-					path,
-					unresolvedValue,
-					envVar: value[ENV_VAR],
-					data: value[DATA]
-				});
-			}
-			return configFlatMap(env, value, map, `${path}.`);
-		}
-		return map({
-			path,
-			unresolvedValue: value
-		});
-	});
+const isThenable = (v) => {
+	return v !== null && typeof v === "object" && "then" in v && typeof v.then === "function";
 };
-const setAtPath = (obj, path, value) => {
+const getAtPath = (config, path) => {
+	if (!path) return config;
 	const segments = path.split(".");
-	let objAtSeg = obj;
-	for (let i = 0; i < segments.length; i++) {
-		const segment = segments[i] ?? "";
-		if (segments.length === i + 1) objAtSeg[segment] = value;
-		else {
-			if (!isObj(objAtSeg[segment])) objAtSeg[segment] = {};
-			objAtSeg = objAtSeg[segment];
-		}
+	let node = config;
+	for (const segment of segments) {
+		if (!isNestedConfig(node)) throw new Error(`Invalid config path '${path}'.`);
+		node = node[segment];
+		if (node === void 0) throw new Error(`Invalid config path '${path}'.`);
 	}
+	return node;
+};
+const matchesType = (val, type) => {
+	if (type === "string") return typeof val === "string";
+	if (type === "number") return typeof val === "number" && !Number.isNaN(val);
+	if (type === "boolean") return typeof val === "boolean";
+	if (!Array.isArray(val)) return false;
+	const elem = type.slice(0, -2);
+	return val.every((x) => typeof x === elem);
+};
+const coerceFromString = (raw, type, path) => {
+	if (type === "string") return raw;
+	if (type === "number") {
+		if (raw === "") throw new Error(`Cannot coerce empty string to number at '${path}'.`);
+		const n = Number(raw);
+		if (Number.isNaN(n)) throw new Error(`Cannot coerce '${raw}' to number at '${path}'.`);
+		return n;
+	}
+	if (type === "boolean") {
+		if (raw === "true") return true;
+		if (raw === "false") return false;
+		throw new Error(`Cannot coerce '${raw}' to boolean at '${path}' (expected 'true' or 'false').`);
+	}
+	let parsed;
+	try {
+		parsed = JSON.parse(raw);
+	} catch {
+		throw new Error(`Cannot coerce '${raw}' to ${type} at '${path}' (invalid JSON).`);
+	}
+	if (!Array.isArray(parsed)) throw new Error(`Cannot coerce '${raw}' to ${type} at '${path}' (not an array).`);
+	const elem = type.slice(0, -2);
+	if (!parsed.every((x) => typeof x === elem)) throw new Error(`Cannot coerce '${raw}' to ${type} at '${path}' (element type mismatch).`);
+	return parsed;
+};
+const coerceFetched = (fetched, type, path) => {
+	if (type === void 0) {
+		if (typeof fetched !== "string") throw new Error(`Fetcher for '${path}' must return a string (add [TYPE] to use non-string values).`);
+		return fetched;
+	}
+	if (typeof fetched === "string") return coerceFromString(fetched, type, path);
+	if (matchesType(fetched, type)) return fetched;
+	throw new Error(`Fetcher for '${path}' returned value that doesn't match [TYPE] '${type}'.`);
+};
+const buildEntry = (node, path, env) => {
+	if (!isConfigValPerEnv(node)) return {
+		path,
+		value: node
+	};
+	const envVar = node[ENV];
+	const data = node[DATA];
+	const defaultVal = node[DEFAULT];
+	const typeTag = node[TYPE];
+	const entry = { path };
+	if (envVar && process.env[envVar] !== void 0) {
+		const raw = process.env[envVar];
+		entry.value = typeTag ? coerceFromString(raw, typeTag, path) : raw;
+	} else if (node[env] !== void 0) entry.value = node[env];
+	if (defaultVal !== void 0) entry.default = defaultVal;
+	if (envVar) entry.envVar = envVar;
+	if (data !== void 0) entry.data = data;
+	if (typeTag !== void 0) entry.type = typeTag;
+	return entry;
+};
+function* entriesIter(config, env, pathPrefix = "") {
+	for (const [key, value] of Object.entries(config)) {
+		const path = pathPrefix + key;
+		if (isNestedConfig(value)) yield* entriesIter(value, env, `${path}.`);
+		else yield [path, buildEntry(value, path, env)];
+	}
+}
+const invokeSync = (source, path, env) => {
+	if (typeof source !== "function") return source;
+	const result = source(env);
+	if (isThenable(result)) throw new Error(`Config at '${path}' requires async resolution (use resolve).`);
+	return result;
+};
+const invokeAsync = async (source, env) => {
+	return typeof source === "function" ? await source(env) : source;
+};
+const resolveEntrySync = (entry, env) => {
+	if ("value" in entry) return invokeSync(entry.value, entry.path, env);
+	if ("default" in entry) return invokeSync(entry.default, entry.path, env);
+	throw new Error(`Config at '${entry.path}' requires async resolution (use resolve).`);
+};
+const resolveEntryAsync = async (entry, env, fetcher) => {
+	if ("value" in entry) return invokeAsync(entry.value, env);
+	if (entry.envVar !== void 0 || entry.data !== void 0) {
+		const fetched = await fetcher({
+			env,
+			default: entry.default,
+			envVar: entry.envVar,
+			data: entry.data,
+			type: entry.type
+		});
+		if (fetched !== void 0) return coerceFetched(fetched, entry.type, entry.path);
+	}
+	if ("default" in entry) return invokeAsync(entry.default, env);
+	throw new Error(`Unable to resolve config value at '${entry.path}'.`);
+};
+const resolveSubtreeSync = (node, prefix, env) => {
+	const result = {};
+	for (const [key, child] of Object.entries(node)) {
+		const path = prefix ? `${prefix}.${key}` : key;
+		result[key] = isNestedConfig(child) ? resolveSubtreeSync(child, path, env) : resolveEntrySync(buildEntry(child, path, env), env);
+	}
+	return result;
+};
+const resolveSubtreeAsync = async (node, prefix, env, fetcher) => {
+	const keys = Object.keys(node);
+	const values = await Promise.all(keys.map((key) => {
+		const child = node[key];
+		const path = prefix ? `${prefix}.${key}` : key;
+		return isNestedConfig(child) ? resolveSubtreeAsync(child, path, env, fetcher) : resolveEntryAsync(buildEntry(child, path, env), env, fetcher);
+	}));
+	const result = {};
+	keys.forEach((key, i) => {
+		result[key] = values[i];
+	});
+	return result;
 };
 //#endregion
 //#region src/make-config.ts
-const makeConfig = (makeConfig) => {
+const makeConfig = (input) => {
+	const factory = typeof input === "function" ? input : () => input;
 	const confetti = (env) => {
-		const config = makeConfig(env);
-		const flatMap = (transform) => configFlatMap(env, config, transform);
-		const contextByPath = Object.fromEntries(flatMap((context) => [[context.path, context]]));
-		const resolveValue = async (path) => {
-			const context = contextByPath[path];
-			if (!context) throw new Error(`Invalid config path '${path}'.`);
-			const { unresolvedValue } = context;
-			const value = typeof unresolvedValue === "function" ? await unresolvedValue(context) : unresolvedValue;
-			if (value === void 0) throw new Error(`Config value at '${path}' resolved to undefined.`);
-			return value;
-		};
-		const resolveValueSync = (path) => {
-			const context = contextByPath[path];
-			if (!context) throw new Error(`Invalid config path '${path}'.`);
-			const { unresolvedValue } = context;
-			if (typeof unresolvedValue === "function") throw new Error(`Cannot resolve config value at "${path}" synchronously.`);
-			return unresolvedValue;
-		};
-		const resolve = async () => {
-			const resolvedConfig = {};
-			const promises = Object.keys(contextByPath).map(async (path) => {
-				return resolveValue(path).then((resolvedValue) => setAtPath(resolvedConfig, path, resolvedValue));
-			});
-			await Promise.all(promises);
-			return resolvedConfig;
+		const config = factory(env);
+		const get = (path) => {
+			const node = getAtPath(config, path);
+			return isNestedConfig(node) ? resolveSubtreeSync(node, path, env) : resolveEntrySync(buildEntry(node, path, env), env);
 		};
-		const resolveSync = () => {
-			const resolvedConfig = {};
-			for (const path of Object.keys(contextByPath)) setAtPath(resolvedConfig, path, resolveValueSync(path));
-			return resolvedConfig;
+		const resolve = async (path, fetcher) => {
+			const node = getAtPath(config, path);
+			return isNestedConfig(node) ? await resolveSubtreeAsync(node, path, env, fetcher) : await resolveEntryAsync(buildEntry(node, path, env), env, fetcher);
 		};
-		const resolveEnv = async () => {
-			const envVars = {};
-			const promises = Object.values(contextByPath).flatMap(async (context) => {
-				const { envVar } = context;
-				if (!envVar) return [];
-				return resolveValue(context.path).then((resolvedValue) => {
-					envVars[envVar] = JSON.stringify(resolvedValue);
-				});
-			});
-			await Promise.all(promises);
-			return envVars;
+		const entries = (startPath) => {
+			const root = startPath ? getAtPath(config, startPath) : config;
+			if (!isNestedConfig(root)) throw new Error(`'${startPath}' is not a config subtree.`);
+			return entriesIter(root, env, startPath ? `${startPath}.` : "");
 		};
 		return {
 			config,
-			flatMap,
-			resolveValue,
-			resolveValueSync,
+			get,
 			resolve,
-			resolveSync,
-			resolveEnv
+			entries
 		};
 	};
 	confetti[CONFETTI] = "CONFETTI";
 	return confetti;
 };
 //#endregion
-export { CONFETTI, DATA, DEFAULT, ENV_VAR, configFlatMap, isConfetti, isConfigValPerEnv, isObj, makeConfig, setAtPath };
+export { CONFETTI, DATA, DEFAULT, ENV, TYPE, buildEntry, coerceFromString, entriesIter, getAtPath, invokeAsync, invokeSync, isConfetti, isConfigValPerEnv, isNestedConfig, isObj, isThenable, makeConfig, resolveEntryAsync, resolveEntrySync, resolveSubtreeAsync, resolveSubtreeSync };
 
 //# sourceMappingURL=index.mjs.map