import { Effect } from 'effector';
import { EventCallable } from 'effector';
import { Store } from 'effector';
import { StoreWritable } from 'effector';
import { Unit } from 'effector';
import { UnitTargetable } from 'effector';
import { UnitValue } from 'effector';

declare type ClockShape<T> = Unit<T> | Unit<T>[];

declare type ConfigFactory<Config> = Config | (() => Config);

export declare function createAction<Target extends TargetShape | UnitTargetable<any>, Src extends SoureShape | Store<any>, Clc extends ClockShape<any>>(config: {
    clock: Clc;
    source: Src;
    target: Target;
    fn: (target: CreateCallableTargets<Target>, source: GetSourceValue<Src>, clock: GetClockValue<Clc>) => void;
}): void;

export declare function createAction<Target extends TargetShape | UnitTargetable<any>, Clc extends ClockShape<any>>(config: {
    clock: Clc;
    target: Target;
    fn: (target: CreateCallableTargets<Target>, clock: GetClockValue<Clc>) => void;
}): void;

export declare function createAction<Target extends TargetShape | UnitTargetable<any>, Src extends SoureShape | Store<any>, ClockValue = void>(config: {
    source: Src;
    target: Target;
    fn: (target: CreateCallableTargets<Target>, source: GetSourceValue<Src>, clock: ClockValue) => void;
}): EventCallable<ClockValue>;

export declare function createAction<Target extends TargetShape | UnitTargetable<any>, ClockValue = void>(config: {
    target: Target;
    fn: (target: CreateCallableTargets<Target>, clock: ClockValue) => void;
}): EventCallable<ClockValue>;

export declare function createAction<Target extends TargetShape | UnitTargetable<any>, Src extends SoureShape | Store<any>, Clc extends ClockShape<any>>(clock: Clc, config: {
    source: Src;
    target: Target;
    fn: (target: CreateCallableTargets<Target>, source: GetSourceValue<Src>, clock: GetClockValue<Clc>) => void;
}): void;

export declare function createAction<Target extends TargetShape | UnitTargetable<any>, Clc extends ClockShape<any>>(clock: Clc, config: {
    target: Target;
    fn: (target: CreateCallableTargets<Target>, clock: GetClockValue<Clc>) => void;
}): void;

export declare function createAsyncAction<Target extends TargetShape, Src extends SoureShape | Store<any>, ClockValue = void, ActionResult = void>(configFactory: ConfigFactory<{
    source: Src;
    target: Target;
    fn: (target: CreateCallableTargets_2<Target>, getSource: () => Promise<GetSourceValue<Src>>, clock: ClockValue) => ActionResult;
}>): Effect<ClockValue, Awaited<ActionResult>, unknown>;

export declare function createAsyncAction<Target extends TargetShape, ClockValue = void, ActionResult = void>(configFactory: ConfigFactory<{
    target: Target;
    fn: (target: CreateCallableTargets_2<Target>, clock: ClockValue) => ActionResult;
}>): Effect<ClockValue, Awaited<ActionResult>, unknown>;

declare type CreateCallableTargets<Target extends TargetShape | UnitTargetable<any>> = Target extends Record<string, UnitTargetable<any>> ? {
    [K in keyof Target]: CreateCallableTargets<Target[K]>;
} : Target extends UnitTargetable<any> ? Target extends StoreWritable<any> ? ((valueOrFn: UnitValue<Target> | ((value: UnitValue<Target>) => UnitValue<Target>)) => UnitValue<Target>) & {
    reinit: () => void;
} : (value: UnitValue<Target>) => UnitValue<Target> : never;

declare type CreateCallableTargets_2<Target extends TargetShape | UnitTargetable<any>> = Target extends Record<string, UnitTargetable<any>> ? {
    [K in keyof Target]: CreateCallableTargets_2<Target[K]>;
} : Target extends UnitTargetable<any> ? Target extends StoreWritable<any> ? ((valueOrFn: UnitValue<Target>) => UnitValue<Target>) & {
    reinit: () => void;
} : Target extends Effect<infer EffectPayload, infer EffectResult> ? (payload: EffectPayload) => Promise<EffectResult> : (value: UnitValue<Target>) => UnitValue<Target> : never;

declare type GetClockValue<Clc extends ClockShape<any>> = Clc extends ClockShape<infer Val> ? Val : never;

declare type GetSourceValue<Src extends Store<any> | SoureShape> = Src extends Store<infer Value> ? Value : {
    [K in RemoveDollarPrefix<keyof Src & string>]: UnitValue<Src[keyof Src & IsNever<K & keyof Src, `$${K}`, K>]>;
};

declare type IsNever<T, Then, Else> = [T] extends [never] ? Then : Else;

declare type RemoveDollarPrefix<Key extends string> = Key extends `$${infer K}` ? K : Key;

declare type SoureShape = Record<string, Store<any>>;

declare type TargetShape = Record<string, UnitTargetable<any>>;

export { }