@inixiative/json-rules 2.23.0 → 2.25.0

package/dist/index.d.cts

@@ -587,20 +587,21 @@ type ModelDefaultNarrowing = {
      * Per-field eligibility over THIS model — decorates a field's option picker.
      * A bare `Condition` is the eligibility `where`: the field's selectable values =
      * DISTINCT(field) over this model filtered by `where` (plus the model's own
-     * narrowing). A `SourceSpec` adds an optional `label` — a sibling column on this
-     * same model co-selected as each value's display label. Referenced-model option
-     * sets need no special form: declare the source at a relation-traversed narrowing
-     * node and it compiles over whatever model that path resolves to. The `where`
-     * composes AND-only across layers (general via `mapDefaults`, path-specific via
-     * `root`/`relations`); a later layer's `label` wins.
+     * narrowing). A `SourceSpec` adds an optional `label` — a sibling column, or a
+     * dotted to-one path ending on a scalar (like `groupBy`), co-selected as each
+     * value's display label. Referenced-model option sets need no special form: declare
+     * the source at a relation-traversed narrowing node and it compiles over whatever
+     * model that path resolves to. The `where` composes AND-only across layers (general
+     * via `mapDefaults`, path-specific via `root`/`relations`); a later layer's `label` wins.
      */
     sources?: Record<string, SourceValue>;
 };
 /**
- * A sourced field's eligibility `where` plus an optional sibling display-label column
- * and an optional `groupBy` — a dotted path (to-one hops only, ending on a scalar)
- * whose value partitions the option set. Grouped options carry `group`; the classic
- * flat set is the ungrouped case. At least one key is required — `{}` is not a
+ * A sourced field's eligibility `where` plus an optional display-label column — a
+ * sibling, or a dotted to-one path ending on a scalar, resolved exactly like a
+ * `groupBy` axis — and an optional `groupBy`: a dotted path (to-one hops only, ending
+ * on a scalar) whose value partitions the option set. Grouped options carry `group`;
+ * the classic flat set is the ungrouped case. At least one key is required — `{}` is not a
  * Condition; the unconstrained spelling is `true`.
  */
 type SourceSpec = {
@@ -674,6 +675,31 @@ declare const resolveLensBindings: (lensOrNarrowing: Lens | LensNarrowing, bindi
  */
 declare const validateBindNames: (narrowing: LensNarrowing) => string[];
 
+type LensPathHop = {
+    field: string;
+    entry: FieldMapEntry;
+    mapName: string;
+    modelName: string;
+    /** The relation path from the lens anchor to the model this hop reads. */
+    relPath: string[];
+};
+/**
+ * Where a dotted path lands through the lens, hop by hop. `hidden` is a field the model has but
+ * the narrowing does not expose at this visit; `missing` is a field the model does not have (or a
+ * model the map does not have); `pastScalar` is a segment after a scalar. A path that continues
+ * below a Json column resolves at the column with the remainder in `jsonSubPath`.
+ */
+type LensPathResolution = {
+    outcome: 'resolved';
+    hops: LensPathHop[];
+    terminal: LensPathHop;
+    jsonSubPath: string[];
+} | {
+    outcome: 'hidden' | 'missing' | 'pastScalar';
+    index: number;
+    hops: LensPathHop[];
+};
+
 type RuleLensViolation = {
     path: string;
     reason: string;
@@ -707,7 +733,8 @@ type ProjectedVisit = {
     whereClauses: Condition[];
     /** Per-field source eligibility wheres, composed across layers (general + path). */
     sources: Record<string, Condition[]>;
-    /** Per-field display-label column for a sourced field (from a SourceSpec's `label`). */
+    /** Per-field display label for a sourced field (from a SourceSpec's `label`): a sibling
+     * column or a dotted to-one path. */
     sourceLabels: Record<string, string>;
     /** Per-field option-partition axes for a sourced field (from a SourceSpec's `groupBy`). */
     sourceGroupBys: Record<string, string[]>;
@@ -735,6 +762,15 @@ declare const exposedSurface: (lensOrNarrowing: Lens | LensNarrowing, opts?: Pro
 
 declare const validateNarrowing: (narrowing: LensNarrowing) => void;
 
+/**
+ * Resolve one dotted path through a lens, hop by hop, verifying as it walks: every hop is checked
+ * against the narrowing at that visit, so a relation the narrowing dropped is `hidden`, a column the
+ * model lacks is `missing`, and a segment past a scalar is `pastScalar`. This is the walk
+ * `checkRuleAgainstLens` gates a rule's field with, exposed for consumers that resolve paths of their
+ * own (template tokens, loop bindings, presence guards).
+ */
+declare const resolveLensPath: (lensOrNarrowing: Lens | LensNarrowing, path: string) => LensPathResolution;
+
 /**
  * The values one rule compares at one declared source — keyed the way `projectByPath`
  * keys a source (`path` + `field`), so the caller can join it back to the source's
@@ -802,7 +838,9 @@ type SourceQuery = {
     mapName: string;
     model: string;
     field: string;
-    /** Sibling column co-selected as each value's display label (from a SourceSpec's `label`). */
+    /** Co-selected as each value's display label (from a SourceSpec's `label`): a sibling
+     * column, or a dotted to-one path like a groupBy axis — then selected nested in prisma
+     * and aliased `__label` in sql. */
     label?: string;
     /** Option-partition axes (from a SourceSpec's `groupBy`, normalized); each axis
      * column is selected nested in prisma and aliased `__group_i` in sql. */
@@ -827,9 +865,9 @@ type SourceRowShape = 'prisma' | 'sql';
  * Materialize one compiled `SourceQuery`'s fetched rows into its `SourceValues` —
  * the executor-side counterpart of `sourceQueries`, so apps never hand-map rows.
  * `rowShape` names the wire format: prisma rows (default) nest each `groupBy` axis
- * as related objects; sql rows carry them flat under the statement's `__group_i`
- * aliases. Grouped queries fetch without DISTINCT, so dedup per (groups, value)
- * happens here.
+ * (and a dotted `label`) as related objects; sql rows carry them flat under the
+ * statement's `__group_i` / `__label` aliases. Grouped queries fetch without
+ * DISTINCT, so dedup per (groups, value) happens here.
  */
 declare const sourceValuesFromQueryRows: (query: SourceQuery, rows: readonly Row$1[], opts?: {
     rowShape?: SourceRowShape;
@@ -843,7 +881,8 @@ type Row = Record<string, unknown>;
  * the collection fetched UNDER the lens (relations inline), so they are already
  * lens-scoped: eligibility here is the field's source `where` only, evaluated via
  * `check()` (`options` feeds `{bind}` clauses). Scalar-list fields contribute one
- * option per element, labels take the first non-null sibling, and sorting is
+ * option per element, labels take the first non-null value of the label column
+ * (a sibling, or a dotted to-one path read through the nested rows), and sorting is
  * numeric-aware in a fixed locale. Feed the result to `exposedSurface` /
  * `projectByPath` as `{ sourceValues }`.
  */
@@ -950,4 +989,4 @@ declare const assertValidRule: (condition: unknown, options?: {
     target?: RuleTarget;
 }) => asserts condition is Condition;
 
-export { AGGREGATE_OPERATORS, ALL_KINDS, ARRAY_OPERATOR_CATALOG, type AggregateMode, type AggregateRule, type All, type Any, type ArrayCatalogEntry, ArrayOperator, type ArrayRule, type Bridge, type BridgeCardinality, type BridgeDictionary, type BridgeEndpoint, type BuildOptions, type CatalogEntry, type CheckOptions, type Condition, type CreateLensInput, DATE_OPERATOR_CATALOG, type DateConfig, type DateExpr, type DateInputOrExpr, type DateInputValue, DateOperator, type DateRule, type DateRuleValue, EQUATABLE_KINDS, type EdgeExpr, type EngineGlobalsState, type EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type FuzzyConfig, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type ModelDefaultNarrowing, type ModelNarrowing, NULLABLE_KINDS, NUMERIC_KINDS, type NarrowingDefaults, ORDERABLE_KINDS, Operator, type OrderBy, type OrderedRuleValue, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaProvider, type PrismaStep, type PrismaWhere, type ProjectOptions, type ProjectedVisit, type RelativeUnits, type RollingExpr, type Rule, type RuleDescription, type RuleLensCheck, type RuleLensViolation, type RuleScalar, type RuleSourceValues, RuleTarget, type RuleValue, STRINGY_KINDS, type ScopeOutOfBounds, type ScopeRef, type ScopedRef, type SortDir, type SourceOption, type SourcePrismaQuery, type SourceQuery, type SourceRowShape, type SourceSpec, type SourceSqlQuery, type SourceValue, type SourceValues, type SqlResult, type StepRef, type StrictAggregateRule, type StrictAll, type StrictAny, type StrictArrayCountRule, type StrictArrayPredicateRule, type StrictArrayPresenceRule, type StrictArrayRule, type StrictCondition, type StrictContainsRule, type StrictDateComparisonRule, type StrictDateDayRule, type StrictDateRangeRule, type StrictDateRule, type StrictEqualityRule, type StrictIfThenElse, type StrictMembershipRule, type StrictOrderedComparisonRule, type StrictPatternRule, type StrictPresenceRule, type StrictRangeRule, type StrictRule, type StrictStringBoundaryRule, type TimeZoneConfig, type ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, assertValidRule, bindingNames, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, describeRule, engineGlobals, executePrismaQueryPlan, exposedSurface, fuzzyContains, getAggregateOperators, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, lensRequiredBindings, maxFuzzyDistance, parseScopeRef, projectByPath, requiredBindings, resolveBindings, resolveCaseInsensitive, resolveFuzzy, resolveLensBindings, resolveScopeRef, ruleSourceValues, sourceQueries, sourceValuesFromQueryRows, sourceValuesFromRows, stampCoercions, stitchFieldMaps, supportsQueryMode, toPrisma, toSql, validateBindNames, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };
+export { AGGREGATE_OPERATORS, ALL_KINDS, ARRAY_OPERATOR_CATALOG, type AggregateMode, type AggregateRule, type All, type Any, type ArrayCatalogEntry, ArrayOperator, type ArrayRule, type Bridge, type BridgeCardinality, type BridgeDictionary, type BridgeEndpoint, type BuildOptions, type CatalogEntry, type CheckOptions, type Condition, type CreateLensInput, DATE_OPERATOR_CATALOG, type DateConfig, type DateExpr, type DateInputOrExpr, type DateInputValue, DateOperator, type DateRule, type DateRuleValue, EQUATABLE_KINDS, type EdgeExpr, type EngineGlobalsState, type EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type FuzzyConfig, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type LensPathHop, type LensPathResolution, type ModelDefaultNarrowing, type ModelNarrowing, NULLABLE_KINDS, NUMERIC_KINDS, type NarrowingDefaults, ORDERABLE_KINDS, Operator, type OrderBy, type OrderedRuleValue, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaProvider, type PrismaStep, type PrismaWhere, type ProjectOptions, type ProjectedVisit, type RelativeUnits, type RollingExpr, type Rule, type RuleDescription, type RuleLensCheck, type RuleLensViolation, type RuleScalar, type RuleSourceValues, RuleTarget, type RuleValue, STRINGY_KINDS, type ScopeOutOfBounds, type ScopeRef, type ScopedRef, type SortDir, type SourceOption, type SourcePrismaQuery, type SourceQuery, type SourceRowShape, type SourceSpec, type SourceSqlQuery, type SourceValue, type SourceValues, type SqlResult, type StepRef, type StrictAggregateRule, type StrictAll, type StrictAny, type StrictArrayCountRule, type StrictArrayPredicateRule, type StrictArrayPresenceRule, type StrictArrayRule, type StrictCondition, type StrictContainsRule, type StrictDateComparisonRule, type StrictDateDayRule, type StrictDateRangeRule, type StrictDateRule, type StrictEqualityRule, type StrictIfThenElse, type StrictMembershipRule, type StrictOrderedComparisonRule, type StrictPatternRule, type StrictPresenceRule, type StrictRangeRule, type StrictRule, type StrictStringBoundaryRule, type TimeZoneConfig, type ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, assertValidRule, bindingNames, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, describeRule, engineGlobals, executePrismaQueryPlan, exposedSurface, fuzzyContains, getAggregateOperators, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, lensRequiredBindings, maxFuzzyDistance, parseScopeRef, projectByPath, requiredBindings, resolveBindings, resolveCaseInsensitive, resolveFuzzy, resolveLensBindings, resolveLensPath, resolveScopeRef, ruleSourceValues, sourceQueries, sourceValuesFromQueryRows, sourceValuesFromRows, stampCoercions, stitchFieldMaps, supportsQueryMode, toPrisma, toSql, validateBindNames, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };

package/dist/index.d.ts

@@ -587,20 +587,21 @@ type ModelDefaultNarrowing = {
      * Per-field eligibility over THIS model — decorates a field's option picker.
      * A bare `Condition` is the eligibility `where`: the field's selectable values =
      * DISTINCT(field) over this model filtered by `where` (plus the model's own
-     * narrowing). A `SourceSpec` adds an optional `label` — a sibling column on this
-     * same model co-selected as each value's display label. Referenced-model option
-     * sets need no special form: declare the source at a relation-traversed narrowing
-     * node and it compiles over whatever model that path resolves to. The `where`
-     * composes AND-only across layers (general via `mapDefaults`, path-specific via
-     * `root`/`relations`); a later layer's `label` wins.
+     * narrowing). A `SourceSpec` adds an optional `label` — a sibling column, or a
+     * dotted to-one path ending on a scalar (like `groupBy`), co-selected as each
+     * value's display label. Referenced-model option sets need no special form: declare
+     * the source at a relation-traversed narrowing node and it compiles over whatever
+     * model that path resolves to. The `where` composes AND-only across layers (general
+     * via `mapDefaults`, path-specific via `root`/`relations`); a later layer's `label` wins.
      */
     sources?: Record<string, SourceValue>;
 };
 /**
- * A sourced field's eligibility `where` plus an optional sibling display-label column
- * and an optional `groupBy` — a dotted path (to-one hops only, ending on a scalar)
- * whose value partitions the option set. Grouped options carry `group`; the classic
- * flat set is the ungrouped case. At least one key is required — `{}` is not a
+ * A sourced field's eligibility `where` plus an optional display-label column — a
+ * sibling, or a dotted to-one path ending on a scalar, resolved exactly like a
+ * `groupBy` axis — and an optional `groupBy`: a dotted path (to-one hops only, ending
+ * on a scalar) whose value partitions the option set. Grouped options carry `group`;
+ * the classic flat set is the ungrouped case. At least one key is required — `{}` is not a
  * Condition; the unconstrained spelling is `true`.
  */
 type SourceSpec = {
@@ -674,6 +675,31 @@ declare const resolveLensBindings: (lensOrNarrowing: Lens | LensNarrowing, bindi
  */
 declare const validateBindNames: (narrowing: LensNarrowing) => string[];
 
+type LensPathHop = {
+    field: string;
+    entry: FieldMapEntry;
+    mapName: string;
+    modelName: string;
+    /** The relation path from the lens anchor to the model this hop reads. */
+    relPath: string[];
+};
+/**
+ * Where a dotted path lands through the lens, hop by hop. `hidden` is a field the model has but
+ * the narrowing does not expose at this visit; `missing` is a field the model does not have (or a
+ * model the map does not have); `pastScalar` is a segment after a scalar. A path that continues
+ * below a Json column resolves at the column with the remainder in `jsonSubPath`.
+ */
+type LensPathResolution = {
+    outcome: 'resolved';
+    hops: LensPathHop[];
+    terminal: LensPathHop;
+    jsonSubPath: string[];
+} | {
+    outcome: 'hidden' | 'missing' | 'pastScalar';
+    index: number;
+    hops: LensPathHop[];
+};
+
 type RuleLensViolation = {
     path: string;
     reason: string;
@@ -707,7 +733,8 @@ type ProjectedVisit = {
     whereClauses: Condition[];
     /** Per-field source eligibility wheres, composed across layers (general + path). */
     sources: Record<string, Condition[]>;
-    /** Per-field display-label column for a sourced field (from a SourceSpec's `label`). */
+    /** Per-field display label for a sourced field (from a SourceSpec's `label`): a sibling
+     * column or a dotted to-one path. */
     sourceLabels: Record<string, string>;
     /** Per-field option-partition axes for a sourced field (from a SourceSpec's `groupBy`). */
     sourceGroupBys: Record<string, string[]>;
@@ -735,6 +762,15 @@ declare const exposedSurface: (lensOrNarrowing: Lens | LensNarrowing, opts?: Pro
 
 declare const validateNarrowing: (narrowing: LensNarrowing) => void;
 
+/**
+ * Resolve one dotted path through a lens, hop by hop, verifying as it walks: every hop is checked
+ * against the narrowing at that visit, so a relation the narrowing dropped is `hidden`, a column the
+ * model lacks is `missing`, and a segment past a scalar is `pastScalar`. This is the walk
+ * `checkRuleAgainstLens` gates a rule's field with, exposed for consumers that resolve paths of their
+ * own (template tokens, loop bindings, presence guards).
+ */
+declare const resolveLensPath: (lensOrNarrowing: Lens | LensNarrowing, path: string) => LensPathResolution;
+
 /**
  * The values one rule compares at one declared source — keyed the way `projectByPath`
  * keys a source (`path` + `field`), so the caller can join it back to the source's
@@ -802,7 +838,9 @@ type SourceQuery = {
     mapName: string;
     model: string;
     field: string;
-    /** Sibling column co-selected as each value's display label (from a SourceSpec's `label`). */
+    /** Co-selected as each value's display label (from a SourceSpec's `label`): a sibling
+     * column, or a dotted to-one path like a groupBy axis — then selected nested in prisma
+     * and aliased `__label` in sql. */
     label?: string;
     /** Option-partition axes (from a SourceSpec's `groupBy`, normalized); each axis
      * column is selected nested in prisma and aliased `__group_i` in sql. */
@@ -827,9 +865,9 @@ type SourceRowShape = 'prisma' | 'sql';
  * Materialize one compiled `SourceQuery`'s fetched rows into its `SourceValues` —
  * the executor-side counterpart of `sourceQueries`, so apps never hand-map rows.
  * `rowShape` names the wire format: prisma rows (default) nest each `groupBy` axis
- * as related objects; sql rows carry them flat under the statement's `__group_i`
- * aliases. Grouped queries fetch without DISTINCT, so dedup per (groups, value)
- * happens here.
+ * (and a dotted `label`) as related objects; sql rows carry them flat under the
+ * statement's `__group_i` / `__label` aliases. Grouped queries fetch without
+ * DISTINCT, so dedup per (groups, value) happens here.
  */
 declare const sourceValuesFromQueryRows: (query: SourceQuery, rows: readonly Row$1[], opts?: {
     rowShape?: SourceRowShape;
@@ -843,7 +881,8 @@ type Row = Record<string, unknown>;
  * the collection fetched UNDER the lens (relations inline), so they are already
  * lens-scoped: eligibility here is the field's source `where` only, evaluated via
  * `check()` (`options` feeds `{bind}` clauses). Scalar-list fields contribute one
- * option per element, labels take the first non-null sibling, and sorting is
+ * option per element, labels take the first non-null value of the label column
+ * (a sibling, or a dotted to-one path read through the nested rows), and sorting is
  * numeric-aware in a fixed locale. Feed the result to `exposedSurface` /
  * `projectByPath` as `{ sourceValues }`.
  */
@@ -950,4 +989,4 @@ declare const assertValidRule: (condition: unknown, options?: {
     target?: RuleTarget;
 }) => asserts condition is Condition;
 
-export { AGGREGATE_OPERATORS, ALL_KINDS, ARRAY_OPERATOR_CATALOG, type AggregateMode, type AggregateRule, type All, type Any, type ArrayCatalogEntry, ArrayOperator, type ArrayRule, type Bridge, type BridgeCardinality, type BridgeDictionary, type BridgeEndpoint, type BuildOptions, type CatalogEntry, type CheckOptions, type Condition, type CreateLensInput, DATE_OPERATOR_CATALOG, type DateConfig, type DateExpr, type DateInputOrExpr, type DateInputValue, DateOperator, type DateRule, type DateRuleValue, EQUATABLE_KINDS, type EdgeExpr, type EngineGlobalsState, type EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type FuzzyConfig, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type ModelDefaultNarrowing, type ModelNarrowing, NULLABLE_KINDS, NUMERIC_KINDS, type NarrowingDefaults, ORDERABLE_KINDS, Operator, type OrderBy, type OrderedRuleValue, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaProvider, type PrismaStep, type PrismaWhere, type ProjectOptions, type ProjectedVisit, type RelativeUnits, type RollingExpr, type Rule, type RuleDescription, type RuleLensCheck, type RuleLensViolation, type RuleScalar, type RuleSourceValues, RuleTarget, type RuleValue, STRINGY_KINDS, type ScopeOutOfBounds, type ScopeRef, type ScopedRef, type SortDir, type SourceOption, type SourcePrismaQuery, type SourceQuery, type SourceRowShape, type SourceSpec, type SourceSqlQuery, type SourceValue, type SourceValues, type SqlResult, type StepRef, type StrictAggregateRule, type StrictAll, type StrictAny, type StrictArrayCountRule, type StrictArrayPredicateRule, type StrictArrayPresenceRule, type StrictArrayRule, type StrictCondition, type StrictContainsRule, type StrictDateComparisonRule, type StrictDateDayRule, type StrictDateRangeRule, type StrictDateRule, type StrictEqualityRule, type StrictIfThenElse, type StrictMembershipRule, type StrictOrderedComparisonRule, type StrictPatternRule, type StrictPresenceRule, type StrictRangeRule, type StrictRule, type StrictStringBoundaryRule, type TimeZoneConfig, type ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, assertValidRule, bindingNames, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, describeRule, engineGlobals, executePrismaQueryPlan, exposedSurface, fuzzyContains, getAggregateOperators, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, lensRequiredBindings, maxFuzzyDistance, parseScopeRef, projectByPath, requiredBindings, resolveBindings, resolveCaseInsensitive, resolveFuzzy, resolveLensBindings, resolveScopeRef, ruleSourceValues, sourceQueries, sourceValuesFromQueryRows, sourceValuesFromRows, stampCoercions, stitchFieldMaps, supportsQueryMode, toPrisma, toSql, validateBindNames, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };
+export { AGGREGATE_OPERATORS, ALL_KINDS, ARRAY_OPERATOR_CATALOG, type AggregateMode, type AggregateRule, type All, type Any, type ArrayCatalogEntry, ArrayOperator, type ArrayRule, type Bridge, type BridgeCardinality, type BridgeDictionary, type BridgeEndpoint, type BuildOptions, type CatalogEntry, type CheckOptions, type Condition, type CreateLensInput, DATE_OPERATOR_CATALOG, type DateConfig, type DateExpr, type DateInputOrExpr, type DateInputValue, DateOperator, type DateRule, type DateRuleValue, EQUATABLE_KINDS, type EdgeExpr, type EngineGlobalsState, type EnumNarrowing, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type FuzzyConfig, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type LensPathHop, type LensPathResolution, type ModelDefaultNarrowing, type ModelNarrowing, NULLABLE_KINDS, NUMERIC_KINDS, type NarrowingDefaults, ORDERABLE_KINDS, Operator, type OrderBy, type OrderedRuleValue, type PathProjection, type PeriodExpr, type PeriodUnit, type PrismaProvider, type PrismaStep, type PrismaWhere, type ProjectOptions, type ProjectedVisit, type RelativeUnits, type RollingExpr, type Rule, type RuleDescription, type RuleLensCheck, type RuleLensViolation, type RuleScalar, type RuleSourceValues, RuleTarget, type RuleValue, STRINGY_KINDS, type ScopeOutOfBounds, type ScopeRef, type ScopedRef, type SortDir, type SourceOption, type SourcePrismaQuery, type SourceQuery, type SourceRowShape, type SourceSpec, type SourceSqlQuery, type SourceValue, type SourceValues, type SqlResult, type StepRef, type StrictAggregateRule, type StrictAll, type StrictAny, type StrictArrayCountRule, type StrictArrayPredicateRule, type StrictArrayPresenceRule, type StrictArrayRule, type StrictCondition, type StrictContainsRule, type StrictDateComparisonRule, type StrictDateDayRule, type StrictDateRangeRule, type StrictDateRule, type StrictEqualityRule, type StrictIfThenElse, type StrictMembershipRule, type StrictOrderedComparisonRule, type StrictPatternRule, type StrictPresenceRule, type StrictRangeRule, type StrictRule, type StrictStringBoundaryRule, type TimeZoneConfig, type ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, WINDOW_SELECTOR, type WeekStart, type WhereStep, type WindowFields, type WindowRuleType, WindowSupport, applyLens, assertValidRule, bindingNames, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, describeRule, engineGlobals, executePrismaQueryPlan, exposedSurface, fuzzyContains, getAggregateOperators, getArrayOperators, getOperatorsForKind, getValueShape, getWindowSupport, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, lensRequiredBindings, maxFuzzyDistance, parseScopeRef, projectByPath, requiredBindings, resolveBindings, resolveCaseInsensitive, resolveFuzzy, resolveLensBindings, resolveLensPath, resolveScopeRef, ruleSourceValues, sourceQueries, sourceValuesFromQueryRows, sourceValuesFromRows, stampCoercions, stitchFieldMaps, supportsQueryMode, toPrisma, toSql, validateBindNames, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };