import { Ref } from "@effect/io/Ref";
import { Chunk } from "@fp-ts/data/Chunk";
import { Effect } from "@effect/io/Effect";
import { Tag } from "@fp-ts/data/Context";
import { Either } from "@fp-ts/data/Either";
import type { ServiceTagged } from "../service.js";
declare const S1: unique symbol;
declare const S2: unique symbol;
declare const W: unique symbol;
/**
 * @tsplus type PureEnv
 */
export interface PureState<S, S2 = S> {
    readonly [S1]: (_: S) => void;
    readonly [S2]: () => S2;
    readonly state: Ref<S2>;
}
/**
 * @tsplus type PureEnv
 */
export interface PureLog<W> {
    readonly [W]: () => W;
    readonly log: Ref<Chunk<W>>;
}
/**
 * @tsplus type PureEnv
 */
export interface PureEnv<W, S, S2 = S> extends PureState<S, S2>, PureLog<W> {
}
export interface PureEnvTest extends PureState<any>, PureLog<any> {
}
export declare function makePureEnv<W, S, S2 = S>(s: S2): PureEnv<W, S, S2>;
/**
 * @tsplus unify PureEnv
 */
export declare function unifyPureEnv<X extends PureEnv<any, any, any>>(self: X): PureEnv<[
    X
] extends [{
    [W]: () => infer W;
}] ? W : never, [
    X
] extends [{
    [S1]: (_: infer S) => void;
}] ? S : never, [
    X
] extends [{
    [S2]: () => infer S2;
}] ? S2 : never>;
/**
 * @tsplus type Pure
 */
