/**
 * This Source Code is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
 *
 * Copyright (c) Infonomic Company Limited
 *
 * Typed dependency injection registry. Ported from the Modulus project
 * (https://github.com/infonomic/modulus) with permission.
 *
 * Provides compile-time validation of dependency graphs via TypeScript
 * conditional types. Services declare their dependencies via constructor
 * or factory signatures; the registry validates that all requirements
 * are satisfied before composition.
 */
type Token = string | symbol;
type Normalize<T> = T extends object ? {
    [P in keyof T]: T[P];
} : never;
type Extend<TSource extends object, TName extends Token, TValue> = Normalize<Omit<TSource, TName> & {
    [K in TName]: TValue;
}>;
type IsNever<T> = [T] extends [never] ? true : false;
type IsMergeable<T1, T2> = {
    [K in keyof T1 & keyof T2]: IsNever<T1[K] & T2[K]> extends true ? false : true;
} extends Record<keyof T1 & keyof T2, true> ? true : false;
type ValidateDeps<TRequires, TProvides, TName, TDeps> = TName extends keyof TRequires ? {
    error: 'Name conflict with prior requirement';
    name: TName;
    requirements: TRequires;
} : TName extends keyof TProvides ? {
    error: 'Duplicate provider name';
    name: TName;
} : Pick<TProvides, keyof TProvides & keyof TDeps> extends Pick<TDeps, keyof TProvides & keyof TDeps> ? IsMergeable<Pick<Omit<TDeps, keyof TProvides>, Extract<keyof TRequires, keyof Omit<TDeps, keyof TProvides>>>, Pick<TRequires, Extract<keyof TRequires, keyof Omit<TDeps, keyof TProvides>>>> extends true ? true : {
    error: 'Dependency type conflicts with required type';
    deps: TDeps;
    requirements: TRequires;
} : {
    error: 'Dependency type conflicts with provided type';
    deps: TDeps;
    provides: TProvides;
};
export declare class Registry<TRequires extends Record<Token, unknown> = {}, TProvides extends Record<Token, unknown> = {}> {
    private readonly providers;
    addClass<Name extends Token, TClass extends new (deps: any) => any, TValidation extends ValidateDeps<TRequires, TProvides, Name, ConstructorParameters<TClass>[0]> = ValidateDeps<TRequires, TProvides, Name, ConstructorParameters<TClass>[0]>>(name: Name, value: TValidation extends true ? TClass : TValidation): Registry<Normalize<TRequires & Omit<ConstructorParameters<TClass>[0], keyof TProvides>>, Extend<TProvides, Name, InstanceType<TClass>>>;
    addFactory<Name extends Token, TFactory extends (deps: any) => any, TValidation extends ValidateDeps<TRequires, TProvides, Name, Parameters<TFactory>[0]> = ValidateDeps<TRequires, TProvides, Name, Parameters<TFactory>[0]>>(name: Name, value: TValidation extends true ? TFactory : TValidation): Registry<Normalize<TRequires & Omit<Parameters<TFactory>[0], keyof TProvides>>, Extend<TProvides, Name, ReturnType<TFactory>>>;
    addValue<Name extends Token, TValue, TValidation extends ValidateDeps<TRequires, TProvides, Name, {}> = ValidateDeps<TRequires, TProvides, Name, {}>>(name: Name, value: TValidation extends true ? TValue : TValidation): Registry<TRequires, Extend<TProvides, Name, TValue>>;
    addNested<Name extends Token, TNested extends Registry<any, any>, TValidation extends ValidateDeps<TRequires, TProvides, Name, TNested extends Registry<infer TNestedRequired, any> ? TNestedRequired : never> = ValidateDeps<TRequires, TProvides, Name, TNested extends Registry<infer TNestedRequired, any> ? TNestedRequired : never>>(name: Name, nested: TValidation extends true ? TNested : TValidation): TNested extends Registry<infer TNestedRequires, infer TNestedProvides> ? Registry<Normalize<TRequires & Omit<TNestedRequires, keyof TProvides>>, Extend<TProvides, Name, TNestedProvides>> : never;
    compose(requirements: TRequires): Normalize<TProvides>;
}
export declare class AsyncRegistry<TRequires extends Record<Token, unknown> = {}, TProvides extends Record<Token, unknown> = {}> {
    private readonly providers;
    addClass<Name extends Token, TClass extends new (deps: any) => any, TValidation extends ValidateDeps<TRequires, TProvides, Name, ConstructorParameters<TClass>[0]> = ValidateDeps<TRequires, TProvides, Name, ConstructorParameters<TClass>[0]>>(name: Name, value: TValidation extends true ? TClass : TValidation): AsyncRegistry<Normalize<TRequires & Omit<ConstructorParameters<TClass>[0], keyof TProvides>>, Extend<TProvides, Name, InstanceType<TClass>>>;
    addAsyncClass<Name extends Token, TClass extends {
        create(deps: any): Promise<any>;
    }, TValidation extends ValidateDeps<TRequires, TProvides, Name, Parameters<TClass['create']>[0]> = ValidateDeps<TRequires, TProvides, Name, Parameters<TClass['create']>[0]>>(name: Name, value: TValidation extends true ? TClass : TValidation): AsyncRegistry<Normalize<TRequires & Omit<Parameters<TClass['create']>[0], keyof TProvides>>, Extend<TProvides, Name, Awaited<ReturnType<TClass['create']>>>>;
    addFactory<Name extends Token, TFactory extends (deps: any) => any, TValidation extends ValidateDeps<TRequires, TProvides, Name, Parameters<TFactory>[0]> = ValidateDeps<TRequires, TProvides, Name, Parameters<TFactory>[0]>>(name: Name, value: TValidation extends true ? TFactory : TValidation): AsyncRegistry<Normalize<TRequires & Omit<Parameters<TFactory>[0], keyof TProvides>>, Extend<TProvides, Name, Awaited<ReturnType<TFactory>>>>;
    addValue<Name extends Token, TValue, TValidation extends ValidateDeps<TRequires, TProvides, Name, {}> = ValidateDeps<TRequires, TProvides, Name, {}>>(name: Name, value: TValidation extends true ? TValue : TValidation): AsyncRegistry<TRequires, Extend<TProvides, Name, Awaited<TValue>>>;
    addNested<Name extends Token, TNested extends Registry<any, any>, TValidation extends ValidateDeps<TRequires, TProvides, Name, TNested extends Registry<infer TNestedRequired, any> ? TNestedRequired : never> = ValidateDeps<TRequires, TProvides, Name, TNested extends Registry<infer TNestedRequired, any> ? TNestedRequired : never>>(name: Name, nested: TValidation extends true ? TNested : TValidation): TNested extends Registry<infer TNestedRequires, infer TNestedProvides> ? AsyncRegistry<Normalize<TRequires & Omit<TNestedRequires, keyof TProvides>>, Extend<TProvides, Name, TNestedProvides>> : never;
    addNestedAsync<Name extends Token, TNested extends AsyncRegistry<any, any>, TValidation extends ValidateDeps<TRequires, TProvides, Name, TNested extends AsyncRegistry<infer TNestedRequired, any> ? TNestedRequired : never> = ValidateDeps<TRequires, TProvides, Name, TNested extends AsyncRegistry<infer TNestedRequired, any> ? TNestedRequired : never>>(name: Name, nested: TValidation extends true ? TNested : TValidation): TNested extends AsyncRegistry<infer TNestedRequires, infer TNestedProvides> ? AsyncRegistry<Normalize<TRequires & Omit<TNestedRequires, keyof TProvides>>, Extend<TProvides, Name, TNestedProvides>> : never;
    compose(requirements: TRequires): Promise<Normalize<TProvides>>;
}
export type RegisteredServices<TRegistry extends Registry<any, any> | AsyncRegistry<any, any>> = TRegistry extends Registry<any, infer TProvided> ? TProvided : TRegistry extends AsyncRegistry<any, infer TProvided> ? Normalize<TProvided> : never;
export {};