schemair 0.1.0 → 0.3.0

package/dist/type-interpreter/index.d.ts

@@ -1,99 +1,2 @@
-import { A as SchemaValueTypeTerm, J as SchemaNode, k as SchemaValueTypeExpr } from "../index-CEzHfht2.js";
-import { l as RelationResult, n as RelationContext, t as AsyncRelationContext } from "../index-eK2Xgrwp.js";
-
-//#region src/type-interpreter/interpreter.d.ts
-type TypeInterpreterPath = readonly (string | number)[];
-interface TypeInterpreterDiagnostic {
-  readonly code: string;
-  readonly path: TypeInterpreterPath;
-  readonly message: string;
-}
-type TypeInterpreterStatus = 'evaluated' | 'incomplete' | 'rejected';
-type EvaluatedTypeTerm = SchemaNode | SchemaValueTypeExpr;
-type TypeInterpreterResult = {
-  readonly status: 'evaluated';
-  readonly term: EvaluatedTypeTerm;
-  readonly schema?: SchemaNode;
-  readonly unresolvedTypeVars?: readonly string[];
-  readonly issues: readonly TypeInterpreterDiagnostic[];
-} | {
-  readonly status: 'incomplete';
-  readonly issues: readonly TypeInterpreterDiagnostic[];
-} | {
-  readonly status: 'rejected';
-  readonly issues: readonly TypeInterpreterDiagnostic[];
-};
-type TypeInterpreterRefResolution = SchemaNode | {
-  readonly status: 'resolved';
-  readonly schema: SchemaNode;
-} | {
-  readonly status: 'unknown' | 'unsupported';
-  readonly message?: string;
-} | undefined;
-type AsyncTypeInterpreterRefResolution = TypeInterpreterRefResolution | PromiseLike<TypeInterpreterRefResolution>;
-interface TypeInterpreterContext {
-  readonly typeVars?: Readonly<Record<string, SchemaValueTypeTerm>>;
-  readonly resolveRef?: (refPath: readonly string[]) => TypeInterpreterRefResolution;
-  readonly maxDepth?: number;
-  readonly maxSteps?: number;
-}
-interface AsyncTypeInterpreterContext {
-  readonly typeVars?: Readonly<Record<string, SchemaValueTypeTerm>>;
-  readonly resolveRef?: (refPath: readonly string[]) => AsyncTypeInterpreterRefResolution;
-  readonly maxDepth?: number;
-  readonly maxSteps?: number;
-}
-declare function evaluateExpression(term: unknown, context?: TypeInterpreterContext): TypeInterpreterResult;
-declare function evaluateExpressionAsync(term: unknown, context?: AsyncTypeInterpreterContext): Promise<TypeInterpreterResult>;
-declare const evaluateSchemaValueTypeTerm: typeof evaluateExpression;
-declare const evaluateSchemaValueTypeTermAsync: typeof evaluateExpressionAsync;
-//#endregion
-//#region src/type-interpreter/term-relation.d.ts
-interface TypeTermRelationContext {
-  readonly interpreter?: TypeInterpreterContext;
-  readonly relation?: RelationContext;
-  readonly hostTypeRelation?: (sourcePath: readonly string[], targetPath: readonly string[]) => HostTypeRelationDecision;
-}
-interface AsyncTypeTermRelationContext {
-  readonly interpreter?: AsyncTypeInterpreterContext;
-  readonly relation?: AsyncRelationContext;
-  readonly hostTypeRelation?: (sourcePath: readonly string[], targetPath: readonly string[]) => HostTypeRelationDecision | PromiseLike<HostTypeRelationDecision>;
-}
-type HostTypeRelationDecision = boolean | {
-  readonly status: 'assignable' | 'incompatible' | 'unknown' | 'unsupported';
-  readonly message?: string;
-};
-declare function checkTypeTermRelation(source: SchemaValueTypeTerm, target: SchemaValueTypeTerm, context?: TypeTermRelationContext): RelationResult;
-declare function checkTypeTermRelationAsync(source: SchemaValueTypeTerm, target: SchemaValueTypeTerm, context?: AsyncTypeTermRelationContext): Promise<RelationResult>;
-//#endregion
-//#region src/type-interpreter/type-variable-solver.d.ts
-interface TypeVariableConstraint {
-  readonly source: SchemaValueTypeTerm;
-  readonly target: SchemaValueTypeTerm;
-}
-interface TypeVariableSolverInput {
-  readonly variables: readonly string[];
-  readonly constraints: readonly TypeVariableConstraint[];
-}
-interface TypeVariableSolverIssue {
-  readonly code: string;
-  readonly constraint?: number;
-  readonly variable?: string;
-  readonly message: string;
-}
-interface TypeVariableSolverResult {
-  readonly status: 'solved' | 'unknown' | 'incompatible' | 'rejected';
-  readonly bindings: Readonly<Record<string, EvaluatedTypeTerm>>;
-  readonly unresolved: readonly string[];
-  readonly issues: readonly TypeVariableSolverIssue[];
-}
-interface TypeVariableSolverContext extends TypeTermRelationContext {
-  readonly interpreter?: TypeInterpreterContext;
-}
-interface AsyncTypeVariableSolverContext extends AsyncTypeTermRelationContext {
-  readonly interpreter?: AsyncTypeInterpreterContext;
-}
-declare function solveTypeVariables(input: TypeVariableSolverInput, context?: TypeVariableSolverContext): TypeVariableSolverResult;
-declare function solveTypeVariablesAsync(input: TypeVariableSolverInput, context?: AsyncTypeVariableSolverContext): Promise<TypeVariableSolverResult>;
-//#endregion
-export { AsyncTypeInterpreterContext, AsyncTypeInterpreterRefResolution, AsyncTypeTermRelationContext, AsyncTypeVariableSolverContext, EvaluatedTypeTerm, HostTypeRelationDecision, TypeInterpreterContext, TypeInterpreterDiagnostic, TypeInterpreterPath, TypeInterpreterRefResolution, TypeInterpreterResult, TypeInterpreterStatus, TypeTermRelationContext, TypeVariableConstraint, TypeVariableSolverContext, TypeVariableSolverInput, TypeVariableSolverIssue, TypeVariableSolverResult, checkTypeTermRelation, checkTypeTermRelationAsync, evaluateExpression, evaluateExpressionAsync, evaluateSchemaValueTypeTerm, evaluateSchemaValueTypeTermAsync, solveTypeVariables, solveTypeVariablesAsync };
+import { _ as evaluateSchemaTypeTerm, a as TypeVariableSolverResult, c as TypeTermRelationContext, d as TypeInterpreterContext, f as TypeInterpreterDiagnostic, g as evaluateExpression, h as TypeInterpreterStatus, i as TypeVariableSolverIssue, l as checkTypeTermRelation, m as TypeInterpreterResult, n as TypeVariableSolverContext, o as solveTypeVariables, p as TypeInterpreterPath, r as TypeVariableSolverInput, s as HostTypeRelationDecision, t as TypeVariableConstraint, u as EvaluatedTypeTerm } from "../index-mu1znI1F.js";
+export { EvaluatedTypeTerm, HostTypeRelationDecision, TypeInterpreterContext, TypeInterpreterDiagnostic, TypeInterpreterPath, TypeInterpreterResult, TypeInterpreterStatus, TypeTermRelationContext, TypeVariableConstraint, TypeVariableSolverContext, TypeVariableSolverInput, TypeVariableSolverIssue, TypeVariableSolverResult, checkTypeTermRelation, evaluateExpression, evaluateSchemaTypeTerm, solveTypeVariables };

package/dist/type-interpreter/index.js

@@ -1,3 +1,3 @@
-import { a as evaluateSchemaValueTypeTerm, c as checkTypeTermRelationAsync, i as evaluateExpressionAsync, n as solveTypeVariablesAsync, o as evaluateSchemaValueTypeTermAsync, r as evaluateExpression, s as checkTypeTermRelation, t as solveTypeVariables } from "../type-interpreter-Ck0VDhzn.js";
+import { i as checkTypeTermRelation, n as evaluateExpression, r as evaluateSchemaTypeTerm, t as solveTypeVariables } from "../type-interpreter-BA8gcLUU.js";
 
-export { checkTypeTermRelation, checkTypeTermRelationAsync, evaluateExpression, evaluateExpressionAsync, evaluateSchemaValueTypeTerm, evaluateSchemaValueTypeTermAsync, solveTypeVariables, solveTypeVariablesAsync };
+export { checkTypeTermRelation, evaluateExpression, evaluateSchemaTypeTerm, solveTypeVariables };