@aotter/mantle 0.2.0-alpha.1 → 0.2.0-alpha.11

package/dist/build/compiler.d.ts

@@ -0,0 +1,122 @@
+import { SqlNode, SqlSchemaDef, SqlDiagnostic, SqlContext, SqlPlan, checkShapeProblem, CHECK_FUNCTIONS, storageColumnClash, notNullColumns, NATIVE_COLUMNS, NATIVE_NOT_NULL, AGGREGATES, storageColumns, viewCacheProblem, SqlDiagnosticCode, SchemaColumns, PG_GRAMMAR } from "./spec/domain/model/SqlIr.js";
+export { SqlNode, SqlSchemaDef, SqlDiagnostic, SqlContext, SqlPlan, checkShapeProblem, CHECK_FUNCTIONS, storageColumnClash, notNullColumns, NATIVE_COLUMNS, NATIVE_NOT_NULL, AGGREGATES, storageColumns, viewCacheProblem, SqlDiagnosticCode, SchemaColumns, PG_GRAMMAR };
+import { RuntimePlan, PlanRestrict, NATIVE_OUTPUT_TYPES, PlanLowered, PlanTrigger, PlanProcedure, PlanView, PlanSchema, RUNTIME_PLAN_VERSION, LoweredStatement, LoweredView, LoweredMode, LoweredPage } from "./spec/domain/model/RuntimePlan.js";
+export { RuntimePlan, PlanRestrict, NATIVE_OUTPUT_TYPES, PlanLowered, PlanTrigger, PlanProcedure, PlanView, PlanSchema, RUNTIME_PLAN_VERSION, LoweredStatement, LoweredView, LoweredMode, LoweredPage };
+import { UserFieldSpec, UserScope, RowTemplate, parseRowTemplate } from "./spec/domain/model/UserFields.js";
+export { UserFieldSpec, UserScope, RowTemplate, parseRowTemplate };
+import { ProcedureMcpAnnotations, JsonSchema, AuthorizationRequirements, RESERVED_PROCEDURE_INPUT_NAMES, INPUT_RULE_KEYWORDS, EXPECTED_VERSION_PROPERTY, RESERVED_ENTRY_COLUMNS, TriggerManifest, ProcedureManifest, ViewManifest, SchemaManifest, Manifest, HttpMethod, McpTriggerSurface, McpTriggerSource, MCP_TRIGGER_SURFACES, LifecycleHook, LifecycleTriggerSource, LIFECYCLE_HOOKS, HttpTriggerSource, ScheduleTriggerSource, TriggerSource, TriggerManifestSpec, AdminRole, isAdminRole, CtxAuthScopePredicate, CtxAuthPredicate, CtxUserPredicate, AuthPredicate, HandlerSqlBinding, HandlerRefBinding, HandlerBinding, PROCEDURE_MCP_ANNOTATION_KEYS, PROCEDURE_TARGET_KEYS, ProcedureTarget, LocalizedText, ProcedureManifestSpec, VIEW_INPUT_RESERVED, ViewCachePolicy, ViewSurface, ViewManifestSpec, VIEW_SURFACES, LifecycleMode, TranslatesBinding, SchemaManifestSpec, ManifestMetadata, ApiVersion, ManifestKind, resolveLocalizedText, isLocalizedText, MANTLE_BIND_KEYWORD, MCP_HINT_KEYWORD, MantleRefTarget, resolveMantleRef, enumOptions, MANTLE_REF_KEYWORD, MediaMcpHint, isMediaMcpHint, API_VERSION } from "./spec/domain/model/ManifestGrammar.js";
+export { ProcedureMcpAnnotations, JsonSchema, AuthorizationRequirements, RESERVED_PROCEDURE_INPUT_NAMES, INPUT_RULE_KEYWORDS, EXPECTED_VERSION_PROPERTY, RESERVED_ENTRY_COLUMNS, TriggerManifest, ProcedureManifest, ViewManifest, SchemaManifest, Manifest, HttpMethod, McpTriggerSurface, McpTriggerSource, MCP_TRIGGER_SURFACES, LifecycleHook, LifecycleTriggerSource, LIFECYCLE_HOOKS, HttpTriggerSource, ScheduleTriggerSource, TriggerSource, TriggerManifestSpec, AdminRole, isAdminRole, CtxAuthScopePredicate, CtxAuthPredicate, CtxUserPredicate, AuthPredicate, HandlerSqlBinding, HandlerRefBinding, HandlerBinding, PROCEDURE_MCP_ANNOTATION_KEYS, PROCEDURE_TARGET_KEYS, ProcedureTarget, LocalizedText, ProcedureManifestSpec, VIEW_INPUT_RESERVED, ViewCachePolicy, ViewSurface, ViewManifestSpec, VIEW_SURFACES, LifecycleMode, TranslatesBinding, SchemaManifestSpec, ManifestMetadata, ApiVersion, ManifestKind, resolveLocalizedText, isLocalizedText, MANTLE_BIND_KEYWORD, MCP_HINT_KEYWORD, MantleRefTarget, resolveMantleRef, enumOptions, MANTLE_REF_KEYWORD, MediaMcpHint, isMediaMcpHint, API_VERSION };
+import { Diagnostic, DiagnosticError, runtimeDiagnostic, bootDiagnostic, validateDiagnostic, makeDiagnostic, SourceLocation, Phase, DiagnosticCode, SourceSpan, SourcePosition, DIAGNOSTIC_CODES } from "./spec/kernel/diagnostic.js";
+export { Diagnostic, DiagnosticError, runtimeDiagnostic, bootDiagnostic, validateDiagnostic, makeDiagnostic, SourceLocation, Phase, DiagnosticCode, SourceSpan, SourcePosition, DIAGNOSTIC_CODES };
+import { planFingerprint, fnv, canonical } from "./spec/domain/service/PlanFingerprint.js";
+export { planFingerprint, fnv, canonical };
+export interface SiteDefaults {
+    readonly locales?: ReadonlyArray<string>;
+    readonly brand?: string;
+    readonly title?: string;
+    readonly description?: string;
+    readonly origin?: string;
+    readonly icons?: ReadonlyArray<SiteIcon>;
+    readonly media?: SiteMediaDefaults;
+}
+export interface SiteMediaDefaults {
+    readonly purposes?: ReadonlyArray<MediaPurposePolicy>;
+}
+export interface MediaPurposePolicy {
+    readonly name: string;
+    readonly required: readonly string[];
+    readonly maxBytes: Readonly<Record<string, number>>;
+}
+export interface SiteIcon {
+    readonly src: string;
+    readonly mimeType?: "image/png" | "image/jpeg" | "image/svg+xml" | "image/webp";
+    readonly sizes?: ReadonlyArray<string>;
+    readonly theme?: "light" | "dark";
+}
+export interface ManifestSourceSet {
+    readonly sources: readonly ManifestSource[];
+}
+export interface ManifestSource {
+    readonly sourceId: string;
+    readonly text: string;
+}
+export interface MantleDialect {
+    readonly name: string;
+    readonly version: string;
+    check(plan: SqlPlan, context: SqlContext): readonly SqlDiagnostic[];
+    readonly lowering: PolicyLowering;
+    readonly nativeOrder?: boolean;
+    readonly nativeSql?: boolean;
+    print?(ast: SqlNode, schemas: Readonly<Record<string, StorageSchema>>): string;
+    readonly lowerKey?: string;
+    readonly restricted?: boolean;
+}
+export interface StorageSchema extends SqlSchemaDef {
+    readonly checks?: readonly SqlNode[];
+    readonly search?: readonly string[];
+    readonly unique?: readonly (readonly string[])[];
+    readonly indexes?: readonly (readonly string[])[];
+}
+export interface PolicyLowering {
+    anyOf?(x: SqlNode, set: SqlNode, type: 'string' | 'number'): SqlNode;
+    input(param: SqlNode, type: string): SqlNode;
+    func(f: string, n: SqlNode, scope: LoweringScope): SqlNode | undefined;
+    call(out: SqlNode): SqlNode;
+    cast(n: SqlNode, scope: LoweringScope): SqlNode;
+    sublink(out: SqlNode): SqlNode;
+    newId(): SqlNode;
+    columns(s: StorageSchema): SqlNode[];
+    system?(param: SqlNode, type: "timestamptz"): SqlNode;
+}
+export interface LoweringScope {
+    readonly inputs: Readonly<Record<string, string>>;
+    param(spec: BindSpec): SqlNode;
+    tx(node: SqlNode | undefined): SqlNode;
+    alias(name: string): {
+        schema: string;
+        def: StorageSchema;
+        searchQuery?: SqlNode;
+    };
+    seen(position: RelationPosition): void;
+}
+export type RelationPosition = 'from' | 'join.left' | 'join.right' | 'from-subquery' | 'cte' | 'setop.left' | 'setop.right' | 'sublink' | 'json_each' | 'window' | 'insert-target' | 'insert-select' | 'update-target' | 'delete-target' | 'conflict-update' | 'search' | 'near';
+export type BindSpec = {
+    k: 'uid';
+} | {
+    k: 'now';
+} | {
+    k: 'admin';
+} | {
+    k: 'cutoff';
+    seconds: number;
+} | {
+    k: 'const';
+    value: unknown;
+} | {
+    k: 'input';
+    name: string;
+    type: string;
+} | {
+    k: 'scoped';
+    column: string;
+    field: string;
+    type: 'string' | 'number';
+    name?: string;
+    value?: string | number;
+} | {
+    k: 'user';
+    field: string;
+    type: 'string' | 'number';
+    multiple: boolean;
+    scope?: true;
+} | DialectBind | {
+    k: 'version';
+} | {
+    k: 'cursor';
+    i: number;
+};
+export type DialectBind = {
+    readonly k: 'dialect';
+    readonly [key: string]: unknown;
+};
+export declare const d1Dialect: MantleDialect;