import type { Sync } from "./model";
export declare const foldM_: <R, E, A, R1, E1, B, R2, E2, C>(
   fa: Sync<R, E, A>,
   onFailure: (e: E) => Sync<R1, E1, B>,
   onSuccess: (a: A) => Sync<R2, E2, C>
) => Sync<R & R1 & R2, E1 | E2, B | C>;
export declare const foldM: <E, A, R1, E1, B, R2, E2, C>(
   onFailure: (e: E) => Sync<R1, E1, B>,
   onSuccess: (a: A) => Sync<R2, E2, C>
) => <R>(fa: Sync<R, E, A>) => Sync<R & R1 & R2, E1 | E2, B | C>;
export declare const fold_: <R, E, A, B, C>(
   fa: Sync<R, E, A>,
   onFailure: (e: E) => B,
   onSuccess: (a: A) => C
) => Sync<R, never, B | C>;
export declare const fold: <E, A, B, C>(
   onFailure: (e: E) => B,
   onSuccess: (a: A) => C
) => <R>(fa: Sync<R, E, A>) => Sync<R, never, B | C>;
export declare const catchAll_: <R, E, A, Q, D, B>(
   fa: Sync<R, E, A>,
   onFailure: (e: E) => Sync<Q, D, B>
) => Sync<Q & R, D, A | B>;
export declare const catchAll: <E, Q, D, B>(
   onFailure: (e: E) => Sync<Q, D, B>
) => <R, A>(fa: Sync<R, E, A>) => Sync<Q & R, D, A | B>;
//# sourceMappingURL=combinators.d.ts.map