@cerbos/orm-prisma 4.0.0 → 5.0.0

package/lib/presence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"presence.js","sourceRoot":"","sources":["../src/presence.ts"],"names":[],"mappings":";AAAA,+FAA+F;AAC/F,2EAA2E;;AAyB3E,8CAuCC;AAOD,4CAsBC;AAxFD,uCAAoF;AAEpF,iCAAwC;AAExC,2CAA4D;AAC5D,qCAAqD;AAErD;;;;;;;;;;;;GAYG;AACH,SAAgB,iBAAiB,CAC/B,QAAiC,EACjC,OAA2B,EAC3B,OAAgB;IAEhB,MAAM,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC;IAE3B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,IAAA,qBAAc,EAAC,OAAO,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,kCAAyB,CAAC,8CAA8C,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,QAAQ,GAAG,IAAA,+BAAqB,EAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;IAE3C,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,kCAAyB,CACjC,wBAAwB,OAAO,CAAC,IAAI,oDAAoD;YACtF,yDAAyD,CAC5D,CAAC;IACJ,CAAC;IAED,IAAI,QAAsB,CAAC;IAC3B,IAAI,IAAI,GAAG,SAAS,CAAC;IAErB,IAAI,IAAA,4BAAkB,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,QAAQ,GAAG,IAAA,2BAAe,EAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAC1C,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;SAAM,IAAI,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAClE,QAAQ,GAAG,IAAA,2BAAe,EAAC,SAAS,EAAE;YACpC,CAAC,IAAA,sBAAY,EAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE;SAC7C,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,IAAA,2BAAe,EAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,IAAI,CAAC,OAAO;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAA,wBAAY,EAAC,QAAQ,CAAC,CAAC;IAEvC,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,2BAAe,EAAC,IAAI,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;AACrF,CAAC;AAED;;;;GAIG;AACH,SAAgB,gBAAgB,CAC9B,IAAqB,EACrB,OAA2B;IAE3B,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;IAEhC,IACE,IAAI,CAAC,QAAQ,KAAK,KAAK;QACvB,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC1B,OAAO,KAAK,SAAS;QACrB,CAAC,IAAA,qBAAc,EAAC,OAAO,CAAC;QACxB,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QACpC,IAAA,4BAAkB,EAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAChD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,IAAA,+BAAqB,EAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE9D,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5D,OAAO,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC9F,CAAC;AAED,2FAA2F;AAC3F,SAAS,qBAAqB,CAC5B,SAAiB,EACjB,QAAkD,EAClD,OAA2B;IAE3B,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5C,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,YAAY,GAAG,GAAG,CAAC,CAC/C,CAAC;IAEF,IAAI,OAAO,IAAI,QAAQ,CAAC,2BAA2B,KAAK,SAAS,EAAE,CAAC;QAClE,OAAO,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;IACrC,CAAC;IAED,OAAO,CACL,CAAC,QAAQ,CAAC,2BAA2B,IAAI,OAAO,CAAC,kBAAkB,CAAC,KAAK,SAAS,CACnF,CAAC;AACJ,CAAC"}

package/lib/regex.d.ts

@@ -0,0 +1,33 @@
+import type { PlanExpressionOperand } from "@cerbos/core";
+import type { PrismaFilter } from "./index";
+import type { TranslationContext } from "./mapping";
+/** One position of an expanded pattern: a literal character, `.` (not a newline), or `.*`. */
+type Token = {
+    char: string;
+} | {
+    any: true;
+} | {
+    star: true;
+};
+/**
+ * A pattern RE2 itself rejects, as the parser below sees it. Whether RE2 rejects a pattern is
+ * decided by re2js (isInvalidPattern), not by this parser, whose refusals are always safe.
+ */
+export declare class InvalidRegexError extends Error {
+}
+type Expansion = {
+    begin: boolean;
+    end: boolean;
+    tokens: Token[];
+};
+/** The pattern as alternatives, each anchored at its ends or not. */
+export declare function expandPattern(pattern: string): Expansion[];
+/**
+ * Whether the pattern is one RE2 rejects, so that `matches()` raises an error on every row: what
+ * re2js, a port of RE2, refuses to compile. A pattern this adapter cannot translate is not invalid;
+ * it is refused when translated.
+ */
+export declare function isInvalidPattern(pattern: string): boolean;
+export declare function handleMatchesOperator(operands: PlanExpressionOperand[], context: TranslationContext): PrismaFilter;
+export {};
+//# sourceMappingURL=regex.d.ts.map

package/lib/regex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regex.d.ts","sourceRoot":"","sources":["../src/regex.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAI1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE5C,OAAO,KAAK,EAA0B,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAU5E,8FAA8F;AAC9F,KAAK,KAAK,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,GAAG,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAU/D;;;GAGG;AACH,qBAAa,iBAAkB,SAAQ,KAAK;CAAG;AA4U/C,KAAK,SAAS,GAAG;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,KAAK,EAAE,CAAA;CAAE,CAAC;AA8DnE,qEAAqE;AACrE,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,EAAE,CAuB1D;AA8ED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAEzD;AAaD,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,qBAAqB,EAAE,EACjC,OAAO,EAAE,kBAAkB,GAC1B,YAAY,CA0Cd"}

package/lib/regex.js

