InstanceSpec<I, A, E>Instance spec for a gate typed by its wire schemas — namespaced short form of
internal GateInstanceSpec (import * as Gate → Gate.InstanceSpec).
models
Source src/Gate.ts:1435 lines
export type type InstanceSpec<
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top = Schema.Never
> = {
readonly status: GateStatusRef
readonly waiting: GateCountRef
readonly inFlight: GateCountRef
readonly completed: GateCountRef
readonly failed: GateCountRef
readonly interrupted: GateCountRef
readonly metrics: typeof gateMetricsNestSpec
readonly run: GateWireMember<I, A, E>
}
Instance spec for a gate typed by its wire schemas — namespaced short form of
internal GateInstanceSpec (import * as Gate → Gate.InstanceSpec).
InstanceSpec<
function (type parameter) I in type InstanceSpec<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>I extends import SchemaSchema.Top,
function (type parameter) A in type InstanceSpec<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>A extends import SchemaSchema.Top,
function (type parameter) E in type InstanceSpec<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>E extends import SchemaSchema.Top = typeof import SchemaSchema.const Never: 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?: MakeOptions) => never;
makeOption: (input: never, options?: MakeOptions) => Option_.Option<never>;
makeEffect: (input: never, options?: MakeOptions) => Effect.Effect<never, 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,
> = type GateInstanceSpec<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never> = {
readonly status: GateStatusRef;
readonly waiting: GateCountRef;
readonly inFlight: GateCountRef;
readonly completed: GateCountRef;
readonly failed: GateCountRef;
readonly interrupted: GateCountRef;
readonly metrics: typeof gateMetricsNestSpec;
readonly run: GateWireMember<I, A, E>;
}
Instance spec for a gate typed by its wire schemas.
GateInstanceSpec<function (type parameter) I in type InstanceSpec<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>I, function (type parameter) A in type InstanceSpec<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>A, function (type parameter) E in type InstanceSpec<I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>E>;
Referenced by 5 symbols