effect 4.0.0 → 4.0.2

package/src/SchemaAST.ts

@@ -8,6 +8,7 @@
  * ASTs programmatically, change encoded or decoded views, collect issues, or
  * run low-level schema checks.
  *
+ * @stability stable
  * @since 4.0.0
  */
 
@@ -46,6 +47,7 @@ import type * as Types from "./Types.ts"
  * - Discriminate on the `_tag` field (e.g. `"String"`, `"Objects"`, `"Union"`).
  *
  * @see {@link isAST}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -85,6 +87,7 @@ function makeGuard<T extends AST["_tag"]>(tag: T) {
  * objects.
  *
  * @see {@link AST}
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -102,6 +105,7 @@ export function isAST(u: unknown): u is AST {
  *
  * @see {@link Declaration} for the AST node type narrowed by this guard
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -119,6 +123,7 @@ export const isDeclaration = makeGuard("Declaration")
  * @see {@link null_ null} for the singleton `Null` AST instance
  * @see {@link isLiteral} for exact primitive literal AST nodes
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -134,6 +139,7 @@ export const isNull = makeGuard("Null")
  *
  * @see {@link isVoid} for narrowing AST nodes that represent TypeScript `void` instead of exact `undefined`
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -149,6 +155,7 @@ export const isUndefined = makeGuard("Undefined")
  *
  * @see {@link isUndefined} for narrowing AST nodes that represent the literal `undefined` value instead of TypeScript `void`
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -165,6 +172,7 @@ export const isVoid = makeGuard("Void")
  * @see {@link Never} for the AST node type narrowed by this guard
  * @see {@link never} for the singleton `Never` AST instance
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -180,6 +188,7 @@ export const isNever = makeGuard("Never")
  *
  * @see {@link isAny} for the guard for the `Any` node, whose parsed result is typed as `any` rather than `unknown`
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -195,6 +204,7 @@ export const isUnknown = makeGuard("Unknown")
  *
  * @see {@link isUnknown} for the guard for the `Unknown` node, whose parsed result is typed as `unknown` rather than `any`
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -212,6 +222,7 @@ export const isAny = makeGuard("Any")
  * @see {@link string} for the singleton `String` AST instance
  * @see {@link isLiteral} for exact primitive literal AST nodes, including exact string literals
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -225,6 +236,7 @@ export const isString = makeGuard("String")
  * Use to detect `Number` AST nodes while inspecting, traversing, or transforming
  * schema ASTs.
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -241,6 +253,7 @@ export const isNumber = makeGuard("Number")
  * @see {@link Boolean} for the AST node type matched by this guard
  * @see {@link boolean} for the singleton instance to use when constructing a boolean AST directly
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -256,6 +269,7 @@ export const isBoolean = makeGuard("Boolean")
  * @see {@link BigInt} for the AST node matched by this guard
  * @see {@link bigInt} for the singleton instance; use `isBigInt` when narrowing an existing `AST` value
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -271,6 +285,7 @@ export const isBigInt = makeGuard("BigInt")
  *
  * @see {@link isUniqueSymbol} for the sibling guard that narrows the `UniqueSymbol` variant for one exact symbol value
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -286,6 +301,7 @@ export const isSymbol = makeGuard("Symbol")
  * @see {@link Literal} for the AST node type narrowed by this guard
  * @see {@link LiteralValue} for the values stored by literal nodes
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -294,6 +310,7 @@ export const isLiteral = makeGuard("Literal")
 /**
  * Narrows an {@link AST} to {@link UniqueSymbol}.
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -311,6 +328,7 @@ export const isUniqueSymbol = makeGuard("UniqueSymbol")
  * @see {@link objectKeyword} for the singleton `ObjectKeyword` AST instance
  * @see {@link isObjects} for struct and record AST nodes
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -326,6 +344,7 @@ export const isObjectKeyword = makeGuard("ObjectKeyword")
  *
  * @see {@link Enum} for the AST node type narrowed by this guard
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -334,6 +353,7 @@ export const isEnum = makeGuard("Enum")
 /**
  * Narrows an {@link AST} to {@link TemplateLiteral}.
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -349,6 +369,7 @@ export const isTemplateLiteral = makeGuard("TemplateLiteral")
  *
  * @see {@link Arrays} for the AST node type narrowed by this guard
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -357,6 +378,7 @@ export const isArrays = makeGuard("Arrays")
 /**
  * Narrows an {@link AST} to {@link Objects}.
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -365,6 +387,7 @@ export const isObjects = makeGuard("Objects")
 /**
  * Narrows an {@link AST} to {@link Union}.
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -373,6 +396,7 @@ export const isUnion = makeGuard("Union")
 /**
  * Narrows an {@link AST} to {@link Suspend}.
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -394,6 +418,7 @@ export const isSuspend = makeGuard("Suspend")
  *
  * @see {@link Encoding}
  * @see {@link decodeTo}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -407,6 +432,7 @@ export interface Link {
 /**
  * Constructs a {@link Link}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -443,6 +469,7 @@ export const Link: new(
  *
  * @see {@link Link}
  * @see {@link toEncoded}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -473,6 +500,7 @@ export type Encoding = readonly [Link, ...Array<Link>]
  * Object property order is unspecified, including in values passed to checks.
  * Decoding and encoding do not guarantee preservation of input key order.
  *
+ * @stability stable
  * @category options
  * @since 3.10.0
  */
@@ -591,6 +619,7 @@ export const defaultParseOptions: ParseOptions = {}
  *
  * @see `Schema.optionalKey`
  * @see {@link isOptional}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -605,6 +634,7 @@ export interface Context {
 /**
  * Constructs a {@link Context}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -646,6 +676,7 @@ export const Context: new(
  * @see {@link Check}
  * @see {@link Filter}
  * @see {@link FilterGroup}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -707,6 +738,7 @@ type DeclarationRun = (
  *   complete synchronously.
  *
  * @see {@link isDeclaration}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -737,6 +769,7 @@ export interface Declaration extends ASTNode {
 /**
  * Constructs a {@link Declaration}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -822,6 +855,7 @@ export const Declaration: new(
  *
  * @see {@link null_ null}
  * @see {@link isNull}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -838,6 +872,7 @@ export interface Null extends ASTNode {
 /**
  * Constructs a {@link Null}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -868,6 +903,7 @@ export {
    * Use when you need the shared AST node for exact null values while inspecting
    * or constructing schema ASTs.
    *
+   * @stability stable
    * @category constants
    * @since 4.0.0
    */
@@ -883,6 +919,7 @@ export {
  *
  * @see {@link undefined}
  * @see {@link isUndefined}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -902,6 +939,7 @@ export interface Undefined extends ASTNode {
 /**
  * Constructs a {@link Undefined}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -944,6 +982,7 @@ export {
    * Use when you need the shared AST node for exact undefined values while
    * inspecting or constructing schema ASTs.
    *
+   * @stability stable
    * @category constants
    * @since 4.0.0
    */
@@ -967,6 +1006,7 @@ export {
  * @see {@link undefined} for the AST singleton that matches only exact `undefined`
  * @see {@link void_ void}
  * @see {@link isVoid}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -988,6 +1028,7 @@ export interface Void extends ASTNode {
 /**
  * Constructs a {@link Void}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1032,6 +1073,7 @@ export {
    * @see {@link undefined} for the sibling AST singleton that matches exactly `undefined`
    * @see {@link isVoid} for narrowing an AST to a `Void` node
    *
+   * @stability stable
    * @category constructors
    * @since 4.0.0
    */
@@ -1048,6 +1090,7 @@ export {
  *
  * @see {@link never}
  * @see {@link isNever}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1064,6 +1107,7 @@ export interface Never extends ASTNode {
 /**
  * Constructs a {@link Never}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1095,6 +1139,7 @@ export const Never: new(
  * @see {@link Never} for the AST node class
  * @see {@link isNever} for narrowing an AST to a `Never` node
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1106,6 +1151,7 @@ export const never = new Never()
  * @see {@link any}
  * @see {@link isAny}
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1122,6 +1168,7 @@ export interface Any extends ASTNode {
 /**
  * Constructs a {@link Any}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1152,6 +1199,7 @@ export const Any: new(
  *
  * @see {@link unknown} for the sibling AST singleton that also accepts every value while preserving the safer `unknown` type
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1167,6 +1215,7 @@ export const any = new Any()
  *
  * @see {@link unknown}
  * @see {@link isUnknown}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1183,6 +1232,7 @@ export interface Unknown extends ASTNode {
 /**
  * Constructs a {@link Unknown}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1213,6 +1263,7 @@ export const Unknown: new(
  *
  * @see {@link any} for the singleton that accepts every value as `any`
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1225,6 +1276,7 @@ export const unknown = new Unknown()
  * @see {@link objectKeyword}
  * @see {@link isObjectKeyword}
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1241,6 +1293,7 @@ export interface ObjectKeyword extends ASTNode {
 /**
  * Constructs a {@link ObjectKeyword}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1272,6 +1325,7 @@ export const ObjectKeyword: new(
  * @see {@link ObjectKeyword} for the AST node class
  * @see {@link isObjectKeyword} for narrowing an AST to an `ObjectKeyword` node
  *
+ * @stability stable
  * @category constructors
  * @since 3.10.0
  */
@@ -1286,6 +1340,7 @@ export const objectKeyword = new ObjectKeyword()
  * `string | number`. Parsing succeeds when the input matches any enum value.
  *
  * @see {@link isEnum}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1311,6 +1366,7 @@ export interface Enum extends ASTNode {
 /**
  * Constructs a {@link Enum}. Numeric values must be finite.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1434,6 +1490,7 @@ function isTemplateLiteralPart(
  * strings at runtime.
  *
  * @see {@link isTemplateLiteral}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1465,6 +1522,7 @@ export interface TemplateLiteral extends ASTNode {
  * Throws if a part contains an encoding, including inside unions or nested
  * template literals. Parts must describe their values without transformations.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1588,6 +1646,7 @@ function templateLiteralTransformation(template: TemplateLiteral) {
  * `symbol`.
  *
  * @see {@link isUniqueSymbol}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1608,6 +1667,7 @@ export interface UniqueSymbol extends ASTNode {
 /**
  * Constructs a {@link UniqueSymbol}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1656,6 +1716,7 @@ export const UniqueSymbol: new(
  *
  * @see {@link Literal}
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -1684,6 +1745,7 @@ export type LiteralValue = string | number | boolean | bigint
  *
  * @see {@link LiteralValue}
  * @see {@link isLiteral}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1710,6 +1772,7 @@ export interface Literal extends ASTNode {
 /**
  * Constructs a {@link Literal}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1777,6 +1840,7 @@ function literalToString(ast: Literal): Literal {
  * @see {@link string}
  * @see {@link isString}
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1796,6 +1860,7 @@ export interface String extends ASTNode {
 /**
  * Constructs a {@link String}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1831,6 +1896,7 @@ export const String: new(
  * @see {@link String} for the AST node class
  * @see {@link isString} for narrowing an AST to a string node
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1852,6 +1918,7 @@ export const string = new String()
  *
  * @see {@link number}
  * @see {@link isNumber}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1880,6 +1947,7 @@ export interface Number extends ASTNode {
 /**
  * Constructs a {@link Number}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1949,6 +2017,7 @@ function hasCheck(checks: ReadonlyArray<Check<unknown>>, id: string): boolean {
  * @see {@link Number} for the AST node class and serialization behavior
  * @see {@link Literal} for exact finite numeric literal AST nodes
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1960,6 +2029,7 @@ export const number = new Number()
  * @see {@link boolean}
  * @see {@link isBoolean}
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1976,6 +2046,7 @@ export interface Boolean extends ASTNode {
 /**
  * Constructs a {@link Boolean}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2007,6 +2078,7 @@ export const Boolean: new(
  * @see {@link Boolean} for the AST node class
  * @see {@link Literal} for exact boolean literal AST nodes
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2027,6 +2099,7 @@ export const boolean = new Boolean()
  *
  * @see {@link symbol}
  * @see {@link isSymbol}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2049,6 +2122,7 @@ export interface Symbol extends ASTNode {
 /**
  * Constructs a {@link Symbol}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2093,6 +2167,7 @@ export const Symbol: new(
  *
  * @see {@link UniqueSymbol} for an AST node that matches one specific symbol
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2108,6 +2183,7 @@ export const symbol = new Symbol()
  *
  * @see {@link bigInt}
  * @see {@link isBigInt}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2130,6 +2206,7 @@ export interface BigInt extends ASTNode {
 /**
  * Constructs a {@link BigInt}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2172,6 +2249,7 @@ export const BigInt: new(
  * @see {@link BigInt} for the AST node class and string-codec behavior
  * @see {@link isBigInt} for narrowing an AST to a `BigInt` node
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2216,6 +2294,7 @@ export const bigInt = new BigInt()
  *
  * @see {@link isArrays}
  * @see {@link Objects}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2245,6 +2324,7 @@ export interface Arrays extends ASTNode {
 /**
  * Constructs a {@link Arrays}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2565,6 +2645,7 @@ export function getIndexSignatureKeys(
  * {@link Context}.
  *
  * @see {@link Objects}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2576,6 +2657,7 @@ export interface PropertySignature {
 /**
  * Constructs a {@link PropertySignature}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2653,6 +2735,7 @@ function isIndexSignatureParameter(ast: AST): ast is IndexSignatureParameter {
  *
  * @see {@link Objects}
  * @see {@link PropertySignature}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2664,6 +2747,7 @@ export interface IndexSignature {
 /**
  * Constructs a {@link IndexSignature}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -2725,6 +2809,7 @@ export const IndexSignature: new(parameter: AST, type: AST) => IndexSignature =
  * @see {@link PropertySignature}
  * @see {@link IndexSignature}
  * @see {@link Arrays}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -2753,6 +2838,7 @@ export interface Objects extends ASTNode {
 /**
  * Constructs a {@link Objects}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3583,6 +3669,7 @@ export function getCandidateIndex(types: ReadonlyArray<AST>): CandidateIndex {
  * ```
  *
  * @see {@link isUnion}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3611,6 +3698,7 @@ export interface Union<A extends AST = AST> extends ASTNode {
 /**
  * Local matching options stored on {@link Union} nodes.
  *
+ * @stability stable
  * @category options
  * @since 4.0.0
  */
@@ -3622,6 +3710,7 @@ export interface UnionOptions {
 /**
  * Constructs a {@link Union}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3800,7 +3889,14 @@ function parseUnionCandidates(
     if (state.out) return state.out
     return Effect.fail(new SchemaIssue.AnyOf(ast, state.issues ?? [], input, options))
   }
-  return resumeUnion(eff, state)
+  if (effectIsExit(eff)) return resumeUnion(eff, state)
+  // Reparse on later runs to avoid reusing mutable traversal state.
+  let first = true
+  return Effect.suspend(() => {
+    if (!first) return parseUnionCandidates(ast, parser, candidates, input, options)
+    first = false
+    return resumeUnion(eff, state)
+  })
 }
 
 function resumeUnion(
@@ -3883,6 +3979,7 @@ function formatIsOptional(isOptional: boolean | undefined): string {
  * ```
  *
  * @see {@link isSuspend}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3903,6 +4000,7 @@ export interface Suspend extends ASTNode {
 /**
  * Constructs a {@link Suspend}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -3973,6 +4071,7 @@ export const Suspend: new(
  * @see {@link FilterGroup}
  * @see {@link Check}
  * @see {@link isPattern}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -3992,6 +4091,7 @@ export interface Filter<in E> extends Pipeable.Pipeable {
 /**
  * Constructs a {@link Filter}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -4046,6 +4146,7 @@ export const Filter: new<E>(
  *
  * @see {@link Filter}
  * @see {@link Check}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -4063,6 +4164,7 @@ export interface FilterGroup<in E> extends Pipeable.Pipeable {
 /**
  * Constructs a {@link FilterGroup}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -4104,6 +4206,7 @@ export const FilterGroup: new<E>(
  *
  * @see {@link Filter}
  * @see {@link FilterGroup}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -4202,6 +4305,7 @@ const numberToJson = new Link(
  * ```
  *
  * @see {@link Filter}
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -4465,6 +4569,7 @@ export function withConstructorDefault<A extends AST>(
  * @see {@link Link}
  * @see {@link Encoding}
  * @see {@link flip}
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -4532,6 +4637,7 @@ export function record(key: AST, value: AST): Objects {
  *
  * @see `Schema.optionalKey`
  * @see {@link Context}
+ * @stability stable
  * @category predicates
  * @since 4.0.0
  */
@@ -4591,6 +4697,7 @@ function canPreserveEncodingChecks(ast: AST): boolean {
  *
  * @see {@link toEncoded}
  * @see {@link flip}
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -4638,6 +4745,7 @@ export const toType = memoizeIdempotent(<A extends AST>(ast: A): A => {
  *
  * @see {@link toType}
  * @see {@link flip}
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -4677,6 +4785,7 @@ function flipEncoding(ast: AST, encoding: Encoding): AST {
  *
  * @see {@link toType}
  * @see {@link toEncoded}
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -5018,6 +5127,7 @@ export function getConstructorDescriptor(ast: AST): ConstructorDescriptor | unde
  * @see {@link resolveIdentifier}
  * @see {@link resolveTitle}
  * @see {@link resolveDescription}
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -5032,6 +5142,7 @@ export const resolve: (ast: AST) => Schema.Annotations.Annotations | undefined =
  * are present. Returns `undefined` if the key is not found.
  *
  * @see {@link resolve}
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -5047,6 +5158,7 @@ export const resolveAt: <A>(key: string) => (ast: AST) => A | undefined = Intern
  *
  * @see {@link resolve}
  * @see {@link resolveTitle}
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -5059,6 +5171,7 @@ export const resolveIdentifier: (ast: AST) => string | undefined = InternalAnnot
  * @see {@link resolveIdentifier}
  * @see {@link resolveDescription}
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -5071,6 +5184,7 @@ export const resolveTitle: (ast: AST) => string | undefined = InternalAnnotation
  * @see {@link resolveTitle}
  * @see {@link resolveIdentifier}
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */