/**
 * A Box type that encapsulates a value and provides methods to manipulate it.
 * 値を包み込み、操作するためのメソッドを提供する Box 型。
 */
export type Box<T> = {
    readonly isBox: true;
    /**
     * Applies a function to the value inside the Box and returns a new Box.
     * Box 内の値に関数を適用し、新しい Box を返します。
     * @param fn - A function to apply to the Box value. / Box の値に適用する関数。
     */
    readonly map: <U>(fn: (value: T) => U) => Box<U>;
    /**
     * Applies a function to the value inside the Box and returns a new Box.
     * Alias for `map`.
     * Box 内の値に関数を適用し、新しい Box を返します。
     * `map` のエイリアス。
     * @param fn - A function to apply to the Box value. / Box の値に適用する関数。
     */
    readonly "<$>": <U>(fn: (value: T) => U) => Box<U>;
    /**
     * Applies a boxed function to a boxed value and returns a new Box.
     * Box に包まれた関数を別の Box に適用し、新しい Box を返します。
     * @param boxValue - A Box containing a value to apply the function to.
     *                   / 関数を適用する値を含む Box。
     */
    readonly apply: <A, B>(this: Box<(a: A) => B>, boxValue: Box<A>) => Box<B>;
    /**
     * Applies a boxed function to a boxed value and returns a new Box.
     * Alias for `apply`.
     * Box に包まれた関数を別の Box に適用し、新しい Box を返します。
     * `apply` のエイリアス。
     * @param boxValue - A Box containing a value to apply the function to.
     *                   / 関数を適用する値を含む Box。
     */
    readonly "<*>": <A, B>(this: Box<(a: A) => B>, boxValue: Box<A>) => Box<B>;
    /**
     * Applies a function that returns a Box to the value inside this Box and flattens the result.
     * Box 内の値に Box を返す関数を適用し、その結果を平坦化して返します。
     * @param fn - A function that returns a Box. / Box を返す関数。
     */
    readonly flatMap: <U>(fn: (value: T) => Box<U>) => Box<U>;
    /**
     * Applies a function that returns a Box to the value inside this Box and flattens the result.
     * Alias for `flatMap`.
     * Box 内の値に Box を返す関数を適用し、その結果を平坦化して返します。
     * `flatMap` のエイリアス。
     * @param fn - A function that returns a Box. / Box を返す関数。
     */
    readonly ">>=": <U>(fn: (value: T) => Box<U>) => Box<U>;
    /**
     * Gets the value inside the Box.
     * Box 内の値を取得します。
     */
    readonly getValue: () => T;
};
/**
 * Adapter type for Do's `$` parameter.
 * `$` は `yield* $(Box.pack(...))` のためのアダプタ関数です。
 */
export type $Box = <A>(fa: Box<A>) => Generator<any, A, any>;
/**
 * Creates a new Box containing the given value.
 * 指定された値を含む新しい Box を作成します。
 * @param value - The value to encapsulate. / 包み込む値。
 */
declare const box: <T>(value: T) => Box<T>;
/**
 * Checks if the given value is a Box.
 * 指定された値が Box かどうかを判定します。
 * @param value - The value to check. / 判定する値。
 */
export declare const isBox: <T>(value: any) => value is Box<T>;
declare function Do<T, U>(generatorFunc: () => Generator<Box<T>, U | Box<U>, T>): Box<U>;
declare function Do<R>(g: ($: <A>(fa: Box<A>) => Generator<any, A, any>) => Generator<any, R, any>): Box<R>;
/**
 * Box utility object containing helpers like `pack` and `isBox`.
 * `pack` や `isBox` を含む Box ユーティリティオブジェクト。
 */
export declare const Box: {
    do: typeof Do;
    pack: typeof box;
    isBox: typeof isBox;
};
export {};