import { AStepper, TStepperSteps } from '../lib/astepper.js';
type TStripOptionalPatterns<S extends string> = S extends `${infer Before}(${string})?${infer After}` ? TStripOptionalPatterns<`${Before}${After}`> : S;
type TPlaceholderEntries<S extends string> = TPlaceholderEntriesImpl<TStripOptionalPatterns<S>>;
type TPlaceholderEntriesImpl<S extends string> = S extends `${string}{${infer Placeholder}}${infer After}` ? [...TPlaceholderEntry<Placeholder>, ...TPlaceholderEntriesImpl<After>] : [];
type TPlaceholderEntry<P extends string> = P extends `${infer Name}:${infer Domain}` ? [[Name, Domain]] : [[P, undefined]];
type TPlaceholderValueType<Name extends string, Domain extends string | undefined> = Domain extends 'statement' ? string | TActionExecutor<string> : Name extends 'statement' ? string | TActionExecutor<string> : string;
type TPlaceholderDomain<Entries extends ReadonlyArray<[string, string | undefined]>, Name extends string> = Extract<Entries[number], [Name, string | undefined]> extends [Name, infer Domain] ? Domain extends string | undefined ? Domain : undefined : undefined;
type TArgsInputFromEntries<Entries extends ReadonlyArray<[string, string | undefined]>> = {
    [K in Entries[number][0]]: TPlaceholderValueType<K, TPlaceholderDomain<Entries, K>>;
};
type TArgsResolvedFromEntries<Entries extends ReadonlyArray<[string, string | undefined]>> = {
    [K in Entries[number][0]]: string;
};
type TActionArgsInput<S extends string> = TArgsInputFromEntries<TPlaceholderEntries<S>>;
type TActionArgsResolved<S extends string> = TArgsResolvedFromEntries<TPlaceholderEntries<S>>;
export type TActionExecutor<S extends string> = () => {
    actionName: string;
    args: TActionArgsResolved<S>;
    gwta: string;
};
export type TCurriedAction<S extends string> = (args: TActionArgsInput<S>) => TActionExecutor<S>;
export type TKirejiStep = string | TActionExecutor<string>;
export type TKirejiExport = {
    [featureName: string]: TKirejiStep[] | string;
};
type TActionsFromStepper<S extends TStepperSteps> = {
    [K in keyof S]: S[K] extends {
        gwta: infer G;
    } ? G extends string ? TCurriedAction<G> : never : never;
};
type TStepMap<T extends AStepper> = T extends {
    typedSteps: infer U;
} ? U extends TStepperSteps ? U : T['steps'] : T['steps'];
export declare const withAction: <T extends AStepper>(stepper: T) => TActionsFromStepper<TStepMap<T>>;
export {};
//# sourceMappingURL=withAction.d.ts.map