@@ -0,0 +1,480 @@
+"use strict";
+// `matches(column, "pattern")` for the RE2 patterns whose language a boolean combination of LIKE
+// filters decides exactly. Everything else is refused.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.InvalidRegexError = void 0;
+exports.expandPattern = expandPattern;
+exports.isInvalidPattern = isInvalidPattern;
+exports.handleMatchesOperator = handleMatchesOperator;
+const re2js_1 = require("re2js");
+const fields_1 = require("./fields");
+const mapping_1 = require("./mapping");
+const plan_1 = require("./plan");
+const errors_1 = require("./errors");
+const narrowing_1 = require("./narrowing");
+/** Past this many alternatives, a pattern is refused rather than spelled out. */
+const MAX_ALTERNATIVES = 256;
+/**
+ * A pattern RE2 itself rejects, as the parser below sees it. Whether RE2 rejects a pattern is
+ * decided by re2js (isInvalidPattern), not by this parser, whose refusals are always safe.
+ */
+class InvalidRegexError extends Error {
+}
+exports.InvalidRegexError = InvalidRegexError;
+function refuse(pattern, why) {
+    throw new errors_1.UnsupportedQueryPlanError(`Cannot translate matches() with pattern ${JSON.stringify(pattern)}: ${why}. Prisma has no ` +
+        "regex filter; only patterns a combination of LIKE filters decides exactly are translated");
+}
+const DIGITS = [..."0123456789"];
+/**
+ * A repetition count, `{n}`, `{n,}` or `{n,m}`; any other brace is a literal to RE2. A count is
+ * read as Go's `regexp/syntax` `parseInt` reads it, which takes no leading zero: `a{01}` is `a`
+ * then the text "{01}".
+ */
+const REPEAT = /^\{(0|[1-9]\d*)(,(0|[1-9]\d*)?)?\}/;
+/** RE2's bound on the copies a counted repetition, nested ones included, may make. */
+const MAX_REPEAT = 1000;
+/**
+ * Go's `repeatIsValid`: each repetition divides the budget by its count (its maximum, or its
+ * minimum when unbounded), and a count beyond what is left is invalid: `(a{2}){600}`.
+ */
+function repeatIsValid(node, budget) {
+    switch (node.kind) {
+        case "repeat": {
+            if (node.max === 0)
+                return true;
+            const count = node.max === Infinity ? node.min : node.max;
+            if (count > budget)
+                return false;
+            return repeatIsValid(node.node, count === 0 ? budget : Math.floor(budget / count));
+        }
+        case "alt":
+            return node.branches.every((branch) => branch.every((inner) => repeatIsValid(inner, budget)));
+        default:
+            return true;
+    }
+}
+/** RE2's simple case folding over ASCII letters: `k` and `s` fold with a non-ASCII sign too. */
+function foldOrbit(char) {
+    const lower = char.toLowerCase();
+    if (!/^[a-z]$/.test(lower))
+        return [char];
+    const orbit = [lower, lower.toUpperCase()];
+    if (lower === "k")
+        orbit.push("K");
+    if (lower === "s")
+        orbit.push("ſ");
+    return orbit;
+}
+/** A recursive-descent parser over the pattern's code points (RE2 matches code points). */
+class Parser {
+    pattern;
+    index = 0;
+    caseInsensitive = false;
+    chars;
+    constructor(pattern) {
+        this.pattern = pattern;
+        this.chars = Array.from(pattern);
+    }
+    parse() {
+        if (this.pattern.startsWith("(?i)")) {
+            this.caseInsensitive = true;
+            this.index = 4;
+        }
+        const branches = this.alternation();
+        if (this.index !== this.chars.length)
+            refuse(this.pattern, "unbalanced parenthesis");
+        return branches;
+    }
+    peek(offset = 0) {
+        return this.chars[this.index + offset];
+    }
+    rest() {
+        return this.chars.slice(this.index).join("");
+    }
+    next() {
+        return this.chars[this.index++];
+    }
+    alternation() {
+        const branches = [this.sequence()];
+        while (this.peek() === "|") {
+            this.index++;
+            branches.push(this.sequence());
+        }
+        return branches;
+    }
+    sequence() {
+        const nodes = [];
+        for (let char = this.peek(); char !== undefined && char !== "|" && char !== ")"; char = this.peek()) {
+            nodes.push(this.quantified(this.atom()));
+        }
+        return nodes;
+    }
+    quantified(node) {
+        const char = this.peek();
+        let min;
+        let max;
+        if (char === "*" || char === "+" || char === "?") {
+            this.index++;
+            [min, max] = char === "*" ? [0, Infinity] : char === "+" ? [1, Infinity] : [0, 1];
+        }
+        else if (char === "{") {
+            const match = REPEAT.exec(this.rest());
+            // RE2 reads a brace that does not open a repetition as a literal.
+            if (match === null)
+                return node;
+            this.index += Array.from(match[0]).length;
+            min = Number(match[1]);
+            max = match[2] === undefined ? min : match[3] === undefined ? Infinity : Number(match[3]);
+            if (min > MAX_REPEAT || (max !== Infinity && (max > MAX_REPEAT || max < min))) {
+                throw new InvalidRegexError("invalid repeat count");
+            }
+        }
+        else {
+            return node;
+        }
+        const next = this.peek();
+        if (next === "?")
+            refuse(this.pattern, "non-greedy repetition");
+        if (next === "*" || next === "+" || (next === "{" && REPEAT.test(this.rest()))) {
+            throw new InvalidRegexError("invalid nested repetition");
+        }
+        if (node.kind === "begin" || node.kind === "end") {
+            refuse(this.pattern, "a repeated anchor");
+        }
+        const repeat = { kind: "repeat", node, min, max };
+        if (!repeatIsValid(repeat, MAX_REPEAT))
+            throw new InvalidRegexError("invalid repeat count");
+        return repeat;
+    }
+    atom() {
+        const char = this.next();
+        switch (char) {
+            case "^":
+                return { kind: "begin" };
+            case "$":
+                return { kind: "end" };
+            case ".":
+                return { kind: "any" };
+            case "(": {
+                if (this.peek() === "?") {
+                    const rest = this.rest();
+                    if (/^\?(=|!|<=|<!)/.test(rest))
+                        throw new InvalidRegexError("lookaround");
+                    if (rest.startsWith("?:")) {
+                        this.index += 2;
+                    }
+                    else {
+                        refuse(this.pattern, "a group flag");
+                    }
+                }
+                const branches = this.alternation();
+                if (this.peek() !== ")")
+                    refuse(this.pattern, "unbalanced parenthesis");
+                this.index++;
+                return { kind: "alt", branches };
+            }
+            case "[":
+                return this.characterClass();
+            case "\\":
+                return this.escape();
+            case "*":
+            case "+":
+            case "?":
+                throw new InvalidRegexError("missing argument to repetition operator");
+            case "{":
+                // A count with nothing before it to repeat; a brace that is not a count stays a literal.
+                if (REPEAT.test(`{${this.rest()}`)) {
+                    throw new InvalidRegexError("missing argument to repetition operator");
+                }
+                return this.literal(char);
+            default:
+                return this.literal(char);
+        }
+    }
+    literal(char) {
+        if (this.caseInsensitive && /[^\x00-\x7F]/.test(char)) {
+            refuse(this.pattern, "case-insensitive matching of a non-ASCII character");
+        }
+        return { kind: "char", chars: this.caseInsensitive ? foldOrbit(char) : [char] };
+    }
+    escape() {
+        const char = this.next();
+        if (char === undefined)
+            throw new InvalidRegexError("trailing backslash");
+        if (char === "d")
+            return { kind: "char", chars: DIGITS };
+        const octal = this.octalEscape(char);
+        if (octal !== undefined)
+            return this.literal(octal);
+        if (/[A-Za-z0-9]/.test(char))
+            refuse(this.pattern, `the escape \\${char}`);
+        return this.literal(char);
+    }
+    /**
+     * The character of an octal escape whose first digit was just read, as Go's regexp/syntax reads
+     * it: `\0` on its own, and `\1` to `\7` only when another octal digit follows (alone, each is
+     * a backreference, which RE2 rejects); up to three digits in all. `\11` is a tab.
+     */
+    octalEscape(first) {
+        const isOctal = (c) => c !== undefined && c >= "0" && c <= "7";
+        if (!isOctal(first)) {
+            if (/[89]/.test(first))
+                throw new InvalidRegexError(`invalid escape sequence: \\${first}`);
+            return undefined;
+        }
+        if (first !== "0" && !isOctal(this.peek())) {
+            throw new InvalidRegexError(`invalid escape sequence: \\${first}`);
+        }
+        let code = Number(first);
+        for (let digits = 1; digits < 3 && isOctal(this.peek()); digits++) {
+            code = code * 8 + Number(this.next());
+        }
+        return String.fromCodePoint(code);
+    }
+    characterClass() {
+        if (this.peek() === "^")
+            refuse(this.pattern, "a negated character class");
+        const chars = new Set();
+        let first = true;
+        for (;;) {
+            const char = this.next();
+            if (char === undefined)
+                throw new InvalidRegexError("missing closing ]");
+            if (char === "]" && !first)
+                break;
+            first = false;
+            if (char === "[" && this.rest().startsWith(":digit:]")) {
+                this.index += ":digit:]".length;
+                DIGITS.forEach((digit) => chars.add(digit));
+                continue;
+            }
+            if (char === "[" && this.peek() === ":")
+                refuse(this.pattern, "a POSIX class other than digit");
+            let from = char;
+            if (char === "\\") {
+                const escaped = this.next();
+                if (escaped === undefined)
+                    throw new InvalidRegexError("trailing backslash");
+                if (escaped === "d") {
+                    DIGITS.forEach((digit) => chars.add(digit));
+                    continue;
+                }
+                const octal = this.octalEscape(escaped);
+                if (octal !== undefined) {
+                    from = octal;
+                }
+                else {
+                    if (/[A-Za-z0-9]/.test(escaped))
+                        refuse(this.pattern, `the escape \\${escaped}`);
+                    from = escaped;
+                }
+            }
+            if (this.peek() === "-" && this.peek(1) !== "]") {
+                this.index++;
+                const to = this.next();
+                if (to === undefined || to === "\\")
+                    refuse(this.pattern, "an escaped class range");
+                const start = from.codePointAt(0);
+                const end = to.codePointAt(0);
+                if (end < start)
+                    throw new InvalidRegexError("invalid character class range");
+                if (end - start > 128)
+                    refuse(this.pattern, "a wide character range");
+                for (let code = start; code <= end; code++)
+                    chars.add(String.fromCodePoint(code));
+                continue;
+            }
+            chars.add(from);
+        }
+        const members = [...chars].flatMap((char) => {
+            if (this.caseInsensitive && /[^\x00-\x7F]/.test(char)) {
+                refuse(this.pattern, "case-insensitive matching of a non-ASCII character");
+            }
+            return this.caseInsensitive ? foldOrbit(char) : [char];
+        });
+        return { kind: "char", chars: [...new Set(members)] };
+    }
+}
+function product(pattern, left, right) {
+    if (left.length * right.length > MAX_ALTERNATIVES) {
+        refuse(pattern, `more than ${MAX_ALTERNATIVES} alternatives`);
+    }
+    return left.flatMap((l) => right.map((r) => [...l, ...r]));
+}
+/** Every token sequence `nodes` (holding no anchor) can match. */
+function expand(pattern, nodes) {
+    let sequences = [[]];
+    for (const node of nodes) {
+        sequences = product(pattern, sequences, expandNode(pattern, node));
+    }
+    return sequences;
+}
+function expandNode(pattern, node) {
+    switch (node.kind) {
+        case "char":
+            return node.chars.map((char) => [{ char }]);
+        case "any":
+            return [[{ any: true }]];
+        case "alt": {
+            const all = node.branches.flatMap((branch) => expand(pattern, branch));
+            if (all.length > MAX_ALTERNATIVES)
+                refuse(pattern, `more than ${MAX_ALTERNATIVES} alternatives`);
+            return all;
+        }
+        case "repeat": {
+            if (node.max === Infinity) {
+                if (node.node.kind !== "any")
+                    refuse(pattern, "unbounded repetition of anything but .");
+                return [[...Array.from({ length: node.min }, () => ({ any: true })), { star: true }]];
+            }
+            const unit = expandNode(pattern, node.node);
+            const results = [];
+            let power = [[]];
+            for (let count = 0; count <= node.max; count++) {
+                if (count >= node.min)
+                    results.push(...power);
+                if (results.length > MAX_ALTERNATIVES)
+                    refuse(pattern, `more than ${MAX_ALTERNATIVES} alternatives`);
+                if (count < node.max)
+                    power = product(pattern, power, unit);
+            }
+            return results;
+        }
+        default:
+            refuse(pattern, "an anchor inside a group or away from the pattern's ends");
+    }
+}
+/** The pattern as alternatives, each anchored at its ends or not. */
+function expandPattern(pattern) {
+    const branches = new Parser(pattern).parse();
+    const expansions = [];
+    for (const branch of branches) {
+        let nodes = branch;
+        const begin = nodes[0]?.kind === "begin";
+        if (begin)
+            nodes = nodes.slice(1);
+        const end = nodes[nodes.length - 1]?.kind === "end";
+        if (end)
+            nodes = nodes.slice(0, -1);
+        for (const tokens of expand(pattern, nodes)) {
+            expansions.push({ begin, end, tokens });
+            if (expansions.length > MAX_ALTERNATIVES) {
+                refuse(pattern, `more than ${MAX_ALTERNATIVES} alternatives`);
+            }
+        }
+    }
+    return expansions;
+}
+// -- the filter ----------------------------------------------------------------------------------
+const LIKE_METACHARACTERS = /[%_\\]/;
+/**
+ * One alternative as a filter on the column. Without a wildcard it is `equals`, `startsWith`,
+ * `endsWith` or `contains` as its anchors say. With one, only a pattern anchored at both ends is
+ * translated: a LIKE of `_` for `.` and `%` for `.*`, and no newline anywhere in the value — the
+ * literal characters are not newlines, so every newline in a match falls in a wildcard, which RE2's
+ * `.` does not match.
+ */
+function alternativeFilter(pattern, fieldRef, { begin, end, tokens }) {
+    const characters = tokens.flatMap((token) => ("char" in token ? [token.char] : []));
+    const literal = characters.length === tokens.length ? characters.join("") : undefined;
+    if (literal !== undefined && begin && end) {
+        return (0, fields_1.buildFieldFilter)(fieldRef, "equals", literal);
+    }
+    const likeText = tokens
+        .map((token) => ("char" in token ? token.char : "any" in token ? "_" : "%"))
+        .join("");
+    // A prefix is matched as a range, so it needs no escaping (see buildPrefixFilter).
+    if (literal !== undefined && begin)
+        return (0, fields_1.buildPrefixFilter)(fieldRef, literal);
+    const literals = tokens.flatMap((token) => ("char" in token ? [token.char] : []));
+    if (literals.some((char) => LIKE_METACHARACTERS.test(char))) {
+        refuse(pattern, "a literal LIKE metacharacter (%, _ or \\), which Prisma does not escape");
+    }
+    if (literal !== undefined) {
+        return (0, fields_1.buildFieldFilter)(fieldRef, end ? "endsWith" : "contains", literal);
+    }
+    if (!begin || !end) {
+        refuse(pattern, "a wildcard in a pattern not anchored at both ends");
+    }
+    if (literals.includes("\n"))
+        refuse(pattern, "a literal newline beside a wildcard");
+    const noNewline = { NOT: (0, fields_1.buildFieldFilter)(fieldRef, "contains", "\n") };
+    const segments = likeText.split("%");
+    if (segments.length === 1) {
+        // Exactly the pattern's length: it matches as a prefix, and one more character never fits.
+        return {
+            AND: [
+                (0, fields_1.buildFieldFilter)(fieldRef, "startsWith", likeText),
+                { NOT: (0, fields_1.buildFieldFilter)(fieldRef, "startsWith", `${likeText}_`) },
+                noNewline,
+            ],
+        };
+    }
+    if (segments.length > 2)
+        refuse(pattern, "more than one .* in one alternative");
+    // `A.*B`: A at the start, B at the end, and room for both without overlapping.
+    const [head, tail] = (0, narrowing_1.pair)(segments);
+    const filters = [];
+    if (head !== "")
+        filters.push((0, fields_1.buildFieldFilter)(fieldRef, "startsWith", head));
+    if (tail !== "")
+        filters.push((0, fields_1.buildFieldFilter)(fieldRef, "endsWith", tail));
+    if (head !== "" && tail !== "") {
+        filters.push((0, fields_1.buildFieldFilter)(fieldRef, "startsWith", "_".repeat(Array.from(head).length + Array.from(tail).length)));
+    }
+    if (filters.length === 0)
+        filters.push((0, fields_1.buildFieldFilter)(fieldRef, "startsWith", ""));
+    return { AND: [...filters, noNewline] };
+}
+/**
+ * Whether the pattern is one RE2 rejects, so that `matches()` raises an error on every row: what
+ * re2js, a port of RE2, refuses to compile. A pattern this adapter cannot translate is not invalid;
+ * it is refused when translated.
+ */
+function isInvalidPattern(pattern) {
+    return re2Rejection(pattern) !== undefined;
+}
+/** RE2's reason for rejecting the pattern, or undefined when it compiles. */
+function re2Rejection(pattern) {
+    try {
+        re2js_1.RE2JS.compile(pattern);
+        return undefined;
+    }
+    catch (error) {
+        return error instanceof Error ? error.message : String(error);
+    }
+}
+function handleMatchesOperator(operands, context) {
+    const [receiver, patternOperand] = operands;
+    if (operands.length !== 2 ||
+        receiver === undefined ||
+        !(0, plan_1.isNamedOperand)(receiver) ||
+        patternOperand === undefined ||
+        !(0, plan_1.isValueOperand)(patternOperand) ||
+        !(0, narrowing_1.isString)(patternOperand.value)) {
+        throw new errors_1.UnsupportedQueryPlanError("matches() is translated only for a column receiver and a literal pattern");
+    }
+    const pattern = patternOperand.value;
+    const fieldRef = (0, mapping_1.resolveFieldReference)(receiver.name, context);
+    if (!(0, mapping_1.isResolvedFieldReference)(fieldRef)) {
+        throw new errors_1.UnsupportedQueryPlanError("matches() requires a column receiver");
+    }
+    (0, fields_1.assertStringField)(fieldRef, "matches");
+    const rejection = re2Rejection(pattern);
+    if (rejection !== undefined)
+        refuse(pattern, `RE2 rejects it (${rejection})`);
+    let expansions;
+    try {
+        expansions = expandPattern(pattern);
+    }
+    catch (error) {
+        if (error instanceof InvalidRegexError) {
+            refuse(pattern, `RE2 rejects it (${error.message})`);
+        }
+        throw error;
+    }
+    const filters = expansions.map((expansion) => alternativeFilter(pattern, fieldRef, expansion));
+    return filters.length === 1 ? filters[0] : { OR: filters };
+}
+//# sourceMappingURL=regex.js.map

