@opencode/util 0.0.0-beta-19275

package/dist/cross-spawn-spawner.js

@@ -0,0 +1,438 @@
+import { isArrayNonEmpty } from "effect/Array";
+import * as NodeSink from "@effect/platform-node/NodeSink";
+import * as NodeStream from "@effect/platform-node/NodeStream";
+import { Deferred, Effect, Exit, FileSystem, Layer, Path, PlatformError, Predicate, Sink, Stream } from "effect";
+import { ChildProcess } from "effect/unstable/process";
+import { ChildProcessSpawner, ExitCode, make, makeHandle, ProcessId, } from "effect/unstable/process/ChildProcessSpawner";
+// ast-grep-ignore: no-star-import
+import * as NodeChildProcess from "node:child_process";
+import { PassThrough } from "node:stream";
+import launch from "cross-spawn";
+import { makeGlobalNode } from "./effect/app-node.js";
+import { filesystem, path } from "./effect/app-node-platform.js";
+const toError = (err) => (err instanceof globalThis.Error ? err : new globalThis.Error(String(err)));
+const toTag = (err) => {
+    switch (err.code) {
+        case "ENOENT":
+            return "NotFound";
+        case "EACCES":
+            return "PermissionDenied";
+        case "EEXIST":
+            return "AlreadyExists";
+        case "EISDIR":
+            return "BadResource";
+        case "ENOTDIR":
+            return "BadResource";
+        case "EBUSY":
+            return "Busy";
+        case "ELOOP":
+            return "BadResource";
+        default:
+            return "Unknown";
+    }
+};
+const flatten = (command) => {
+    const commands = [];
+    const opts = [];
+    const walk = (cmd) => {
+        switch (cmd._tag) {
+            case "StandardCommand":
+                commands.push(cmd);
+                return;
+            case "PipedCommand":
+                walk(cmd.left);
+                opts.push(cmd.options);
+                walk(cmd.right);
+                return;
+        }
+    };
+    walk(command);
+    if (!isArrayNonEmpty(commands))
+        throw new Error("flatten produced empty commands array");
+    return {
+        commands,
+        opts,
+    };
+};
+const toPlatformError = (method, err, command) => {
+    const cmd = flatten(command)
+        .commands.map((x) => `${x.command} ${x.args.join(" ")}`)
+        .join(" | ");
+    return PlatformError.systemError({
+        _tag: toTag(err),
+        module: "ChildProcess",
+        method,
+        pathOrDescriptor: cmd,
+        syscall: err.syscall,
+        cause: err,
+    });
+};
+const makeCrossSpawnSpawner = Effect.gen(function* () {
+    const fs = yield* FileSystem.FileSystem;
+    const path = yield* Path.Path;
+    const cwd = Effect.fnUntraced(function* (opts) {
+        if (Predicate.isUndefined(opts.cwd))
+            return undefined;
+        yield* fs.access(opts.cwd);
+        return path.resolve(opts.cwd);
+    });
+    const env = (opts) => opts.extendEnv ? { ...globalThis.process.env, ...opts.env } : opts.env;
+    const input = (x) => Stream.isStream(x) ? "pipe" : x;
+    const output = (x) => Sink.isSink(x) ? "pipe" : x;
+    const stdin = (opts) => {
+        const cfg = { stream: "pipe", encoding: "utf-8", endOnDone: true };
+        if (Predicate.isUndefined(opts.stdin))
+            return cfg;
+        if (typeof opts.stdin === "string")
+            return { ...cfg, stream: opts.stdin };
+        if (Stream.isStream(opts.stdin))
+            return { ...cfg, stream: opts.stdin };
+        return {
+            stream: opts.stdin.stream,
+            encoding: opts.stdin.encoding ?? cfg.encoding,
+            endOnDone: opts.stdin.endOnDone ?? cfg.endOnDone,
+        };
+    };
+    const stdio = (opts, key) => {
+        const cfg = opts[key];
+        if (Predicate.isUndefined(cfg))
+            return { stream: "pipe" };
+        if (typeof cfg === "string")
+            return { stream: cfg };
+        if (Sink.isSink(cfg))
+            return { stream: cfg };
+        return { stream: cfg.stream };
+    };
+    const fds = (opts) => {
+        if (Predicate.isUndefined(opts.additionalFds))
+            return [];
+        return Object.entries(opts.additionalFds)
+            .flatMap(([name, config]) => {
+            const fd = ChildProcess.parseFdName(name);
+            return Predicate.isUndefined(fd) ? [] : [{ fd, config }];
+        })
+            .toSorted((a, b) => a.fd - b.fd);
+    };
+    const stdios = (sin, sout, serr, extra) => {
+        const pipe = (x) => process.platform === "win32" && x === "pipe" ? "overlapped" : x;
+        const arr = [
+            pipe(input(sin.stream)),
+            pipe(output(sout.stream)),
+            pipe(output(serr.stream)),
+        ];
+        if (extra.length === 0)
+            return arr;
+        const max = extra.reduce((acc, x) => Math.max(acc, x.fd), 2);
+        for (let i = 3; i <= max; i++)
+            arr[i] = "ignore";
+        for (const x of extra)
+            arr[x.fd] = pipe("pipe");
+        return arr;
+    };
+    const setupFds = Effect.fnUntraced(function* (command, proc, extra) {
+        if (extra.length === 0) {
+            return {
+                getInputFd: () => Sink.drain,
+                getOutputFd: () => Stream.empty,
+            };
+        }
+        const ins = new Map();
+        const outs = new Map();
+        for (const x of extra) {
+            const node = proc.stdio[x.fd];
+            switch (x.config.type) {
+                case "input": {
+                    let sink = Sink.drain;
+                    if (node && "write" in node) {
+                        sink = NodeSink.fromWritable({
+                            evaluate: () => node,
+                            onError: (err) => toPlatformError(`fromWritable(fd${x.fd})`, toError(err), command),
+                            endOnDone: true,
+                        });
+                    }
+                    if (x.config.stream)
+                        yield* Effect.forkScoped(Stream.run(x.config.stream, sink));
+                    ins.set(x.fd, sink);
+                    break;
+                }
+                case "output": {
+                    let stream = Stream.empty;
+                    if (node && "read" in node) {
+                        const tap = new PassThrough();
+                        node.on("error", (err) => tap.destroy(toError(err)));
+                        node.pipe(tap);
+                        stream = NodeStream.fromReadable({
+                            evaluate: () => tap,
+                            onError: (err) => toPlatformError(`fromReadable(fd${x.fd})`, toError(err), command),
+                        });
+                    }
+                    if (x.config.sink)
+                        stream = Stream.transduce(stream, x.config.sink);
+                    outs.set(x.fd, stream);
+                    break;
+                }
+            }
+        }
+        return {
+            getInputFd: (fd) => ins.get(fd) ?? Sink.drain,
+            getOutputFd: (fd) => outs.get(fd) ?? Stream.empty,
+        };
+    });
+    const setupStdin = (command, proc, cfg) => Effect.suspend(() => {
+        let sink = Sink.drain;
+        if (Predicate.isNotNull(proc.stdin)) {
+            sink = NodeSink.fromWritable({
+                evaluate: () => proc.stdin,
+                onError: (err) => toPlatformError("fromWritable(stdin)", toError(err), command),
+                endOnDone: cfg.endOnDone,
+                encoding: cfg.encoding,
+            });
+        }
+        if (Stream.isStream(cfg.stream))
+            return Effect.as(Effect.forkScoped(Stream.run(cfg.stream, sink)), sink);
+        return Effect.succeed(sink);
+    });
+    const setupOutput = (command, proc, out, err, stopOutput) => {
+        const capture = (readable, name) => {
+            if (!readable)
+                return Stream.empty;
+            // Bun resumes stdio on exit; retain bytes before the lazy Effect reader attaches.
+            const buffer = new PassThrough();
+            readable.on("error", (cause) => buffer.destroy(toError(cause)));
+            readable.pipe(buffer);
+            return NodeStream.fromReadable({
+                evaluate: () => buffer,
+                onError: (cause) => toPlatformError(`fromReadable(${name})`, toError(cause), command),
+            }).pipe(Stream.interruptWhen(Deferred.await(stopOutput)), Stream.ensuring(Effect.gen(function* () {
+                // Only the capture deadline transfers the reader back to the process scope.
+                if (yield* Deferred.isDone(stopOutput))
+                    return;
+                readable.destroy();
+            })));
+        };
+        let stdout = capture(proc.stdout, "stdout");
+        let stderr = capture(proc.stderr, "stderr");
+        if (Sink.isSink(out.stream))
+            stdout = Stream.transduce(stdout, out.stream);
+        if (Sink.isSink(err.stream))
+            stderr = Stream.transduce(stderr, err.stream);
+        return { stdout, stderr, all: Stream.merge(stdout, stderr) };
+    };
+    const launchProcess = (command, opts) => Effect.callback((resume) => {
+        const closed = Deferred.makeUnsafe();
+        const exited = Deferred.makeUnsafe();
+        const proc = launch(command.command, command.args, opts);
+        let end = false;
+        let exit;
+        proc.on("error", (err) => {
+            resume(Effect.fail(toPlatformError("spawn", err, command)));
+        });
+        proc.on("exit", (...args) => {
+            exit = args;
+            Deferred.doneUnsafe(exited, Exit.succeed(args));
+        });
+        proc.on("close", (...args) => {
+            if (end)
+                return;
+            end = true;
+            Deferred.doneUnsafe(exited, Exit.succeed(exit ?? args));
+            Deferred.doneUnsafe(closed, Exit.succeed(exit ?? args));
+        });
+        proc.on("spawn", () => {
+            resume(Effect.succeed([proc, closed, exited]));
+        });
+        return Effect.sync(() => {
+            proc.kill("SIGTERM");
+        });
+    });
+    const spawn = Effect.fnUntraced(function* (command, opts) {
+        yield* Effect.logInfo("spawning process", { command: command.command, args: command.args, cwd: opts.cwd });
+        const [proc, closed, exited] = yield* launchProcess(command, opts);
+        const stopOutput = yield* Deferred.make();
+        // Register before process release so the deadline remains active during termination.
+        yield* Effect.forkScoped(Effect.gen(function* () {
+            yield* Deferred.await(exited);
+            // Particularly on Windows, some shell calls will cause detached descendants. Inherited stdio can hang the call.
+            // Almost every ecosystem has tried to fix this; there's no single "good" answer here.
+            // Calls that trigger this are e.g. dotnet build with warmed MSBuild processes, agent-browser, etc.
+            // One shared deadline covers stdout and stderr, then the output pump finishes its file.
+            if ((yield* Effect.timeoutOption(Deferred.await(closed), "1 second"))._tag === "Some")
+                return;
+            yield* Deferred.succeed(stopOutput, undefined);
+            discard(proc.stdout);
+            discard(proc.stderr);
+        }));
+        return [proc, closed, exited, stopOutput];
+    });
+    const discard = (readable) => {
+        if (!readable || readable.destroyed)
+            return;
+        readable.unpipe();
+        // Discard descendant output without refilling a capture buffer that is no longer consumed.
+        const drain = () => {
+            while (readable.read() !== null) { }
+        };
+        readable.on("readable", drain);
+        readable.once("error", () => { });
+        readable.once("close", () => readable.off("readable", drain));
+        drain();
+    };
+    const killGroup = (command, proc, signal) => {
+        if (globalThis.process.platform === "win32") {
+            return Effect.callback((resume) => {
+                NodeChildProcess.exec(`taskkill /pid ${proc.pid} /T /F`, { windowsHide: true }, (err) => {
+                    if (err)
+                        return resume(Effect.fail(toPlatformError("kill", toError(err), command)));
+                    resume(Effect.void);
+                });
+            });
+        }
+        return Effect.try({
+            try: () => {
+                globalThis.process.kill(-proc.pid, signal);
+            },
+            catch: (err) => toPlatformError("kill", toError(err), command),
+        });
+    };
+    const killOne = (command, proc, signal) => Effect.suspend(() => {
+        if (proc.kill(signal))
+            return Effect.void;
+        return Effect.fail(toPlatformError("kill", new Error("Failed to kill child process"), command));
+    });
+    const stop = (command, proc, closed, stopOutput, opts) => {
+        const terminate = (signal) => Effect.catch(killGroup(command, proc, signal), () => killOne(command, proc, signal)).pipe(Effect.andThen(signal === "SIGKILL"
+            ? Effect.raceFirst(Deferred.await(closed), Deferred.await(stopOutput))
+            : Deferred.await(closed)), Effect.asVoid);
+        const attempt = terminate(opts?.killSignal ?? "SIGTERM");
+        if (opts?.forceKillAfter === undefined)
+            return attempt;
+        return Effect.timeoutOrElse(attempt, {
+            duration: opts.forceKillAfter,
+            orElse: () => terminate("SIGKILL"),
+        });
+    };
+    const source = (handle, from) => {
+        const opt = from ?? "stdout";
+        switch (opt) {
+            case "stdout":
+                return handle.stdout;
+            case "stderr":
+                return handle.stderr;
+            case "all":
+                return handle.all;
+            default: {
+                const fd = ChildProcess.parseFdName(opt);
+                return Predicate.isNotUndefined(fd) ? handle.getOutputFd(fd) : handle.stdout;
+            }
+        }
+    };
+    const spawnCommand = Effect.fnUntraced(function* (command) {
+        switch (command._tag) {
+            case "StandardCommand": {
+                const sin = stdin(command.options);
+                const sout = stdio(command.options, "stdout");
+                const serr = stdio(command.options, "stderr");
+                const extra = fds(command.options);
+                const dir = yield* cwd(command.options);
+                const [proc, closed, exited, stopOutput] = yield* Effect.acquireRelease(spawn(command, {
+                    cwd: dir,
+                    env: env(command.options),
+                    stdio: stdios(sin, sout, serr, extra),
+                    detached: command.options.detached ?? process.platform !== "win32",
+                    shell: command.options.shell,
+                    windowsHide: process.platform === "win32",
+                }), Effect.fnUntraced(function* ([proc, closed, exited, stopOutput]) {
+                    const done = (yield* Deferred.isDone(closed)) || (yield* Deferred.isDone(stopOutput));
+                    if (done) {
+                        const [code] = yield* Deferred.await(exited);
+                        if (process.platform === "win32")
+                            return;
+                        if (code === 0 || Predicate.isNull(code))
+                            return;
+                        if (command.options.forceKillAfter === undefined) {
+                            return yield* Effect.ignore(killGroup(command, proc, command.options.killSignal ?? "SIGTERM"));
+                        }
+                    }
+                    yield* Effect.ignore(stop(command, proc, closed, stopOutput, command.options));
+                }, (effect, [proc, , , stopOutput]) => effect.pipe(Effect.ensuring(Effect.gen(function* () {
+                    yield* Deferred.succeed(stopOutput, undefined);
+                    proc.stdout?.destroy();
+                    proc.stderr?.destroy();
+                })))));
+                const completion = Effect.raceFirst(Deferred.await(closed), Deferred.await(stopOutput).pipe(Effect.andThen(Deferred.await(exited))));
+                const fd = yield* setupFds(command, proc, extra);
+                const out = setupOutput(command, proc, sout, serr, stopOutput);
+                let ref = true;
+                return makeHandle({
+                    pid: ProcessId(proc.pid),
+                    stdin: yield* setupStdin(command, proc, sin),
+                    stdout: out.stdout,
+                    stderr: out.stderr,
+                    all: out.all,
+                    getInputFd: fd.getInputFd,
+                    getOutputFd: fd.getOutputFd,
+                    isRunning: Effect.gen(function* () {
+                        return !(yield* Deferred.isDone(closed)) && !(yield* Deferred.isDone(stopOutput));
+                    }),
+                    exitCode: Effect.flatMap(completion, ([code, signal]) => {
+                        if (Predicate.isNotNull(code))
+                            return Effect.succeed(ExitCode(code));
+                        return Effect.fail(toPlatformError("exitCode", new Error(`Process interrupted due to receipt of signal: '${signal}'`), command));
+                    }),
+                    kill: (opts) => stop(command, proc, closed, stopOutput, opts),
+                    unref: Effect.sync(() => {
+                        if (ref) {
+                            proc.unref();
+                            ref = false;
+                        }
+                        return Effect.sync(() => {
+                            if (!ref) {
+                                proc.ref();
+                                ref = true;
+                            }
+                        });
+                    }),
+                });
+            }
+            case "PipedCommand": {
+                const flat = flatten(command);
+                const [head, ...tail] = flat.commands;
+                let handle = spawnCommand(head);
+                for (let i = 0; i < tail.length; i++) {
+                    const next = tail[i];
+                    const opts = flat.opts[i] ?? {};
+                    const sin = stdin(next.options);
+                    const stream = Stream.unwrap(Effect.map(handle, (x) => source(x, opts.from)));
+                    const to = opts.to ?? "stdin";
+                    if (to === "stdin") {
+                        handle = spawnCommand(ChildProcess.make(next.command, next.args, {
+                            ...next.options,
+                            stdin: { ...sin, stream },
+                        }));
+                        continue;
+                    }
+                    const fd = ChildProcess.parseFdName(to);
+                    if (Predicate.isUndefined(fd)) {
+                        handle = spawnCommand(ChildProcess.make(next.command, next.args, {
+                            ...next.options,
+                            stdin: { ...sin, stream },
+                        }));
+                        continue;
+                    }
+                    handle = spawnCommand(ChildProcess.make(next.command, next.args, {
+                        ...next.options,
+                        additionalFds: {
+                            ...next.options.additionalFds,
+                            [ChildProcess.fdName(fd)]: { type: "input", stream },
+                        },
+                    }));
+                }
+                return yield* handle;
+            }
+        }
+    });
+    return make(spawnCommand);
+});
+const layer = Layer.effect(ChildProcessSpawner, makeCrossSpawnSpawner);
+export const node = makeGlobalNode({ service: ChildProcessSpawner, layer, deps: [filesystem, path] });
+export * as CrossSpawnSpawner from "./cross-spawn-spawner.js";

