export * from "fp-ts/Either";
import { IO } from "fp-ts/IO";
import { Either } from "fp-ts/Either";
export type ExtractEitherLeftType<T extends Either<any, any>> = T extends Either<infer E, any> ? E : never;
export type ExtractEitherRightType<T extends Either<any, any>> = T extends Either<any, infer A> ? A : never;
export declare function chainFirstIOK<A, B>(f: (a: A) => IO<B>): <E>(e: Either<E, A>) => Either<E, A>;
export declare const doIfRight: typeof chainFirstIOK;
export declare function doIfLeft<A, B>(f: (a: A) => IO<B>): <E>(e: Either<A, E>) => Either<A, E>;
export declare function doIfLeftOrRight<A, B, E>(f: (a: A | B) => IO<E>): (e: Either<A, B>) => Either<A, B>;
export declare const bindM: <E>() => <D extends Record<string, Either<E, any>>>(dependencies: D) => Either<E, { readonly [K in keyof D]: D[K] extends Either<E, infer R> ? R : any; }>;