import type { Scope } from "intentx-state-z";
import { LogicRuntime, type ActionFactory } from "../core/runtime";
import type { EffectDef } from "../core/effect";
import type { ComputedDef, InferComputed } from "../core";
import type { LogicFactory } from "./types";
type IntentHandler<S extends object, C extends ComputedDef<S>, P = any> = (context: {
    payload: P;
    state: () => Readonly<S & InferComputed<C>>;
    setState: (recipe: (draft: S) => void) => void;
    scope: Scope;
    signal: AbortSignal;
}) => void | Promise<void>;
type IntentRegistry<S extends object, C extends ComputedDef<S>> = {
    on: <P = any>(type: string, handler: IntentHandler<S, C, P>) => void;
    effect: <P = any>(type: string, eff: EffectDef<S, P>) => void;
};
type InferActions<A extends Record<string, ActionFactory<any, any>>> = {
    [K in keyof A]: ReturnType<A[K]>;
};
type LogicConfig<S extends object, C extends ComputedDef<S>, A extends Record<string, ActionFactory<S, C>>> = {
    name?: string;
    state: S;
    computed?: C;
    intents: Array<(bus: IntentRegistry<S, C>) => void>;
    actions: A;
};
export declare class LogicFluentBuilder<S extends object, C extends ComputedDef<S> = Record<string, never>, A extends Record<string, ActionFactory<S, C>> = {}> {
    private config;
    constructor(config: LogicConfig<S, C, A>);
    create(): LogicRuntime<S, C, InferActions<A>>;
    createIsolated(scope?: Scope): LogicRuntime<S, C, InferActions<A>>;
    name(name: string): LogicFluentBuilder<S, C, A>;
    computed<NC extends ComputedDef<S>>(computed: NC): LogicFluentBuilder<S, C & NC, A>;
    intent<P = any>(type: string, handler: IntentHandler<S, C, P>): LogicFluentBuilder<S, C, A>;
    intent(intents: Record<string, IntentHandler<S, C, any>>): LogicFluentBuilder<S, C, A>;
    effect<P = any>(type: string, eff: EffectDef<S, P>): LogicFluentBuilder<S, C, A>;
    action<K extends string, F extends ActionFactory<S, C>>(key: K, factory: F): LogicFluentBuilder<S, C, A & Record<K, F>>;
    action<NA extends Record<string, ActionFactory<S, C>>>(actions: NA): LogicFluentBuilder<S, C, A & NA>;
    build(): LogicFactory<S, C, InferActions<A>>;
}
export declare function extendLogic<S extends object, C extends ComputedDef<S>, A extends Record<string, ActionFactory<S, C>>>(factory: LogicFactory<S, C, InferActions<A>>): LogicFluentBuilder<S, C, A>;
export declare function createLogic<S extends object, C extends ComputedDef<S>, A extends Record<string, ActionFactory<S, C>>>(config: {
    name?: string;
    state: S;
    computed?: C & ComputedDef<S>;
    intents?: (bus: IntentRegistry<S, C>) => void;
    actions?: A;
}): LogicFluentBuilder<S, C, A>;
export {};