/** @module evolve-type.ts */
import { AnyFunction, AnyObject, ContainsAny, ContainsType, ExtractFunctionArguments, ExtractFunctionReturnValue, IsAny, KeySubset } from './helper-types';
declare type EvolvingValueNotAFunction<T> = T;
declare type BadEvolve<T> = 'ERROR: Evolving / left-side function argument type does not match right-side corresponding value type';
declare type WrongKeys = 'ERROR: All keys on the type for the left-side object must be in the right-side object';
declare type Evolve10<E extends AnyObject, I extends AnyObject> = {
    'evaluate': ContainsType<[E, I], {}> extends true ? {} : {
        [K in keyof I]: K extends keyof E ? E[K] extends AnyFunction ? IsAny<ExtractFunctionArguments<E[K]>[0]> extends true ? ExtractFunctionReturnValue<E[K]> : [I[K]] extends ExtractFunctionArguments<E[K]> ? ExtractFunctionReturnValue<E[K]> : BadEvolve<I[K]> : E[K] extends number | string | symbol | any[] ? EvolvingValueNotAFunction<I[K]> : Evolve10<E[K], I[K]> : I[K];
    };
    'done': ContainsAny<[E, I], {}, WrongKeys>;
}[KeySubset<E, I> extends true ? 'evaluate' : 'done'];
declare type Evolve9<E extends AnyObject, I extends AnyObject> = {
    'evaluate': ContainsType<[E, I], {}> extends true ? {} : {
        [K in keyof I]: K extends keyof E ? E[K] extends AnyFunction ? IsAny<ExtractFunctionArguments<E[K]>[0]> extends true ? ExtractFunctionReturnValue<E[K]> : [I[K]] extends ExtractFunctionArguments<E[K]> ? ExtractFunctionReturnValue<E[K]> : BadEvolve<I[K]> : E[K] extends number | string | symbol ? EvolvingValueNotAFunction<I[K]> : Evolve10<E[K], I[K]> : I[K];
    };
    'done': ContainsAny<[E, I], {}, WrongKeys>;
}[KeySubset<E, I> extends true ? 'evaluate' : 'done'];
declare type Evolve8<E extends AnyObject, I extends AnyObject> = {
    'evaluate': ContainsType<[E, I], {}> extends true ? {} : {
        [K in keyof I]: K extends keyof E ? E[K] extends AnyFunction ? IsAny<ExtractFunctionArguments<E[K]>[0]> extends true ? ExtractFunctionReturnValue<E[K]> : [I[K]] extends ExtractFunctionArguments<E[K]> ? ExtractFunctionReturnValue<E[K]> : BadEvolve<I[K]> : E[K] extends number | string | symbol ? EvolvingValueNotAFunction<I[K]> : Evolve9<E[K], I[K]> : I[K];
    };
    'done': ContainsAny<[E, I], {}, WrongKeys>;
}[KeySubset<E, I> extends true ? 'evaluate' : 'done'];
declare type Evolve7<E extends AnyObject, I extends AnyObject> = {
    'evaluate': ContainsType<[E, I], {}> extends true ? {} : {
        [K in keyof I]: K extends keyof E ? E[K] extends AnyFunction ? IsAny<ExtractFunctionArguments<E[K]>[0]> extends true ? ExtractFunctionReturnValue<E[K]> : [I[K]] extends ExtractFunctionArguments<E[K]> ? ExtractFunctionReturnValue<E[K]> : BadEvolve<I[K]> : E[K] extends number | string | symbol ? EvolvingValueNotAFunction<I[K]> : Evolve8<E[K], I[K]> : I[K];
    };
    'done': ContainsAny<[E, I], {}, WrongKeys>;
}[KeySubset<E, I> extends true ? 'evaluate' : 'done'];
declare type Evolve6<E extends AnyObject, I extends AnyObject> = {
    'evaluate': ContainsType<[E, I], {}> extends true ? {} : {
        [K in keyof I]: K extends keyof E ? E[K] extends AnyFunction ? IsAny<ExtractFunctionArguments<E[K]>[0]> extends true ? ExtractFunctionReturnValue<E[K]> : [I[K]] extends ExtractFunctionArguments<E[K]> ? ExtractFunctionReturnValue<E[K]> : BadEvolve<I[K]> : E[K] extends number | string | symbol ? EvolvingValueNotAFunction<I[K]> : Evolve7<E[K], I[K]> : I[K];
    };
    'done': ContainsAny<[E, I], {}, WrongKeys>;
}[KeySubset<E, I> extends true ? 'evaluate' : 'done'];
declare type Evolve5<E extends AnyObject, I extends AnyObject> = {
    'evaluate': ContainsType<[E, I], {}> extends true ? {} : {
        [K in keyof I]: K extends keyof E ? E[K] extends AnyFunction ? IsAny<ExtractFunctionArguments<E[K]>[0]> extends true ? ExtractFunctionReturnValue<E[K]> : [I[K]] extends ExtractFunctionArguments<E[K]> ? ExtractFunctionReturnValue<E[K]> : BadEvolve<I[K]> : E[K] extends number | string | symbol ? EvolvingValueNotAFunction<I[K]> : Evolve6<E[K], I[K]> : I[K];
    };
    'done': ContainsAny<[E, I], {}, WrongKeys>;
}[KeySubset<E, I> extends true ? 'evaluate' : 'done'];
declare type Evolve4<E extends AnyObject, I extends AnyObject> = {
    'evaluate': ContainsType<[E, I], {}> extends true ? {} : {
        [K in keyof I]: K extends keyof E ? E[K] extends AnyFunction ? IsAny<ExtractFunctionArguments<E[K]>[0]> extends true ? ExtractFunctionReturnValue<E[K]> : [I[K]] extends ExtractFunctionArguments<E[K]> ? ExtractFunctionReturnValue<E[K]> : BadEvolve<I[K]> : E[K] extends number | string | symbol ? EvolvingValueNotAFunction<I[K]> : Evolve5<E[K], I[K]> : I[K];
    };
    'done': ContainsAny<[E, I], {}, WrongKeys>;
}[KeySubset<E, I> extends true ? 'evaluate' : 'done'];
declare type Evolve3<E extends AnyObject, I extends AnyObject> = {
    'evaluate': ContainsType<[E, I], {}> extends true ? {} : {
        [K in keyof I]: K extends keyof E ? E[K] extends AnyFunction ? IsAny<ExtractFunctionArguments<E[K]>[0]> extends true ? ExtractFunctionReturnValue<E[K]> : [I[K]] extends ExtractFunctionArguments<E[K]> ? ExtractFunctionReturnValue<E[K]> : BadEvolve<I[K]> : E[K] extends number | string | symbol ? EvolvingValueNotAFunction<I[K]> : Evolve4<E[K], I[K]> : I[K];
    };
    'done': ContainsAny<[E, I], {}, WrongKeys>;
}[KeySubset<E, I> extends true ? 'evaluate' : 'done'];
declare type Evolve2<E extends AnyObject, I extends AnyObject> = {
    'evaluate': ContainsType<[E, I], {}> extends true ? {} : {
        [K in keyof I]: K extends keyof E ? E[K] extends AnyFunction ? IsAny<ExtractFunctionArguments<E[K]>[0]> extends true ? ExtractFunctionReturnValue<E[K]> : [I[K]] extends ExtractFunctionArguments<E[K]> ? ExtractFunctionReturnValue<E[K]> : BadEvolve<I[K]> : E[K] extends number | string | symbol ? EvolvingValueNotAFunction<I[K]> : Evolve3<E[K], I[K]> : I[K];
    };
    'done': ContainsAny<[E, I], {}, WrongKeys>;
}[KeySubset<E, I> extends true ? 'evaluate' : 'done'];
export declare type Evolve<E extends AnyObject, I extends AnyObject> = {
    'evaluate': ContainsType<[E, I], {}> extends true ? {} : {
        [K in keyof I]: K extends keyof E ? E[K] extends AnyFunction ? IsAny<ExtractFunctionArguments<E[K]>[0]> extends true ? ExtractFunctionReturnValue<E[K]> : [I[K]] extends ExtractFunctionArguments<E[K]> ? ExtractFunctionReturnValue<E[K]> : BadEvolve<I[K]> : E[K] extends number | string | symbol ? EvolvingValueNotAFunction<I[K]> : Evolve2<E[K], I[K]> : I[K];
    };
    'done': ContainsAny<[E, I], {}, WrongKeys>;
}[KeySubset<E, I> extends true ? 'evaluate' : 'done'];
export declare type EvolveRecursive<E extends AnyObject, I extends AnyObject, FirstArgument = ExtractFunctionArguments<E[keyof E]>[0]> = KeySubset<E, I> extends true ? {
    [K in keyof I]: K extends keyof E ? E[K] extends AnyFunction ? [I[K]] extends ExtractFunctionArguments<E[K]> ? ExtractFunctionReturnValue<E[K]> : BadEvolve<I[K]> : EvolveRecursive<E[K], I[K]> : I[K];
} : ContainsAny<[E, I], {}, WrongKeys>;
export {};