import { Effect } from "@effect/io/Effect";
import { Case } from "@effect-ts/system/Case";
import type { AnyError } from "../_schema.js";
import type { Parser, ParserEnv } from "../Parser.js";
/**
 * The Effect fails with the generic `E` type when the parser produces an invalid result
 * Otherwise success with the valid result.
 */
export declare function condemn<X, E, A>(self: Parser<X, E, A>): (a: X, env?: ParserEnv) => Effect<never, E, A>;
export declare class CondemnException extends Case<{
    readonly message: string;
}> {
    readonly _tag = "CondemnException";
    toString(): string;
}
export declare class ThrowableCondemnException extends Error {
    readonly error: AnyError;
    readonly _tag = "CondemnException";
    constructor(error: AnyError);
}
/**
 * The Effect fails with `ThrowableCondemnException` when the parser produces an invalid result.
 * Otherwise succeeds with the valid result.
 */
export declare function condemnFail<X, A>(self: Parser<X, AnyError, A>): (a: X, env?: ParserEnv) => import("@effect/io/Effect").Effect<never, CondemnException, A>;
/**
 * The Effect dies with `ThrowableCondemnException` when the parser produces an invalid result.
 * Otherwise succeeds with the valid result.
 */
export declare function condemnDie<X, A>(self: Parser<X, AnyError, A>): (a: X, env?: ParserEnv) => import("@effect/io/Effect").Effect<never, never, A>;
/**
 * Throws a classic `ThrowableCondemnException` when the parser produces an invalid result.
 * Otherwise returns the valid result.
 */
export declare function unsafe<X, A>(self: Parser<X, AnyError, A>): (a: X, env?: ParserEnv) => A;
//# sourceMappingURL=condemn.d.ts.map