export type primitive = number | string | null | undefined | symbol;

export interface IDestroyable {
    destroy(): void;
}


export interface DependencyOptions {
    optional?: boolean;
    default?: any;
}

export interface LazyDependencyOptions extends DependencyOptions {
    lazy: true;
}

export type ExtractService<K, S> = K extends keyof S ? S[K] : never;

export type ExtractDependency<D, S> = D extends { $dependency: infer K } ?
    D extends { lazy: true } ? () => ExtractService<K, S> : ExtractService<K, S> :
    D extends { $type: new (...args: any[]) => infer I } ? I :
    D extends { $factory: (...args: any[]) => infer R } ? R :
    WalkDependencies<D, S>;

export type WalkDependencies<D, S> = D extends primitive ? D :
    { [K in keyof D]: ExtractDependency<D[K], S> };

export type InferReferenceType<S extends object, K extends ContainerKeys<S>, O> = O extends { default: infer X } ? (TypeOfService<S, K> | X) :
    O extends { optional: true } ? (TypeOfService<S, K> | undefined) :
    TypeOfService<S, K>;

export interface Resolver<S extends object> {
    <K extends ContainerKeys<S>, O extends LazyDependencyOptions>(this: void, name: K, opts: O): () => InferReferenceType<S, K, O>;
    <K extends ContainerKeys<S>, O extends DependencyOptions>(this: void, name: K, opts?: O): InferReferenceType<S, K, O>;
}

export interface DescriptorBuilder<S extends object, T> {
    factory(f: (resolve: Resolver<S>) => T): void;

    build<T2>(): DescriptorBuilder<S, T2>;

    override<K extends keyof S>(name: K, builder: RegistrationBuilder<S, S[K]>): this;
    override<K extends keyof S>(services: { [name in K]: RegistrationBuilder<S, S[K]> }): this;

    lifetime(lifetime: "singleton", typeId: any): this;
    lifetime(lifetime: ILifetime | Exclude<ActivationType, "singleton">): this;

    cleanup(cb: (item: T) => void): this;

    value(v: T): void;
}

export type RegistrationBuilder<S extends object, T> = (d: DescriptorBuilder<S, T>, ct?: ICancellation) => void | Promise<void>;

export type FluentRegistrations<K extends keyof S, S extends object> = { [k in K]: RegistrationBuilder<S, S[k]> };

export interface Descriptor<S extends object = any, T = any> {
    activate(context: ActivationContext<S>): T;
}

export type ServiceMap<S extends object> = {
    [k in keyof S]: Descriptor<S, S[k]>;
};

export type ContainerKeys<S extends object> = keyof S | keyof ContainerProvided<S>;

export type TypeOfService<S extends object, K> =
    K extends keyof ContainerProvided<S> ? ContainerProvided<S>[K] :
    K extends keyof S ? S[K] : never;

export type ContainerServiceMap<S extends object> = {
    [K in ContainerKeys<S>]: Descriptor<S, TypeOfService<S, K>>;
};

export type PartialServiceMap<S extends object> = {
    [k in keyof S]?: Descriptor<S, S[k]>;
};

export interface ServiceLocator<S extends object> {
    resolve<K extends ContainerKeys<S>>(name: K, def?: TypeOfService<S, K>): TypeOfService<S, K>;
    resolve<K extends ContainerKeys<S>>(name: K, def?: undefined): TypeOfService<S, K> | undefined;
}

export interface ServiceContainer<S extends object> extends ServiceLocator<S>, IDestroyable {
    getLifetimeManager(): LifetimeManager;
    register<K extends keyof S>(name: K, service: Descriptor<S, S[K]>): this;
    register(services: PartialServiceMap<S>): this;

    createChildContainer(): ServiceContainer<S>;
}

export interface ContainerProvided<S extends object> {
    container: ServiceLocator<S>;

    childContainer: ServiceContainer<S>;
}

export type ContainerRegistered<S extends object> = /*{
    [K in Exclude<keyof S, keyof ContainerProvided<S>>]: S[K];
};*/
    Exclude<S, ContainerProvided<S>>;

export type ActivationType = "singleton" | "container" | "hierarchy" | "context" | "call";

/**
 * Интерфейс для управления жизнью экземпляра объекта. Каждая регистрация имеет
 * свой собственный объект `ILifetime`, который создается при первой активации
 */
export interface ILifetime {
    /** Проверяет, что уже создан экземпляр объекта */
    has(): boolean;

    get(): any;

    initialize(context: ActivationContext<any>): void;

    store(item: any, cleanup?: (item: any) => void): void;
}