<Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top>(tag: ShardMapTag<Self, Key, Value, Error>, options?: ShardMapOptions): Layer.Layer<Handler<'get'> | Handler<'size'> | Handler<'put'> | Handler<'delete'> | Handler<'getLocal'> | Handler<'putLocal'> | Handler<'deleteLocal'> | Handler<'sizeLocal'> | Handler<'sizeByNode'>, never, Hyperlink.PeersId<Self> | Hyperlink.SelfNodeId<Self> | (([Key extends Schema.Struct<Fields extends Schema.Struct.Fields>.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<Option.Option<Value['Type']>, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct<Fields extends Schema.Struct.Fields>.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Option<Value>, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<Option.Option<Value['Type']>, unknown, never>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct<Fields extends Schema.Struct.Fields>.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<Option.Option<Value['Type']>, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct<Fields extends Schema.Struct.Fields>.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Option<Value>, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<Option.Option<Value['Type']>, unknown, never>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct<Fields extends Schema.Struct.Fields>.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<Option.Option<Value['Type']>, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct<Fields extends Schema.Struct.Fields>.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Option<Value>, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<Option.Option<Value['Type']>, unknown, never>) extends Effect.Effect<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct<Fields extends Schema.Struct.Fields>.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<Option.Option<Value['Type']>, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct<Fields extends Schema.Struct.Fields>.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Option<Value>, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<Option.Option<Value['Type']>, unknown, never>) extends Stream<unknown, unknown, infer R> ? R : never) | (([Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends Effect.Effect<unknown, unknown, infer R> ? R : ([Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends Stream<unknown, unknown, infer R> ? R : never) | (([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends Effect.Effect<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends Stream<unknown, unknown, infer R> ? R : never) | (([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<Option.Option<Value['Type']>, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Option<Value>, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<Option.Option<Value['Type']>, unknown, never>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<Option.Option<Value['Type']>, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Option<Value>, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<Option.Option<Value['Type']>, unknown, never>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<Option.Option<Value['Type']>, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Option<Value>, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<Option.Option<Value['Type']>, unknown, never>) extends Effect.Effect<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<Option.Option<Value['Type']>, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Option<Value>, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<Option.Option<Value['Type']>, unknown, never>) extends Stream<unknown, unknown, infer R> ? R : never) | (([Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never] extends [undefined] ? Effect.Effect<void, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never, Schema.Void, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<void, unknown, never>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never] extends [undefined] ? Effect.Effect<void, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never, Schema.Void, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<void, unknown, never>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never] extends [undefined] ? Effect.Effect<void, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never, Schema.Void, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<void, unknown, never>) extends Effect.Effect<unknown, unknown, infer R> ? R : ([Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never] extends [undefined] ? Effect.Effect<void, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never, Schema.Void, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<void, unknown, never>) extends Stream<unknown, unknown, infer R> ? R : never) | (([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends Effect.Effect<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [undefined] ? Effect.Effect<boolean, unknown, never> : (payload: PayloadOf<Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Boolean, Schema.Top, false, Hyperlink.MethodAnnotations & { description: string; }, Hyperlink.Derive>>) => Effect.Effect<boolean, unknown, never>) extends Stream<unknown, unknown, infer R> ? R : never)>Serve this ShardMap remotely (served-only) — counterpart to Hyperlink.serveRemote.
Mounts routed + fleet handlers without granting the local instance. Opens SQLite
(:memory: by default). Requires the mesh capability (Hyperlink.peersLayer or
peersFrom + selfNodeLayer).
Source src/ShardMap.ts:61416 lines
export const const serveRemote: <Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top>(tag: ShardMapTag<Self, Key, Value, Error>, options?: ShardMapOptions) => Layer.Layer<Handler<"get"> | Handler<"put"> | Handler<"delete"> | Handler<"getLocal"> | Handler<"putLocal"> | Handler<"deleteLocal"> | Handler<"sizeLocal"> | Handler<"sizeByNode"> | Handler<"size">, never, Hyperlink.PeersId<Self> | Hyperlink.SelfNodeId<Self> | (([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Effect.Effect<...> ? R : ([Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Stream<...> ? R : never) | ... 4 more ... | (([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Effect.Effect<...> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Stream<...> ? R : never)>Serve this ShardMap remotely (served-only) — counterpart to
Hyperlink.serveRemote
.
Mounts routed + fleet handlers without granting the local instance. Opens SQLite
(:memory: by default). Requires the mesh capability (
Hyperlink.peersLayer
or
peersFrom + selfNodeLayer).
serveRemote = <
function (type parameter) Self in <Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top>(tag: ShardMapTag<Self, Key, Value, Error>, options?: ShardMapOptions): Layer.Layer<Handler<"get"> | Handler<"put"> | Handler<"delete"> | ... 5 more ... | Handler<...>, never, Hyperlink.PeersId<...> | ... 6 more ... | (([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Effect.Effect<...> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Stream<...> ? R : never)>Self,
function (type parameter) Key in <Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top>(tag: ShardMapTag<Self, Key, Value, Error>, options?: ShardMapOptions): Layer.Layer<Handler<"get"> | Handler<"put"> | Handler<"delete"> | ... 5 more ... | Handler<...>, never, Hyperlink.PeersId<...> | ... 6 more ... | (([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Effect.Effect<...> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Stream<...> ? R : never)>Key extends import SchemaSchema.Top,
function (type parameter) Value in <Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top>(tag: ShardMapTag<Self, Key, Value, Error>, options?: ShardMapOptions): Layer.Layer<Handler<"get"> | Handler<"put"> | Handler<"delete"> | ... 5 more ... | Handler<...>, never, Hyperlink.PeersId<...> | ... 6 more ... | (([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Effect.Effect<...> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Stream<...> ? R : never)>Value extends import SchemaSchema.Top,
function (type parameter) Error in <Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top>(tag: ShardMapTag<Self, Key, Value, Error>, options?: ShardMapOptions): Layer.Layer<Handler<"get"> | Handler<"put"> | Handler<"delete"> | ... 5 more ... | Handler<...>, never, Hyperlink.PeersId<...> | ... 6 more ... | (([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Effect.Effect<...> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Stream<...> ? R : never)>Error extends import SchemaSchema.Top,
>(
tag: ShardMapTag<Self, Key, Value, Error>tag: type ShardMapTag<Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top = Schema.Never> = Hyperlink.HyperlinkTag<Self, {
get: Hyperlink.Method<Key extends Schema.Struct.Fields ? Key : Key extends Schema.Top ? Key : never, Schema.Option<Value>, Error extends Schema.Top ? Error : Schema.Never, false, Hyperlink.MethodAnnotations & {
description: string;
}, Hyperlink.Derive>;
put: Hyperlink.Method<Value extends Schema.Struct.Fields ? Value : Value extends Schema.Top ? Value : never, ... 4 more ..., Hyperlink.Derive>;
... 6 more ...;
size: Hyperlink.Marked<...>;
}, {
...;
}> & {
...;
}
A ShardMap instance tag — wire contract plus stamped key / value / keyOf carriers.
ShardMapTag<function (type parameter) Self in <Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top>(tag: ShardMapTag<Self, Key, Value, Error>, options?: ShardMapOptions): Layer.Layer<Handler<"get"> | Handler<"put"> | Handler<"delete"> | ... 5 more ... | Handler<...>, never, Hyperlink.PeersId<...> | ... 6 more ... | (([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Effect.Effect<...> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Stream<...> ? R : never)>Self, function (type parameter) Key in <Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top>(tag: ShardMapTag<Self, Key, Value, Error>, options?: ShardMapOptions): Layer.Layer<Handler<"get"> | Handler<"put"> | Handler<"delete"> | ... 5 more ... | Handler<...>, never, Hyperlink.PeersId<...> | ... 6 more ... | (([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Effect.Effect<...> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Stream<...> ? R : never)>Key, function (type parameter) Value in <Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top>(tag: ShardMapTag<Self, Key, Value, Error>, options?: ShardMapOptions): Layer.Layer<Handler<"get"> | Handler<"put"> | Handler<"delete"> | ... 5 more ... | Handler<...>, never, Hyperlink.PeersId<...> | ... 6 more ... | (([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Effect.Effect<...> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Stream<...> ? R : never)>Value, function (type parameter) Error in <Self, Key extends Schema.Top, Value extends Schema.Top, Error extends Schema.Top>(tag: ShardMapTag<Self, Key, Value, Error>, options?: ShardMapOptions): Layer.Layer<Handler<"get"> | Handler<"put"> | Handler<"delete"> | ... 5 more ... | Handler<...>, never, Hyperlink.PeersId<...> | ... 6 more ... | (([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Effect.Effect<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends (payload: never) => Stream<unknown, unknown, infer R> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Effect.Effect<...> ? R : ([...] extends [...] ? Effect.Effect<...> : (payload: PayloadOf<...>) => Effect.Effect<...>) extends Stream<...> ? R : never)>Error>,
options: ShardMapOptionsoptions?: type ShardMapOptions =
internal.ShardMapOptions
Options for
layer
/
serve
/
serveRemote
.
ShardMapOptions,
) =>
const withSqlite: <A, E, R>(
options: ShardMapOptions | undefined,
layer: Layer.Layer<A, E, R | SqlClient>
) => Layer.Layer<A, E, R>
Provide
SqlClient
(default :memory:) and install the shard-map schema before the
resource layer builds.
withSqlite(
options: ShardMapOptionsoptions,
const buildImpl: <
Self,
Key extends Schema.Top,
Value extends Schema.Top,
Error extends Schema.Top
>(
tag: ShardMapTag<Self, Key, Value, Error>,
options?: ShardMapOptions
) => Effect.Effect<
ShardMapImpl<Key, Value>,
never,
PeersId<Self> | SelfNodeId<Self> | SqlClient
>
The served SQL-backed shard + routed/fleet members. Requires
Hyperlink.peers
/
Hyperlink.selfNode
and
SqlClient
(toolkit layers install schema + provide a
default :memory: client).
buildImpl(tag: ShardMapTag<Self, Key, Value, Error>tag, options: ShardMapOptionsoptions).Pipeable.pipe<Effect.Effect<ShardMapImpl<Key, Value>, never, SqlClient | Hyperlink.PeersId<Self> | Hyperlink.SelfNodeId<Self>>, Effect.Effect<Layer.Layer<Handler<"get"> | Handler<"put"> | Handler<"delete"> | Handler<"getLocal"> | Handler<"putLocal"> | Handler<"deleteLocal"> | Handler<"sizeLocal"> | Handler<"sizeByNode"> | Handler<"size">, never, Hyperlink.ServeRequirements<Hyperlink.ServeImplOf<{
get: Hyperlink.Method<Key extends Schema.Struct<Fields extends Schema.Struct.Fields>.Fields ? Key : Key extends Schema.Top ? Key : never, ... 4 more ..., Hyperlink.Derive>;
... 7 more ...;
size: Hyperlink.Marked<...>;
}, never>>>, never, SqlClient | ... 1 more ... | Hyperlink.SelfNodeId<...>>, Layer.Layer<...>>(this: Effect.Effect<...>, ab: (_: Effect.Effect<...>) => Effect.Effect<...>, bc: (_: Effect.Effect<...>) => Layer.Layer<...>): Layer.Layer<...> (+21 overloads)
import EffectEffect.const map: {
<A, B>(f: (a: A) => B): <E, R>(
self: Effect<A, E, R>
) => Effect<B, E, R>
<A, E, R, B>(
self: Effect<A, E, R>,
f: (a: A) => B
): Effect<B, E, R>
}
Transforms the value inside an effect by applying a function to it.
When to use
Use to transform an effect's success value with a function that returns a
plain value, producing a new effect without changing the original effect's
typed error or context requirements.
Details
map takes a function and applies it to the value contained within an
effect, creating a new effect with the transformed value.
It's important to note that effects are immutable, meaning that the original
effect is not modified. Instead, a new effect is returned with the updated
value.
Example (Choosing map syntax variants)
import { Effect, pipe } from "effect"
const myEffect = Effect.succeed(1)
const transformation = (n: number) => n + 1
const mappedWithPipe = pipe(myEffect, Effect.map(transformation))
const mappedWithDataFirst = Effect.map(myEffect, transformation)
const mappedWithMethod = myEffect.pipe(Effect.map(transformation))
Example (Adding a service charge)
import { Effect, pipe } from "effect"
const addServiceCharge = (amount: number) => amount + 1
const fetchTransactionAmount = Effect.promise(() => Promise.resolve(100))
const finalAmount = pipe(
fetchTransactionAmount,
Effect.map(addServiceCharge)
)
Effect.runPromise(finalAmount).then(console.log)
// Output: 101
map((impl: ShardMapImpl<Key, Value>(parameter) impl: {
get: (key: KeyT<Key>) => Effect.Effect<Option.Option<ValueT<Value>>>;
put: (value: ValueT<Value>) => Effect.Effect<boolean>;
delete: (key: KeyT<Key>) => Effect.Effect<boolean>;
getLocal: (key: KeyT<Key>) => Effect.Effect<Option.Option<ValueT<Value>>>;
putLocal: (value: ValueT<Value>) => Effect.Effect<void>;
deleteLocal: (key: KeyT<Key>) => Effect.Effect<boolean>;
sizeLocal: Effect.Effect<number>;
sizeByNode: Effect.Effect<Readonly<Record<string, number>>>;
size: Effect.Effect<number>;
}
import HyperlinkHyperlink.const serveRemote: <
S extends Spec,
Impl extends ServeImplOf<S, any>
>(
tag: {
readonly [wireKeySym]: string
readonly [specSym]: FlatSpec
readonly [specTypeSym]?: S
readonly [groupSym]: RpcGroupOf<S>
},
impl: Impl
) => Layer.Layer<
HandlerContextOf<S>,
never,
ServeRequirements<Impl>
>
A HyperService's served-only handler layer — mounts the tag's group handlers (wire members only,
no local grant), with the handlers' requirement R preserved (not erased). This is the
served-only counterpart to
serve
, which additionally grants
Local
so
members stay callable in-process. serveRemote's R rides the layer's requirement channel, so a
per-HyperService Layer.provide discharges this HyperService's dependency in isolation:
Hyperlink.serveRemote(SeasonMatches, seasonMatchesImpl).pipe(Layer.provide(importHandlersLayer))
The point of serveRemote is the run-time-requirement case: N HyperServices needing different
implementations of the same tag, each isolated — merge the layers onto one RpcServer (groups are
prefix-keyed).
Plain impls infer R via
ServeRequirements
. For a
Driver
, use
serveRemoteDriver
so the driver's R is the Layer requirement (no toolkit retype).
serveRemote(tag: ShardMapTag<Self, Key, Value, Error>tag, const asServeImpl: <
Key extends Schema.Top,
Value extends Schema.Top,
Error extends Schema.Top
>(
impl: ShardMapImpl<Key, Value>
) => Hyperlink.ServeImplOf<
ShardMapSpecOf<Key, Value, Error>,
never
>
Bridge concrete
ShardMapImpl
→
Hyperlink.ServeImplOf
.
asServeImpl(impl: ShardMapImpl<Key, Value>(parameter) impl: {
get: (key: KeyT<Key>) => Effect.Effect<Option.Option<ValueT<Value>>>;
put: (value: ValueT<Value>) => Effect.Effect<boolean>;
delete: (key: KeyT<Key>) => Effect.Effect<boolean>;
getLocal: (key: KeyT<Key>) => Effect.Effect<Option.Option<ValueT<Value>>>;
putLocal: (value: ValueT<Value>) => Effect.Effect<void>;
deleteLocal: (key: KeyT<Key>) => Effect.Effect<boolean>;
sizeLocal: Effect.Effect<number>;
sizeByNode: Effect.Effect<Readonly<Record<string, number>>>;
size: Effect.Effect<number>;
}
import LayerLayer.const unwrap: <A, E1, R1, E, R>(
self: Effect<Layer<A, E1, R1>, E, R>
) => Layer<
A,
E | E1,
R1 | Exclude<R, Scope.Scope>
>
Unwraps a Layer from an Effect, flattening the nested structure.
When to use
Use when you have an Effect that produces a Layer and you want to
use that layer directly.
Details
The resulting Layer will have the combined error and dependency types from
both the outer Effect and the inner Layer.
Example (Unwrapping an effectful layer)
import { Context, Effect, Layer } from "effect"
class Database extends Context.Service<Database, {
readonly query: (sql: string) => Effect.Effect<string>
}>()("Database") {}
const layerEffect = Effect.succeed(
Layer.succeed(Database, { query: Effect.fn("Database.query")((sql: string) => Effect.succeed("result")) })
)
const unwrappedLayer = Layer.unwrap(layerEffect)
unwrap,
),
);