import * as z from "zod/mini";
/**
 * This notification can be sent by either side to indicate that it is
 * cancelling a previously-issued request.
 *
 * The request SHOULD still be in-flight, but due to communication latency, it
 * is always possible that this notification MAY arrive after the request has
 * already finished.
 *
 * This notification indicates that the result will be unused, so any associated
 * processing SHOULD cease.
 *
 * A client MUST NOT attempt to cancel its `initialize` request.
 */
export declare const CancelledNotificationSchema: z.ZodMiniObject<{
    method: z.ZodMiniLiteral<"notifications/cancelled">;
    params: z.ZodMiniObject<{
        _meta: z.ZodMiniOptional<z.ZodMiniObject<{}, z.core.$loose>>;
        requestId: z.ZodMiniUnion<readonly [z.ZodMiniString<string>, z.ZodMiniNumberFormat]>;
        reason: z.ZodMiniOptional<z.ZodMiniString<string>>;
    }, z.core.$loose>;
}, z.core.$strip>;
/**
 * This notification is sent from the client to the server after initialization
 * has finished.
 */
export declare const InitializedNotificationSchema: z.ZodMiniObject<{
    params: z.ZodMiniOptional<z.ZodMiniObject<{
        _meta: z.ZodMiniOptional<z.ZodMiniObject<{}, z.core.$loose>>;
    }, z.core.$loose>>;
    method: z.ZodMiniLiteral<"notifications/initialized">;
}, z.core.$strip>;
/**
 * An out-of-band notification used to inform the receiver of a progress update
 * for a long-running request.
 */
export declare const ProgressNotificationSchema: z.ZodMiniObject<{
    method: z.ZodMiniLiteral<"notifications/progress">;
    params: z.ZodMiniObject<{
        progress: z.ZodMiniNumber<number>;
        total: z.ZodMiniOptional<z.ZodMiniNumber<number>>;
        _meta: z.ZodMiniOptional<z.ZodMiniObject<{}, z.core.$loose>>;
        progressToken: z.ZodMiniUnion<readonly [z.ZodMiniString<string>, z.ZodMiniNumberFormat]>;
    }, z.core.$strip>;
}, z.core.$strip>;