/**
 * The `Redacted` module wraps sensitive values so normal rendering paths show
 * a placeholder instead of the underlying value. It is designed to reduce
 * accidental disclosure in logs, error messages, JSON output, and inspection
 * output while still allowing trusted code to recover the original value.
 *
 * **Mental model**
 *
 * - A `Redacted<A>` carries an underlying value of type `A` behind a wrapper
 * - String, JSON, and inspection output render as `<redacted>` or
 *   `<redacted:label>` when a label is provided
 * - {@link value} retrieves the underlying value and should be used only at
 *   trusted boundaries
 * - Equality and hashing are based on the underlying value, not the redacted
 *   placeholder
 *
 * **Common tasks**
 *
 * - Wrap a secret with {@link make}
 * - Check unknown input with {@link isRedacted}
 * - Recover the secret at a trusted boundary with {@link value}
 * - Remove the stored association with {@link wipeUnsafe}
 * - Compare redacted values with an underlying equivalence via
 *   {@link makeEquivalence}
 *
 * **Gotchas**
 *
 * - `Redacted` is not encryption and does not zero memory; it reduces
 *   accidental display of sensitive values
 * - Labels are visible in rendered output, so labels must not contain secrets
 * - After {@link wipeUnsafe}, calling {@link value} on the same wrapper fails
 *
 * **Example** (Rendering a redacted value)
 *
 * ```ts
 * import { Redacted } from "effect"
 *
 * const token = Redacted.make("secret-token", { label: "api-token" })
 *
 * String(token) // "<redacted:api-token>"
 * Redacted.value(token) // "secret-token"
 * ```
 *
 * @since 3.3.0
 */
import * as Equal from "./Equal.ts";
import * as Equivalence from "./Equivalence.ts";
import type { Pipeable } from "./Pipeable.ts";
import type { Covariant } from "./Types.ts";
declare const TypeId = "~effect/data/Redacted";
/**
 * A wrapper for sensitive values whose string, JSON, and inspection output is
 * redacted.
 *
 * **When to use**
 *
 * Use to carry sensitive values while reducing accidental exposure in string,
 * JSON, and inspection output.
 *
 * **Gotchas**
 *
 * The underlying value is still stored in memory and can be recovered with
 * `Redacted.value` until the wrapper is wiped or becomes unreachable. Use
 * `Redacted` to reduce accidental disclosure in logs and diagnostics, not as a
 * cryptographic protection mechanism.
 *
 * **Example** (Creating redacted values)
 *
 * ```ts
 * import { Redacted } from "effect"
 *
 * // Create a redacted value to protect sensitive information
 * const apiKey = Redacted.make("secret-key")
 * const userPassword = Redacted.make("user-password")
 *
 * // TypeScript will infer the types as Redacted<string>
 * ```
 *
 * @category models
 * @since 3.3.0
 */
export interface Redacted<out A = string> extends Redacted.Variance<A>, Equal.Equal, Pipeable {
    readonly label: string | undefined;
}
/**
 * Namespace containing type-level members associated with `Redacted` values.
 *
 * **When to use**
 *
 * Use to access type-level helpers associated with `Redacted`.
 *
 * **Example** (Using namespace utilities)
 *
 * ```ts
 * import { Redacted } from "effect"
 *
 * // Use the Redacted namespace for type-level operations
 * const secret = Redacted.make("my-secret")
 *
 * // The namespace contains utilities for working with Redacted values
 * const isRedacted = Redacted.isRedacted(secret) // true
 * ```
 *
 * @since 3.3.0
 */
export declare namespace Redacted {
    /**
     * Type-level variance marker for `Redacted`.
     *
     * **When to use**
     *
     * Use when defining internals that need to preserve the covariant value type
     * carried by `Redacted`.
     *
     * **Details**
     *
     * This interface records the covariant value type carried by a `Redacted`
     * value and is not normally referenced directly by users.
     *
     * @category models
     * @since 3.3.0
     */
    interface Variance<out A> {
        readonly [TypeId]: {
            readonly _A: Covariant<A>;
        };
    }
    /**
     * Extracts the underlying value type from a `Redacted` type.
     *
     * **When to use**
     *
     * Use to infer the sensitive value type from an existing `Redacted` type.
     *
     * **Example** (Extracting the redacted value type)
     *
     * ```ts
     * import { Redacted } from "effect"
     *
     * type ApiKey = Redacted.Redacted<{ readonly token: string }>
     * type ApiKeyValue = Redacted.Redacted.Value<ApiKey>
     *
     * const rotate = (value: ApiKeyValue): ApiKeyValue => ({
     *   token: `${value.token}:rotated`
     * })
     *
     * console.log(rotate({ token: "secret" })) // { token: "secret:rotated" }
     * ```
     *
     * @category utility types
     * @since 3.3.0
     */
    type Value<T extends Redacted<any>> = [T] extends [Redacted<infer _A>] ? _A : never;
}
/**
 * Returns `true` if a value is a `Redacted` wrapper.
 *
 * **When to use**
 *
 * Use to validate unknown input and narrow it to `Redacted`.
 *
 * **Details**
 *
 * When this function returns `true`, TypeScript narrows the value to
 * `Redacted<unknown>`.
 *
 * **Example** (Checking for redacted values)
 *
 * ```ts
 * import { Redacted } from "effect"
 *
 * const secret = Redacted.make("my-secret")
 * const plainString = "not-secret"
 *
 * console.log(Redacted.isRedacted(secret)) // true
 * console.log(Redacted.isRedacted(plainString)) // false
 * ```
 *
 * @category refinements
 * @since 3.3.0
 */
