<Self>(): {
(key: string): RunTagWithStaticRun<
Self,
typeof Schema.Void,
typeof Schema.Void,
typeof Schema.Never
>
<
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top = Schema.Never
>(
key: string,
config: RunHyperlinkTagSchemas<I, A, E>
): RunTagWithStaticRun<Self, I, A, E>
<I extends Schema.Top, A extends Schema.Top>(
key: string,
payload: I,
success: A,
options?: { readonly description?: string }
): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(
key: string,
payload: I,
success: A,
error: E,
options?: { readonly description?: string }
): RunTagWithStaticRun<Self, I, A, E>
}Define a run (concurrency-gated effect) as a named service Tag:
class Backup extends RunHyperlink.Tag<Backup>()("@app/Backup", { payload: ArgsSchema }) {}. The
class is the Tag — yield* Backup resolves the RunHyperlink handle (its .run applies
the bounded-concurrency gate inline), while layer provides it and serve exposes it
over RPC. payload is the argument schema; optional success / error declare the result and
failure wire schemas.
const const runTag: <Self>() => {
(key: string): RunTagWithStaticRun<
Self,
typeof Schema.Void,
typeof Schema.Void,
typeof Schema.Never
>
<
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top = Schema.Never
>(
key: string,
config: RunHyperlinkTagSchemas<I, A, E>
): RunTagWithStaticRun<Self, I, A, E>
<I extends Schema.Top, A extends Schema.Top>(
key: string,
payload: I,
success: A,
options?: { readonly description?: string }
): RunTagWithStaticRun<
Self,
I,
A,
typeof Schema.Never
>
<
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top
>(
key: string,
payload: I,
success: A,
error: E,
options?: { readonly description?: string }
): RunTagWithStaticRun<Self, I, A, E>
}
Define a run (concurrency-gated effect) as a named service
Tag
:
class Backup extends RunHyperlink.Tag<Backup>()("@app/Backup", { payload: ArgsSchema }) {}. The
class is the Tag — yield* Backup resolves the
RunHyperlink
handle (its .run applies
the bounded-concurrency gate inline), while
layer
provides it and
serve
exposes it
over RPC. payload is the argument schema; optional success / error declare the result and
failure wire schemas.
runTag = <function (type parameter) Self in <Self>(): {
(key: string): RunTagWithStaticRun<Self, typeof Schema.Void, typeof Schema.Void, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>;
<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>;
}
Self>() => {
function function (local function) build(key: string): RunTagWithStaticRun<Self, typeof Schema.Void, typeof Schema.Void, typeof Schema.Never> (+3 overloads)build(key: stringkey: string): type RunTagWithStaticRun<
Self,
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top = Schema.Never
> = any
Tag + static .run shortcut, whose service value is the named
RunHyperlink
handle (via the
Svc seam on
HyperlinkTag
), so yield* MyRun hovers as RunHyperlink<Ticket, Price> rather
than the expanded ServiceOf<…> wall.
RunTagWithStaticRun<function (type parameter) Self in <Self>(): {
(key: string): RunTagWithStaticRun<Self, typeof Schema.Void, typeof Schema.Void, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>;
<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>;
}
Self, typeof import SchemaSchema.const Void: Schema.Voidconst Void: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<void, readonly []>) => Schema.Void;
annotateKey: (annotations: Schema.Annotations.Key<void>) => Schema.Void;
check: (checks_0: Check<void>, ...checks: Array<Check<void>>) => Schema.Void;
rebuild: (ast: Void) => Schema.Void;
make: (input: void, options?: Schema.MakeOptions) => void;
makeOption: (input: void, options?: Schema.MakeOptions) => Option<void>;
makeEffect: (input: void, options?: Schema.MakeOptions) => Effect.Effect<void, Schema.SchemaError, 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; <…;
}
Type-level representation of
Void
.
Schema for a TypeScript void return value.
When to use
Use when you need to model the return value of a function, RPC, or endpoint
whose result is intentionally ignored.
Details
Runtime parsing accepts any present value and discards it, producing
undefined. The public decoded and encoded TypeScript representation remains
void, so typed construction, decoding, and encoding APIs are still modeled
as void.
Void, typeof import SchemaSchema.const Void: Schema.Voidconst Void: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<void, readonly []>) => Schema.Void;
annotateKey: (annotations: Schema.Annotations.Key<void>) => Schema.Void;
check: (checks_0: Check<void>, ...checks: Array<Check<void>>) => Schema.Void;
rebuild: (ast: Void) => Schema.Void;
make: (input: void, options?: Schema.MakeOptions) => void;
makeOption: (input: void, options?: Schema.MakeOptions) => Option<void>;
makeEffect: (input: void, options?: Schema.MakeOptions) => Effect.Effect<void, Schema.SchemaError, 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; <…;
}
Type-level representation of
Void
.
Schema for a TypeScript void return value.
When to use
Use when you need to model the return value of a function, RPC, or endpoint
whose result is intentionally ignored.
Details
Runtime parsing accepts any present value and discards it, producing
undefined. The public decoded and encoded TypeScript representation remains
void, so typed construction, decoding, and encoding APIs are still modeled
as void.
Void, typeof import SchemaSchema.const Never: Schema.Neverconst Never: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<never, readonly []>) => Schema.Never;
annotateKey: (annotations: Schema.Annotations.Key<never>) => Schema.Never;
check: (checks_0: Check<never>, ...checks: Array<Check<never>>) => Schema.Never;
rebuild: (ast: Never) => Schema.Never;
make: (input: never, options?: Schema.MakeOptions) => never;
makeOption: (input: never, options?: Schema.MakeOptions) => Option<never>;
makeEffect: (input: never, options?: Schema.MakeOptions) => Effect.Effect<never, Schema.SchemaError, 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; <…;
}
Type-level representation of
Never
.
Schema for the never type. Always fails validation — no value satisfies it.
Never>;
function function (local function) build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E> (+3 overloads)build<
function (type parameter) I in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>I extends import SchemaSchema.Top,
function (type parameter) A in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>A extends import SchemaSchema.Top,
function (type parameter) E in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>E extends import SchemaSchema.Top = typeof import SchemaSchema.const Never: Schema.Neverconst Never: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<never, readonly []>) => Schema.Never;
annotateKey: (annotations: Schema.Annotations.Key<never>) => Schema.Never;
check: (checks_0: Check<never>, ...checks: Array<Check<never>>) => Schema.Never;
rebuild: (ast: Never) => Schema.Never;
make: (input: never, options?: Schema.MakeOptions) => never;
makeOption: (input: never, options?: Schema.MakeOptions) => Option<never>;
makeEffect: (input: never, options?: Schema.MakeOptions) => Effect.Effect<never, Schema.SchemaError, 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; <…;
}
Type-level representation of
Never
.
Schema for the never type. Always fails validation — no value satisfies it.
Never,
>(
key: stringkey: string,
config: RunHyperlinkTagSchemas<I, A, E>(parameter) config: {
description: string;
payload: I;
success: A;
error: E;
}
config: interface RunHyperlinkTagSchemas<I extends Schema.Top = Schema.Top, A extends Schema.Top = Schema.Top, E extends Schema.Top = Schema.Never>Schema-only options for
Tag
— pair with
layer
for the gated effect.
RunHyperlinkTagSchemas<function (type parameter) I in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>I, function (type parameter) A in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>A, function (type parameter) E in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>E>,
): type RunTagWithStaticRun<
Self,
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top = Schema.Never
> = any
Tag + static .run shortcut, whose service value is the named
RunHyperlink
handle (via the
Svc seam on
HyperlinkTag
), so yield* MyRun hovers as RunHyperlink<Ticket, Price> rather
than the expanded ServiceOf<…> wall.
RunTagWithStaticRun<function (type parameter) Self in <Self>(): {
(key: string): RunTagWithStaticRun<Self, typeof Schema.Void, typeof Schema.Void, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>;
<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>;
}
Self, function (type parameter) I in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>I, function (type parameter) A in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>A, function (type parameter) E in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>E>;
function function (local function) build<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never> (+3 overloads)
build<function (type parameter) I in build<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>
I extends import SchemaSchema.Top, function (type parameter) A in build<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>
A extends import SchemaSchema.Top>(
key: stringkey: string,
payload: I extends Schema.Toppayload: function (type parameter) I in build<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>
I,
success: A extends Schema.Topsuccess: function (type parameter) A in build<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>
A,
options: | {
readonly description?: string
}
| undefined
options?: { readonly description?: string | undefineddescription?: string },
): type RunTagWithStaticRun<
Self,
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top = Schema.Never
> = any
Tag + static .run shortcut, whose service value is the named
RunHyperlink
handle (via the
Svc seam on
HyperlinkTag
), so yield* MyRun hovers as RunHyperlink<Ticket, Price> rather
than the expanded ServiceOf<…> wall.
RunTagWithStaticRun<function (type parameter) Self in <Self>(): {
(key: string): RunTagWithStaticRun<Self, typeof Schema.Void, typeof Schema.Void, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>;
<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>;
}
Self, function (type parameter) I in build<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>
I, function (type parameter) A in build<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>
A, typeof import SchemaSchema.const Never: Schema.Neverconst Never: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<never, readonly []>) => Schema.Never;
annotateKey: (annotations: Schema.Annotations.Key<never>) => Schema.Never;
check: (checks_0: Check<never>, ...checks: Array<Check<never>>) => Schema.Never;
rebuild: (ast: Never) => Schema.Never;
make: (input: never, options?: Schema.MakeOptions) => never;
makeOption: (input: never, options?: Schema.MakeOptions) => Option<never>;
makeEffect: (input: never, options?: Schema.MakeOptions) => Effect.Effect<never, Schema.SchemaError, 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; <…;
}
Type-level representation of
Never
.
Schema for the never type. Always fails validation — no value satisfies it.
Never>;
function function (local function) build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E> (+3 overloads)
build<
function (type parameter) I in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>
I extends import SchemaSchema.Top,
function (type parameter) A in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>
A extends import SchemaSchema.Top,
function (type parameter) E in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>
E extends import SchemaSchema.Top,
>(
key: stringkey: string,
payload: I extends Schema.Toppayload: function (type parameter) I in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>
I,
success: A extends Schema.Topsuccess: function (type parameter) A in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>
A,
error: E extends Schema.Toperror: function (type parameter) E in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>
E,
options: | {
readonly description?: string
}
| undefined
options?: { readonly description?: string | undefineddescription?: string },
): type RunTagWithStaticRun<
Self,
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top = Schema.Never
> = any
Tag + static .run shortcut, whose service value is the named
RunHyperlink
handle (via the
Svc seam on
HyperlinkTag
), so yield* MyRun hovers as RunHyperlink<Ticket, Price> rather
than the expanded ServiceOf<…> wall.
RunTagWithStaticRun<function (type parameter) Self in <Self>(): {
(key: string): RunTagWithStaticRun<Self, typeof Schema.Void, typeof Schema.Void, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>;
<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>;
}
Self, function (type parameter) I in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>
I, function (type parameter) A in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>
A, function (type parameter) E in build<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>
E>;
function function (local function) build(key: string): RunTagWithStaticRun<Self, typeof Schema.Void, typeof Schema.Void, typeof Schema.Never> (+3 overloads)build(
key: stringkey: string,
inputOrSchemas: Schema.Top | RunHyperlinkTagSchemasinputOrSchemas?: import SchemaSchema.Top | interface RunHyperlinkTagSchemas<I extends Schema.Top = Schema.Top, A extends Schema.Top = Schema.Top, E extends Schema.Top = Schema.Never>Schema-only options for
Tag
— pair with
layer
for the gated effect.
RunHyperlinkTagSchemas,
success: Schema.Top | undefinedsuccess?: import SchemaSchema.Top,
errorOrOptions: | Schema.Top
| {
readonly description?: string
}
| undefined
errorOrOptions?: import SchemaSchema.Top | { readonly description?: string | undefineddescription?: string },
maybeOptions: | {
readonly description?: string
}
| undefined
maybeOptions?: { readonly description?: string | undefineddescription?: string },
): any {
if (inputOrSchemas: Schema.Top | RunHyperlinkTagSchemasinputOrSchemas === var undefinedundefined) {
return const materializeRunTag: <Self>() => <
I extends Schema.Top = typeof Schema.Void,
A extends Schema.Top = typeof Schema.Void,
E extends Schema.Top = typeof Schema.Never
>(
key: string,
config: RunHyperlinkTagSchemas<I, A, E>
) => RunTagWithStaticRun<Self, I, A, E>
materializeRunTag<function (type parameter) Self in <Self>(): {
(key: string): RunTagWithStaticRun<Self, typeof Schema.Void, typeof Schema.Void, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>;
<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>;
}
Self>()(key: stringkey, {});
}
if (const isRunTagSchemaConfig: (
value: unknown
) => value is RunHyperlinkTagSchemas
isRunTagSchemaConfig(inputOrSchemas: Schema.Top | RunHyperlinkTagSchemasinputOrSchemas)) {
return const materializeRunTag: <Self>() => <
I extends Schema.Top = typeof Schema.Void,
A extends Schema.Top = typeof Schema.Void,
E extends Schema.Top = typeof Schema.Never
>(
key: string,
config: RunHyperlinkTagSchemas<I, A, E>
) => RunTagWithStaticRun<Self, I, A, E>
materializeRunTag<function (type parameter) Self in <Self>(): {
(key: string): RunTagWithStaticRun<Self, typeof Schema.Void, typeof Schema.Void, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>;
<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>;
}
Self>()(key: stringkey, inputOrSchemas: Schema.Top | RunHyperlinkTagSchemas(parameter) inputOrSchemas: {
description: string;
payload: I;
success: A;
error: E;
}
inputOrSchemas);
}
const const payload: Schema.Topconst payload: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<unknown, any>) => Schema.Top;
annotateKey: (annotations: Schema.Annotations.Key<unknown>) => Schema.Top;
check: (checks_0: Check<unknown>, ...checks: Array<Check<unknown>>) => Schema.Top;
rebuild: (ast: AST) => Schema.Top;
make: (input: unknown, options?: Schema.MakeOptions) => unknown;
makeOption: (input: unknown, options?: Schema.MakeOptions) => Option<unknown>;
makeEffect: (input: unknown, options?: Schema.MakeOptions) => Effect.Effect<unknown, Schema.SchemaError, 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; <…;
}
payload = inputOrSchemas: Schema.Top | RunHyperlinkTagSchemas(parameter) inputOrSchemas: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<unknown, any>) => Schema.Top;
annotateKey: (annotations: Schema.Annotations.Key<unknown>) => Schema.Top;
check: (checks_0: Check<unknown>, ...checks: Array<Check<unknown>>) => Schema.Top;
rebuild: (ast: AST) => Schema.Top;
make: (input: unknown, options?: Schema.MakeOptions) => unknown;
makeOption: (input: unknown, options?: Schema.MakeOptions) => Option<unknown>;
makeEffect: (input: unknown, options?: Schema.MakeOptions) => Effect.Effect<unknown, Schema.SchemaError, 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; <…;
}
inputOrSchemas;
// `Schema.isSchema` is a type guard, so the 4th positional arg narrows cleanly into either the
// `error` schema or the trailing `{ description }` options — no cast at either branch.
const const error: Schema.Top | undefinederror =
errorOrOptions: | Schema.Top
| {
readonly description?: string
}
| undefined
errorOrOptions !== var undefinedundefined && import SchemaSchema.function isSchema(
u: unknown
): u is Schema.Top
Checks whether a value is a Schema.
isSchema(errorOrOptions: | Schema.Top
| {
readonly description?: string
}
errorOrOptions)
? errorOrOptions: Schema.Top(parameter) errorOrOptions: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<unknown, any>) => Schema.Top;
annotateKey: (annotations: Schema.Annotations.Key<unknown>) => Schema.Top;
check: (checks_0: Check<unknown>, ...checks: Array<Check<unknown>>) => Schema.Top;
rebuild: (ast: AST) => Schema.Top;
make: (input: unknown, options?: Schema.MakeOptions) => unknown;
makeOption: (input: unknown, options?: Schema.MakeOptions) => Option<unknown>;
makeEffect: (input: unknown, options?: Schema.MakeOptions) => Effect.Effect<unknown, Schema.SchemaError, 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; <…;
}
errorOrOptions
: var undefinedundefined;
const const options:
| {
readonly description?: string
}
| undefined
options =
errorOrOptions: | Schema.Top
| {
readonly description?: string
}
| undefined
errorOrOptions !== var undefinedundefined && !import SchemaSchema.function isSchema(
u: unknown
): u is Schema.Top
Checks whether a value is a Schema.
isSchema(errorOrOptions: | Schema.Top
| {
readonly description?: string
}
errorOrOptions)
? errorOrOptions: {
readonly description?: string
}
errorOrOptions
: maybeOptions: | {
readonly description?: string
}
| undefined
maybeOptions;
return const materializeRunTag: <Self>() => <
I extends Schema.Top = typeof Schema.Void,
A extends Schema.Top = typeof Schema.Void,
E extends Schema.Top = typeof Schema.Never
>(
key: string,
config: RunHyperlinkTagSchemas<I, A, E>
) => RunTagWithStaticRun<Self, I, A, E>
materializeRunTag<function (type parameter) Self in <Self>(): {
(key: string): RunTagWithStaticRun<Self, typeof Schema.Void, typeof Schema.Void, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>(key: string, config: RunHyperlinkTagSchemas<I, A, E>): RunTagWithStaticRun<Self, I, A, E>;
<I extends Schema.Top, A extends Schema.Top>(key: string, payload: I, success: A, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, typeof Schema.Never>;
<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top>(key: string, payload: I, success: A, error: E, options?: {
readonly description?: string;
}): RunTagWithStaticRun<Self, I, A, E>;
}
Self>()(key: stringkey, {
RunHyperlinkWireSchemas<Top, Top, Top>.payload?: Schema.Top | undefined(property) RunHyperlinkWireSchemas<Top, Top, Top>.payload?: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<unknown, any>) => Schema.Top;
annotateKey: (annotations: Schema.Annotations.Key<unknown>) => Schema.Top;
check: (checks_0: Check<unknown>, ...checks: Array<Check<unknown>>) => Schema.Top;
rebuild: (ast: AST) => Schema.Top;
make: (input: unknown, options?: Schema.MakeOptions) => unknown;
makeOption: (input: unknown, options?: Schema.MakeOptions) => Option<unknown>;
makeEffect: (input: unknown, options?: Schema.MakeOptions) => Effect.Effect<unknown, Schema.SchemaError, 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; <…;
}
Wire input schema; defaults to
Schema.Void
(unit gate).
payload,
RunHyperlinkWireSchemas<Top, Top, Top>.success?: Schema.Top | undefined(property) RunHyperlinkWireSchemas<Top, Top, Top>.success?: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<unknown, any>) => Schema.Top;
annotateKey: (annotations: Schema.Annotations.Key<unknown>) => Schema.Top;
check: (checks_0: Check<unknown>, ...checks: Array<Check<unknown>>) => Schema.Top;
rebuild: (ast: AST) => Schema.Top;
make: (input: unknown, options?: Schema.MakeOptions) => unknown;
makeOption: (input: unknown, options?: Schema.MakeOptions) => Option<unknown>;
makeEffect: (input: unknown, options?: Schema.MakeOptions) => Effect.Effect<unknown, Schema.SchemaError, 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; <…;
}
Wire success schema; defaults to
Schema.Void
. Omitted slots are not store-stamped.
success: success: Schema.Top | undefinedsuccess!,
...(const error: Schema.Top | undefinederror !== var undefinedundefined ? { RunHyperlinkWireSchemas<Top, Top, Top>.error?: Schema.Top | undefined(property) RunHyperlinkWireSchemas<Top, Top, Top>.error?: {
Rebuild: Rebuild;
Iso: Iso;
ast: Ast;
Type: T;
Encoded: E;
DecodingServices: RD;
EncodingServices: RE;
annotate: (annotations: Schema.Annotations.Bottom<unknown, any>) => Schema.Top;
annotateKey: (annotations: Schema.Annotations.Key<unknown>) => Schema.Top;
check: (checks_0: Check<unknown>, ...checks: Array<Check<unknown>>) => Schema.Top;
rebuild: (ast: AST) => Schema.Top;
make: (input: unknown, options?: Schema.MakeOptions) => unknown;
makeOption: (input: unknown, options?: Schema.MakeOptions) => Option<unknown>;
makeEffect: (input: unknown, options?: Schema.MakeOptions) => Effect.Effect<unknown, Schema.SchemaError, 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; <…;
}
Wire error schema; defaults to
Schema.Never
. Omitted slots are not store-stamped.
error } : {}),
RunHyperlinkTagSchemas<I extends Schema.Top = Top, A extends Schema.Top = Top, E extends Schema.Top = Never>.description?: string | undefineddescription: const options:
| {
readonly description?: string
}
| undefined
options?.description?: string | undefineddescription,
});
}
return function (local function) build(key: string): RunTagWithStaticRun<Self, typeof Schema.Void, typeof Schema.Void, typeof Schema.Never> (+3 overloads)build;
};