TagDefinition<Self, I, A, E>Tag factory result — Hyperlink tag + wire schemas + static StaticRun.
modelsStaticRun
Source src/Gate.ts:3136 lines
export type type TagDefinition<
Self,
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top = Schema.Never
> = Hyperlink.HyperlinkTag<
Self,
InstanceSpec<I, A, E>,
Gate<
PrettifyPayload<I["Type"]>,
Schema.Schema.Type<A>,
Schema.Schema.Type<E>,
never
>
> & {
readonly run: StaticRun<I, A, E, Self>
}
Tag factory result — Hyperlink tag + wire schemas + static
StaticRun
.
TagDefinition<
function (type parameter) Self in type TagDefinition<Self, I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>Self,
function (type parameter) I in type TagDefinition<Self, 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 TagDefinition<Self, 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 TagDefinition<Self, 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 GateTagWithStaticRun<
Self,
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top = Schema.Never
> = Hyperlink.HyperlinkTag<
Self,
InstanceSpec<I, A, E>,
Gate<
PrettifyPayload<I["Type"]>,
Schema.Schema.Type<A>,
Schema.Schema.Type<E>,
never
>
> & {
readonly run: StaticRun<I, A, E, Self>
}
Tag + static .run shortcut, whose service value is the named
Gate
handle (via the
Svc seam on
HyperlinkTag
), so yield* MyGate hovers as Gate<Ticket, Price> rather
than the expanded ServiceOf<…> wall.
GateTagWithStaticRun<function (type parameter) Self in type TagDefinition<Self, I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>Self, function (type parameter) I in type TagDefinition<Self, I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>I, function (type parameter) A in type TagDefinition<Self, I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>A, function (type parameter) E in type TagDefinition<Self, I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>E>;
Referenced by 1 symbols