export declare const isRedacted: (u: unknown) => u is Redacted<unknown>;
/**
 * Creates a `Redacted` wrapper for a sensitive value.
 *
 * **When to use**
 *
 * Use to wrap a sensitive value so normal string, JSON, and inspection output
 * is redacted.
 *
 * **Details**
 *
 * The wrapper redacts string, JSON, and inspection output to reduce accidental
 * disclosure. The original value remains retrievable with `Redacted.value`
 * until the wrapper is wiped or becomes unreachable.
 *
 * **Example** (Creating a redacted value)
 *
 * ```ts
 * import { Redacted } from "effect"
 *
 * const API_KEY = Redacted.make("1234567890")
 * ```
 *
 * @category constructors
 * @since 3.3.0
 */
export declare const make: <T>(value: T, options?: {
    readonly label?: string | undefined;
}) => Redacted<T>;
/**
 * Retrieves the original value from a `Redacted` instance. Use this function
 * with caution, as it exposes the sensitive data.
 *
 * **When to use**
 *
 * Use when the underlying sensitive value is required at a trusted boundary.
 *
 * **Example** (Retrieving a redacted value)
 *
 * ```ts
 * import { Redacted } from "effect"
 * import * as assert from "node:assert"
 *
 * const API_KEY = Redacted.make("1234567890")
 *
 * assert.equal(Redacted.value(API_KEY), "1234567890")
 * ```
 *
 * @category getters
 * @since 3.3.0
 */
export declare const value: <T>(self: Redacted<T>) => T;
/**
 * Deletes the stored value for a `Redacted` wrapper, making future
 * `Redacted.value` calls on that wrapper fail.
 *
 * **When to use**
 *
 * Use when a `Redacted` wrapper should no longer be able to reveal its stored
 * value.
 *
 * **Gotchas**
 *
 * This unsafe operation does not zero memory and does not affect other
 * references to the original value. It only removes the value from the
 * internal redacted registry.
 *
 * **Example** (Wiping a redacted value)
 *
 * ```ts
 * import { Redacted } from "effect"
 * import * as assert from "node:assert"
 *
 * const API_KEY = Redacted.make("1234567890")
 *
 * assert.equal(Redacted.value(API_KEY), "1234567890")
 *
 * Redacted.wipeUnsafe(API_KEY)
 *
 * assert.throws(
 *   () => Redacted.value(API_KEY),
 *   new Error("Unable to get redacted value")
 * )
 * ```
 *
 * @category unsafe
 * @since 4.0.0
 */
export declare const wipeUnsafe: <T>(self: Redacted<T>) => boolean;
/**
 * Generates an equivalence relation for `Redacted<A>` values based on an
 * equivalence relation for the underlying values `A`. This function is useful
 * for comparing `Redacted` instances without exposing their contents.
 *
 * **When to use**
 *
 * Use when an API needs an `Equivalence` for `Redacted` values based on their
 * underlying values.
 *
 * **Example** (Comparing redacted values)
 *
 * ```ts
 * import { Equivalence, Redacted } from "effect"
 * import * as assert from "node:assert"
 *
 * const API_KEY1 = Redacted.make("1234567890")
 * const API_KEY2 = Redacted.make("1-34567890")
 * const API_KEY3 = Redacted.make("1234567890")
 *
 * const equivalence = Redacted.makeEquivalence(Equivalence.strictEqual<string>())
 *
 * assert.equal(equivalence(API_KEY1, API_KEY2), false)
 * assert.equal(equivalence(API_KEY1, API_KEY3), true)
 * ```
 *
 * @category instances
 * @since 4.0.0
 */
export declare const makeEquivalence: <A>(isEquivalent: Equivalence.Equivalence<A>) => Equivalence.Equivalence<Redacted<A>>;
export {};
//# sourceMappingURL=Redacted.d.ts.map