@bluelibs/runner 4.5.1 → 4.5.3

package/dist/index.d.mts

@@ -59,6 +59,12 @@ type HasInputContracts<TItems extends readonly unknown[]> = [
 type HasOutputContracts<TItems extends readonly unknown[]> = [
     ContractsUnionOutputs<TItems>
 ] extends [never] ? false : true;
+type IsNever<T> = [T] extends [never] ? true : false;
+type KeysWithNever<T> = T extends object ? {
+    [K in keyof T]-?: [T[K]] extends [never] ? K : never;
+}[keyof T] : never;
+type HasNeverProperty<T> = KeysWithNever<T> extends never ? false : true;
+type IsImpossibleIntersection<T> = IsNever<T> extends true ? true : HasNeverProperty<T> extends true ? true : false;
 type InputContractViolationError<TItems extends readonly unknown[], TActual> = {
     message: "Value does not satisfy all input contracts";
     expected: Simplify<ContractsIntersectionInputs<TItems>>;
@@ -71,6 +77,7 @@ type OutputContractViolationError<TItems extends readonly unknown[], TActual> =
 };
 type EnsureInputSatisfiesContracts<TItems extends readonly unknown[], TValue> = [ContractsUnionInputs<TItems>] extends [never] ? TValue : TValue extends Promise<infer U> ? Promise<U extends ContractsIntersectionInputs<TItems> ? U : InputContractViolationError<TItems, U>> : TValue extends ContractsIntersectionInputs<TItems> ? TValue : InputContractViolationError<TItems, TValue>;
 type EnsureOutputSatisfiesContracts<TItems extends readonly unknown[], TResponse> = [ContractsUnionOutputs<TItems>] extends [never] ? TResponse : TResponse extends Promise<infer U> ? Promise<U extends ContractsIntersectionOutputs<TItems> ? U : OutputContractViolationError<TItems, U>> : TResponse extends ContractsIntersectionOutputs<TItems> ? TResponse : OutputContractViolationError<TItems, TResponse>;
+type InferInputOrViolationFromContracts<TItems extends readonly unknown[]> = HasInputContracts<TItems> extends false ? void : ContractsIntersectionInputs<TItems> extends infer I ? IsImpossibleIntersection<I> extends true ? InputContractViolationError<TItems, Simplify<I extends never ? never : I>> : Simplify<I> : never;
 
 /**
  * Common metadata you can attach to tasks/resources/events/middleware.
@@ -165,6 +172,8 @@ declare const symbolStore: unique symbol;
 /** @internal Brand used by index() resources */
 declare const symbolIndexResource: unique symbol;
 
+type IsAny<T> = 0 extends 1 & T ? true : false;
+type IsUnspecified<T> = [T] extends [undefined] ? true : [T] extends [void] ? true : IsAny<T> extends true ? true : false;
 interface IResourceDefinition<TConfig = any, TValue extends Promise<any> = Promise<any>, TDependencies extends DependencyMapType = {}, TContext = any, THooks = any, TRegisterableItems = any, TMeta extends IResourceMeta = any, TTags extends TagType[] = TagType[], TMiddleware extends ResourceMiddlewareAttachmentType[] = ResourceMiddlewareAttachmentType[]> {
     /** Stable identifier. */
     id: string;
@@ -178,7 +187,10 @@ interface IResourceDefinition<TConfig = any, TValue extends Promise<any> = Promi
     /**
      * Initialize and return the resource value. Called once during boot.
      */
-    init?: (config: HasInputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureInputSatisfiesContracts<[...TTags, ...TMiddleware], TConfig> : TConfig, dependencies: ResourceDependencyValuesType<TDependencies>, context: TContext) => HasOutputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureOutputSatisfiesContracts<[...TTags, ...TMiddleware], TValue> : TValue;
+    init?: (config: HasInputContracts<[...TTags, ...TMiddleware]> extends true ? (IsUnspecified<TConfig> extends true ? InferInputOrViolationFromContracts<[...TTags, ...TMiddleware]> : EnsureInputSatisfiesContracts<[
+        ...TTags,
+        ...TMiddleware
+    ], TConfig>) : TConfig, dependencies: ResourceDependencyValuesType<TDependencies>, context: TContext) => HasOutputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureOutputSatisfiesContracts<[...TTags, ...TMiddleware], TValue> : TValue;
     /**
      * Optional validation schema for the resource's resolved value.
      * When provided, the value will be validated immediately after `init` resolves,
@@ -224,7 +236,7 @@ interface IResourceDefinition<TConfig = any, TValue extends Promise<any> = Promi
 }
 interface IResource<TConfig = void, TValue extends Promise<any> = Promise<any>, TDependencies extends DependencyMapType = any, TContext = any, TMeta extends IResourceMeta = any, TTags extends TagType[] = TagType[], TMiddleware extends ResourceMiddlewareAttachmentType[] = ResourceMiddlewareAttachmentType[]> extends IResourceDefinition<TConfig, TValue, TDependencies, TContext, any, any, TMeta, TTags, TMiddleware> {
     id: string;
-    with(config: TConfig): IResourceWithConfig<TConfig, TValue, TDependencies, TContext, TMeta, TTags, TMiddleware>;
+    with(config: HasInputContracts<[...TTags, ...TMiddleware]> extends true ? (IsUnspecified<TConfig> extends true ? InferInputOrViolationFromContracts<[...TTags, ...TMiddleware]> : TConfig) : TConfig): IResourceWithConfig<TConfig, TValue, TDependencies, TContext, TMeta, TTags, TMiddleware>;
     register: Array<RegisterableItems> | ((config: TConfig) => Array<RegisterableItems>);
     overrides: Array<OverridableElements>;
     middleware: TMiddleware;
@@ -267,7 +279,10 @@ interface ITaskDefinition<TInput = undefined, TOutput extends Promise<any> = any
      * `run` resolves, without considering middleware.
      */
     resultSchema?: IValidationSchema<TOutput extends Promise<infer U> ? U : never>;
-    run: (input: HasInputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureInputSatisfiesContracts<[...TTags, ...TMiddleware], TInput> : TInput, dependencies: DependencyValuesType<TDependencies>) => HasOutputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureOutputSatisfiesContracts<[...TTags, ...TMiddleware], TOutput> : TOutput;
+    run: (input: HasInputContracts<[...TTags, ...TMiddleware]> extends true ? ([TInput] extends [undefined] ? InferInputOrViolationFromContracts<[...TTags, ...TMiddleware]> : EnsureInputSatisfiesContracts<[
+        ...TTags,
+        ...TMiddleware
+    ], TInput>) : TInput, dependencies: DependencyValuesType<TDependencies>) => HasOutputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureOutputSatisfiesContracts<[...TTags, ...TMiddleware], TOutput> : TOutput;
     /**
      * Tags applied to the task that might define its behvaiour or impact the systems.
      */
@@ -1380,15 +1395,28 @@ declare class Store {
     validateEventEmissionGraph(): void;
     initializeStore(root: IResource<any, any, any, any, any>, config: any): void;
     dispose(): Promise<void>;
+    /**
+     * Internal, avoid using this method directly.
+     */
     processOverrides(): void;
+    /**
+     * Internal, avoid using this method directly.
+     * @param item
+     * @returns
+     */
     storeGenericItem<C>(item: RegisterableItems): void;
     /**
      * Returns all tasks with the given tag.
      * @param tag - The tag to filter by.
      * @returns The tasks with the given tag.
      */
-    getTasksWithTag(tag: string | ITag): ITask<any, any, any, any, TagType[], TaskMiddlewareAttachmentType[]>[];
-    getResourcesWithTag(tag: string | ITag): IResource<any, any, {}, any, any, TagType[], ResourceMiddlewareAttachmentType[]>[];
+    getTasksWithTag(tag: string | ITag<any, any, any>): ITask<any, any, any, any, TagType[], TaskMiddlewareAttachmentType[]>[];
+    /**
+     * Returns all resources with the given tag.
+     * @param tag - The tag to filter by.
+     * @returns The resources with the given tag.
+     */
+    getResourcesWithTag(tag: string | ITag<any, any, any>): IResource<any, any, {}, any, any, TagType[], ResourceMiddlewareAttachmentType[]>[];
 }
 
 declare class ResourceInitializer {

package/dist/index.d.ts

@@ -59,6 +59,12 @@ type HasInputContracts<TItems extends readonly unknown[]> = [
 type HasOutputContracts<TItems extends readonly unknown[]> = [
     ContractsUnionOutputs<TItems>
 ] extends [never] ? false : true;
+type IsNever<T> = [T] extends [never] ? true : false;
+type KeysWithNever<T> = T extends object ? {
+    [K in keyof T]-?: [T[K]] extends [never] ? K : never;
+}[keyof T] : never;
+type HasNeverProperty<T> = KeysWithNever<T> extends never ? false : true;
+type IsImpossibleIntersection<T> = IsNever<T> extends true ? true : HasNeverProperty<T> extends true ? true : false;
 type InputContractViolationError<TItems extends readonly unknown[], TActual> = {
     message: "Value does not satisfy all input contracts";
     expected: Simplify<ContractsIntersectionInputs<TItems>>;
@@ -71,6 +77,7 @@ type OutputContractViolationError<TItems extends readonly unknown[], TActual> =
 };
 type EnsureInputSatisfiesContracts<TItems extends readonly unknown[], TValue> = [ContractsUnionInputs<TItems>] extends [never] ? TValue : TValue extends Promise<infer U> ? Promise<U extends ContractsIntersectionInputs<TItems> ? U : InputContractViolationError<TItems, U>> : TValue extends ContractsIntersectionInputs<TItems> ? TValue : InputContractViolationError<TItems, TValue>;
 type EnsureOutputSatisfiesContracts<TItems extends readonly unknown[], TResponse> = [ContractsUnionOutputs<TItems>] extends [never] ? TResponse : TResponse extends Promise<infer U> ? Promise<U extends ContractsIntersectionOutputs<TItems> ? U : OutputContractViolationError<TItems, U>> : TResponse extends ContractsIntersectionOutputs<TItems> ? TResponse : OutputContractViolationError<TItems, TResponse>;
+type InferInputOrViolationFromContracts<TItems extends readonly unknown[]> = HasInputContracts<TItems> extends false ? void : ContractsIntersectionInputs<TItems> extends infer I ? IsImpossibleIntersection<I> extends true ? InputContractViolationError<TItems, Simplify<I extends never ? never : I>> : Simplify<I> : never;
 
 /**
  * Common metadata you can attach to tasks/resources/events/middleware.
@@ -165,6 +172,8 @@ declare const symbolStore: unique symbol;
 /** @internal Brand used by index() resources */
 declare const symbolIndexResource: unique symbol;
 
+type IsAny<T> = 0 extends 1 & T ? true : false;
+type IsUnspecified<T> = [T] extends [undefined] ? true : [T] extends [void] ? true : IsAny<T> extends true ? true : false;
 interface IResourceDefinition<TConfig = any, TValue extends Promise<any> = Promise<any>, TDependencies extends DependencyMapType = {}, TContext = any, THooks = any, TRegisterableItems = any, TMeta extends IResourceMeta = any, TTags extends TagType[] = TagType[], TMiddleware extends ResourceMiddlewareAttachmentType[] = ResourceMiddlewareAttachmentType[]> {
     /** Stable identifier. */
     id: string;
@@ -178,7 +187,10 @@ interface IResourceDefinition<TConfig = any, TValue extends Promise<any> = Promi
     /**
      * Initialize and return the resource value. Called once during boot.
      */
-    init?: (config: HasInputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureInputSatisfiesContracts<[...TTags, ...TMiddleware], TConfig> : TConfig, dependencies: ResourceDependencyValuesType<TDependencies>, context: TContext) => HasOutputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureOutputSatisfiesContracts<[...TTags, ...TMiddleware], TValue> : TValue;
+    init?: (config: HasInputContracts<[...TTags, ...TMiddleware]> extends true ? (IsUnspecified<TConfig> extends true ? InferInputOrViolationFromContracts<[...TTags, ...TMiddleware]> : EnsureInputSatisfiesContracts<[
+        ...TTags,
+        ...TMiddleware
+    ], TConfig>) : TConfig, dependencies: ResourceDependencyValuesType<TDependencies>, context: TContext) => HasOutputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureOutputSatisfiesContracts<[...TTags, ...TMiddleware], TValue> : TValue;
     /**
      * Optional validation schema for the resource's resolved value.
      * When provided, the value will be validated immediately after `init` resolves,
@@ -224,7 +236,7 @@ interface IResourceDefinition<TConfig = any, TValue extends Promise<any> = Promi
 }
 interface IResource<TConfig = void, TValue extends Promise<any> = Promise<any>, TDependencies extends DependencyMapType = any, TContext = any, TMeta extends IResourceMeta = any, TTags extends TagType[] = TagType[], TMiddleware extends ResourceMiddlewareAttachmentType[] = ResourceMiddlewareAttachmentType[]> extends IResourceDefinition<TConfig, TValue, TDependencies, TContext, any, any, TMeta, TTags, TMiddleware> {
     id: string;
-    with(config: TConfig): IResourceWithConfig<TConfig, TValue, TDependencies, TContext, TMeta, TTags, TMiddleware>;
+    with(config: HasInputContracts<[...TTags, ...TMiddleware]> extends true ? (IsUnspecified<TConfig> extends true ? InferInputOrViolationFromContracts<[...TTags, ...TMiddleware]> : TConfig) : TConfig): IResourceWithConfig<TConfig, TValue, TDependencies, TContext, TMeta, TTags, TMiddleware>;
     register: Array<RegisterableItems> | ((config: TConfig) => Array<RegisterableItems>);
     overrides: Array<OverridableElements>;
     middleware: TMiddleware;
@@ -267,7 +279,10 @@ interface ITaskDefinition<TInput = undefined, TOutput extends Promise<any> = any
      * `run` resolves, without considering middleware.
      */
     resultSchema?: IValidationSchema<TOutput extends Promise<infer U> ? U : never>;
-    run: (input: HasInputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureInputSatisfiesContracts<[...TTags, ...TMiddleware], TInput> : TInput, dependencies: DependencyValuesType<TDependencies>) => HasOutputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureOutputSatisfiesContracts<[...TTags, ...TMiddleware], TOutput> : TOutput;
+    run: (input: HasInputContracts<[...TTags, ...TMiddleware]> extends true ? ([TInput] extends [undefined] ? InferInputOrViolationFromContracts<[...TTags, ...TMiddleware]> : EnsureInputSatisfiesContracts<[
+        ...TTags,
+        ...TMiddleware
+    ], TInput>) : TInput, dependencies: DependencyValuesType<TDependencies>) => HasOutputContracts<[...TTags, ...TMiddleware]> extends true ? EnsureOutputSatisfiesContracts<[...TTags, ...TMiddleware], TOutput> : TOutput;
     /**
      * Tags applied to the task that might define its behvaiour or impact the systems.
      */
@@ -1380,15 +1395,28 @@ declare class Store {
     validateEventEmissionGraph(): void;
     initializeStore(root: IResource<any, any, any, any, any>, config: any): void;
     dispose(): Promise<void>;
+    /**
+     * Internal, avoid using this method directly.
+     */
     processOverrides(): void;
+    /**
+     * Internal, avoid using this method directly.
+     * @param item
+     * @returns
+     */
     storeGenericItem<C>(item: RegisterableItems): void;
     /**
      * Returns all tasks with the given tag.
      * @param tag - The tag to filter by.
      * @returns The tasks with the given tag.
      */
-    getTasksWithTag(tag: string | ITag): ITask<any, any, any, any, TagType[], TaskMiddlewareAttachmentType[]>[];
-    getResourcesWithTag(tag: string | ITag): IResource<any, any, {}, any, any, TagType[], ResourceMiddlewareAttachmentType[]>[];
+    getTasksWithTag(tag: string | ITag<any, any, any>): ITask<any, any, any, any, TagType[], TaskMiddlewareAttachmentType[]>[];
+    /**
+     * Returns all resources with the given tag.
+     * @param tag - The tag to filter by.
+     * @returns The resources with the given tag.
+     */
+    getResourcesWithTag(tag: string | ITag<any, any, any>): IResource<any, any, {}, any, any, TagType[], ResourceMiddlewareAttachmentType[]>[];
 }
 
 declare class ResourceInitializer {

package/dist/index.mjs

@@ -3490,9 +3490,17 @@ var _Store = class _Store {
       }
     }
   }
+  /**
+   * Internal, avoid using this method directly.
+   */
   processOverrides() {
     this.overrideManager.processOverrides();
   }
+  /**
+   * Internal, avoid using this method directly.
+   * @param item
+   * @returns
+   */
   storeGenericItem(item) {
     return this.registry.storeGenericItem(item);
   }
@@ -3504,6 +3512,11 @@ var _Store = class _Store {
   getTasksWithTag(tag) {
     return this.registry.getTasksWithTag(tag);
   }
+  /**
+   * Returns all resources with the given tag.
+   * @param tag - The tag to filter by.
+   * @returns The resources with the given tag.
+   */
   getResourcesWithTag(tag) {
     return this.registry.getResourcesWithTag(tag);
   }