<Self, S extends Spec, E = never>(
tag: HyperlinkTag<Self, S>,
protocol: Layer.Layer<RpcClient.Protocol, E>
): Layer.Layer<Self, E | ValueErrorsOf<S>>Dial a HyperService tag over a transport you provide — the no-batteries client. connect bakes in
no transport of its own (unlike http / ws / unix / nPipe, whose
wire is in the name and bundled): you hand it a protocolHttp / protocolWebsocket /
protocolIpc layer, so a browser build pulls in only the one wire it passes.
program.pipe(Effect.provide(Hyperlink.connect(Emails, Hyperlink.protocolHttp(3009)))); // server
program.pipe(Effect.provide(Hyperlink.connect(Emails, Hyperlink.protocolWebsocket("/rpc")))); // browser (ws only)The port shorthand (3009) resolves against clientHost (default "localhost"), so the same
3009 points at your production host once HYPERLINK_CLIENT_HOST is set.
Replaces the retired clientHttp(tag, target) — use connect(tag, protocolHttp(target)).
export const const connect: <
Self,
S extends Spec,
E = never
>(
tag: HyperlinkTag<Self, S>,
protocol: Layer.Layer<RpcClient.Protocol, E>
) => Layer.Layer<Self, E | ValueErrorsOf<S>>
Dial a HyperService tag over a transport you provide — the no-batteries client. connect bakes in
no transport of its own (unlike
http
/
ws
/
unix
/
nPipe
, whose
wire is in the name and bundled): you hand it a
protocolHttp
/
protocolWebsocket
/
protocolIpc
layer, so a browser build pulls in only the one wire it passes.
program.pipe(Effect.provide(Hyperlink.connect(Emails, Hyperlink.protocolHttp(3009)))); // server
program.pipe(Effect.provide(Hyperlink.connect(Emails, Hyperlink.protocolWebsocket("/rpc")))); // browser (ws only)
The port shorthand (3009) resolves against
clientHost
(default "localhost"), so the same
3009 points at your production host once HYPERLINK_CLIENT_HOST is set.
Replaces the retired clientHttp(tag, target) — use connect(tag, protocolHttp(target)).
connect = <function (type parameter) Self in <Self, S extends Spec, E = never>(tag: HyperlinkTag<Self, S>, protocol: Layer.Layer<RpcClient.Protocol, E>): Layer.Layer<Self, E | ValueErrorsOf<S>>Self, function (type parameter) S in <Self, S extends Spec, E = never>(tag: HyperlinkTag<Self, S>, protocol: Layer.Layer<RpcClient.Protocol, E>): Layer.Layer<Self, E | ValueErrorsOf<S>>S extends Spec, function (type parameter) E in <Self, S extends Spec, E = never>(tag: HyperlinkTag<Self, S>, protocol: Layer.Layer<RpcClient.Protocol, E>): Layer.Layer<Self, E | ValueErrorsOf<S>>E = never>(
tag: HyperlinkTag<Self, S>(parameter) tag: {
description: string | undefined;
key: Identifier;
of: (this: void, self: Simplify<{ readonly [K in keyof S]: S[K] extends FromLocalMethod<infer M> ? InjectLocal<M, Self> : S[K] extends LocalMethod<infer T> ? LocalEffect<T, never, Self> : S[K] extends DefaultMethod<infer F> ? F : S[K] extends …;
context: (self: Simplify<{ readonly [K in keyof S]: S[K] extends FromLocalMethod<infer M> ? InjectLocal<M, Self> : S[K] extends LocalMethod<infer T> ? LocalEffect<T, never, Self> : S[K] extends DefaultMethod<infer F> ? F : S[K] extends { readonly _…;
use: (f: (service: Simplify<{ readonly [K in keyof S]: S[K] extends FromLocalMethod<infer M> ? InjectLocal<M, Self> : S[K] extends LocalMethod<infer T> ? LocalEffect<T, never, Self> : S[K] extends DefaultMethod<infer F> ? F : S[K] extends { rea…;
useSync: (f: (service: Simplify<{ readonly [K in keyof S]: S[K] extends FromLocalMethod<infer M> ? InjectLocal<M, Self> : S[K] extends LocalMethod<infer T> ? LocalEffect<T, never, Self> : S[K] extends DefaultMethod<infer F> ? F : S[K] extends { rea…;
Identifier: Identifier;
Service: Shape;
stack: string | undefined;
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
interface HyperlinkTag<Self, S extends Spec, Svc = Simplify<{ readonly [K in keyof S]: S[K] extends FromLocalMethod<infer M> ? InjectLocal<M, Self> : S[K] extends LocalMethod<infer T> ? LocalEffect<...> : S[K] extends DefaultMethod<...> ? F : S[K] extends { ...; } ? SuccessOf<...> : S[K] extends { ...; } ? Subscribable<...> : S[K] extends { ...; } ? ClientMethod<...> : S[K] extends Spec ? Simplify<...> : never; }>>The type of a HyperService tag carrying spec S — what
Hyperlink.Tag
produces
(and what you extend). Lets a consumer write
<S extends Spec>(tag: HyperlinkTag<Self, S>) and read the spec through named types
(
specOf
/
groupOf
) instead of a Parameters<typeof specOf> workaround.
HyperlinkTag<function (type parameter) Self in <Self, S extends Spec, E = never>(tag: HyperlinkTag<Self, S>, protocol: Layer.Layer<RpcClient.Protocol, E>): Layer.Layer<Self, E | ValueErrorsOf<S>>Self, function (type parameter) S in <Self, S extends Spec, E = never>(tag: HyperlinkTag<Self, S>, protocol: Layer.Layer<RpcClient.Protocol, E>): Layer.Layer<Self, E | ValueErrorsOf<S>>S>,
protocol: Layer.Layer<RpcClient.Protocol, E>(parameter) protocol: {
build: (memoMap: MemoMap, scope: Scope.Scope) => Effect<Context.Context<Protocol>, E, never>;
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
}
import LayerLayer.interface Layer<in ROut, out E = never, out RIn = never>A Layer describes how to build one or more services for dependency injection.
When to use
Use to model construction of application services for dependency injection,
especially when services have dependencies, can fail during construction, or
need scoped setup and release.
Details
A Layer<ROut, E, RIn> represents ROut as the services this layer
provides, E as the possible errors during layer construction, and RIn as
the services this layer requires as dependencies.
Layer<import RpcClientRpcClient.class Protocolclass Protocol {
key: Identifier;
Service: {
run: (clientId: number, f: (data: FromServerEncoded) => Effect.Effect<void>) => Effect.Effect<never>;
send: (clientId: number, request: FromClientEncoded, transferables?: ReadonlyArray<globalThis.Transferable>) => Effect.Effect<void, RpcClientError>;
supportsAck: boolean;
supportsTransferables: boolean;
};
}
Defines the service interface for an RPC client transport, responsible for running the
receive loop and sending encoded client messages.
When to use
Use to provide the transport boundary for RPC clients over HTTP, WebSocket,
workers, sockets, or custom protocols.
Protocol, function (type parameter) E in <Self, S extends Spec, E = never>(tag: HyperlinkTag<Self, S>, protocol: Layer.Layer<RpcClient.Protocol, E>): Layer.Layer<Self, E | ValueErrorsOf<S>>E>,
): import LayerLayer.interface Layer<in ROut, out E = never, out RIn = never>A Layer describes how to build one or more services for dependency injection.
When to use
Use to model construction of application services for dependency injection,
especially when services have dependencies, can fail during construction, or
need scoped setup and release.
Details
A Layer<ROut, E, RIn> represents ROut as the services this layer
provides, E as the possible errors during layer construction, and RIn as
the services this layer requires as dependencies.
Layer<function (type parameter) Self in <Self, S extends Spec, E = never>(tag: HyperlinkTag<Self, S>, protocol: Layer.Layer<RpcClient.Protocol, E>): Layer.Layer<Self, E | ValueErrorsOf<S>>Self, function (type parameter) E in <Self, S extends Spec, E = never>(tag: HyperlinkTag<Self, S>, protocol: Layer.Layer<RpcClient.Protocol, E>): Layer.Layer<Self, E | ValueErrorsOf<S>>E | type ValueErrorsOf<S extends Spec> =
unknown extends S
? never
: {
[K in keyof S]: S[K] extends {
readonly _tag: "value"
}
? ErrorOf<AsMethod<S[K]>>
: S[K] extends Spec
? ValueErrorsOf<S[K]>
: never
}[keyof S]
Union of every
value
leaf's error type in S — fails layer / client acquire
(all-or-nothing). Empty/never when the spec has no fallible materialize fields. An any /
unknown spec (erased toolkit boundaries) contributes never so it cannot poison Layer E.
ValueErrorsOf<function (type parameter) S in <Self, S extends Spec, E = never>(tag: HyperlinkTag<Self, S>, protocol: Layer.Layer<RpcClient.Protocol, E>): Layer.Layer<Self, E | ValueErrorsOf<S>>S>> =>
function clientLayer<Self, S>(tag: HyperlinkTag<Self, S, Simplify<{ readonly [K in keyof S]: S[K] extends FromLocalMethod<infer M> ? InjectLocal<M, Self> : S[K] extends LocalMethod<infer T> ? LocalEffect<T, never, Self> : S[K] extends DefaultMethod<infer F> ? F : S[K] extends {
readonly _tag: "value";
} ? SuccessOf<AsMethod<S[K]>> : S[K] extends {
readonly _tag: "ref";
} ? Subscribable<SuccessOf<AsMethod<S[K]>>> : S[K] extends {
...;
} ? ClientMethod<...> : S[K] extends Spec ? Simplify<...> : never; }>>): Layer.Layer<...> (+4 overloads)
The client layer for a serviceKey: drive it over RPC as if it were local — the exact
same yield* Tag code as the local layer, only the provided layer differs, so it doesn't
matter where the HyperService actually runs.
Paths, by whether — and where — the tag names a
Node
:
- **node-bearing +
AddressedNode
** —
client(Hosted) when the tag's { node } is
dialable: auto-wires connect (R = never). Bare bound nodes still require the node service.
- **nodeless tag +
AddressedNode
** —
client(tag, Worker) same auto-connect gate.
- bare node —
client(tag, Bare) / bare-bound client(Hosted) still require the node;
provide
Node.connect
(Bare, protocol) (or lookup /
unix
(tag)) yourself.
- nodeless tag, ambient transport — ambient
RpcClient.Protocol.
clientLayer(tag: HyperlinkTag<Self, S>(parameter) tag: {
description: string | undefined;
key: Identifier;
of: (this: void, self: Simplify<{ readonly [K in keyof S]: S[K] extends FromLocalMethod<infer M> ? InjectLocal<M, Self> : S[K] extends LocalMethod<infer T> ? LocalEffect<T, never, Self> : S[K] extends DefaultMethod<infer F> ? F : S[K] extends …;
context: (self: Simplify<{ readonly [K in keyof S]: S[K] extends FromLocalMethod<infer M> ? InjectLocal<M, Self> : S[K] extends LocalMethod<infer T> ? LocalEffect<T, never, Self> : S[K] extends DefaultMethod<infer F> ? F : S[K] extends { readonly _…;
use: (f: (service: Simplify<{ readonly [K in keyof S]: S[K] extends FromLocalMethod<infer M> ? InjectLocal<M, Self> : S[K] extends LocalMethod<infer T> ? LocalEffect<T, never, Self> : S[K] extends DefaultMethod<infer F> ? F : S[K] extends { rea…;
useSync: (f: (service: Simplify<{ readonly [K in keyof S]: S[K] extends FromLocalMethod<infer M> ? InjectLocal<M, Self> : S[K] extends LocalMethod<infer T> ? LocalEffect<T, never, Self> : S[K] extends DefaultMethod<infer F> ? F : S[K] extends { rea…;
Identifier: Identifier;
Service: Shape;
stack: string | undefined;
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
toString: () => string;
toJSON: () => unknown;
}
Pipeable.pipe<Layer.Layer<Self, ValueErrorsOf<S>, RpcClient.Protocol>, Layer.Layer<Self, E | ValueErrorsOf<S>, never>>(this: Layer.Layer<Self, ValueErrorsOf<S>, RpcClient.Protocol>, ab: (_: Layer.Layer<Self, ValueErrorsOf<S>, RpcClient.Protocol>) => Layer.Layer<Self, E | ValueErrorsOf<S>, never>): Layer.Layer<Self, E | ValueErrorsOf<S>, never> (+21 overloads)pipe(import LayerLayer.const provide: {
<RIn, E, ROut>(that: Layer<ROut, E, RIn>): <
RIn2,
E2,
ROut2
>(
self: Layer<ROut2, E2, RIn2>
) => Layer<
ROut2,
E | E2,
RIn | Exclude<RIn2, ROut>
>
<Layers extends [Any, ...Array<Any>]>(
that: Layers
): <A, E, R>(
self: Layer<A, E, R>
) => Layer<
A,
E | Error<Layers[number]>,
| Services<Layers[number]>
| Exclude<R, Success<Layers[number]>>
>
<RIn2, E2, ROut2, RIn, E, ROut>(
self: Layer<ROut2, E2, RIn2>,
that: Layer<ROut, E, RIn>
): Layer<
ROut2,
E | E2,
RIn | Exclude<RIn2, ROut>
>
<A, E, R, Layers extends [Any, ...Array<Any>]>(
self: Layer<A, E, R>,
that: Layers
): Layer<
A,
E | Error<Layers[number]>,
| Services<Layers[number]>
| Exclude<R, Success<Layers[number]>>
>
}
Feeds the output services of the dependency layer into the requirements of
this layer, returning a layer that only provides the services from this layer.
When to use
Use when you need to hide an implementation dependency layer from callers.
Details
In serviceLayer.pipe(Layer.provide(dependencyLayer)), the dependency layer is
built first and is used to satisfy the requirements of serviceLayer.
Example (Providing layer dependencies)
import { Context, Effect, Layer } from "effect"
class Database extends Context.Service<Database, {
readonly query: (sql: string) => Effect.Effect<string>
}>()("Database") {}
class UserService extends Context.Service<UserService, {
readonly getUser: (id: string) => Effect.Effect<{
id: string
name: string
}>
}>()("UserService") {}
class Logger extends Context.Service<Logger, {
readonly log: (msg: string) => Effect.Effect<void>
}>()("Logger") {}
// Create dependency layers
const databaseLayer = Layer.succeed(Database, {
query: Effect.fn("Database.query")((sql: string) => Effect.succeed(`DB: ${sql}`))
})
const loggerLayer = Layer.succeed(Logger, {
log: Effect.fn("Logger.log")((msg: string) => Effect.sync(() => console.log(`[LOG] ${msg}`)))
})
// UserService depends on Database and Logger
const userServiceLayer = Layer.effect(UserService, Effect.gen(function*() {
const database = yield* Database
const logger = yield* Logger
return {
getUser: Effect.fn("UserService.getUser")(function*(id: string) {
yield* logger.log(`Looking up user ${id}`)
const result = yield* database.query(
`SELECT * FROM users WHERE id = ${id}`
)
return { id, name: result }
})
}
}))
// Provide dependencies to UserService layer
const userServiceWithDependencies = userServiceLayer.pipe(
Layer.provide(Layer.mergeAll(databaseLayer, loggerLayer))
)
// Now UserService layer has no dependencies
const program = Effect.gen(function*() {
const userService = yield* UserService
return yield* userService.getUser("123")
}).pipe(
Effect.provide(userServiceWithDependencies)
)
provide(protocol: Layer.Layer<RpcClient.Protocol, E>(parameter) protocol: {
build: (memoMap: MemoMap, scope: Scope.Scope) => Effect<Context.Context<Protocol>, E, never>;
pipe: { <A>(this: A): A; <A, B = never>(this: A, ab: (_: A) => B): B; <A, B = never, C = never>(this: A, ab: (_: A) => B, bc: (_: B) => C): C; <A, B = never, C = never, D = never>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D; <…;
}