import { STM } from "@effect/core/stm/STM/definition/base";
import { LazyArg } from "@tsplus/stdlib/data/Function";
import type { MergeTuple } from "@tsplus/stdlib/data/Tuple";
/**
 * Sequentially zips this transactional effect with the that transactional
 * effect.
 * @tsplus operator ets/STM +
 * @tsplus fluent ets/STM zipFlatten
 * @tsplus location "@effect/core/stm/STM/operations/zipFlatten"
 */
export declare function zipFlatten_<R, E, A, R2, E2, A2>(self: STM<R, E, A>, that: LazyArg<STM<R2, E2, A2>>, __tsplusTrace?: string): STM<R | R2, E | E2, MergeTuple<A, A2>>;
/**
 * Sequentially zips this transactional effect with the that transactional
 * effect.
 * @tsplus static ets/STM/Aspects zipFlatten
 * @tsplus pipeable ets/STM zipFlatten
 * @tsplus location "@effect/core/stm/STM/operations/zipFlatten"
 */
export declare const zipFlatten: <R2, E2, A2>(that: import("@tsplus/stdlib/data/Function").LazyArg<import("../definition").STM<R2, E2, A2>>, __tsplusTrace?: string) => <R, E, A>(self: import("../definition").STM<R, E, A>) => import("../definition").STM<R | R2, E | E2, MergeTuple<A, A2>>;
//# sourceMappingURL=zipFlatten.d.ts.map