import type { TupleIndices } from "../../lib/types";
import type { BaseNfaMachineConfig } from "../../feat/factory/config";
import { DEFAULT_STATE_NAME } from "../../feat/factory/state";
import type { INVALID_VAR_NAME, VarNameCandidateTuple, VarNameTuple } from "../factory/types";
import type { EventEmitter, EventHandlers, SelectFn, Selectors } from "../factory/nfa-types";
export type NfaConfig<S extends VarNameCandidateTuple, E extends EventHandlers<D, S, keyof E>, D extends any, H extends Selectors<D, S, keyof H>> = BaseNfaMachineConfig<S, E, D, H>;
/**
 * @description helps:
 * - type inference
 * - debugging, testing
 * - possibly middlewares, even custom ones
 *
 * definitely optional
 */
export declare const createNfaConfig: <S extends VarNameCandidateTuple = [typeof DEFAULT_STATE_NAME], E extends EventHandlers<D, S, keyof E> = {}, D extends any = never, Se extends Selectors<D, S, keyof Se> = {}>(config: NfaConfig<S, E, D, Se>) => { [K2 in Extract<keyof NfaConfig<S, E, D, Se>, (Exclude<D, undefined> extends undefined ? never : "data") | (Exclude<{ readonly [K in keyof E]: E[K] extends EventHandlers<D, S, K>[K] ? E[K] : import("../factory/nfa-types").EventHandler<D, any, S>; }, undefined> extends never ? never : "events") | (Exclude<{ readonly [K_1 in keyof Se]: Se[K_1] extends Selectors<D, S, K_1>[K_1] ? Se[K_1] : import("../factory/nfa-types").Selector<D, S, any>; }, undefined> extends never ? never : "selectors") | (Exclude<VarNameTuple<S>, undefined>[number] extends INVALID_VAR_NAME ? never : "states")>]-?: Exclude<NfaConfig<S, E, D, Se>[K2], undefined>; } & { [K3 in Exclude<keyof NfaConfig<S, E, D, Se>, ((Exclude<D, undefined> extends undefined ? never : "data") | (Exclude<{ readonly [K in keyof E]: E[K] extends EventHandlers<D, S, K>[K] ? E[K] : import("../factory/nfa-types").EventHandler<D, any, S>; }, undefined> extends never ? never : "events") | (Exclude<{ readonly [K_1 in keyof Se]: Se[K_1] extends Selectors<D, S, K_1>[K_1] ? Se[K_1] : import("../factory/nfa-types").Selector<D, S, any>; }, undefined> extends never ? never : "selectors") | (Exclude<VarNameTuple<S>, undefined>[number] extends INVALID_VAR_NAME ? never : "states")) | "transitionRules">]?: NfaConfig<S, E, D, Se>[K3]; } & ({
    readonly only?: { readonly [K in S[number]]?: readonly Exclude<S[number], K>[] | undefined; } | undefined;
    readonly deny?: { readonly [K_1 in S[number]]?: readonly Exclude<S[number], K_1>[] | undefined; } | undefined;
} | undefined extends undefined ? {} : {
    transitionRules: { [K4 in ({ readonly [K in S[number]]?: readonly Exclude<S[number], K>[] | undefined; } | undefined extends undefined ? never : "only") | ({ readonly [K_1 in S[number]]?: readonly Exclude<S[number], K_1>[] | undefined; } | undefined extends undefined ? never : "deny")]: {
        readonly only?: { readonly [K in S[number]]?: readonly Exclude<S[number], K>[] | undefined; } | undefined;
        readonly deny?: { readonly [K_1 in S[number]]?: readonly Exclude<S[number], K_1>[] | undefined; } | undefined;
    }[K4]; };
});
export declare const createNfa: <States extends VarNameCandidateTuple = [typeof DEFAULT_STATE_NAME], EHs extends EventHandlers<Data, States, keyof EHs> = {}, Data extends any = never, SEs extends Selectors<Data, States, keyof SEs> = {}>(config: NfaConfig<States, EHs, Data, SEs>, rerender?: () => void) => ({
    id: symbol;
} & (Data extends undefined ? {} : {
    data: Data;
}) & {
    state: number;
    STATE: { readonly [K in TupleIndices<States> as States[K]]: number; };
    setState: (state: number) => number | false;
    setData: (updater: (draft: Data) => void) => void;
    availableTransitions: number;
    subscribeEvents: (onEvents: <T extends keyof EHs>(eventPayloadTuple: [T, Parameters<EHs[T]>[1], boolean?]) => void) => () => void;
    _setRerenderer: (fn: typeof rerender) => void;
    _initializer: (() => void) | undefined;
}) & (EHs extends undefined ? {} : {
    event: { [K_1 in keyof EHs]: EventEmitter<EHs[K_1]>; };
}) & (SEs extends undefined ? {} : {
    select: { [K_2 in keyof SEs]: SelectFn<SEs[K_2]>; };
});