import { LazyArg } from "@tsplus/stdlib/data/Function";
import { Collection } from "@tsplus/stdlib/collections/Collection/definition";
import { STM } from "@effect/core/stm/STM/definition/base";
/**
 * Determines whether all elements of the `Collection<A>` satisfies the effectual
 * predicate `f`.
 * @tsplus static ets/STM/Ops forAll
 * @tsplus location "@effect/core/stm/STM/operations/forAll"
 */
export declare function forAll<R, E, A>(as: LazyArg<Collection<A>>, f: (a: A) => STM<R, E, boolean>): STM<R, E, boolean>;
//# sourceMappingURL=forAll.d.ts.map