package/lib/regex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regex.js","sourceRoot":"","sources":["../src/regex.ts"],"names":[],"mappings":";AAAA,iGAAiG;AACjG,uDAAuD;;;AA4avD,sCAuBC;AAmFD,4CAEC;AAaD,sDA6CC;AA/kBD,iCAA8B;AAE9B,qCAAkF;AAElF,uCAA4E;AAE5E,iCAAwD;AACxD,qCAAqD;AACrD,2CAA6C;AAE7C,iFAAiF;AACjF,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAe7B;;;GAGG;AACH,MAAa,iBAAkB,SAAQ,KAAK;CAAG;AAA/C,8CAA+C;AAE/C,SAAS,MAAM,CAAC,OAAe,EAAE,GAAW;IAC1C,MAAM,IAAI,kCAAyB,CACjC,2CAA2C,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,GAAG,kBAAkB;QAC1F,0FAA0F,CAC7F,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC;AAEjC;;;;GAIG;AACH,MAAM,MAAM,GAAG,oCAAoC,CAAC;AAEpD,sFAAsF;AACtF,MAAM,UAAU,GAAG,IAAI,CAAC;AAExB;;;GAGG;AACH,SAAS,aAAa,CAAC,IAAU,EAAE,MAAc;IAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAChC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAE1D,IAAI,KAAK,GAAG,MAAM;gBAAE,OAAO,KAAK,CAAC;YAEjC,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC;QACrF,CAAC;QAED,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAChG;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,gGAAgG;AAChG,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IAEjC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;IAE3C,IAAI,KAAK,KAAK,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEnC,IAAI,KAAK,KAAK,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEnC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2FAA2F;AAC3F,MAAM,MAAM;IAKmB;IAJrB,KAAK,GAAG,CAAC,CAAC;IACV,eAAe,GAAG,KAAK,CAAC;IACf,KAAK,CAAW;IAEjC,YAA6B,OAAe;QAAf,YAAO,GAAP,OAAO,CAAQ;QAC1C,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,KAAK;QACH,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC;YAC5B,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QACjB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAEpC,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAAC;QAErF,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEO,IAAI,CAAC,MAAM,GAAG,CAAC;QACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;IACzC,CAAC;IAEO,IAAI;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/C,CAAC;IAEO,IAAI;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IAClC,CAAC;IAEO,WAAW;QACjB,MAAM,QAAQ,GAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QAE7C,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;QACjC,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAEO,QAAQ;QACd,MAAM,KAAK,GAAW,EAAE,CAAC;QAEzB,KAAK,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACpG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,UAAU,CAAC,IAAU;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACzB,IAAI,GAAW,CAAC;QAChB,IAAI,GAAW,CAAC;QAEhB,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjD,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpF,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAEvC,kEAAkE;YAClE,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAChC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC1C,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACvB,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAE1F,IAAI,GAAG,GAAG,UAAU,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,GAAG,GAAG,UAAU,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC9E,MAAM,IAAI,iBAAiB,CAAC,sBAAsB,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAEzB,IAAI,IAAI,KAAK,GAAG;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,uBAAuB,CAAC,CAAC;QAEhE,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YAC/E,MAAM,IAAI,iBAAiB,CAAC,2BAA2B,CAAC,CAAC;QAC3D,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;QAC5C,CAAC;QAED,MAAM,MAAM,GAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAExD,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC;YAAE,MAAM,IAAI,iBAAiB,CAAC,sBAAsB,CAAC,CAAC;QAE5F,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,IAAI;QACV,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAG,CAAC;QAE1B,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,GAAG;gBACN,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAC3B,KAAK,GAAG;gBACN,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YACzB,KAAK,GAAG;gBACN,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YACzB,KAAK,GAAG,CAAC,CAAC,CAAC;gBACT,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;oBACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;oBAEzB,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;wBAAE,MAAM,IAAI,iBAAiB,CAAC,YAAY,CAAC,CAAC;oBAE3E,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC1B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;oBAClB,CAAC;yBAAM,CAAC;wBACN,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;oBACvC,CAAC;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;gBAEpC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG;oBAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAAC;gBACxE,IAAI,CAAC,KAAK,EAAE,CAAC;gBAEb,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;YACnC,CAAC;YAED,KAAK,GAAG;gBACN,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;YAC/B,KAAK,IAAI;gBACP,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;YACvB,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,MAAM,IAAI,iBAAiB,CAAC,yCAAyC,CAAC,CAAC;YACzE,KAAK,GAAG;gBACN,yFAAyF;gBACzF,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;oBACnC,MAAM,IAAI,iBAAiB,CAAC,yCAAyC,CAAC,CAAC;gBACzE,CAAC;gBAED,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B;gBACE,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAEO,OAAO,CAAC,IAAY;QAC1B,IAAI,IAAI,CAAC,eAAe,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,oDAAoD,CAAC,CAAC;QAC7E,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAClF,CAAC;IAEO,MAAM;QACZ,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAEzB,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,iBAAiB,CAAC,oBAAoB,CAAC,CAAC;QAE1E,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAErC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAEpD,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,IAAI,EAAE,CAAC,CAAC;QAE3E,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACK,WAAW,CAAC,KAAa;QAC/B,MAAM,OAAO,GAAG,CAAC,CAAqB,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC;QAEhG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,iBAAiB,CAAC,8BAA8B,KAAK,EAAE,CAAC,CAAC;YAE3F,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,KAAK,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,iBAAiB,CAAC,8BAA8B,KAAK,EAAE,CAAC,CAAC;QACrE,CAAC;QAED,IAAI,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAEzB,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;YAClE,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACxC,CAAC;QAED,OAAO,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAEO,cAAc;QACpB,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,2BAA2B,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,IAAI,KAAK,GAAG,IAAI,CAAC;QAEjB,SAAS,CAAC;YACR,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAEzB,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,iBAAiB,CAAC,mBAAmB,CAAC,CAAC;YAEzE,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK;gBAAE,MAAM;YAClC,KAAK,GAAG,KAAK,CAAC;YAEd,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvD,IAAI,CAAC,KAAK,IAAI,UAAU,CAAC,MAAM,CAAC;gBAChC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC5C,SAAS;YACX,CAAC;YAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG;gBAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,gCAAgC,CAAC,CAAC;YAChG,IAAI,IAAI,GAAG,IAAI,CAAC;YAEhB,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAE5B,IAAI,OAAO,KAAK,SAAS;oBAAE,MAAM,IAAI,iBAAiB,CAAC,oBAAoB,CAAC,CAAC;gBAE7E,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;oBACpB,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC5C,SAAS;gBACX,CAAC;gBAED,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;gBAExC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,IAAI,GAAG,KAAK,CAAC;gBACf,CAAC;qBAAM,CAAC;oBACN,IAAI,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC;wBAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,OAAO,EAAE,CAAC,CAAC;oBACjF,IAAI,GAAG,OAAO,CAAC;gBACjB,CAAC;YACH,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAChD,IAAI,CAAC,KAAK,EAAE,CAAC;gBACb,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAEvB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI;oBAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAAC;gBACpF,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;gBACnC,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;gBAE/B,IAAI,GAAG,GAAG,KAAK;oBAAE,MAAM,IAAI,iBAAiB,CAAC,+BAA+B,CAAC,CAAC;gBAE9E,IAAI,GAAG,GAAG,KAAK,GAAG,GAAG;oBAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAAC;gBAEtE,KAAK,IAAI,IAAI,GAAG,KAAK,EAAE,IAAI,IAAI,GAAG,EAAE,IAAI,EAAE;oBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;gBAClF,SAAS;YACX,CAAC;YAED,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;QAED,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YAC1C,IAAI,IAAI,CAAC,eAAe,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtD,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,oDAAoD,CAAC,CAAC;YAC7E,CAAC;YAED,OAAO,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IACxD,CAAC;CACF;AAMD,SAAS,OAAO,CAAC,OAAe,EAAE,IAAe,EAAE,KAAgB;IACjE,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,gBAAgB,EAAE,CAAC;QAClD,MAAM,CAAC,OAAO,EAAE,aAAa,gBAAgB,eAAe,CAAC,CAAC;IAChE,CAAC;IAED,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,kEAAkE;AAClE,SAAS,MAAM,CAAC,OAAe,EAAE,KAAa;IAC5C,IAAI,SAAS,GAAc,CAAC,EAAE,CAAC,CAAC;IAEhC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,SAAS,GAAG,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,UAAU,CAAC,OAAe,EAAE,IAAU;IAC7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9C,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3B,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;YAEvE,IAAI,GAAG,CAAC,MAAM,GAAG,gBAAgB;gBAAE,MAAM,CAAC,OAAO,EAAE,aAAa,gBAAgB,eAAe,CAAC,CAAC;YAEjG,OAAO,GAAG,CAAC;QACb,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC1B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;oBAAE,MAAM,CAAC,OAAO,EAAE,wCAAwC,CAAC,CAAC;gBAExF,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,GAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAC/F,CAAC;YAED,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,OAAO,GAAc,EAAE,CAAC;YAC9B,IAAI,KAAK,GAAc,CAAC,EAAE,CAAC,CAAC;YAE5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC/C,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG;oBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;gBAE9C,IAAI,OAAO,CAAC,MAAM,GAAG,gBAAgB;oBAAE,MAAM,CAAC,OAAO,EAAE,aAAa,gBAAgB,eAAe,CAAC,CAAC;gBAErG,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG;oBAAE,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC9D,CAAC;YAED,OAAO,OAAO,CAAC;QACjB,CAAC;QAED;YACE,MAAM,CAAC,OAAO,EAAE,0DAA0D,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,SAAgB,aAAa,CAAC,OAAe;IAC3C,MAAM,QAAQ,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC;IAC7C,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,IAAI,KAAK,GAAG,MAAM,CAAC;QACnB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO,CAAC;QAEzC,IAAI,KAAK;YAAE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK,CAAC;QAEpD,IAAI,GAAG;YAAE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAEpC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;YAC5C,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;YAExC,IAAI,UAAU,CAAC,MAAM,GAAG,gBAAgB,EAAE,CAAC;gBACzC,MAAM,CAAC,OAAO,EAAE,aAAa,gBAAgB,eAAe,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,mGAAmG;AAEnG,MAAM,mBAAmB,GAAG,QAAQ,CAAC;AAErC;;;;;;GAMG;AACH,SAAS,iBAAiB,CACxB,OAAe,EACf,QAAgC,EAChC,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAa;IAEjC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpF,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEtF,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK,IAAI,GAAG,EAAE,CAAC;QAC1C,OAAO,IAAA,yBAAgB,EAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM;SACpB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;SAC3E,IAAI,CAAC,EAAE,CAAC,CAAC;IAEZ,mFAAmF;IACnF,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK;QAAE,OAAO,IAAA,0BAAiB,EAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAElF,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC5D,MAAM,CAAC,OAAO,EAAE,yEAAyE,CAAC,CAAC;IAC7F,CAAC;IAED,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,IAAA,yBAAgB,EAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;IAED,IAAI,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;QACnB,MAAM,CAAC,OAAO,EAAE,mDAAmD,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,CAAC,OAAO,EAAE,qCAAqC,CAAC,CAAC;IACpF,MAAM,SAAS,GAAiB,EAAE,GAAG,EAAE,IAAA,yBAAgB,EAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;IACtF,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAErC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,2FAA2F;QAC3F,OAAO;YACL,GAAG,EAAE;gBACH,IAAA,yBAAgB,EAAC,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAC;gBAClD,EAAE,GAAG,EAAE,IAAA,yBAAgB,EAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,QAAQ,GAAG,CAAC,EAAE;gBACjE,SAAS;aACV;SACF,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,CAAC,OAAO,EAAE,qCAAqC,CAAC,CAAC;IAChF,+EAA+E;IAC/E,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,IAAA,gBAAI,EAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,OAAO,GAAmB,EAAE,CAAC;IAEnC,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,IAAA,yBAAgB,EAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;IAE9E,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,IAAA,yBAAgB,EAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IAE5E,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC,IAAA,yBAAgB,EAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACxH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,IAAA,yBAAgB,EAAC,QAAQ,EAAE,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC;IAErF,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC;AAED;;;;GAIG;AACH,SAAgB,gBAAgB,CAAC,OAAe;IAC9C,OAAO,YAAY,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;AAC7C,CAAC;AAED,6EAA6E;AAC7E,SAAS,YAAY,CAAC,OAAe;IACnC,IAAI,CAAC;QACH,aAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAEvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChE,CAAC;AACH,CAAC;AAED,SAAgB,qBAAqB,CACnC,QAAiC,EACjC,OAA2B;IAE3B,MAAM,CAAC,QAAQ,EAAE,cAAc,CAAC,GAAG,QAAQ,CAAC;IAE5C,IACE,QAAQ,CAAC,MAAM,KAAK,CAAC;QACrB,QAAQ,KAAK,SAAS;QACtB,CAAC,IAAA,qBAAc,EAAC,QAAQ,CAAC;QACzB,cAAc,KAAK,SAAS;QAC5B,CAAC,IAAA,qBAAc,EAAC,cAAc,CAAC;QAC/B,CAAC,IAAA,oBAAQ,EAAC,cAAc,CAAC,KAAK,CAAC,EAC/B,CAAC;QACD,MAAM,IAAI,kCAAyB,CACjC,0EAA0E,CAC3E,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAA,+BAAqB,EAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAE/D,IAAI,CAAC,IAAA,kCAAwB,EAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,kCAAyB,CAAC,sCAAsC,CAAC,CAAC;IAC9E,CAAC;IAED,IAAA,0BAAiB,EAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IAExC,IAAI,SAAS,KAAK,SAAS;QAAE,MAAM,CAAC,OAAO,EAAE,mBAAmB,SAAS,GAAG,CAAC,CAAC;IAC9E,IAAI,UAAuB,CAAC;IAE5B,IAAI,CAAC;QACH,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,iBAAiB,EAAE,CAAC;YACvC,MAAM,CAAC,OAAO,EAAE,mBAAmB,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QACvD,CAAC;QAED,MAAM,KAAK,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IAE/F,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;AAC9D,CAAC"}

