<S extends Constraint>(schema: S):
| Annotations.Bottom<S["Type"], S["~type.parameters"]>
| undefinedResolves the typed annotations from a schema. The term "resolve" (rather than "get") reflects the lookup strategy: if the schema has checks, the annotations are taken from the last check; otherwise they are taken from the base schema instance.
Schema Resolvers
Source effect/Schema.ts:142305 lines
export function function resolveAnnotations<
S extends Constraint
>(
schema: S
):
| Annotations.Bottom<
S["Type"],
S["~type.parameters"]
>
| undefined
Resolves the typed annotations from a schema. The term "resolve" (rather
than "get") reflects the lookup strategy: if the schema has checks, the
annotations are taken from the last check; otherwise they are taken from
the base schema instance.
resolveAnnotations<function (type parameter) S in resolveAnnotations<S extends Constraint>(schema: S): Annotations.Bottom<S["Type"], S["~type.parameters"]> | undefinedS extends Constraint>(
schema: S extends Constraintschema: function (type parameter) S in resolveAnnotations<S extends Constraint>(schema: S): Annotations.Bottom<S["Type"], S["~type.parameters"]> | undefinedS
): Annotations.interface Annotations.Bottom<T, TypeParameters extends ReadonlyArray<Constraint>>Base annotations shared by all composite schema nodes. Extends
Documentation
with error messages, branding, parse options, and
arbitrary generation hooks.
Declaration
and other annotation
interfaces build on top of this.
Bottom<function (type parameter) S in resolveAnnotations<S extends Constraint>(schema: S): Annotations.Bottom<S["Type"], S["~type.parameters"]> | undefinedS["Type"], function (type parameter) S in resolveAnnotations<S extends Constraint>(schema: S): Annotations.Bottom<S["Type"], S["~type.parameters"]> | undefinedS["~type.parameters"]> | undefined {
return import InternalAnnotationsInternalAnnotations.function resolve(
ast: SchemaAST.AST
): Annotations.Annotations | undefined
schema: S extends Constraintschema.Constraint["ast"]: SchemaAST.ASTast)
}Referenced by 1 symbols