effect 4.0.1 → 4.0.2

package/dist/SchemaAST.d.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
  */
 import * as Effect from "./Effect.ts";
@@ -30,6 +31,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
  */
@@ -43,6 +45,7 @@ export type AST = Declaration | Null | Undefined | Void | Never | Unknown | Any
  * objects.
  *
  * @see {@link AST}
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -57,6 +60,7 @@ export declare 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
  */
@@ -73,6 +77,7 @@ export declare const isDeclaration: (ast: AST) => ast is 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
  */
@@ -87,6 +92,7 @@ export declare const isNull: (ast: AST) => ast is Null;
  *
  * @see {@link isVoid} for narrowing AST nodes that represent TypeScript `void` instead of exact `undefined`
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -101,6 +107,7 @@ export declare const isUndefined: (ast: AST) => ast is 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
  */
@@ -116,6 +123,7 @@ export declare const isVoid: (ast: AST) => ast is 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
  */
@@ -130,6 +138,7 @@ export declare const isNever: (ast: AST) => ast is 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
  */
@@ -144,6 +153,7 @@ export declare const isUnknown: (ast: AST) => ast is 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
  */
@@ -160,6 +170,7 @@ export declare const isAny: (ast: AST) => ast is 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
  */
@@ -172,6 +183,7 @@ export declare const isString: (ast: AST) => ast is String;
  * Use to detect `Number` AST nodes while inspecting, traversing, or transforming
  * schema ASTs.
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -187,6 +199,7 @@ export declare const isNumber: (ast: AST) => ast is 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
  */
@@ -201,6 +214,7 @@ export declare const isBoolean: (ast: AST) => ast is 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
  */
@@ -215,6 +229,7 @@ export declare const isBigInt: (ast: AST) => ast is 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
  */
@@ -229,6 +244,7 @@ export declare const isSymbol: (ast: AST) => ast is 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
  */
@@ -236,6 +252,7 @@ export declare const isLiteral: (ast: AST) => ast is Literal;
 /**
  * Narrows an {@link AST} to {@link UniqueSymbol}.
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -252,6 +269,7 @@ export declare const isUniqueSymbol: (ast: AST) => ast is 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
  */
@@ -266,6 +284,7 @@ export declare const isObjectKeyword: (ast: AST) => ast is ObjectKeyword;
  *
  * @see {@link Enum} for the AST node type narrowed by this guard
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -273,6 +292,7 @@ export declare const isEnum: (ast: AST) => ast is Enum;
 /**
  * Narrows an {@link AST} to {@link TemplateLiteral}.
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -287,6 +307,7 @@ export declare const isTemplateLiteral: (ast: AST) => ast is TemplateLiteral;
  *
  * @see {@link Arrays} for the AST node type narrowed by this guard
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -294,6 +315,7 @@ export declare const isArrays: (ast: AST) => ast is Arrays;
 /**
  * Narrows an {@link AST} to {@link Objects}.
  *
+ * @stability stable
  * @category guards
  * @since 4.0.0
  */
@@ -301,6 +323,7 @@ export declare const isObjects: (ast: AST) => ast is Objects;
 /**
  * Narrows an {@link AST} to {@link Union}.
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -308,6 +331,7 @@ export declare const isUnion: (ast: AST) => ast is Union<AST>;
 /**
  * Narrows an {@link AST} to {@link Suspend}.
  *
+ * @stability stable
  * @category guards
  * @since 3.10.0
  */
