ConstantField<M>Source src/Hyperlink.ts:10081 lines
export type type ConstantField<M extends AnyMethod> =
Omit<M, "annotate"> & {
readonly _tag: "constant"
} & {
readonly annotate: <
A extends MethodAnnotations
>(
a: A
) => Marked<
Method<
M["payload"],
M["success"],
M["error"],
M["stream"],
M["annotations"] & A,
Derive
>,
{
readonly _tag: "constant"
}
>
}
function (type parameter) M in type ConstantField<M extends AnyMethod>M extends type AnyMethod = Method<
Schema.Struct.Fields | Schema.Top | undefined,
Schema.Top,
Schema.Top,
boolean,
MethodAnnotations,
never
>
Any
Method
, erased — the element type of a
Spec
.
AnyMethod> = type Marked<
M extends AnyMethod,
Mark
> = Omit<M, "annotate"> &
Mark & {
readonly annotate: <
A extends MethodAnnotations
>(
a: A
) => Marked<
Method<
M["payload"],
M["success"],
M["error"],
M["stream"],
M["annotations"] & A
>,
Mark
>
}
A
Method
carrying a shape marker Mark ({ _tag: … } / { fleet: true }) whose .annotate()
re-applies the marker — so value(x).annotate(…) stays a value instead of silently degrading to a
plain stream method.
Marked<function (type parameter) M in type ConstantField<M extends AnyMethod>M, { readonly _tag: "constant"_tag: "constant" }>;
Referenced by 1 symbols