@bluelibs/runner 4.5.2 → 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.
      */

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.
      */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bluelibs/runner",
-  "version": "4.5.2",
+  "version": "4.5.3",
   "description": "BlueLibs Runner",
   "sideEffects": false,
   "main": "dist/index.cjs",