@inixiative/json-rules 1.3.3 → 2.0.0

package/dist/index.d.cts

@@ -86,7 +86,7 @@ type StrictRangeRule = (RuleBase<OperatorValues['between']> & ValueSource<[Order
 type StrictPresenceRule = (RuleBase<OperatorValues['isEmpty']> & NoValueSource) | (RuleBase<OperatorValues['notEmpty']> & NoValueSource) | (RuleBase<OperatorValues['exists']> & NoValueSource) | (RuleBase<OperatorValues['notExists']> & NoValueSource);
 type StrictRule<TValue = RuleValue> = StrictEqualityRule<TValue> | StrictOrderedComparisonRule | StrictMembershipRule<TValue> | StrictContainsRule<TValue> | StrictPatternRule | StrictStringBoundaryRule | StrictRangeRule | StrictPresenceRule;
 type ArrayRuleBase<TOperator extends ArrayOperator> = {
-    field: string;
+    field?: string;
     arrayOperator: TOperator;
     error?: string;
 };
@@ -164,7 +164,7 @@ type Rule<TValue = RuleValue> = {
     error?: string;
 };
 type ArrayRule<TRuleValue = RuleValue, TDateValue = DateRuleValue> = {
-    field: string;
+    field?: string;
     arrayOperator: ArrayOperator;
     condition?: Condition<TRuleValue, TDateValue>;
     count?: number;
@@ -208,11 +208,16 @@ type StrictIfThenElse<TRuleValue = RuleValue, TDateValue = DateRuleValue> = {
 };
 type StrictCondition<TRuleValue = RuleValue, TDateValue = DateRuleValue> = StrictRule<TRuleValue> | StrictAggregateRule<TRuleValue, TDateValue> | StrictArrayRule<TRuleValue, TDateValue> | StrictDateRule | StrictAll<TRuleValue, TDateValue> | StrictAny<TRuleValue, TDateValue> | StrictIfThenElse<TRuleValue, TDateValue> | boolean;
 
-declare const check: <TData extends Record<string, unknown>>(conditions: Condition, data: TData, context?: TData) => boolean | string;
+type Row$1 = Record<string, unknown>;
+type CheckData = Row$1 | unknown[];
+type CheckOptions = {
+    context?: CheckData;
+};
+declare const check: <TData extends CheckData>(conditions: Condition, data: TData, options?: CheckOptions) => boolean | string;
 
 type PrismaWhere = Record<string, unknown>;
 type FieldMapEntry = {
-    kind: 'scalar' | 'object' | 'enum';
+    kind: 'scalar' | 'object' | 'enum' | 'bridge';
     type: string;
     isList?: boolean;
     fromFields?: string[];
@@ -249,11 +254,142 @@ type ToPrismaResult = {
     steps: PrismaStep[];
 };
 type BuildOptions = {
-    map?: FieldMap;
+    map?: FieldMap | FieldMapSet;
+    mapName?: string;
     model?: string;
     context?: Record<string, unknown>;
 };
 
+type BridgeEndpoint = {
+    fieldMap: string;
+    model: string;
+    on: string;
+};
+type BridgeCardinality = 'oneToOne' | 'oneToMany';
+type Bridge = {
+    endpoints: [BridgeEndpoint, BridgeEndpoint];
+    cardinality: BridgeCardinality;
+};
+type FieldMapSet = {
+    maps: Record<string, FieldMap>;
+    bridges?: Bridge[];
+};
+
+type Row = Record<string, unknown>;
+type BridgeDictionary = Record<string, // map name
+Record<string, // model name
+Record<string, Record<string, Row | Row[]>>>>;
+declare const buildBridgeDictionary: (set: FieldMapSet, rawData: Record<string, Row[]>) => BridgeDictionary;
+
+declare const stitchFieldMaps: (set: FieldMapSet) => FieldMapSet;
+
+declare const validateFieldMapSet: (set: FieldMapSet) => void;
+declare const validateFieldMap: (fieldMap: FieldMap, mapName?: string) => void;
+
+type Lens = FieldMapSet & {
+    mapName: string;
+    model: string;
+};
+type ModelNarrowing = {
+    picks?: string[];
+    omits?: string[];
+    relations?: Record<string, ModelNarrowing>;
+};
+type MapNarrowing = {
+    models: Record<string, ModelNarrowing>;
+};
+type LensNarrowing = {
+    parent: Lens | LensNarrowing;
+    maps: Record<string, MapNarrowing>;
+    constrains?: Condition;
+};
+
+declare const applyLens: (rule: Condition, narrowing: Lens | LensNarrowing) => Condition;
+
+type RuleLensViolation = {
+    path: string;
+    reason: string;
+};
+type RuleLensCheck = {
+    ok: boolean;
+    violations: RuleLensViolation[];
+};
+declare const checkRuleAgainstLens: (rule: Condition, lensOrNarrowing: Lens | LensNarrowing) => RuleLensCheck;
+
+type CreateLensInput = {
+    maps: Record<string, FieldMap>;
+    bridges?: Bridge[];
+    mapName: string;
+    model: string;
+};
+declare const createLens: (input: CreateLensInput) => Lens;
+
+declare const validateNarrowing: (narrowing: LensNarrowing) => void;
+
+declare const projectNarrowing: (lensOrNarrowing: Lens | LensNarrowing) => FieldMapSet;
+
+declare const FieldKind: {
+    readonly String: "String";
+    readonly Boolean: "Boolean";
+    readonly Int: "Int";
+    readonly BigInt: "BigInt";
+    readonly Float: "Float";
+    readonly Decimal: "Decimal";
+    readonly DateTime: "DateTime";
+    readonly Json: "Json";
+    readonly Bytes: "Bytes";
+    readonly Enum: "Enum";
+};
+type FieldKind = (typeof FieldKind)[keyof typeof FieldKind];
+declare const NUMERIC_KINDS: readonly FieldKind[];
+declare const ORDERABLE_KINDS: readonly FieldKind[];
+declare const STRINGY_KINDS: readonly FieldKind[];
+declare const EQUATABLE_KINDS: readonly FieldKind[];
+declare const ALL_KINDS: readonly FieldKind[];
+declare const RuleTarget: {
+    readonly check: "check";
+    readonly toPrisma: "toPrisma";
+    readonly toSql: "toSql";
+};
+type RuleTarget = (typeof RuleTarget)[keyof typeof RuleTarget];
+declare const ValueShape: {
+    readonly none: "none";
+    readonly scalar: "scalar";
+    readonly ordered: "ordered";
+    readonly array: "array";
+    readonly string: "string";
+    readonly pattern: "pattern";
+    readonly range: "range";
+    readonly dateValue: "dateValue";
+    readonly dateRange: "dateRange";
+    readonly dayList: "dayList";
+    readonly count: "count";
+    readonly predicate: "predicate";
+};
+type ValueShape = (typeof ValueShape)[keyof typeof ValueShape];
+type CatalogEntry = {
+    kinds: readonly FieldKind[];
+    targets: readonly RuleTarget[];
+    valueShape: ValueShape;
+};
+declare const FIELD_OPERATOR_CATALOG: Record<Operator, CatalogEntry>;
+declare const DATE_OPERATOR_CATALOG: Record<DateOperator, CatalogEntry>;
+type ArrayCatalogEntry = {
+    targets: readonly RuleTarget[];
+    valueShape: ValueShape;
+};
+declare const ARRAY_OPERATOR_CATALOG: Record<ArrayOperator, ArrayCatalogEntry>;
+declare const AGGREGATE_OPERATORS: readonly Operator[];
+declare const isAggregateSingleOperator: (operator: Operator) => boolean;
+declare const isAggregateRangeOperator: (operator: Operator) => boolean;
+declare const getValueShape: (operator: Operator | DateOperator | ArrayOperator) => ValueShape;
+declare const isOperatorSupportedForTarget: (operator: Operator | DateOperator | ArrayOperator, target: RuleTarget) => boolean;
+declare const getOperatorsForKind: (kind: FieldKind, target?: RuleTarget) => {
+    field: Operator[];
+    date: DateOperator[];
+};
+declare const getArrayOperators: (target?: RuleTarget) => ArrayOperator[];
+
 /**
  * Execute a Prisma query plan produced by toPrisma().
  *
@@ -321,42 +457,8 @@ type SqlBuildOptions = {
     alias?: string;
     context?: Record<string, unknown>;
 };
-/**
- * Convert a json-rules Condition to a PostgreSQL WHERE clause.
- *
- * @param condition - The rule condition to convert
- * @param options   - Optional map/model/alias for JOIN generation; context for path refs
- * @returns Object with `sql`, `params`, and `joins` (LEFT JOIN clauses)
- *
- * @example
- * ```typescript
- * // Simple field
- * const { sql, params } = toSql({ field: 'status', operator: Operator.equals, value: 'active' });
- * // sql: '"status" = $1'
- *
- * // Relation traversal with JOINs (map required)
- * const { sql, params, joins } = toSql(
- *   { field: 'author.email', operator: Operator.equals, value: 'a@b.com' },
- *   { map, model: 'Post', alias: 't0' }
- * );
- * // sql:  '"t1"."email" = $1'
- * // joins: ['LEFT JOIN "User" AS "t1" ON "t1"."id" = "t0"."authorId"']
- *
- * // Same-record field comparison ($.field)
- * const { sql: sql2 } = toSql({ field: 'endDate', operator: Operator.greaterThan, path: '$.startDate' });
- * // sql2: '"endDate" > "startDate"'
- *
- * // External context ref
- * const { sql: sql3 } = toSql(
- *   { field: 'userId', operator: Operator.equals, path: 'currentUser.id' },
- *   { context: { currentUser: { id: '123' } } }
- * );
- * // sql3: '"userId" = $1'  params: ['123']
- * ```
- */
 declare const toSql: (condition: Condition, options?: SqlBuildOptions) => SqlResult;
 
-type RuleValidationTarget = 'check' | 'toPrisma' | 'toSql';
 type ValidationIssue = {
     path: string;
     message: string;
@@ -367,10 +469,10 @@ type ValidationResult = {
     errors: ValidationIssue[];
 };
 declare const validateRule: (condition: unknown, options?: {
-    target?: RuleValidationTarget;
+    target?: RuleTarget;
 }) => ValidationResult;
 declare const assertValidRule: (condition: unknown, options?: {
-    target?: RuleValidationTarget;
+    target?: RuleTarget;
 }) => asserts condition is Condition;
 
-export { type AggregateMode, type AggregateRule, type All, type Any, ArrayOperator, type ArrayRule, type BuildOptions, type Condition, type DateInputValue, DateOperator, type DateRule, type DateRuleValue, type FieldMap, type FieldMapEntry, type GroupByStep, type IfThenElse, Operator, type OrderedRuleValue, type PrismaStep, type PrismaWhere, type Rule, type RuleScalar, type RuleValidationTarget, type RuleValue, 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 ToPrismaResult, type ValidationIssue, type ValidationResult, type WhereStep, assertValidRule, check, executePrismaQueryPlan, toPrisma, toSql, 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 DateInputValue, DateOperator, type DateRule, type DateRuleValue, EQUATABLE_KINDS, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type MapNarrowing, type ModelNarrowing, NUMERIC_KINDS, ORDERABLE_KINDS, Operator, type OrderedRuleValue, type PrismaStep, type PrismaWhere, type Rule, type RuleLensCheck, type RuleLensViolation, type RuleScalar, RuleTarget, type RuleValue, STRINGY_KINDS, 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 ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, type WhereStep, applyLens, assertValidRule, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, executePrismaQueryPlan, getArrayOperators, getOperatorsForKind, getValueShape, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, projectNarrowing, stitchFieldMaps, toPrisma, toSql, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };

package/dist/index.d.ts

@@ -86,7 +86,7 @@ type StrictRangeRule = (RuleBase<OperatorValues['between']> & ValueSource<[Order
 type StrictPresenceRule = (RuleBase<OperatorValues['isEmpty']> & NoValueSource) | (RuleBase<OperatorValues['notEmpty']> & NoValueSource) | (RuleBase<OperatorValues['exists']> & NoValueSource) | (RuleBase<OperatorValues['notExists']> & NoValueSource);
 type StrictRule<TValue = RuleValue> = StrictEqualityRule<TValue> | StrictOrderedComparisonRule | StrictMembershipRule<TValue> | StrictContainsRule<TValue> | StrictPatternRule | StrictStringBoundaryRule | StrictRangeRule | StrictPresenceRule;
 type ArrayRuleBase<TOperator extends ArrayOperator> = {
-    field: string;
+    field?: string;
     arrayOperator: TOperator;
     error?: string;
 };
@@ -164,7 +164,7 @@ type Rule<TValue = RuleValue> = {
     error?: string;
 };
 type ArrayRule<TRuleValue = RuleValue, TDateValue = DateRuleValue> = {
-    field: string;
+    field?: string;
     arrayOperator: ArrayOperator;
     condition?: Condition<TRuleValue, TDateValue>;
     count?: number;
@@ -208,11 +208,16 @@ type StrictIfThenElse<TRuleValue = RuleValue, TDateValue = DateRuleValue> = {
 };
 type StrictCondition<TRuleValue = RuleValue, TDateValue = DateRuleValue> = StrictRule<TRuleValue> | StrictAggregateRule<TRuleValue, TDateValue> | StrictArrayRule<TRuleValue, TDateValue> | StrictDateRule | StrictAll<TRuleValue, TDateValue> | StrictAny<TRuleValue, TDateValue> | StrictIfThenElse<TRuleValue, TDateValue> | boolean;
 
-declare const check: <TData extends Record<string, unknown>>(conditions: Condition, data: TData, context?: TData) => boolean | string;
+type Row$1 = Record<string, unknown>;
+type CheckData = Row$1 | unknown[];
+type CheckOptions = {
+    context?: CheckData;
+};
+declare const check: <TData extends CheckData>(conditions: Condition, data: TData, options?: CheckOptions) => boolean | string;
 
 type PrismaWhere = Record<string, unknown>;
 type FieldMapEntry = {
-    kind: 'scalar' | 'object' | 'enum';
+    kind: 'scalar' | 'object' | 'enum' | 'bridge';
     type: string;
     isList?: boolean;
     fromFields?: string[];
@@ -249,11 +254,142 @@ type ToPrismaResult = {
     steps: PrismaStep[];
 };
 type BuildOptions = {
-    map?: FieldMap;
+    map?: FieldMap | FieldMapSet;
+    mapName?: string;
     model?: string;
     context?: Record<string, unknown>;
 };
 
+type BridgeEndpoint = {
+    fieldMap: string;
+    model: string;
+    on: string;
+};
+type BridgeCardinality = 'oneToOne' | 'oneToMany';
+type Bridge = {
+    endpoints: [BridgeEndpoint, BridgeEndpoint];
+    cardinality: BridgeCardinality;
+};
+type FieldMapSet = {
+    maps: Record<string, FieldMap>;
+    bridges?: Bridge[];
+};
+
+type Row = Record<string, unknown>;
+type BridgeDictionary = Record<string, // map name
+Record<string, // model name
+Record<string, Record<string, Row | Row[]>>>>;
+declare const buildBridgeDictionary: (set: FieldMapSet, rawData: Record<string, Row[]>) => BridgeDictionary;
+
+declare const stitchFieldMaps: (set: FieldMapSet) => FieldMapSet;
+
+declare const validateFieldMapSet: (set: FieldMapSet) => void;
+declare const validateFieldMap: (fieldMap: FieldMap, mapName?: string) => void;
+
+type Lens = FieldMapSet & {
+    mapName: string;
+    model: string;
+};
+type ModelNarrowing = {
+    picks?: string[];
+    omits?: string[];
+    relations?: Record<string, ModelNarrowing>;
+};
+type MapNarrowing = {
+    models: Record<string, ModelNarrowing>;
+};
+type LensNarrowing = {
+    parent: Lens | LensNarrowing;
+    maps: Record<string, MapNarrowing>;
+    constrains?: Condition;
+};
+
+declare const applyLens: (rule: Condition, narrowing: Lens | LensNarrowing) => Condition;
+
+type RuleLensViolation = {
+    path: string;
+    reason: string;
+};
+type RuleLensCheck = {
+    ok: boolean;
+    violations: RuleLensViolation[];
+};
+declare const checkRuleAgainstLens: (rule: Condition, lensOrNarrowing: Lens | LensNarrowing) => RuleLensCheck;
+
+type CreateLensInput = {
+    maps: Record<string, FieldMap>;
+    bridges?: Bridge[];
+    mapName: string;
+    model: string;
+};
+declare const createLens: (input: CreateLensInput) => Lens;
+
+declare const validateNarrowing: (narrowing: LensNarrowing) => void;
+
+declare const projectNarrowing: (lensOrNarrowing: Lens | LensNarrowing) => FieldMapSet;
+
+declare const FieldKind: {
+    readonly String: "String";
+    readonly Boolean: "Boolean";
+    readonly Int: "Int";
+    readonly BigInt: "BigInt";
+    readonly Float: "Float";
+    readonly Decimal: "Decimal";
+    readonly DateTime: "DateTime";
+    readonly Json: "Json";
+    readonly Bytes: "Bytes";
+    readonly Enum: "Enum";
+};
+type FieldKind = (typeof FieldKind)[keyof typeof FieldKind];
+declare const NUMERIC_KINDS: readonly FieldKind[];
+declare const ORDERABLE_KINDS: readonly FieldKind[];
+declare const STRINGY_KINDS: readonly FieldKind[];
+declare const EQUATABLE_KINDS: readonly FieldKind[];
+declare const ALL_KINDS: readonly FieldKind[];
+declare const RuleTarget: {
+    readonly check: "check";
+    readonly toPrisma: "toPrisma";
+    readonly toSql: "toSql";
+};
+type RuleTarget = (typeof RuleTarget)[keyof typeof RuleTarget];
+declare const ValueShape: {
+    readonly none: "none";
+    readonly scalar: "scalar";
+    readonly ordered: "ordered";
+    readonly array: "array";
+    readonly string: "string";
+    readonly pattern: "pattern";
+    readonly range: "range";
+    readonly dateValue: "dateValue";
+    readonly dateRange: "dateRange";
+    readonly dayList: "dayList";
+    readonly count: "count";
+    readonly predicate: "predicate";
+};
+type ValueShape = (typeof ValueShape)[keyof typeof ValueShape];
+type CatalogEntry = {
+    kinds: readonly FieldKind[];
+    targets: readonly RuleTarget[];
+    valueShape: ValueShape;
+};
+declare const FIELD_OPERATOR_CATALOG: Record<Operator, CatalogEntry>;
+declare const DATE_OPERATOR_CATALOG: Record<DateOperator, CatalogEntry>;
+type ArrayCatalogEntry = {
+    targets: readonly RuleTarget[];
+    valueShape: ValueShape;
+};
+declare const ARRAY_OPERATOR_CATALOG: Record<ArrayOperator, ArrayCatalogEntry>;
+declare const AGGREGATE_OPERATORS: readonly Operator[];
+declare const isAggregateSingleOperator: (operator: Operator) => boolean;
+declare const isAggregateRangeOperator: (operator: Operator) => boolean;
+declare const getValueShape: (operator: Operator | DateOperator | ArrayOperator) => ValueShape;
+declare const isOperatorSupportedForTarget: (operator: Operator | DateOperator | ArrayOperator, target: RuleTarget) => boolean;
+declare const getOperatorsForKind: (kind: FieldKind, target?: RuleTarget) => {
+    field: Operator[];
+    date: DateOperator[];
+};
+declare const getArrayOperators: (target?: RuleTarget) => ArrayOperator[];
+
 /**
  * Execute a Prisma query plan produced by toPrisma().
  *
@@ -321,42 +457,8 @@ type SqlBuildOptions = {
     alias?: string;
     context?: Record<string, unknown>;
 };
-/**
- * Convert a json-rules Condition to a PostgreSQL WHERE clause.
- *
- * @param condition - The rule condition to convert
- * @param options   - Optional map/model/alias for JOIN generation; context for path refs
- * @returns Object with `sql`, `params`, and `joins` (LEFT JOIN clauses)
- *
- * @example
- * ```typescript
- * // Simple field
- * const { sql, params } = toSql({ field: 'status', operator: Operator.equals, value: 'active' });
- * // sql: '"status" = $1'
- *
- * // Relation traversal with JOINs (map required)
- * const { sql, params, joins } = toSql(
- *   { field: 'author.email', operator: Operator.equals, value: 'a@b.com' },
- *   { map, model: 'Post', alias: 't0' }
- * );
- * // sql:  '"t1"."email" = $1'
- * // joins: ['LEFT JOIN "User" AS "t1" ON "t1"."id" = "t0"."authorId"']
- *
- * // Same-record field comparison ($.field)
- * const { sql: sql2 } = toSql({ field: 'endDate', operator: Operator.greaterThan, path: '$.startDate' });
- * // sql2: '"endDate" > "startDate"'
- *
- * // External context ref
- * const { sql: sql3 } = toSql(
- *   { field: 'userId', operator: Operator.equals, path: 'currentUser.id' },
- *   { context: { currentUser: { id: '123' } } }
- * );
- * // sql3: '"userId" = $1'  params: ['123']
- * ```
- */
 declare const toSql: (condition: Condition, options?: SqlBuildOptions) => SqlResult;
 
-type RuleValidationTarget = 'check' | 'toPrisma' | 'toSql';
 type ValidationIssue = {
     path: string;
     message: string;
@@ -367,10 +469,10 @@ type ValidationResult = {
     errors: ValidationIssue[];
 };
 declare const validateRule: (condition: unknown, options?: {
-    target?: RuleValidationTarget;
+    target?: RuleTarget;
 }) => ValidationResult;
 declare const assertValidRule: (condition: unknown, options?: {
-    target?: RuleValidationTarget;
+    target?: RuleTarget;
 }) => asserts condition is Condition;
 
-export { type AggregateMode, type AggregateRule, type All, type Any, ArrayOperator, type ArrayRule, type BuildOptions, type Condition, type DateInputValue, DateOperator, type DateRule, type DateRuleValue, type FieldMap, type FieldMapEntry, type GroupByStep, type IfThenElse, Operator, type OrderedRuleValue, type PrismaStep, type PrismaWhere, type Rule, type RuleScalar, type RuleValidationTarget, type RuleValue, 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 ToPrismaResult, type ValidationIssue, type ValidationResult, type WhereStep, assertValidRule, check, executePrismaQueryPlan, toPrisma, toSql, 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 DateInputValue, DateOperator, type DateRule, type DateRuleValue, EQUATABLE_KINDS, FIELD_OPERATOR_CATALOG, FieldKind, type FieldMap, type FieldMapEntry, type FieldMapSet, type GroupByStep, type IfThenElse, type Lens, type LensNarrowing, type MapNarrowing, type ModelNarrowing, NUMERIC_KINDS, ORDERABLE_KINDS, Operator, type OrderedRuleValue, type PrismaStep, type PrismaWhere, type Rule, type RuleLensCheck, type RuleLensViolation, type RuleScalar, RuleTarget, type RuleValue, STRINGY_KINDS, 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 ToPrismaResult, type ValidationIssue, type ValidationResult, ValueShape, type WhereStep, applyLens, assertValidRule, buildBridgeDictionary, check, checkRuleAgainstLens, createLens, executePrismaQueryPlan, getArrayOperators, getOperatorsForKind, getValueShape, isAggregateRangeOperator, isAggregateSingleOperator, isOperatorSupportedForTarget, projectNarrowing, stitchFieldMaps, toPrisma, toSql, validateFieldMap, validateFieldMapSet, validateNarrowing, validateRule };