import { STM } from "@effect/core/stm/STM/definition/base";
import { LazyArg } from "@tsplus/stdlib/data/Function";
/**
 * Sequentially zips this value with the specified one, discarding the second
 * element of the tuple.
 * @tsplus operator ets/STM <
 * @tsplus fluent ets/STM zipLeft
 * @tsplus location "@effect/core/stm/STM/operations/zipLeft"
 */
export declare function zipLeft_<R, E, A, R1, E1, A1>(self: STM<R, E, A>, that: LazyArg<STM<R1, E1, A1>>): STM<R | R1, E | E1, A>;
/**
 * Sequentially zips this value with the specified one, discarding the second
 * element of the tuple.
 * @tsplus static ets/STM/Aspects zipLeft
 * @tsplus pipeable ets/STM zipLeft
 * @tsplus location "@effect/core/stm/STM/operations/zipLeft"
 */
export declare const zipLeft: <R1, E1, A1>(that: import("@tsplus/stdlib/data/Function").LazyArg<import("../definition").STM<R1, E1, A1>>) => <R, E, A>(self: import("../definition").STM<R, E, A>) => import("../definition").STM<R | R1, E | E1, A>;
//# sourceMappingURL=zipLeft.d.ts.map