import { L, U } from 'ts-toolbelt';
import { StateReducerInit } from '#transformers/stateReducer/Reducers';
/**
 * Represents the Writable (output) types of StateReducer actions.
 *
 * @group Transformers
 * @example
 * ```
 * type T = StateReducerOutput<{ foo: string, bar: number, nothing: never }, string>
 * // | { action: 'foo', param: string, state: string }
 * // | { action: 'bar', param: number, state: string }
 * // | { action: 'nothing', state: string }
 * ```
 */
export type StateReducerOutput<Actions extends Record<string, unknown>, State> = AccumulateStateReducerOutput<Actions, Readonly<State>, U.ListOf<keyof Actions>, {
    action: StateReducerInit;
    param: void;
    state: Readonly<State>;
}>;
/**
 * {@inheritdoc StateReducerOutput}
 */
type AccumulateStateReducerOutput<Actions extends Record<string, unknown>, State, ActionNames extends readonly (keyof Actions)[], Acc extends {
    action: keyof Actions;
    param: unknown;
    state: State;
}> = L.Length<ActionNames> extends 0 ? Acc : AccumulateStateReducerOutput<Actions, State, L.Tail<ActionNames>, Acc | {
    action: L.Head<ActionNames>;
    param: Actions[L.Head<ActionNames>];
    state: State;
}>;
export {};