export type Pure<W, S, S2, R, E, A> = Effect<PureEnvEnv<W, S, S2> | R, E, A>;
/**
 * @tsplus static Pure.Ops GMUA_
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function GMUA_<W, S, S2, GR, GE, GA, MR, ME, MA, UR, UE, UA>(get: Pure<W, S, S2, GR, GE, GA>, modify: (i: GA) => Pure<W, S, S2, MR, ME, readonly [GA, MA]>, update: (i: GA) => Pure<W, S, S2, UR, UE, UA>): Pure<W, S, S2, GR | MR | UR, GE | ME | UE, MA>;
/**
 * @tsplus static Pure.Ops GMUA
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function GMUA<W, S, S2, GA, MR, ME, MA>(modify: (i: GA) => Pure<W, S, S2, MR, ME, readonly [GA, MA]>): <GR, GE, UR, UE, UA>(get: Pure<W, S, S2, GR, GE, GA>, update: (i: GA) => Pure<W, S, S2, UR, UE, UA>) => Pure<W, S, S2, MR | GR | UR, ME | GE | UE, MA>;
/**
 * @tsplus static Pure.Ops GMU_
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function GMU_<W, S, S2, GR, GE, GA, MR, ME, UR, UE, UA>(get: Pure<W, S, S2, GR, GE, GA>, modify: (i: GA) => Pure<W, S, S2, MR, ME, GA>, update: (i: GA) => Pure<W, S, S2, UR, UE, UA>): Pure<W, S, S2, GR | MR | UR, GE | ME | UE, UA>;
/**
 * @tsplus static Pure.Ops GMU
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function GMU<W, S, S2, GA, MR, ME>(modify: (i: GA) => Pure<W, S, S2, MR, ME, GA>): <GR, GE, UR, UE, UA>(get: Pure<W, S, S2, GR, GE, GA>, update: (i: GA) => Pure<W, S, S2, UR, UE, UA>) => Pure<W, S, S2, MR | GR | UR, ME | GE | UE, UA>;
export declare const PureEnvEnv: unique symbol;
export interface PureEnvEnv<W, S, S2> extends ServiceTagged<typeof PureEnvEnv> {
    env: PureEnv<W, S, S2>;
}
/**
 * @tsplus static Pure.Ops get
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function get<S>(): Pure<never, S, S, never, never, S>;
/**
 * @tsplus static Pure.Ops set
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function set<S>(s: S): Pure<never, S, S, never, never, void>;
export type PureLogT<W> = Pure<W, unknown, never, never, never, void>;
/**
 * @tsplus static Pure.Ops log
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function log<W>(w: W): PureLogT<W>;
/**
 * @tsplus static Pure.Ops logMany
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function logMany<W>(w: Iterable<W>): PureLogT<W>;
/**
 * @tsplus static Pure.Ops runAll
 * @tsplus fluent effect/io/Effect runAll
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function runAll<R, E, A, W3, S1, S3, S4 extends S1>(self: Effect<FixEnv<R, W3, S1, S3>, E, A>, s: S4): Effect<Exclude<R, {
    env: PureEnv<W3, S1, S3>;
}>, never, readonly [Chunk<W3>, Either<E, readonly [S3, A]>]>;
/**
 * @tsplus static Pure.Ops runResult
 * @tsplus fluent effect/io/Effect runResult
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function runResult<R, E, A, W3, S1, S3, S4 extends S1>(self: Effect<FixEnv<R, W3, S1, S3>, E, A>, s: S4): import("@effect/io/Effect").Effect<Exclude<R, {
    env: PureEnv<W3, S1, S3>;
}>, never, readonly [import("@fp-ts/data/Chunk").Chunk<W3>, import("@fp-ts/data/Either").Either<E, S3>]>;
/**
 * @tsplus static Pure.Ops runTerm
 * @tsplus fluent effect/io/Effect runTerm
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function runTerm<R, E, A, W3, S1, S3, S4 extends S1>(self: Effect<FixEnv<R, W3, S1, S3>, E, A>, s: S4): import("@effect/io/Effect").Effect<Exclude<R, {
    env: PureEnv<W3, S1, S3>;
}>, E, readonly [S3, readonly W3[], A]>;
/**
 * @tsplus static Pure.Ops runTermDiscard
 * @tsplus fluent effect/io/Effect runTermDiscard
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function runTermDiscard<R, E, A, W3, S1, S3, S4 extends S1>(self: Effect<FixEnv<R, W3, S1, S3>, E, A>, s: S4): import("@effect/io/Effect").Effect<Exclude<R, {
    env: PureEnv<W3, S1, S3>;
}>, E, readonly [S3, readonly W3[]]>;
/**
 * @tsplus static Pure.Ops runA
 * @tsplus fluent effect/io/Effect runA
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function runA<R, E, A, W3, S1, S3, S4 extends S1>(self: Effect<FixEnv<R, W3, S1, S3>, E, A>, s: S4): import("@effect/io/Effect").Effect<Exclude<R, {
    env: PureEnv<W3, S1, S3>;
}>, never, readonly [import("@fp-ts/data/Chunk").Chunk<W3>, import("@fp-ts/data/Either").Either<E, A>]>;
/**
 * @tsplus static Pure.Ops modifyWith
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function modify<S2, A, S3>(mod: (s: S2) => readonly [S3, A]): Effect<{
    env: PureEnv<never, S2, S3>;
}, never, A>;
/**
 * @tsplus static Pure.Ops modifyWithEffect
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function modifyM<W, R, E, A, S2, S3>(mod: (s: S2) => Effect<FixEnv<R, W, S2, S3>, E, readonly [S3, A]>): Effect<FixEnv<R, W, S2, S3>, E, A>;
/**
 * @tsplus static Pure.Ops updateWith
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function update<S2, S3>(upd: (s: S2) => S3): import("@effect/io/Effect").Effect<{
    env: PureEnv<never, S2, S3>;
}, never, S3>;
export type FixEnv<R, W, S, S2> = Exclude<R, PureEnvEnv<any, any, any>> | PureEnvEnv<W, S, S2>;
/**
 * @tsplus static Pure.Ops updateWithEffect
 * @tsplus location "@effect-ts-app/boilerplate-prelude/_ext/Pure"
 */
export declare function updateM<W, R, E, S2, S3>(upd: (s: S2, log: (evt: W) => PureLogT<W>) => Effect<FixEnv<R, W, S2, S3>, E, S3>): Effect<FixEnv<R, W, S2, S3>, E, S3>;
/**
 * @tsplus type Pure.Ops
 */
export interface PureOps {
    $: PureAspects;
}
/**
 * @tsplus type Pure.Aspects
 */
export interface PureAspects {
}
export declare const Pure: PureOps;
export {};
//# sourceMappingURL=Pure.d.ts.map