import { Some } from "@fp-ts/data/Option";
import { Option } from "@fp-ts/data/Option";
export * from "@fp-ts/data/Option";
export { Option as Opt } from "@fp-ts/data/Option";
/**
 * @tsplus getter fp-ts/data/Option value
 * @tsplus location "@effect-ts-app/core/Option"
 */
export declare const getOrUndefined: <A>(self: Option<A>) => A | undefined;
/**
 * @tsplus static fp-ts/data/Option.Ops omitableToNullable
 * @tsplus location "@effect-ts-app/core/Option"
 */
export declare function omitableToNullable<T>(om: Option<T> | undefined): import("@fp-ts/data/Option").None | import("@fp-ts/data/Option").Some<T>;
/**
 * @tsplus static fp-ts/data/Option.Ops toBool
 * @tsplus location "@effect-ts-app/core/Option"
 */
export declare const toBool: (self: Option<unknown>) => boolean;
/**
 * @tsplus static fp-ts/data/Option.Ops fromBool
 * @tsplus location "@effect-ts-app/core/Option"
 */
export declare const fromBool: (b: boolean) => import("@fp-ts/data/Option").None | import("@fp-ts/data/Option").Some<boolean>;
/**
 * Access property, unwrapping Options along the path
 */
export declare function p<T, K extends KeysMatching<T, Option<any>>>(k: K): (v: Option<T>) => Option<_A<T[K]>>;
export declare function p<T, K extends keyof T>(k: K): (v: Option<T>) => Option<T[K]>;
export type _A<A> = A extends Some<infer Y> ? Y : never;
type KeysMatching<T, V> = {
    [K in keyof T]: T[K] extends V ? K : never;
}[keyof T];
export declare const PartialExceptionTypeId: unique symbol;
export type PartialExceptionTypeId = typeof PartialExceptionTypeId;
export declare class PartialException {
    readonly _typeId: PartialExceptionTypeId;
}
/**
 * Simulates a partial function
 * @tsplus static fp-ts/data/Option.Ops partial
 * @tsplus location "@effect-ts-app/core/Option"
 */
export declare function partial<ARGS extends any[], A>(f: (miss: <X>() => X) => (...args: ARGS) => A): (...args: ARGS) => Option<A>;
//# sourceMappingURL=Option.d.ts.map