import { C as AttributeArgAst, P as AstNode, T as ExpressionAst, b as FieldAttributeAst, et as SourceFile, x as ModelAttributeAst } from "./parse-Bl1gwWGn.mjs";
import { S as readResolvedConstructorCall, _ as keywordPslSpan, a as ModelSymbol, b as readResolvedAttribute, c as ScalarSymbol, d as TopLevelScope, f as TypeAliasSymbol, g as ResolvedTypeConstructorCall, h as ResolvedAttributeArg, i as FieldSymbol, l as SymbolTable, m as ResolvedAttribute, n as BuildSymbolTableOptions, o as NamespaceSymbol, p as buildSymbolTable, r as CompositeTypeSymbol, s as ResolvedNamedTypeBinding, t as BlockSymbol, u as SymbolTableResult, v as nodePslSpan, x as readResolvedAttributes, y as rangeToPslSpan } from "./symbol-table-en_Bich3.mjs";
import { PslAttribute, PslAttribute as PslAttribute$1, PslAttributeArgument, PslAttributeNamedArgument, PslAttributePositionalArgument, PslAttributeTarget, PslCompositeType, PslDefaultFunctionValue, PslDefaultLiteralValue, PslDefaultValue, PslDiagnostic, PslDiagnostic as PslDiagnostic$1, PslDiagnosticCode, PslDiagnosticCode as PslDiagnosticCode$1, PslDocumentAst, PslExtensionBlock, PslExtensionBlockAttribute, PslExtensionBlockAttributeArg, PslExtensionBlockParamBare, PslExtensionBlockParamList, PslExtensionBlockParamOption, PslExtensionBlockParamRef, PslExtensionBlockParamScalarValue, PslExtensionBlockParamValue, PslField, PslFieldAttribute, PslModel, PslModelAttribute, PslNamedTypeDeclaration, PslNamespace, PslPosition, PslSpan, PslSpan as PslSpan$1, PslTypeConstructorCall, PslTypesBlock, flatPslModels, namespacePslExtensionBlocks } from "@prisma-next/framework-components/psl-ast";
import { Result } from "@prisma-next/utils/result";
import { AuthoringPslBlockDescriptor, AuthoringPslBlockDescriptorNamespace } from "@prisma-next/framework-components/authoring";
import { Simplify, UnionToIntersection } from "@prisma-next/utils/types";
import { CodecLookup } from "@prisma-next/framework-components/codec";
//#region src/attribute-helpers.d.ts
declare function getPositionalArgument(attribute: PslAttribute$1, index?: number): string | undefined;
declare function parseQuotedStringLiteral(value: string): string | undefined;
//#endregion
//#region src/attribute-spec/types.d.ts
type AttributeLevel = 'field' | 'model' | 'block';
interface ArgType<T> {
  readonly kind: string;
  readonly label: string;
  readonly _out?: T;
  parse(arg: ExpressionAst, ctx: InterpretCtx): Result<T, readonly PslDiagnostic$1[]>;
}
interface InterpretCtx {
  readonly level: AttributeLevel;
  readonly sourceId: string;
  readonly sourceFile: SourceFile;
  readonly selfModel: ModelSymbol;
  resolveReferencedModel(): ModelSymbol | undefined;
  readonly field?: FieldSymbol;
}
interface OptionalArgType<T> extends ArgType<T> {
  readonly optional: true;
  readonly hasDefault: boolean;
  readonly defaultValue?: T;
}
type Param<T> = ArgType<T>;
interface PositionalParam<T = unknown> {
  readonly key: string;
  readonly type: Param<T>;
}
interface AttributeSpec<Out> {
  readonly level: AttributeLevel;
  readonly name: string;
  readonly positional: readonly PositionalParam[];
  readonly named: Readonly<Record<string, Param<unknown>>>;
  readonly refine?: (parsed: Out, ctx: InterpretCtx) => readonly PslDiagnostic$1[];
}
type OutOf<P> = P extends ArgType<infer T> ? T : never;
type NamedOut<N extends Record<string, Param<unknown>>> = Simplify<{ [K in keyof N as N[K] extends OptionalArgType<unknown> ? never : K]: OutOf<N[K]>; } & { [K in keyof N as N[K] extends OptionalArgType<unknown> ? K : never]?: OutOf<N[K]>; }>;
type PosEntryObject<E extends PositionalParam> = E['type'] extends OptionalArgType<unknown> ? { [K in E['key']]?: OutOf<E['type']>; } : { [K in E['key']]: OutOf<E['type']>; };
type PosOut<Pos extends readonly PositionalParam[]> = Simplify<UnionToIntersection<{ [I in keyof Pos]: PosEntryObject<Pos[I]>; }[number]>>;
type AttributeOut<Pos extends readonly PositionalParam[], Named extends Record<string, Param<unknown>>> = Simplify<PosOut<Pos> & NamedOut<Named>>;
type InferAttr<S> = S extends AttributeSpec<infer Out> ? Out : never;
//#endregion
//#region src/attribute-spec/combinators/bool.d.ts
declare function bool(): ArgType<boolean>;
//#endregion
//#region src/attribute-spec/combinators/diagnostic.d.ts
declare function leafDiagnostic(ctx: InterpretCtx, node: AstNode, message: string): PslDiagnostic$1;
//#endregion
//#region src/attribute-spec/combinators/entity-ref.d.ts
declare function entityRef(): ArgType<string>;
//#endregion
//#region src/attribute-spec/combinators/field-ref.d.ts
type FieldRefScope = 'self' | 'referenced';
interface FieldRefArgType extends ArgType<string> {
  readonly scope: FieldRefScope;
}
declare function fieldRef(scope: FieldRefScope): FieldRefArgType;
//#endregion
//#region src/attribute-spec/combinators/func-call.d.ts
interface FuncCallSig {
  readonly positional?: readonly PositionalParam<unknown>[];
  readonly named?: Readonly<Record<string, Param<unknown>>>;
}
interface TypedFuncCall {
  readonly fn: string;
  readonly span: PslSpan$1;
  readonly args: Readonly<Record<string, unknown>>;
}
declare function funcCall(name: string, sig: FuncCallSig): ArgType<TypedFuncCall>;
//#endregion
//#region src/attribute-spec/combinators/identifier.d.ts
declare function identifier<const N extends string>(name: N): ArgType<N>;
//#endregion
//#region src/attribute-spec/combinators/int.d.ts
declare function int(opts?: {
  min?: number;
  max?: number;
}): ArgType<number>;
//#endregion
//#region src/attribute-spec/combinators/list.d.ts
interface ListOptions {
  readonly nonEmpty?: boolean;
  readonly unique?: boolean;
}
declare function list<T>(of: ArgType<T>, opts?: ListOptions): ArgType<T[]>;
//#endregion
//#region src/attribute-spec/combinators/num.d.ts
declare function num(): ArgType<number>;
declare function num(value: number): ArgType<number>;
//#endregion
//#region src/attribute-spec/combinators/one-of.d.ts
declare function oneOf<Alts extends readonly [ArgType<unknown>, ...ArgType<unknown>[]]>(...alts: Alts): ArgType<OutOf<Alts[number]>>;
//#endregion
//#region src/attribute-spec/combinators/record.d.ts
declare function record<T>(of: ArgType<T>): ArgType<Record<string, T>>;
//#endregion
//#region src/attribute-spec/combinators/str.d.ts
declare function str(): ArgType<string>;
//#endregion
//#region src/attribute-spec/field-attribute.d.ts
interface FieldAttributeConfig<Pos extends readonly PositionalParam[], Named extends Record<string, Param<unknown>>> {
  readonly positional?: Pos;
  readonly named?: Named;
  readonly refine?: (parsed: AttributeOut<Pos, Named>, ctx: InterpretCtx) => readonly PslDiagnostic$1[];
}
declare function fieldAttribute<const Pos extends readonly PositionalParam[] = readonly [], const Named extends Record<string, Param<unknown>> = Record<never, never>>(name: string, config: FieldAttributeConfig<Pos, Named>): AttributeSpec<AttributeOut<Pos, Named>>;
//#endregion
//#region src/attribute-spec/interpret.d.ts
interface ArgBindingSpec {
  readonly name: string;
  readonly positional: readonly PositionalParam<unknown>[];
  readonly named: Readonly<Record<string, Param<unknown>>>;
}
declare function interpretArgs(args: Iterable<AttributeArgAst>, spec: ArgBindingSpec, ctx: InterpretCtx, span: PslSpan$1): Result<Record<string, unknown>, readonly PslDiagnostic$1[]>;
declare function interpretAttribute<Out>(attrNode: FieldAttributeAst | ModelAttributeAst, spec: AttributeSpec<Out>, ctx: InterpretCtx): Result<Out, readonly PslDiagnostic$1[]>;
//#endregion
//#region src/attribute-spec/model-attribute.d.ts
interface ModelAttributeConfig<Pos extends readonly PositionalParam[], Named extends Record<string, Param<unknown>>> {
  readonly positional?: Pos;
  readonly named?: Named;
  readonly refine?: (parsed: AttributeOut<Pos, Named>, ctx: InterpretCtx) => readonly PslDiagnostic$1[];
}
declare function modelAttribute<const Pos extends readonly PositionalParam[] = readonly [], const Named extends Record<string, Param<unknown>> = Record<never, never>>(name: string, config: ModelAttributeConfig<Pos, Named>): AttributeSpec<AttributeOut<Pos, Named>>;
//#endregion
//#region src/attribute-spec/optional.d.ts
declare function optional<T>(type: ArgType<T>, ...rest: [defaultValue: T] | []): OptionalArgType<T>;
//#endregion
//#region src/extension-block.d.ts
declare function findBlockDescriptor(descriptors: AuthoringPslBlockDescriptorNamespace | undefined, keyword: string): AuthoringPslBlockDescriptor | undefined;
declare function validateExtensionBlockFromSymbol(input: {
  readonly block: BlockSymbol;
  readonly descriptor: AuthoringPslBlockDescriptor;
  readonly symbolTable: SymbolTable;
  readonly sourceFile: SourceFile;
  readonly sourceId: string;
  readonly codecLookup: CodecLookup;
}): readonly PslDiagnostic$1[];
//#endregion
export { type ArgBindingSpec, type ArgType, type AttributeLevel, type AttributeOut, type AttributeSpec, type BlockSymbol, type BuildSymbolTableOptions, type CompositeTypeSymbol, type FieldRefArgType, type FieldRefScope, type FieldSymbol, type FuncCallSig, type InferAttr, type InterpretCtx, type ListOptions, type ModelSymbol, type NamedOut, type NamespaceSymbol, type OptionalArgType, type OutOf, type Param, type PosOut, type PositionalParam, type PslAttribute, type PslAttributeArgument, type PslAttributeNamedArgument, type PslAttributePositionalArgument, type PslAttributeTarget, type PslCompositeType, type PslDefaultFunctionValue, type PslDefaultLiteralValue, type PslDefaultValue, type PslDiagnostic, type PslDiagnosticCode, type PslDocumentAst, type PslExtensionBlock, type PslExtensionBlockAttribute, type PslExtensionBlockAttributeArg, type PslExtensionBlockParamBare, type PslExtensionBlockParamList, type PslExtensionBlockParamOption, type PslExtensionBlockParamRef, type PslExtensionBlockParamScalarValue, type PslExtensionBlockParamValue, type PslField, type PslFieldAttribute, type PslModel, type PslModelAttribute, type PslNamedTypeDeclaration, type PslNamespace, type PslPosition, type PslSpan, type PslTypeConstructorCall, type PslTypesBlock, type ResolvedAttribute, type ResolvedAttributeArg, type ResolvedNamedTypeBinding, type ResolvedTypeConstructorCall, type ScalarSymbol, type SymbolTable, type SymbolTableResult, type TopLevelScope, type TypeAliasSymbol, type TypedFuncCall, bool, buildSymbolTable, entityRef, fieldAttribute, fieldRef, findBlockDescriptor, flatPslModels, funcCall, getPositionalArgument, identifier, int, interpretArgs, interpretAttribute, keywordPslSpan, leafDiagnostic, list, modelAttribute, namespacePslExtensionBlocks, nodePslSpan, num, oneOf, optional, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, record, str, validateExtensionBlockFromSymbol };
//# sourceMappingURL=index.d.mts.map