import { Effect, Schema } from "effect";
import { AiError, Tool } from "effect/unstable/ai";
import { FrameworkFailure, type FrameworkStage, type DomainFailure, type Success } from "./tool-executor.js";
declare const resultMessage: (result: unknown) => string;
declare const schemaMessage: (error: unknown) => string;
declare const frameworkFailure: (stage: FrameworkStage, tool: string, error: unknown) => FrameworkFailure;
export type SchemaTool = {
    readonly name: string;
    readonly parametersSchema: Schema.Constraint;
    readonly successSchema: Schema.Constraint;
    readonly failureSchema: Schema.Constraint;
};
type SchemaServicesD<S extends Schema.Constraint> = [unknown] extends [S["DecodingServices"]] ? never : S["DecodingServices"];
type SchemaServicesE<S extends Schema.Constraint> = [unknown] extends [S["EncodingServices"]] ? never : S["EncodingServices"];
export type FailureSchema<T extends SchemaTool> = T["failureSchema"];
export type ToolSchemaServices<T extends SchemaTool> = T["parametersSchema"]["EncodingServices"] | T["parametersSchema"]["DecodingServices"] | T["successSchema"]["EncodingServices"] | T["successSchema"]["DecodingServices"] | T["failureSchema"]["EncodingServices"] | T["failureSchema"]["DecodingServices"];
declare const encodeSuccess: <S extends Schema.Constraint>(tool: {
    readonly name: string;
    readonly successSchema: S;
}, result: unknown) => Effect.Effect<Success, FrameworkFailure, SchemaServicesE<S>>;
declare const encodeDomainFailure: <S extends Schema.Constraint>(tool: {
    readonly name: string;
    readonly failureSchema: S;
}, failure: unknown) => Effect.Effect<DomainFailure, FrameworkFailure, SchemaServicesE<S>>;
declare const encodeDomainCandidate: <S extends Schema.Constraint>(tool: {
    readonly name: string;
    readonly failureSchema: S;
}, failure: unknown) => Effect.Effect<DomainFailure, FrameworkFailure, SchemaServicesE<S>>;
declare const decodeInput: <S extends Schema.Constraint>(tool: {
    readonly name: string;
    readonly parametersSchema: S;
}, input: unknown) => Effect.Effect<S["Type"], FrameworkFailure, SchemaServicesD<S>>;
declare const decodeSuccess: <S extends Schema.Constraint>(tool: {
    readonly name: string;
    readonly successSchema: S;
}, result: unknown) => Effect.Effect<Success, FrameworkFailure, SchemaServicesD<S> | SchemaServicesE<S>>;
declare const aiFrameworkFailure: (tool: Tool.Any, error: AiError.AiError) => FrameworkFailure;
declare const provideSchemaServices: <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, never>;
export declare const toolResultCodec: {
    aiFrameworkFailure: typeof aiFrameworkFailure;
    decodeInput: typeof decodeInput;
    decodeSuccess: typeof decodeSuccess;
    encodeDomainCandidate: typeof encodeDomainCandidate;
    encodeDomainFailure: typeof encodeDomainFailure;
    encodeSuccess: typeof encodeSuccess;
    frameworkFailure: typeof frameworkFailure;
    provideSchemaServices: typeof provideSchemaServices;
    resultMessage: typeof resultMessage;
    schemaMessage: typeof schemaMessage;
};
export {};