(key: string): HyperlinkTag<Self, ProcessInstanceSpec>
<A extends Schema.Top>(key: string, success: A): HyperlinkTag<
Self,
ProcessInstanceSpec<A>
>
<A extends Schema.Top, E extends Schema.Top>(
key: string,
success: A,
error: E
): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>
<A extends Schema.Top>(
key: string,
options: ProcessTagOptions & { readonly success: A }
): HyperlinkTag<Self, ProcessInstanceSpec<A>>
<E extends Schema.Top>(
key: string,
options: ProcessTagOptions & { readonly error: E }
): HyperlinkTag<Self, ProcessInstanceSpec<typeof Schema.Void, E>>
<A extends Schema.Top, E extends Schema.Top>(
key: string,
options: ProcessTagOptions & { readonly success: A; readonly error: E }
): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>
<HSelf>(
key: string,
options: ProcessTagOptions & { readonly node: NodeKey<HSelf> }
): NodeBoundTag<Self, ProcessInstanceSpec, HSelf>
<A extends Schema.Top, HSelf>(
key: string,
options: ProcessTagOptions & {
readonly success: A
readonly node: NodeKey<HSelf>
}
): NodeBoundTag<Self, ProcessInstanceSpec<A>, HSelf>
(key: string, options?: ProcessTagOptions): HyperlinkTag<
Self,
ProcessInstanceSpec
>Callable shape for Tag — overloads for positional schemas + config object.
export type type ProcessTagBuild<Self> = {
(key: string): HyperlinkTag<
Self,
ProcessInstanceSpec
>
<A extends Schema.Top>(
key: string,
success: A
): HyperlinkTag<Self, ProcessInstanceSpec<A>>
<A extends Schema.Top, E extends Schema.Top>(
key: string,
success: A,
error: E
): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>
<A extends Schema.Top>(
key: string,
options: ProcessTagOptions & {
readonly success: A
}
): HyperlinkTag<Self, ProcessInstanceSpec<A>>
<E extends Schema.Top>(
key: string,
options: ProcessTagOptions & {
readonly error: E
}
): HyperlinkTag<
Self,
ProcessInstanceSpec<typeof Schema.Void, E>
>
<A extends Schema.Top, E extends Schema.Top>(
key: string,
options: ProcessTagOptions & {
readonly success: A
readonly error: E
}
): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>
<HSelf>(
key: string,
options: ProcessTagOptions & {
readonly node: NodeKey<HSelf>
}
): NodeBoundTag<
Self,
ProcessInstanceSpec,
HSelf
>
<A extends Schema.Top, HSelf>(
key: string,
options: ProcessTagOptions & {
readonly success: A
readonly node: NodeKey<HSelf>
}
): NodeBoundTag<
Self,
ProcessInstanceSpec<A>,
HSelf
>
(
key: string,
options?: ProcessTagOptions
): HyperlinkTag<Self, ProcessInstanceSpec>
}
Callable shape for
Tag
— overloads for positional schemas + config object.
ProcessTagBuild<function (type parameter) Self in type ProcessTagBuild<Self>Self> = {
(key: stringkey: string): import HyperlinkTagHyperlinkTag<function (type parameter) Self in type ProcessTagBuild<Self>Self, type ProcessInstanceSpec<
A extends Schema.Top = Schema.Void,
E extends Schema.Top = Schema.Never
> = {
status: any
start: any
stop: any
wake: any
resetCadence: any
} & {
readonly events: ReturnType<
typeof buildProcessSpec<A, E>
>["events"]
readonly run: Hyperlink.Method<undefined, A, E>
} & (A extends Schema.Void
? Record<string, never>
: ResultGroupSpec<A>)
Per-tag process spec — control surface, live events, plus stamped run success/error on the wire.
ProcessInstanceSpec>;
<function (type parameter) A in <A extends Schema.Top>(key: string, success: A): HyperlinkTag<Self, ProcessInstanceSpec<A>>A extends import SchemaSchema.Top>(
key: stringkey: string,
success: A extends Schema.Topsuccess: function (type parameter) A in <A extends Schema.Top>(key: string, success: A): HyperlinkTag<Self, ProcessInstanceSpec<A>>A,
): import HyperlinkTagHyperlinkTag<function (type parameter) Self in type ProcessTagBuild<Self>Self, type ProcessInstanceSpec<
A extends Schema.Top = Schema.Void,
E extends Schema.Top = Schema.Never
> = {
status: any
start: any
stop: any
wake: any
resetCadence: any
} & {
readonly events: ReturnType<
typeof buildProcessSpec<A, E>
>["events"]
readonly run: Hyperlink.Method<undefined, A, E>
} & (A extends Schema.Void
? Record<string, never>
: ResultGroupSpec<A>)
Per-tag process spec — control surface, live events, plus stamped run success/error on the wire.
ProcessInstanceSpec<function (type parameter) A in <A extends Schema.Top>(key: string, success: A): HyperlinkTag<Self, ProcessInstanceSpec<A>>A>>;
<function (type parameter) A in <A extends Schema.Top, E extends Schema.Top>(key: string, success: A, error: E): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>A extends import SchemaSchema.Top, function (type parameter) E in <A extends Schema.Top, E extends Schema.Top>(key: string, success: A, error: E): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>E extends import SchemaSchema.Top>(
key: stringkey: string,
success: A extends Schema.Topsuccess: function (type parameter) A in <A extends Schema.Top, E extends Schema.Top>(key: string, success: A, error: E): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>A,
error: E extends Schema.Toperror: function (type parameter) E in <A extends Schema.Top, E extends Schema.Top>(key: string, success: A, error: E): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>E,
): import HyperlinkTagHyperlinkTag<function (type parameter) Self in type ProcessTagBuild<Self>Self, type ProcessInstanceSpec<
A extends Schema.Top = Schema.Void,
E extends Schema.Top = Schema.Never
> = {
status: any
start: any
stop: any
wake: any
resetCadence: any
} & {
readonly events: ReturnType<
typeof buildProcessSpec<A, E>
>["events"]
readonly run: Hyperlink.Method<undefined, A, E>
} & (A extends Schema.Void
? Record<string, never>
: ResultGroupSpec<A>)
Per-tag process spec — control surface, live events, plus stamped run success/error on the wire.
ProcessInstanceSpec<function (type parameter) A in <A extends Schema.Top, E extends Schema.Top>(key: string, success: A, error: E): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>A, function (type parameter) E in <A extends Schema.Top, E extends Schema.Top>(key: string, success: A, error: E): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>E>>;
<function (type parameter) A in <A extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly success: A;
}): HyperlinkTag<Self, ProcessInstanceSpec<A>>
A extends import SchemaSchema.Top>(
key: stringkey: string,
options: ProcessTagOptions & {
readonly success: A
}
options: type ProcessTagOptions = {
readonly description?: string
readonly success?: Schema.Top
readonly error?: Schema.Top
readonly node?: NodeKey<unknown>
}
Options for
Tag
— use as the sole 2nd argument (config-object overload) or merge with
positional success / error args.
ProcessTagOptions & { readonly success: A extends Schema.Topsuccess: function (type parameter) A in <A extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly success: A;
}): HyperlinkTag<Self, ProcessInstanceSpec<A>>
A },
): import HyperlinkTagHyperlinkTag<function (type parameter) Self in type ProcessTagBuild<Self>Self, type ProcessInstanceSpec<
A extends Schema.Top = Schema.Void,
E extends Schema.Top = Schema.Never
> = {
status: any
start: any
stop: any
wake: any
resetCadence: any
} & {
readonly events: ReturnType<
typeof buildProcessSpec<A, E>
>["events"]
readonly run: Hyperlink.Method<undefined, A, E>
} & (A extends Schema.Void
? Record<string, never>
: ResultGroupSpec<A>)
Per-tag process spec — control surface, live events, plus stamped run success/error on the wire.
ProcessInstanceSpec<function (type parameter) A in <A extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly success: A;
}): HyperlinkTag<Self, ProcessInstanceSpec<A>>
A>>;
<function (type parameter) E in <E extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly error: E;
}): HyperlinkTag<Self, ProcessInstanceSpec<typeof Schema.Void, E>>
E extends import SchemaSchema.Top>(
key: stringkey: string,
options: ProcessTagOptions & {
readonly error: E
}
options: type ProcessTagOptions = {
readonly description?: string
readonly success?: Schema.Top
readonly error?: Schema.Top
readonly node?: NodeKey<unknown>
}
Options for
Tag
— use as the sole 2nd argument (config-object overload) or merge with
positional success / error args.
ProcessTagOptions & { readonly error: E extends Schema.Toperror: function (type parameter) E in <E extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly error: E;
}): HyperlinkTag<Self, ProcessInstanceSpec<typeof Schema.Void, E>>
E },
): import HyperlinkTagHyperlinkTag<function (type parameter) Self in type ProcessTagBuild<Self>Self, type ProcessInstanceSpec<
A extends Schema.Top = Schema.Void,
E extends Schema.Top = Schema.Never
> = {
status: any
start: any
stop: any
wake: any
resetCadence: any
} & {
readonly events: ReturnType<
typeof buildProcessSpec<A, E>
>["events"]
readonly run: Hyperlink.Method<undefined, A, E>
} & (A extends Schema.Void
? Record<string, never>
: ResultGroupSpec<A>)
Per-tag process spec — control surface, live events, plus stamped run success/error on the wire.
ProcessInstanceSpec<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.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, function (type parameter) E in <E extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly error: E;
}): HyperlinkTag<Self, ProcessInstanceSpec<typeof Schema.Void, E>>
E>>;
<function (type parameter) A in <A extends Schema.Top, E extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly error: E;
}): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>
A extends import SchemaSchema.Top, function (type parameter) E in <A extends Schema.Top, E extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly error: E;
}): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>
E extends import SchemaSchema.Top>(
key: stringkey: string,
options: ProcessTagOptions & {
readonly success: A
readonly error: E
}
options: type ProcessTagOptions = {
readonly description?: string
readonly success?: Schema.Top
readonly error?: Schema.Top
readonly node?: NodeKey<unknown>
}
Options for
Tag
— use as the sole 2nd argument (config-object overload) or merge with
positional success / error args.
ProcessTagOptions & { readonly success: A extends Schema.Topsuccess: function (type parameter) A in <A extends Schema.Top, E extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly error: E;
}): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>
A; readonly error: E extends Schema.Toperror: function (type parameter) E in <A extends Schema.Top, E extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly error: E;
}): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>
E },
): import HyperlinkTagHyperlinkTag<function (type parameter) Self in type ProcessTagBuild<Self>Self, type ProcessInstanceSpec<
A extends Schema.Top = Schema.Void,
E extends Schema.Top = Schema.Never
> = {
status: any
start: any
stop: any
wake: any
resetCadence: any
} & {
readonly events: ReturnType<
typeof buildProcessSpec<A, E>
>["events"]
readonly run: Hyperlink.Method<undefined, A, E>
} & (A extends Schema.Void
? Record<string, never>
: ResultGroupSpec<A>)
Per-tag process spec — control surface, live events, plus stamped run success/error on the wire.
ProcessInstanceSpec<function (type parameter) A in <A extends Schema.Top, E extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly error: E;
}): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>
A, function (type parameter) E in <A extends Schema.Top, E extends Schema.Top>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly error: E;
}): HyperlinkTag<Self, ProcessInstanceSpec<A, E>>
E>>;
<function (type parameter) HSelf in <HSelf>(key: string, options: ProcessTagOptions & {
readonly node: NodeKey<HSelf>;
}): NodeBoundTag<Self, ProcessInstanceSpec, HSelf>
HSelf>(
key: stringkey: string,
options: ProcessTagOptions & {
readonly node: NodeKey<HSelf>
}
options: type ProcessTagOptions = {
readonly description?: string
readonly success?: Schema.Top
readonly error?: Schema.Top
readonly node?: NodeKey<unknown>
}
Options for
Tag
— use as the sole 2nd argument (config-object overload) or merge with
positional success / error args.
ProcessTagOptions & { readonly node: NodeKey<HSelf>node: import NodeKeyNodeKey<function (type parameter) HSelf in <HSelf>(key: string, options: ProcessTagOptions & {
readonly node: NodeKey<HSelf>;
}): NodeBoundTag<Self, ProcessInstanceSpec, HSelf>
HSelf> },
): import NodeBoundTagNodeBoundTag<function (type parameter) Self in type ProcessTagBuild<Self>Self, type ProcessInstanceSpec<
A extends Schema.Top = Schema.Void,
E extends Schema.Top = Schema.Never
> = {
status: any
start: any
stop: any
wake: any
resetCadence: any
} & {
readonly events: ReturnType<
typeof buildProcessSpec<A, E>
>["events"]
readonly run: Hyperlink.Method<undefined, A, E>
} & (A extends Schema.Void
? Record<string, never>
: ResultGroupSpec<A>)
Per-tag process spec — control surface, live events, plus stamped run success/error on the wire.
ProcessInstanceSpec, function (type parameter) HSelf in <HSelf>(key: string, options: ProcessTagOptions & {
readonly node: NodeKey<HSelf>;
}): NodeBoundTag<Self, ProcessInstanceSpec, HSelf>
HSelf>;
<function (type parameter) A in <A extends Schema.Top, HSelf>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly node: NodeKey<HSelf>;
}): NodeBoundTag<Self, ProcessInstanceSpec<A>, HSelf>
A extends import SchemaSchema.Top, function (type parameter) HSelf in <A extends Schema.Top, HSelf>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly node: NodeKey<HSelf>;
}): NodeBoundTag<Self, ProcessInstanceSpec<A>, HSelf>
HSelf>(
key: stringkey: string,
options: ProcessTagOptions & {
readonly success: A
readonly node: NodeKey<HSelf>
}
options: type ProcessTagOptions = {
readonly description?: string
readonly success?: Schema.Top
readonly error?: Schema.Top
readonly node?: NodeKey<unknown>
}
Options for
Tag
— use as the sole 2nd argument (config-object overload) or merge with
positional success / error args.
ProcessTagOptions & { readonly success: A extends Schema.Topsuccess: function (type parameter) A in <A extends Schema.Top, HSelf>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly node: NodeKey<HSelf>;
}): NodeBoundTag<Self, ProcessInstanceSpec<A>, HSelf>
A; readonly node: NodeKey<HSelf>node: import NodeKeyNodeKey<function (type parameter) HSelf in <A extends Schema.Top, HSelf>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly node: NodeKey<HSelf>;
}): NodeBoundTag<Self, ProcessInstanceSpec<A>, HSelf>
HSelf> },
): import NodeBoundTagNodeBoundTag<function (type parameter) Self in type ProcessTagBuild<Self>Self, type ProcessInstanceSpec<
A extends Schema.Top = Schema.Void,
E extends Schema.Top = Schema.Never
> = {
status: any
start: any
stop: any
wake: any
resetCadence: any
} & {
readonly events: ReturnType<
typeof buildProcessSpec<A, E>
>["events"]
readonly run: Hyperlink.Method<undefined, A, E>
} & (A extends Schema.Void
? Record<string, never>
: ResultGroupSpec<A>)
Per-tag process spec — control surface, live events, plus stamped run success/error on the wire.
ProcessInstanceSpec<function (type parameter) A in <A extends Schema.Top, HSelf>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly node: NodeKey<HSelf>;
}): NodeBoundTag<Self, ProcessInstanceSpec<A>, HSelf>
A>, function (type parameter) HSelf in <A extends Schema.Top, HSelf>(key: string, options: ProcessTagOptions & {
readonly success: A;
readonly node: NodeKey<HSelf>;
}): NodeBoundTag<Self, ProcessInstanceSpec<A>, HSelf>
HSelf>;
(key: stringkey: string, options: ProcessTagOptionsoptions?: type ProcessTagOptions = {
readonly description?: string
readonly success?: Schema.Top
readonly error?: Schema.Top
readonly node?: NodeKey<unknown>
}
Options for
Tag
— use as the sole 2nd argument (config-object overload) or merge with
positional success / error args.
ProcessTagOptions): import HyperlinkTagHyperlinkTag<function (type parameter) Self in type ProcessTagBuild<Self>Self, type ProcessInstanceSpec<
A extends Schema.Top = Schema.Void,
E extends Schema.Top = Schema.Never
> = {
status: any
start: any
stop: any
wake: any
resetCadence: any
} & {
readonly events: ReturnType<
typeof buildProcessSpec<A, E>
>["events"]
readonly run: Hyperlink.Method<undefined, A, E>
} & (A extends Schema.Void
? Record<string, never>
: ResultGroupSpec<A>)
Per-tag process spec — control surface, live events, plus stamped run success/error on the wire.
ProcessInstanceSpec>;
};