import { Effect, Option } from 'effect';
import type { CommandDefinition } from '../command/index.js';
import type { AnyCommand, CommandMatcher, Resolver } from './internal.js';
export type { AnyCommand, CommandMatcher, Resolver };
/** A typed Command instance carrying the result Message type via its
 *  `effect` field, so passing `FetchWeather({ zipCode })` to `Story.Command.resolve`
 *  preserves the link between the Command and its declared result Message. */
type AnyCommandInstance<ResultMessage = unknown> = Readonly<{
    name: string;
    args?: Record<string, unknown>;
    effect: Effect.Effect<ResultMessage, any, any>;
}>;
/** An immutable test simulation of a Foldkit program. */
export type StorySimulation<Model, Message, OutMessage = undefined> = Readonly<{
    /** @internal Carries the Message type through the step chain. */
    _phantomMessage?: Message;
    model: Model;
    commands: ReadonlyArray<AnyCommand>;
    outMessage: OutMessage;
}>;
/** A callable step that sets the initial Model. Carries phantom type for compile-time validation. */
export type WithStep<Model> = Readonly<{
    _phantomModel: Model;
}> & (<M, Message, OutMessage = undefined>(simulation: StorySimulation<M, Message, OutMessage>) => StorySimulation<M, Message, OutMessage>);
/** A model-assertion step produced by {@link model}. */
export type ModelStep<Model> = Readonly<{
    readonly _tag: 'ModelStep';
    readonly assert: (model: Model) => void;
}>;
/** A single step in a story: a {@link WithStep}, a {@link ModelStep},
 *  or a simulation transform. */
export type StoryStep<Model> = WithStep<NoInfer<Model>> | ModelStep<NoInfer<Model>> | ((sim: StorySimulation<any, any, any>) => StorySimulation<any, any, any>);
/** Sets the initial Model for a test story. */
export { with_ as with };
declare const with_: <Model>(model: Model) => WithStep<Model>;
/** Sends a Message through update. Commands stay pending until resolve or
 *  resolveAll. */
export declare const message: <MessageInput>(message_: MessageInput) => <Model, Message, OutMessage>(simulation: StorySimulation<Model, Message, OutMessage>) => StorySimulation<Model, Message, OutMessage>;
/** Runs an assertion function against the current Model. */
export declare const model: <Model>(f: (model: Model) => void) => ModelStep<Model>;
/** Steps that operate on the pending Commands of a story simulation.
 *  Destructure as `const { Command } = Story` for concise call sites. */
export declare const Command: {
    /** Resolves a specific pending Command with the given result Message. */
    readonly resolve: {
        <Name extends string, ResultMessage>(definition: CommandDefinition<Name, ResultMessage>, resultMessage: ResultMessage): <Model, Message, OutMessage = undefined>(simulation: StorySimulation<Model, Message, OutMessage>) => StorySimulation<Model, Message, OutMessage>;
        <Name extends string, ResultMessage, ParentMessage>(definition: CommandDefinition<Name, ResultMessage>, resultMessage: ResultMessage, toParentMessage: (message: ResultMessage) => ParentMessage): <Model, Message, OutMessage = undefined>(simulation: StorySimulation<Model, Message, OutMessage>) => StorySimulation<Model, Message, OutMessage>;
        <ResultMessage>(instance: AnyCommandInstance<ResultMessage>, resultMessage: ResultMessage): <Model, Message, OutMessage = undefined>(simulation: StorySimulation<Model, Message, OutMessage>) => StorySimulation<Model, Message, OutMessage>;
        <ResultMessage, ParentMessage>(instance: AnyCommandInstance<ResultMessage>, resultMessage: ResultMessage, toParentMessage: (message: ResultMessage) => ParentMessage): <Model, Message, OutMessage = undefined>(simulation: StorySimulation<Model, Message, OutMessage>) => StorySimulation<Model, Message, OutMessage>;
    };
    /** Resolves listed Commands with their result Messages, cascading through any
     *  Commands the result produces. Each entry resolves exactly one matching
     *  dispatch in declaration order; compose with `Array.makeBy` for N
     *  identical responses. Resolvers carry across calls; a new entry replaces
     *  any leftovers sharing its Definition or Instance shape (latest wins). */
    readonly resolveAll: <R extends ReadonlyArray<unknown>>(...resolvers: { [K in keyof R]: Resolver<R[K]>; }) => <Model, Message, OutMessage = undefined>(simulation: StorySimulation<Model, Message, OutMessage>) => StorySimulation<Model, Message, OutMessage>;
    /** Asserts that every given Command is among the pending Commands. */
    readonly expectHas: (...matchers: ReadonlyArray<CommandMatcher>) => <Model, Message, OutMessage = undefined>(simulation: StorySimulation<Model, Message, OutMessage>) => StorySimulation<Model, Message, OutMessage>;
    /** Asserts that the pending Commands match the given definitions exactly (order-independent). */
    readonly expectExact: (...matchers: ReadonlyArray<CommandMatcher>) => <Model, Message, OutMessage = undefined>(simulation: StorySimulation<Model, Message, OutMessage>) => StorySimulation<Model, Message, OutMessage>;
    /** Asserts that there are no pending Commands. */
    readonly expectNone: () => <Model, Message, OutMessage = undefined>(simulation: StorySimulation<Model, Message, OutMessage>) => StorySimulation<Model, Message, OutMessage>;
};
/** Asserts that the OutMessage is Some with the expected value. */
export declare const expectOutMessage: <Expected>(expected: Expected) => <Model, Message, OutMessage>(simulation: StorySimulation<Model, Message, Option.Option<OutMessage>>) => StorySimulation<Model, Message, Option.Option<OutMessage>>;
/** Asserts that the OutMessage is None. */
export declare const expectNoOutMessage: () => <Model, Message, OutMessage>(simulation: StorySimulation<Model, Message, Option.Option<OutMessage>>) => StorySimulation<Model, Message, Option.Option<OutMessage>>;
/** Executes a test story. Throws if any Commands remain unresolved. */
export declare const story: {
    <Model, Message, OutMessage>(updateFn: (model: Model, message: Message) => readonly [Model, ReadonlyArray<AnyCommand>, OutMessage], ...steps: ReadonlyArray<StoryStep<NoInfer<Model>>>): void;
    <Model, Message>(updateFn: (model: Model, message: Message) => readonly [Model, ReadonlyArray<AnyCommand>], ...steps: ReadonlyArray<StoryStep<NoInfer<Model>>>): void;
};
//# sourceMappingURL=story.d.ts.map