import type { Sync } from "./model";
export declare const Do: import("../../../prelude/dist").Do<["Sync"], import("../Task/Managed").V>;
declare const of: Sync<unknown, never, {}>;
export { of as do };
export declare const letS: <K, N extends string, A>(
   name: Exclude<N, keyof K>,
   f: (_: K) => A
) => <R, E>(
   mk: Sync<R, E, K>
) => Sync<
   R,
   E,
   {
      [k in N | keyof K]: k extends keyof K ? K[k] : A;
   }
>;
export declare const bindS: <R, E, A, K, N extends string>(
   name: Exclude<N, keyof K>,
   f: (_: K) => Sync<R, E, A>
) => <R2, E2>(
   mk: Sync<R2, E2, K>
) => Sync<
   R & R2,
   E | E2,
   {
      [k in N | keyof K]: k extends keyof K ? K[k] : A;
   }
>;
export declare const bindToS: <K, N extends string>(
   name: Exclude<N, keyof K>
) => <R, E, A>(
   fa: Sync<R, E, A>
) => Sync<
   R,
   E,
   {
      [k in Exclude<N, keyof K>]: A;
   }
>;
//# sourceMappingURL=do.d.ts.map