package/dist/effect/app-node-platform.d.ts

@@ -0,0 +1,6 @@
+import { FileSystem, Path } from "effect";
+import { HttpClient } from "effect/unstable/http";
+export declare const filesystem: import("./layer-node.js").Provider<FileSystem.FileSystem, never, import("./layer-node.js").Tag<"global">>;
+export declare const path: import("./layer-node.js").Provider<Path.Path, never, import("./layer-node.js").Tag<"global">>;
+export declare const httpClient: import("./layer-node.js").Provider<HttpClient.HttpClient, never, import("./layer-node.js").Tag<"global">>;
+export * as LayerNodePlatform from "./app-node-platform.js";

package/dist/effect/app-node-platform.js

@@ -0,0 +1,11 @@
+// Deep imports: the @effect/platform-node barrel eagerly pulls in undici,
+// ioredis, and node:sqlite, which runtimes such as workerd cannot load.
+import * as NodeFileSystem from "@effect/platform-node/NodeFileSystem";
+import * as NodePath from "@effect/platform-node/NodePath";
+import { FileSystem, Path } from "effect";
+import { FetchHttpClient, HttpClient } from "effect/unstable/http";
+import { makeGlobalNode } from "./app-node.js";
+export const filesystem = makeGlobalNode({ service: FileSystem.FileSystem, layer: NodeFileSystem.layer, deps: [] });
+export const path = makeGlobalNode({ service: Path.Path, layer: NodePath.layer, deps: [] });
+export const httpClient = makeGlobalNode({ service: HttpClient.HttpClient, layer: FetchHttpClient.layer, deps: [] });
+export * as LayerNodePlatform from "./app-node-platform.js";

