import * as E from "../../../Either";
import type { Option } from "../../../Option";
import type { Cause } from "../../Exit/Cause";
import * as T from "../../Task";
export declare type Push<R, E, I, L, Z> = (
   _: Option<ReadonlyArray<I>>
) => T.Task<R, readonly [E.Either<E, Z>, ReadonlyArray<L>], void>;
export declare const emit: <I, Z>(z: Z, leftover: readonly I[]) => T.EIO<[E.Either<never, Z>, readonly I[]], never>;
export declare const more: T.IO<void>;
export declare const fail: <E, I>(e: E, leftover: readonly I[]) => T.EIO<[E.Either<E, never>, readonly I[]], never>;
export declare const halt: <E>(c: Cause<E>) => T.EIO<[E.Either<E, never>, readonly never[]], never>;
//# sourceMappingURL=Push.d.ts.map