@@ -328,6 +352,7 @@ export declare const isSuspend: (ast: AST) => ast is Suspend;
  *
  * @see {@link Encoding}
  * @see {@link decodeTo}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -338,6 +363,7 @@ export interface Link {
 /**
  * Constructs a {@link Link}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -353,6 +379,7 @@ export declare const Link: new (to: AST, transformation: SchemaTransformation.Tr
  *
  * @see {@link Link}
  * @see {@link toEncoded}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -382,6 +409,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
  */
@@ -492,6 +520,7 @@ export interface ParseOptions {
  *
  * @see `Schema.optionalKey`
  * @see {@link isOptional}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -505,6 +534,7 @@ export interface Context {
 /**
  * Constructs a {@link Context}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -521,6 +551,7 @@ export declare const Context: new (isOptional: boolean, isMutable: boolean, /**
  * @see {@link Check}
  * @see {@link Filter}
  * @see {@link FilterGroup}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -553,6 +584,7 @@ type DeclarationRun = (typeParameters: ReadonlyArray<AST>) => (input: unknown, s
  *   complete synchronously.
  *
  * @see {@link isDeclaration}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -570,6 +602,7 @@ export interface Declaration extends ASTNode {
 /**
  * Constructs a {@link Declaration}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -583,6 +616,7 @@ export declare const Declaration: new (typeParameters: ReadonlyArray<AST>, run:
  *
  * @see {@link null_ null}
  * @see {@link isNull}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -592,6 +626,7 @@ export interface Null extends ASTNode {
 /**
  * Constructs a {@link Null}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -606,6 +641,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
  */
@@ -619,6 +655,7 @@ null_ as null };
  *
  * @see {@link undefined}
  * @see {@link isUndefined}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -628,6 +665,7 @@ export interface Undefined extends ASTNode {
 /**
  * Constructs a {@link Undefined}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -642,6 +680,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
  */
@@ -663,6 +702,7 @@ undefined_ as undefined };
  * @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
  */
@@ -672,6 +712,7 @@ export interface Void extends ASTNode {
 /**
  * Constructs a {@link Void}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -695,6 +736,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
  */
@@ -709,6 +751,7 @@ void_ as void };
  *
  * @see {@link never}
  * @see {@link isNever}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -718,6 +761,7 @@ export interface Never extends ASTNode {
 /**
  * Constructs a {@link Never}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -733,6 +777,7 @@ export declare const Never: new (annotations?: Schema.Annotations.Annotations |
  * @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
  */
@@ -743,6 +788,7 @@ export declare const never: Never;
  * @see {@link any}
  * @see {@link isAny}
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -752,6 +798,7 @@ export interface Any extends ASTNode {
 /**
  * Constructs a {@link Any}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -766,6 +813,7 @@ export declare const Any: new (annotations?: Schema.Annotations.Annotations | un
  *
  * @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
  */
@@ -780,6 +828,7 @@ export declare const any: Any;
  *
  * @see {@link unknown}
  * @see {@link isUnknown}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -789,6 +838,7 @@ export interface Unknown extends ASTNode {
 /**
  * Constructs a {@link Unknown}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -803,6 +853,7 @@ export declare const Unknown: new (annotations?: Schema.Annotations.Annotations
  *
  * @see {@link any} for the singleton that accepts every value as `any`
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -814,6 +865,7 @@ export declare const unknown: Unknown;
  * @see {@link objectKeyword}
  * @see {@link isObjectKeyword}
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -823,6 +875,7 @@ export interface ObjectKeyword extends ASTNode {
 /**
  * Constructs a {@link ObjectKeyword}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -838,6 +891,7 @@ export declare const ObjectKeyword: new (annotations?: Schema.Annotations.Annota
  * @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
  */
@@ -851,6 +905,7 @@ export declare const objectKeyword: ObjectKeyword;
  * `string | number`. Parsing succeeds when the input matches any enum value.
  *
  * @see {@link isEnum}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -864,6 +919,7 @@ export interface Enum extends ASTNode {
 /**
  * Constructs a {@link Enum}. Numeric values must be finite.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -881,6 +937,7 @@ export declare const Enum: new (enums: ReadonlyArray<readonly [
  * strings at runtime.
  *
  * @see {@link isTemplateLiteral}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -896,6 +953,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
  */
@@ -909,6 +967,7 @@ export declare const TemplateLiteral: new (parts: ReadonlyArray<AST>, annotation
  * `symbol`.
  *
  * @see {@link isUniqueSymbol}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -919,6 +978,7 @@ export interface UniqueSymbol extends ASTNode {
 /**
  * Constructs a {@link UniqueSymbol}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -928,6 +988,7 @@ export declare const UniqueSymbol: new (symbol: symbol, annotations?: Schema.Ann
  *
  * @see {@link Literal}
  *
+ * @stability stable
  * @category models
  * @since 3.10.0
  */
@@ -955,6 +1016,7 @@ export type LiteralValue = string | number | boolean | bigint;
  *
  * @see {@link LiteralValue}
  * @see {@link isLiteral}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -965,6 +1027,7 @@ export interface Literal extends ASTNode {
 /**
  * Constructs a {@link Literal}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -975,6 +1038,7 @@ export declare const Literal: new (literal: LiteralValue, annotations?: Schema.A
  * @see {@link string}
  * @see {@link isString}
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -984,6 +1048,7 @@ export interface String extends ASTNode {
 /**
  * Constructs a {@link String}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -998,6 +1063,7 @@ export declare const String: new (annotations?: Schema.Annotations.Annotations |
  * @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
  */
@@ -1018,6 +1084,7 @@ export declare const string: String;
  *
  * @see {@link number}
  * @see {@link isNumber}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1027,6 +1094,7 @@ export interface Number extends ASTNode {
 /**
  * Constructs a {@link Number}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1042,6 +1110,7 @@ export declare const Number: new (annotations?: Schema.Annotations.Annotations |
  * @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
  */
@@ -1052,6 +1121,7 @@ export declare const number: Number;
  * @see {@link boolean}
  * @see {@link isBoolean}
  *
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1061,6 +1131,7 @@ export interface Boolean extends ASTNode {
 /**
  * Constructs a {@link Boolean}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1076,6 +1147,7 @@ export declare const Boolean: new (annotations?: Schema.Annotations.Annotations
  * @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
  */
@@ -1095,6 +1167,7 @@ export declare const boolean: Boolean;
  *
  * @see {@link symbol}
  * @see {@link isSymbol}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1104,6 +1177,7 @@ export interface Symbol extends ASTNode {
 /**
  * Constructs a {@link Symbol}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1123,6 +1197,7 @@ export declare const Symbol: new (annotations?: Schema.Annotations.Annotations |
  *
  * @see {@link UniqueSymbol} for an AST node that matches one specific symbol
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1137,6 +1212,7 @@ export declare const symbol: Symbol;
  *
  * @see {@link bigInt}
  * @see {@link isBigInt}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1146,6 +1222,7 @@ export interface BigInt extends ASTNode {
 /**
  * Constructs a {@link BigInt}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1161,6 +1238,7 @@ export declare const BigInt: new (annotations?: Schema.Annotations.Annotations |
  * @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
  */
@@ -1204,6 +1282,7 @@ export declare const bigInt: BigInt;
  *
  * @see {@link isArrays}
  * @see {@link Objects}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1217,6 +1296,7 @@ export interface Arrays extends ASTNode {
 /**
  * Constructs a {@link Arrays}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1231,6 +1311,7 @@ export declare const Arrays: new (isMutable: boolean, elements: ReadonlyArray<AS
  * {@link Context}.
  *
  * @see {@link Objects}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1241,6 +1322,7 @@ export interface PropertySignature {
 /**
  * Constructs a {@link PropertySignature}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1267,6 +1349,7 @@ type IndexSignatureParameter = String | Number | Symbol | TemplateLiteral | Unio
  *
  * @see {@link Objects}
  * @see {@link PropertySignature}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1277,6 +1360,7 @@ export interface IndexSignature {
 /**
  * Constructs a {@link IndexSignature}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1320,6 +1404,7 @@ export declare const IndexSignature: new (parameter: AST, type: AST) => IndexSig
  * @see {@link PropertySignature}
  * @see {@link IndexSignature}
  * @see {@link Arrays}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1332,6 +1417,7 @@ export interface Objects extends ASTNode {
 /**
  * Constructs a {@link Objects}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1363,6 +1449,7 @@ export declare const Objects: new (propertySignatures: ReadonlyArray<PropertySig
  * ```
  *
  * @see {@link isUnion}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1375,6 +1462,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
  */
@@ -1385,6 +1473,7 @@ export interface UnionOptions {
 /**
  * Constructs a {@link Union}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1417,6 +1506,7 @@ export declare const Union: new <A extends AST = AST>(types: ReadonlyArray<A>, o
  * ```
  *
  * @see {@link isSuspend}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1427,6 +1517,7 @@ export interface Suspend extends ASTNode {
 /**
  * Constructs a {@link Suspend}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1449,6 +1540,7 @@ export declare const Suspend: new (thunk: () => AST, annotations?: Schema.Annota
  * @see {@link FilterGroup}
  * @see {@link Check}
  * @see {@link isPattern}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1467,6 +1559,7 @@ export interface Filter<in E> extends Pipeable.Pipeable {
 /**
  * Constructs a {@link Filter}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1484,6 +1577,7 @@ export declare const Filter: new <E>(run: (input: E, self: AST, options: ParseOp
  *
  * @see {@link Filter}
  * @see {@link Check}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1500,6 +1594,7 @@ export interface FilterGroup<in E> extends Pipeable.Pipeable {
 /**
  * Constructs a {@link FilterGroup}.
  *
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1517,6 +1612,7 @@ export declare const FilterGroup: new <E>(checks: readonly [
  *
  * @see {@link Filter}
  * @see {@link FilterGroup}
+ * @stability stable
  * @category models
  * @since 4.0.0
  */
@@ -1558,6 +1654,7 @@ export type Check<T> = Filter<T> | FilterGroup<T>;
  * ```
  *
  * @see {@link Filter}
+ * @stability stable
  * @category constructors
  * @since 4.0.0
  */
@@ -1577,6 +1674,7 @@ export declare function mapOrSame<A>(as: ReadonlyArray<A>, f: (a: A) => A): Read
  * @see {@link Link}
  * @see {@link Encoding}
  * @see {@link flip}
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -1591,6 +1689,7 @@ export declare function decodeTo<A extends AST>(from: AST, to: A, transformation
  *
  * @see `Schema.optionalKey`
  * @see {@link Context}
+ * @stability stable
  * @category predicates
  * @since 4.0.0
  */
@@ -1617,6 +1716,7 @@ export declare function isOptional(ast: AST): boolean;
  *
  * @see {@link toEncoded}
  * @see {@link flip}
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -1644,6 +1744,7 @@ export declare const toType: <A extends AST>(a: A) => A;
  *
  * @see {@link toType}
  * @see {@link flip}
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -1662,6 +1763,7 @@ export declare const toEncoded: (a: AST) => AST;
  *
  * @see {@link toType}
  * @see {@link toEncoded}
+ * @stability stable
  * @category transforming
  * @since 4.0.0
  */
@@ -1689,6 +1791,7 @@ export declare const flip: (ast: AST) => AST;
  * @see {@link resolveIdentifier}
  * @see {@link resolveTitle}
  * @see {@link resolveDescription}
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -1702,6 +1805,7 @@ export declare const resolve: (ast: AST) => Schema.Annotations.Annotations | und
  * are present. Returns `undefined` if the key is not found.
  *
  * @see {@link resolve}
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -1716,6 +1820,7 @@ export declare const resolveAt: <A>(key: string) => (ast: AST) => A | undefined;
  *
  * @see {@link resolve}
  * @see {@link resolveTitle}
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -1727,6 +1832,7 @@ export declare const resolveIdentifier: (ast: AST) => string | undefined;
  * @see {@link resolveIdentifier}
  * @see {@link resolveDescription}
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */
@@ -1738,6 +1844,7 @@ export declare const resolveTitle: (ast: AST) => string | undefined;
  * @see {@link resolveTitle}
  * @see {@link resolveIdentifier}
  *
+ * @stability stable
  * @category annotations
  * @since 4.0.0
  */