RunHyperlinkTagDefinition<Self, I, A, E>Tag factory result — Hyperlink tag + wire schemas + static RunHyperlinkStaticRun.
modelsRunHyperlinkStaticRun
Source src/RunHyperlink.ts:2726 lines
export type type RunHyperlinkTagDefinition<
Self,
I extends Schema.Top,
A extends Schema.Top,
E extends Schema.Top = Schema.Never
> = any
Tag factory result — Hyperlink tag + wire schemas + static
RunHyperlinkStaticRun
.
RunHyperlinkTagDefinition<
function (type parameter) Self in type RunHyperlinkTagDefinition<Self, I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>Self,
function (type parameter) I in type RunHyperlinkTagDefinition<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 RunHyperlinkTagDefinition<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 RunHyperlinkTagDefinition<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: 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,
> = 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 type RunHyperlinkTagDefinition<Self, I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>Self, function (type parameter) I in type RunHyperlinkTagDefinition<Self, I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>I, function (type parameter) A in type RunHyperlinkTagDefinition<Self, I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>A, function (type parameter) E in type RunHyperlinkTagDefinition<Self, I extends Schema.Top, A extends Schema.Top, E extends Schema.Top = Schema.Never>E>;
Referenced by 1 symbols