import type { Either } from "../Either";
import type { FunctionN, Lazy } from "../Function";
import type { IO } from "../IO";
import type { EIO } from "./model";
export declare const fail: <E = never, A = never>(e: E) => EIO<E, A>;
export declare const succeed: <E = never, A = never>(a: A) => EIO<E, A>;
export declare const total: <E = never, A = never>(thunk: () => A) => EIO<E, A>;
export declare const leftIO: <E = never, A = never>(io: IO<E>) => EIO<E, A>;
export declare const rightIO: <E = never, A = never>(io: IO<A>) => EIO<E, A>;
export declare const fromEither: <E, A>(pab: Either<E, A>) => EIO<E, A>;
export declare const _partial: <E, A>(thunk: Lazy<A>, onThrow: (reason: unknown) => E) => EIO<E, A>;
export declare const partial: <E>(onThrow: (reason: unknown) => E) => <A>(thunk: Lazy<A>) => EIO<E, A>;
export declare const _partialK: <A extends readonly unknown[], B, E>(
   f: FunctionN<A, B>,
   onThrow: (reason: unknown) => E
) => (...args: A) => EIO<E, B>;
export declare const partialK: <E>(
   onThrow: (reason: unknown) => E
) => <A extends readonly unknown[], B>(f: FunctionN<A, B>) => (...args: A) => EIO<E, B>;
//# sourceMappingURL=constructors.d.ts.map