package/dist/effect/app-node.d.ts

@@ -0,0 +1,62 @@
+import { LayerNode } from "./layer-node.js";
+export declare const tags: LayerNode.Tags<{
+    readonly location: readonly ["global"];
+    readonly global: readonly [];
+}>;
+export type GlobalGraph<A, E = never> = LayerNode.Graph<A, E, (typeof tags.values)["global"]>;
+export type LocationGraph<A, E = never> = LayerNode.Graph<A, E, (typeof tags.values)["location"]>;
+export declare const makeGlobalNode: <const Implementation extends import("effect/Layer").Any, const Items extends readonly [] | readonly [/*elided*/ any, .../*elided*/ any[]]>(input: (Omit<{
+    readonly service: import("effect/Context").Service.Any;
+    readonly name?: never;
+} & {
+    readonly tag: LayerNode.Tag<"global">;
+} & {
+    readonly layer: Implementation & ([NoInfer<Implementation>] extends [import("effect/Layer").Layer<never, unknown, unknown>] ? unknown : {
+        readonly "Layer contract must be preserved": NoInfer<Implementation>;
+    });
+    readonly deps: Items & ([Exclude<import("effect/Layer").Services<Implementation>, [NoInfer<Items>] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? /*elided*/ any : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T ? T extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T extends unknown ? [Head] extends [LayerNode.Graph<T, unknown, LayerNode.Tag<string> | undefined>] ? T : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_1 ? T_1 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_1 extends unknown ? [Head] extends [LayerNode.Graph<T_1, unknown, LayerNode.Tag<string> | undefined>] ? T_1 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_2 ? T_2 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_2 extends unknown ? [Head] extends [LayerNode.Graph<T_2, unknown, LayerNode.Tag<string> | undefined>] ? T_2 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_3 ? T_3 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_3 extends unknown ? [Head] extends [LayerNode.Graph<T_3, unknown, LayerNode.Tag<string> | undefined>] ? T_3 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_4 ? T_4 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_4 extends unknown ? [Head] extends [LayerNode.Graph<T_4, unknown, LayerNode.Tag<string> | undefined>] ? T_4 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_5 ? T_5 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_5 extends unknown ? [Head] extends [LayerNode.Graph<T_5, unknown, LayerNode.Tag<string> | undefined>] ? T_5 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_6 ? T_6 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_6 extends unknown ? [Head] extends [LayerNode.Graph<T_6, unknown, LayerNode.Tag<string> | undefined>] ? T_6 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_7 ? T_7 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_7 extends unknown ? [Head] extends [LayerNode.Graph<T_7, unknown, LayerNode.Tag<string> | undefined>] ? T_7 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_8 ? T_8 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_8 extends unknown ? [Head] extends [LayerNode.Graph<T_8, unknown, LayerNode.Tag<string> | undefined>] ? T_8 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_9 ? T_9 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_9 extends unknown ? [Head] extends [LayerNode.Graph<T_9, unknown, LayerNode.Tag<string> | undefined>] ? T_9 : never : never : never : never : never>] extends [never] ? unknown : {
+        readonly "Missing dependencies": Exclude<import("effect/Layer").Services<Implementation>, [NoInfer<Items>] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? /*elided*/ any : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_10 ? T_10 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_10 extends unknown ? [Head] extends [LayerNode.Graph<T_10, unknown, LayerNode.Tag<string> | undefined>] ? T_10 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_11 ? T_11 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_11 extends unknown ? [Head] extends [LayerNode.Graph<T_11, unknown, LayerNode.Tag<string> | undefined>] ? T_11 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_12 ? T_12 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_12 extends unknown ? [Head] extends [LayerNode.Graph<T_12, unknown, LayerNode.Tag<string> | undefined>] ? T_12 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_13 ? T_13 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_13 extends unknown ? [Head] extends [LayerNode.Graph<T_13, unknown, LayerNode.Tag<string> | undefined>] ? T_13 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_14 ? T_14 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_14 extends unknown ? [Head] extends [LayerNode.Graph<T_14, unknown, LayerNode.Tag<string> | undefined>] ? T_14 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_15 ? T_15 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_15 extends unknown ? [Head] extends [LayerNode.Graph<T_15, unknown, LayerNode.Tag<string> | undefined>] ? T_15 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_16 ? T_16 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_16 extends unknown ? [Head] extends [LayerNode.Graph<T_16, unknown, LayerNode.Tag<string> | undefined>] ? T_16 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_17 ? T_17 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_17 extends unknown ? [Head] extends [LayerNode.Graph<T_17, unknown, LayerNode.Tag<string> | undefined>] ? T_17 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_18 ? T_18 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_18 extends unknown ? [Head] extends [LayerNode.Graph<T_18, unknown, LayerNode.Tag<string> | undefined>] ? T_18 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_19 ? T_19 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_19 extends unknown ? [Head] extends [LayerNode.Graph<T_19, unknown, LayerNode.Tag<string> | undefined>] ? T_19 : never : never : never : never : never>;
+    });
+}, "tag"> | Omit<{
+    readonly name: string;
+    readonly service?: never;
+} & {
+    readonly tag: LayerNode.Tag<"global">;
+} & {
+    readonly layer: Implementation & ([NoInfer<Implementation>] extends [import("effect/Layer").Layer<never, unknown, unknown>] ? unknown : {
+        readonly "Layer contract must be preserved": NoInfer<Implementation>;
+    });
+    readonly deps: Items & ([Exclude<import("effect/Layer").Services<Implementation>, [NoInfer<Items>] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? /*elided*/ any : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_20 ? T_20 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_20 extends unknown ? [Head] extends [LayerNode.Graph<T_20, unknown, LayerNode.Tag<string> | undefined>] ? T_20 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_21 ? T_21 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_21 extends unknown ? [Head] extends [LayerNode.Graph<T_21, unknown, LayerNode.Tag<string> | undefined>] ? T_21 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_22 ? T_22 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_22 extends unknown ? [Head] extends [LayerNode.Graph<T_22, unknown, LayerNode.Tag<string> | undefined>] ? T_22 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_23 ? T_23 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_23 extends unknown ? [Head] extends [LayerNode.Graph<T_23, unknown, LayerNode.Tag<string> | undefined>] ? T_23 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_24 ? T_24 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_24 extends unknown ? [Head] extends [LayerNode.Graph<T_24, unknown, LayerNode.Tag<string> | undefined>] ? T_24 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_25 ? T_25 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_25 extends unknown ? [Head] extends [LayerNode.Graph<T_25, unknown, LayerNode.Tag<string> | undefined>] ? T_25 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_26 ? T_26 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_26 extends unknown ? [Head] extends [LayerNode.Graph<T_26, unknown, LayerNode.Tag<string> | undefined>] ? T_26 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_27 ? T_27 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_27 extends unknown ? [Head] extends [LayerNode.Graph<T_27, unknown, LayerNode.Tag<string> | undefined>] ? T_27 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_28 ? T_28 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_28 extends unknown ? [Head] extends [LayerNode.Graph<T_28, unknown, LayerNode.Tag<string> | undefined>] ? T_28 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_29 ? T_29 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_29 extends unknown ? [Head] extends [LayerNode.Graph<T_29, unknown, LayerNode.Tag<string> | undefined>] ? T_29 : never : never : never : never : never>] extends [never] ? unknown : {
+        readonly "Missing dependencies": Exclude<import("effect/Layer").Services<Implementation>, [NoInfer<Items>] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? /*elided*/ any : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_30 ? T_30 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_30 extends unknown ? [Head] extends [LayerNode.Graph<T_30, unknown, LayerNode.Tag<string> | undefined>] ? T_30 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_31 ? T_31 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_31 extends unknown ? [Head] extends [LayerNode.Graph<T_31, unknown, LayerNode.Tag<string> | undefined>] ? T_31 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_32 ? T_32 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_32 extends unknown ? [Head] extends [LayerNode.Graph<T_32, unknown, LayerNode.Tag<string> | undefined>] ? T_32 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_33 ? T_33 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_33 extends unknown ? [Head] extends [LayerNode.Graph<T_33, unknown, LayerNode.Tag<string> | undefined>] ? T_33 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_34 ? T_34 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_34 extends unknown ? [Head] extends [LayerNode.Graph<T_34, unknown, LayerNode.Tag<string> | undefined>] ? T_34 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_35 ? T_35 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_35 extends unknown ? [Head] extends [LayerNode.Graph<T_35, unknown, LayerNode.Tag<string> | undefined>] ? T_35 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_36 ? T_36 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_36 extends unknown ? [Head] extends [LayerNode.Graph<T_36, unknown, LayerNode.Tag<string> | undefined>] ? T_36 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_37 ? T_37 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_37 extends unknown ? [Head] extends [LayerNode.Graph<T_37, unknown, LayerNode.Tag<string> | undefined>] ? T_37 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_38 ? T_38 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_38 extends unknown ? [Head] extends [LayerNode.Graph<T_38, unknown, LayerNode.Tag<string> | undefined>] ? T_38 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_39 ? T_39 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_39 extends unknown ? [Head] extends [LayerNode.Graph<T_39, unknown, LayerNode.Tag<string> | undefined>] ? T_39 : never : never : never : never : never>;
+    });
+}, "tag">) & ([Exclude<[Items[number]] extends [never] ? undefined : Items[number] extends infer T_40 ? T_40 extends Items[number] ? T_40 extends LayerNode.Graph<never, unknown, infer T_41 extends LayerNode.Tag<string> | undefined> ? T_41 : never : never : never, LayerNode.Tag<"global"> | undefined>] extends [never] ? unknown : {
+    readonly "Invalid tag dependencies": Exclude<[Items[number]] extends [never] ? undefined : Items[number] extends infer T_42 ? T_42 extends Items[number] ? T_42 extends LayerNode.Graph<never, unknown, infer T_41 extends LayerNode.Tag<string> | undefined> ? T_41 : never : never : never, LayerNode.Tag<"global"> | undefined>;
+})) => LayerNode.Provider<import("effect/Layer").Success<Implementation> extends infer T_43 ? T_43 extends import("effect/Layer").Success<Implementation> ? T_43 extends unknown ? [Implementation] extends [import("effect/Layer").Layer<T_43, unknown, unknown>] ? T_43 : never : never : never : never, import("effect/Layer").Error<Implementation> | LayerNode.Error<Items[number]>, LayerNode.Tag<"global">>;
+export declare const makeLocationNode: <const Implementation extends import("effect/Layer").Any, const Items extends readonly [] | readonly [/*elided*/ any, .../*elided*/ any[]]>(input: (Omit<{
+    readonly service: import("effect/Context").Service.Any;
+    readonly name?: never;
+} & {
+    readonly tag: LayerNode.Tag<"location">;
+} & {
+    readonly layer: Implementation & ([NoInfer<Implementation>] extends [import("effect/Layer").Layer<never, unknown, unknown>] ? unknown : {
+        readonly "Layer contract must be preserved": NoInfer<Implementation>;
+    });
+    readonly deps: Items & ([Exclude<import("effect/Layer").Services<Implementation>, [NoInfer<Items>] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? /*elided*/ any : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T ? T extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T extends unknown ? [Head] extends [LayerNode.Graph<T, unknown, LayerNode.Tag<string> | undefined>] ? T : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_1 ? T_1 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_1 extends unknown ? [Head] extends [LayerNode.Graph<T_1, unknown, LayerNode.Tag<string> | undefined>] ? T_1 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_2 ? T_2 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_2 extends unknown ? [Head] extends [LayerNode.Graph<T_2, unknown, LayerNode.Tag<string> | undefined>] ? T_2 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_3 ? T_3 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_3 extends unknown ? [Head] extends [LayerNode.Graph<T_3, unknown, LayerNode.Tag<string> | undefined>] ? T_3 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_4 ? T_4 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_4 extends unknown ? [Head] extends [LayerNode.Graph<T_4, unknown, LayerNode.Tag<string> | undefined>] ? T_4 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_5 ? T_5 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_5 extends unknown ? [Head] extends [LayerNode.Graph<T_5, unknown, LayerNode.Tag<string> | undefined>] ? T_5 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_6 ? T_6 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_6 extends unknown ? [Head] extends [LayerNode.Graph<T_6, unknown, LayerNode.Tag<string> | undefined>] ? T_6 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_7 ? T_7 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_7 extends unknown ? [Head] extends [LayerNode.Graph<T_7, unknown, LayerNode.Tag<string> | undefined>] ? T_7 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_8 ? T_8 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_8 extends unknown ? [Head] extends [LayerNode.Graph<T_8, unknown, LayerNode.Tag<string> | undefined>] ? T_8 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_9 ? T_9 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_9 extends unknown ? [Head] extends [LayerNode.Graph<T_9, unknown, LayerNode.Tag<string> | undefined>] ? T_9 : never : never : never : never : never>] extends [never] ? unknown : {
+        readonly "Missing dependencies": Exclude<import("effect/Layer").Services<Implementation>, [NoInfer<Items>] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? /*elided*/ any : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_10 ? T_10 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_10 extends unknown ? [Head] extends [LayerNode.Graph<T_10, unknown, LayerNode.Tag<string> | undefined>] ? T_10 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_11 ? T_11 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_11 extends unknown ? [Head] extends [LayerNode.Graph<T_11, unknown, LayerNode.Tag<string> | undefined>] ? T_11 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_12 ? T_12 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_12 extends unknown ? [Head] extends [LayerNode.Graph<T_12, unknown, LayerNode.Tag<string> | undefined>] ? T_12 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_13 ? T_13 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_13 extends unknown ? [Head] extends [LayerNode.Graph<T_13, unknown, LayerNode.Tag<string> | undefined>] ? T_13 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_14 ? T_14 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_14 extends unknown ? [Head] extends [LayerNode.Graph<T_14, unknown, LayerNode.Tag<string> | undefined>] ? T_14 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_15 ? T_15 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_15 extends unknown ? [Head] extends [LayerNode.Graph<T_15, unknown, LayerNode.Tag<string> | undefined>] ? T_15 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_16 ? T_16 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_16 extends unknown ? [Head] extends [LayerNode.Graph<T_16, unknown, LayerNode.Tag<string> | undefined>] ? T_16 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_17 ? T_17 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_17 extends unknown ? [Head] extends [LayerNode.Graph<T_17, unknown, LayerNode.Tag<string> | undefined>] ? T_17 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_18 ? T_18 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_18 extends unknown ? [Head] extends [LayerNode.Graph<T_18, unknown, LayerNode.Tag<string> | undefined>] ? T_18 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_19 ? T_19 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_19 extends unknown ? [Head] extends [LayerNode.Graph<T_19, unknown, LayerNode.Tag<string> | undefined>] ? T_19 : never : never : never : never : never>;
+    });
+}, "tag"> | Omit<{
+    readonly name: string;
+    readonly service?: never;
+} & {
+    readonly tag: LayerNode.Tag<"location">;
+} & {
+    readonly layer: Implementation & ([NoInfer<Implementation>] extends [import("effect/Layer").Layer<never, unknown, unknown>] ? unknown : {
+        readonly "Layer contract must be preserved": NoInfer<Implementation>;
+    });
+    readonly deps: Items & ([Exclude<import("effect/Layer").Services<Implementation>, [NoInfer<Items>] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? /*elided*/ any : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_20 ? T_20 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_20 extends unknown ? [Head] extends [LayerNode.Graph<T_20, unknown, LayerNode.Tag<string> | undefined>] ? T_20 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_21 ? T_21 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_21 extends unknown ? [Head] extends [LayerNode.Graph<T_21, unknown, LayerNode.Tag<string> | undefined>] ? T_21 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_22 ? T_22 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_22 extends unknown ? [Head] extends [LayerNode.Graph<T_22, unknown, LayerNode.Tag<string> | undefined>] ? T_22 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_23 ? T_23 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_23 extends unknown ? [Head] extends [LayerNode.Graph<T_23, unknown, LayerNode.Tag<string> | undefined>] ? T_23 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_24 ? T_24 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_24 extends unknown ? [Head] extends [LayerNode.Graph<T_24, unknown, LayerNode.Tag<string> | undefined>] ? T_24 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_25 ? T_25 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_25 extends unknown ? [Head] extends [LayerNode.Graph<T_25, unknown, LayerNode.Tag<string> | undefined>] ? T_25 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_26 ? T_26 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_26 extends unknown ? [Head] extends [LayerNode.Graph<T_26, unknown, LayerNode.Tag<string> | undefined>] ? T_26 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_27 ? T_27 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_27 extends unknown ? [Head] extends [LayerNode.Graph<T_27, unknown, LayerNode.Tag<string> | undefined>] ? T_27 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_28 ? T_28 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_28 extends unknown ? [Head] extends [LayerNode.Graph<T_28, unknown, LayerNode.Tag<string> | undefined>] ? T_28 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_29 ? T_29 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_29 extends unknown ? [Head] extends [LayerNode.Graph<T_29, unknown, LayerNode.Tag<string> | undefined>] ? T_29 : never : never : never : never : never>] extends [never] ? unknown : {
+        readonly "Missing dependencies": Exclude<import("effect/Layer").Services<Implementation>, [NoInfer<Items>] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? [Tail] extends [readonly [infer Head extends /*elided*/ any, ...infer Tail extends readonly /*elided*/ any[]]] ? /*elided*/ any : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_30 ? T_30 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_30 extends unknown ? [Head] extends [LayerNode.Graph<T_30, unknown, LayerNode.Tag<string> | undefined>] ? T_30 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_31 ? T_31 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_31 extends unknown ? [Head] extends [LayerNode.Graph<T_31, unknown, LayerNode.Tag<string> | undefined>] ? T_31 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_32 ? T_32 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_32 extends unknown ? [Head] extends [LayerNode.Graph<T_32, unknown, LayerNode.Tag<string> | undefined>] ? T_32 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_33 ? T_33 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_33 extends unknown ? [Head] extends [LayerNode.Graph<T_33, unknown, LayerNode.Tag<string> | undefined>] ? T_33 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_34 ? T_34 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_34 extends unknown ? [Head] extends [LayerNode.Graph<T_34, unknown, LayerNode.Tag<string> | undefined>] ? T_34 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_35 ? T_35 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_35 extends unknown ? [Head] extends [LayerNode.Graph<T_35, unknown, LayerNode.Tag<string> | undefined>] ? T_35 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_36 ? T_36 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_36 extends unknown ? [Head] extends [LayerNode.Graph<T_36, unknown, LayerNode.Tag<string> | undefined>] ? T_36 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_37 ? T_37 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_37 extends unknown ? [Head] extends [LayerNode.Graph<T_37, unknown, LayerNode.Tag<string> | undefined>] ? T_37 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_38 ? T_38 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_38 extends unknown ? [Head] extends [LayerNode.Graph<T_38, unknown, LayerNode.Tag<string> | undefined>] ? T_38 : never : never : never : never : (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) extends infer T_39 ? T_39 extends (Head extends LayerNode.Graph<infer A, unknown, LayerNode.Tag<string> | undefined> ? A : never) ? T_39 extends unknown ? [Head] extends [LayerNode.Graph<T_39, unknown, LayerNode.Tag<string> | undefined>] ? T_39 : never : never : never : never : never>;
+    });
+}, "tag">) & ([Exclude<[Items[number]] extends [never] ? undefined : Items[number] extends infer T_40 ? T_40 extends Items[number] ? T_40 extends LayerNode.Graph<never, unknown, infer T_41 extends LayerNode.Tag<string> | undefined> ? T_41 : never : never : never, LayerNode.Tag<"location" | "global"> | undefined>] extends [never] ? unknown : {
+    readonly "Invalid tag dependencies": Exclude<[Items[number]] extends [never] ? undefined : Items[number] extends infer T_42 ? T_42 extends Items[number] ? T_42 extends LayerNode.Graph<never, unknown, infer T_41 extends LayerNode.Tag<string> | undefined> ? T_41 : never : never : never, LayerNode.Tag<"location" | "global"> | undefined>;
+})) => LayerNode.Provider<import("effect/Layer").Success<Implementation> extends infer T_43 ? T_43 extends import("effect/Layer").Success<Implementation> ? T_43 extends unknown ? [Implementation] extends [import("effect/Layer").Layer<T_43, unknown, unknown>] ? T_43 : never : never : never : never, import("effect/Layer").Error<Implementation> | LayerNode.Error<Items[number]>, LayerNode.Tag<"location">>;
+export * as Node from "./app-node.js";

package/dist/effect/app-node.js

@@ -0,0 +1,8 @@
+import { LayerNode } from "./layer-node.js";
+export const tags = LayerNode.tags({
+    location: ["global"],
+    global: [],
+});
+export const makeGlobalNode = tags.make("global");
+export const makeLocationNode = tags.make("location");
+export * as Node from "./app-node.js";