/**
 * Do notation for ReaderIOResult
 * it allows you to chain multiple ReaderIOResult computations together
 *
 * @example
 * ```ts
 * pipe(
 *  Do,
 *  bind('a', () => of(1)),
 *  bind('b', ({ a }) => of(a + 1)),
 *  map(({ a, b }) => a + b),
 * )
 * ```
 */
export declare const Do: import("./reader-io-result.types").ReaderIOResult<{}, never, unknown>;
/**
 * bind an ReaderIOResult to a name
 * @param name name of the ReaderIOResult
 * @param f function that returns a ReaderIOResult
 * @returns ReaderIOResult with the name binded
 *
 * @example
 * ```ts
 * pipe(
 *  Do,
 *  bind('a', () => of(1)),
 *  bind('b', ({ a }) => of(a + 1)),
 *  map(({ a, b }) => a + b),
 * )
 * ```
 */
export declare const bind: <A1, A2, A3, A4, A5>(args_0: A1 extends string ? Exclude<A1, keyof A2> : never, args_1: (args_0: A2) => import("./reader-io-result.types").ReaderIOResult<A3, A4, A5>) => <B1, B2>(args_0: import("./reader-io-result.types").ReaderIOResult<A2, B1, B2>) => import("./reader-io-result.types").ReaderIOResult<A1 extends string ? { [K in A1 | keyof A2]: K extends keyof A2 ? A2[K] : A3; } : never, A4 | B1, A5 & B2>;
declare const $let: <A1, A2, A3>(args_0: A1 extends string ? Exclude<A1, keyof A2> : never, args_1: (args_0: A2) => A3) => <B1, B2>(args_0: import("./reader-io-result.types").ReaderIOResult<A2, B1, B2>) => import("./reader-io-result.types").ReaderIOResult<A1 extends string ? { [K in A1 | keyof A2]: K extends keyof A2 ? A2[K] : A3; } : never, B1, B2>;
export { $let as let };