package/lib/relations.d.ts

@@ -0,0 +1,58 @@
+import type { PlanExpressionOperand } from "@cerbos/core";
+import type { PrismaFilter } from "./index";
+import type { RelationConfig, TranslationContext } from "./mapping";
+/** The Prisma operator that reaches into a relation for an existence test. */
+export declare function relationOperator(relation: RelationConfig): string;
+/**
+ * One relation-scoped filter (`{ tags: { some: … } }`), narrowed by the store-side predicate the
+ * caller declared on the mapping.
+ *
+ * Every nested relation filter the adapter emits goes through here, so a declared
+ * `subqueryFilter` reaches the collection macros, the membership shapes, the emptiness checks and
+ * the hop-existence guard alike. Adding a new relation shape means routing it through here, or
+ * the declaration silently stops applying to it.
+ *
+ * `every` is the one operator that cannot simply absorb the predicate. `{ every: AND(W, P) }`
+ * would REQUIRE every record to satisfy W, which is the opposite of "ignore the records W hides",
+ * so it is rewritten to `{ none: AND(W, NOT P) }` — no visible record violates P. Both agree with
+ * `every` when nothing is declared, and both stay vacuously true over an empty relation.
+ */
+export declare function relationFilter(relation: RelationConfig, operator: string, inner: PrismaFilter): PrismaFilter;
+/**
+ * `filter` nested through every relation in `relations`, outermost first, each reached with its
+ * existence operator (`is` for to-one, `some` for to-many). No relations leaves it unchanged.
+ */
+export declare function wrapInRelations(relations: RelationConfig[] | undefined, filter: PrismaFilter): PrismaFilter;
+/**
+ * "Every intermediate hop of a dotted path exists", as a Prisma filter.
+ *
+ * CEL cannot dot through a list, so each intermediate segment of `a.b.c` is a to-ONE
+ * parent: absent, the caller sends no attribute and CEL raises a missing-path error, which
+ * denies. `NOT { categories: { some: { subCategories: { some: P } } } }` is TRUE for a row
+ * with no category at all, so the negation returns rows the PDP denies — the parent must be
+ * required separately (cerbos/query-plan-adapters#309).
+ *
+ * Returns undefined when the reference has no intermediate hop, so a direct relation keeps
+ * its empty-collection semantics (`!tags.exists(...)` over zero tags is still TRUE).
+ */
+export declare function buildLeadingHopsExistFilter(head: RelationConfig, restRelations: RelationConfig[]): PrismaFilter | undefined;
+/**
+ * `{ NOT: filter }` for a filter translated from a plan sub-expression.
+ *
+ * An unconditional filter (`{}`, which the hierarchy operators return for a relationship that
+ * holds between two constants) cannot be negated this way: Prisma drops an empty condition, so
+ * `{ NOT: {} }` is true and matches every row, where the negation of an unconditional condition
+ * matches none. Prisma has no field-free false condition to emit instead, so the shape is refused.
+ */
+export declare function negateFilter(filter: PrismaFilter): PrismaFilter;
+/**
+ * `{ NOT: filter }`, with every to-one hop `operand` dots through required OUTSIDE the
+ * negation so an absent parent stays denied (see buildExpressionHopsExistFilter).
+ */
+export declare function negateRequiringHops(operand: PlanExpressionOperand, filter: PrismaFilter, context: TranslationContext): PrismaFilter;
+/**
+ * Whether negating `expr` needs a hop requirement (see buildExpressionHopsExistFilter): it dots
+ * through at least one to-one hop, which is absent on a parentless row.
+ */
+export declare function referencesRequiredHop(expr: PlanExpressionOperand, context: TranslationContext): boolean;
+//# sourceMappingURL=relations.d.ts.map

package/lib/relations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relations.d.ts","sourceRoot":"","sources":["../src/relations.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAE1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE5C,OAAO,KAAK,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAIpE,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,cAAc,GAAG,MAAM,CAEjE;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,cAAc,EACxB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,YAAY,GAClB,YAAY,CAoBd;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,SAAS,EAAE,cAAc,EAAE,GAAG,SAAS,EACvC,MAAM,EAAE,YAAY,GACnB,YAAY,CAQd;AAYD;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,cAAc,EACpB,aAAa,EAAE,cAAc,EAAE,GAC9B,YAAY,GAAG,SAAS,CAO1B;AA6ED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAS/D;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,qBAAqB,EAC9B,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,kBAAkB,GAC1B,YAAY,CAKd;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,kBAAkB,GAC1B,OAAO,CAET"}