import { STM } from "@effect/core/stm/STM/definition/base";
import { TArray } from "@effect/core/stm/TArray/definition";
/**
 * Atomically evaluate the conjunction of a transactional predicate across the
 * members of the array.
 * @tsplus static effect/core/stm/TArray.Aspects forAllSTM
 * @tsplus pipeable effect/core/stm/TArray forAllSTM
 * @tsplus location "@effect/core/stm/TArray/operations/forAllSTM"
 */
export declare function forAllSTM<E, A>(f: (a: A) => STM<never, E, boolean>): (self: TArray<A>) => STM<never, E, boolean>;
//# sourceMappingURL=forAllSTM.d.ts.map