export * from "fp-ts/Option";
import { IO } from "fp-ts/IO";
import * as O from "fp-ts/Option";
import { Option } from "fp-ts/Option";
export type ExtractOptionType<T extends Option<any>> = T extends Option<infer A> ? A : never;
export declare function chainFirstIOK<A, B>(f: (a: A) => IO<B>): (o: Option<A>) => O.Option<A>;
export declare const doIfSome: typeof chainFirstIOK;
export declare function doIfNone<A, B>(f: () => IO<B>): (o: Option<A>) => O.Option<A>;
export declare function getOrThrow<A, B extends Error>(f: () => B): (o: Option<A>) => A;
export declare function run<A extends unknown[], B>(o: Option<(...args: A) => B>): (...args: A) => O.Option<(...args: A) => B>;
export declare const bindM: <D extends Record<string, O.Option<any>>>(dependencies: D) => O.Option<{ readonly [K in keyof D]: D[K] extends O.Option<infer O> ? O : any; }>;