prisma-ltree 0.6.0 → 0.7.0

package/src/exports/runtime.ts

@@ -1,5 +1,6 @@
 import type { SqlRuntimeExtensionDescriptor } from "@prisma/orm-family-sql/runtime";
 import { ltreePackMeta, ltreeQueryOperations } from "../core/descriptor-meta";
+import { ltreeHierarchyMethods } from "../core/hierarchy-collection-methods";
 import { ltreeCodecRegistry } from "../core/registry";
 
 const ltreeRuntimeDescriptor: SqlRuntimeExtensionDescriptor<"postgres"> = {
@@ -16,6 +17,7 @@ const ltreeRuntimeDescriptor: SqlRuntimeExtensionDescriptor<"postgres"> = {
   },
   codecs: () => Array.from(ltreeCodecRegistry.values()),
   queryOperations: () => ltreeQueryOperations(),
+  collectionMethods: () => [ltreeHierarchyMethods],
   create() {
     return {
       familyId: "sql" as const,
@@ -24,5 +26,6 @@ const ltreeRuntimeDescriptor: SqlRuntimeExtensionDescriptor<"postgres"> = {
   },
 };
 
+export type { LtreeHierarchyMethods } from "../core/hierarchy-collection-methods";
 export { ltreeCodecRegistry };
 export default ltreeRuntimeDescriptor;

package/src/types/operation-types.ts

@@ -155,6 +155,43 @@ export type QueryOperationTypes<CT extends CodecTypesBase> = SqlQueryOperationTy
         query: CodecExpression<"pg/text@1", boolean, CT>,
       ) => Expression<{ readonly codecId: "pg/ltree@1"; readonly nullable: false }>;
     };
+    // Boolean array operators (ADR-007). Names differ from the scalar methods
+    // because the operation registry keys by name only.
+    readonly containsAncestorOf: {
+      readonly self: { readonly codecId: "pg/ltree-array@1" };
+      readonly impl: (
+        self: CodecExpression<"pg/ltree-array@1", boolean, CT>,
+        other: CodecExpression<"pg/ltree@1", boolean, CT>,
+      ) => Expression<{ readonly codecId: "pg/bool@1"; readonly nullable: false }>;
+    };
+    readonly containsDescendantOf: {
+      readonly self: { readonly codecId: "pg/ltree-array@1" };
+      readonly impl: (
+        self: CodecExpression<"pg/ltree-array@1", boolean, CT>,
+        other: CodecExpression<"pg/ltree@1", boolean, CT>,
+      ) => Expression<{ readonly codecId: "pg/bool@1"; readonly nullable: false }>;
+    };
+    readonly matchesAnyLquery: {
+      readonly self: { readonly codecId: "pg/ltree-array@1" };
+      readonly impl: (
+        self: CodecExpression<"pg/ltree-array@1", boolean, CT>,
+        pattern: CodecExpression<"pg/text@1", boolean, CT>,
+      ) => Expression<{ readonly codecId: "pg/bool@1"; readonly nullable: false }>;
+    };
+    readonly matchesAnyLqueryArray: {
+      readonly self: { readonly codecId: "pg/ltree-array@1" };
+      readonly impl: (
+        self: CodecExpression<"pg/ltree-array@1", boolean, CT>,
+        patterns: CodecExpression<"pg/text-array@1", boolean, CT>,
+      ) => Expression<{ readonly codecId: "pg/bool@1"; readonly nullable: false }>;
+    };
+    readonly matchesAnyLtxtquery: {
+      readonly self: { readonly codecId: "pg/ltree-array@1" };
+      readonly impl: (
+        self: CodecExpression<"pg/ltree-array@1", boolean, CT>,
+        query: CodecExpression<"pg/text@1", boolean, CT>,
+      ) => Expression<{ readonly codecId: "pg/bool@1"; readonly nullable: false }>;
+    };
     // `lca(ltree[])` — ships as `lcaAll()` (ADR-001, ADR-005); not `lca()`
     // because prisma-next operation names are globally unique across the composed
     // stack. `nullable: false` mirrors the first-match ops (PG can return NULL for

package/dist/descriptor-meta-Cc6tmP54.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"descriptor-meta-Cc6tmP54.mjs","names":[],"sources":["../src/core/authoring.ts","../src/core/codecs-validation.ts","../src/core/data-types.ts","../src/core/codecs.ts","../src/core/registry.ts","../src/core/descriptor-meta.ts"],"sourcesContent":["import type { AuthoringTypeNamespace } from \"@prisma/orm-framework/components/authoring\";\nimport { LTREE_ARRAY_CODEC_ID, LTREE_CODEC_ID } from \"./constants\";\n\nexport const ltreeAuthoringTypes = {\n  ltree: {\n    Ltree: {\n      kind: \"typeConstructor\",\n      inferred: true,\n      output: {\n        codecId: LTREE_CODEC_ID,\n      },\n    },\n    LtreeArray: {\n      kind: \"typeConstructor\",\n      inferred: true,\n      output: {\n        codecId: LTREE_ARRAY_CODEC_ID,\n      },\n    },\n  },\n} as const satisfies AuthoringTypeNamespace;\n","import { LTREE_MAX_LABEL_LENGTH, LTREE_MAX_LABELS } from \"./constants\";\n\nconst LABEL_PATTERN = /^[A-Za-z0-9_-]+$/;\n\nexport function assertValidLtree(value: unknown): asserts value is string {\n  if (typeof value !== \"string\") {\n    throw new Error(\"ltree value must be a string\");\n  }\n  if (value.length === 0) {\n    throw new Error(\"ltree value must not be empty\");\n  }\n  const labels = value.split(\".\");\n  if (labels.length > LTREE_MAX_LABELS) {\n    throw new Error(`ltree path exceeds max labels: got ${labels.length}, max ${LTREE_MAX_LABELS}`);\n  }\n  for (const label of labels) {\n    if (label.length === 0) {\n      throw new Error(`ltree label must not be empty in path \"${value}\"`);\n    }\n    if (label.length > LTREE_MAX_LABEL_LENGTH) {\n      throw new Error(\n        `ltree label exceeds max length: got ${label.length}, max ${LTREE_MAX_LABEL_LENGTH}`,\n      );\n    }\n    if (!LABEL_PATTERN.test(label)) {\n      throw new Error(\n        `ltree label \"${label}\" contains invalid characters; allowed: alphanumeric, underscore, hyphen`,\n      );\n    }\n  }\n}\n","/**\n * Data types this extension owns.\n *\n * `ltree` and `ltree[]` are PostgreSQL types the target does not register.\n * A path's stored form is its label text. An array's stored form is a\n * JSON array of those texts. Both accept text the contract can already write.\n * The texts are what a migration writes and what the catalog reports.\n */\n\nimport type { DataType, DataTypeReader } from \"@prisma/orm-framework/components/codec\";\nimport { refuseJsonValue } from \"@prisma/orm-framework/components/codec\";\nimport { sqlDataType } from \"@prisma/orm-family-sql/contract/data-type\";\nimport { pgText } from \"@prisma/orm-target-postgres/target/data-types\";\nimport { assertValidLtree } from \"./codecs-validation\";\n\nconst readLtree: DataTypeReader = (json) => {\n  if (typeof json !== \"string\") {\n    return refuseJsonValue(\"ltree/ltree\", \"an ltree path string\", json);\n  }\n  try {\n    assertValidLtree(json);\n  } catch {\n    return refuseJsonValue(\"ltree/ltree\", \"a valid ltree path string\", json);\n  }\n  return json;\n};\n\nexport const ltreeDataType = sqlDataType(\"ltree/ltree\", {\n  read: readLtree,\n  texts: [{ text: \"ltree\", written: true, catalog: true }],\n  casts: {\n    [pgText.id]: (value) => value,\n  },\n});\n\nconst readLtreeArray: DataTypeReader = (json) => {\n  const expected = \"an array of ltree path strings\";\n  if (!Array.isArray(json)) {\n    return refuseJsonValue(\"ltree/ltree-array\", expected, json);\n  }\n  for (const entry of json) {\n    if (typeof entry !== \"string\") {\n      return refuseJsonValue(\"ltree/ltree-array\", expected, entry);\n    }\n    try {\n      assertValidLtree(entry);\n    } catch {\n      return refuseJsonValue(\"ltree/ltree-array\", expected, entry);\n    }\n  }\n  return json;\n};\n\n/**\n * `sqlDataType` accepts parentheses in a type name and refuses square brackets.\n * PostgreSQL writes this type as `ltree[]`, and `format_type` reports `ltree[]`.\n * Declare the type first, then set that text so a migration and a catalog check use it.\n */\nconst ltreeArrayDeclared = sqlDataType(\"ltree/ltree-array\", {\n  read: readLtreeArray,\n  listCast: {\n    of: [pgText.id],\n    cast: (elements) => [...elements],\n  },\n});\n\nexport const ltreeArrayDataType = {\n  ...ltreeArrayDeclared,\n  sql: {\n    ...ltreeArrayDeclared.sql,\n    texts: [{ text: \"ltree[]\", written: true as const, catalog: true as const }],\n  },\n} as typeof ltreeArrayDeclared;\n\nexport const ltreeDataTypes: readonly DataType[] = [ltreeDataType, ltreeArrayDataType];\n","import {\n  type AnyCodecDescriptor,\n  type CodecCallContext,\n  CodecImpl,\n  type CodecInstanceContext,\n  type ColumnHelperFor,\n  type ColumnHelperForStrict,\n  column,\n  type DataTypeValue,\n} from \"@prisma/orm-framework/components/codec\";\nimport type { ExtractCodecTypes, ProjectionExpr } from \"@prisma/orm-family-sql/relational-core/ast\";\nimport { CastExpr } from \"@prisma/orm-family-sql/relational-core/ast\";\nimport {\n  definePostgresCodecs,\n  PostgresCodecDescriptor,\n} from \"@prisma/orm-target-postgres/target/codec-descriptor\";\nimport { assertValidLtree } from \"./codecs-validation\";\nimport { LTREE_ARRAY_CODEC_ID, LTREE_CODEC_ID } from \"./constants\";\nimport { ltreeArrayDataType, ltreeDataType } from \"./data-types\";\n\nexport { assertValidLtree } from \"./codecs-validation\";\n\nexport class LtreeCodec extends CodecImpl<\n  typeof LTREE_CODEC_ID,\n  readonly [\"equality\", \"order\"],\n  string,\n  string\n> {\n  constructor(descriptor: AnyCodecDescriptor) {\n    super(descriptor, ltreeDataType);\n  }\n\n  async toWire(value: string, _ctx: CodecCallContext): Promise<string> {\n    assertValidLtree(value);\n    return value;\n  }\n\n  async fromWire(wire: string, _ctx: CodecCallContext): Promise<string> {\n    return wire;\n  }\n\n  toDataTypeValue(value: string): DataTypeValue {\n    assertValidLtree(value);\n    return this.dataTypeValueOf(value);\n  }\n\n  fromDataTypeValue(value: DataTypeValue): string {\n    return value.value as string;\n  }\n}\n\nexport class LtreeDescriptor extends PostgresCodecDescriptor<void> {\n  override readonly jsonType = \"string\" as const;\n  protected override jsonProjection(expression: ProjectionExpr): ProjectionExpr {\n    // JSON projections read through fromWire; cast so the wire value is text.\n    return CastExpr.as(expression, \"text\");\n  }\n  override readonly dataType = ltreeDataType.id;\n  override readonly codecId = LTREE_CODEC_ID;\n  override readonly traits = [\"equality\", \"order\"] as const;\n  override readonly paramsSchema = undefined;\n  override renderOutputType(): string {\n    return \"string\";\n  }\n  override factory(): (ctx: CodecInstanceContext) => LtreeCodec {\n    const shared = new LtreeCodec(this);\n    return () => shared;\n  }\n}\n\nexport const ltreeDescriptor = new LtreeDescriptor();\n\nexport const ltree = () => column(ltreeDescriptor.factory(), ltreeDescriptor.codecId, undefined);\n\nltree satisfies ColumnHelperFor<LtreeDescriptor>;\nltree satisfies ColumnHelperForStrict<LtreeDescriptor>;\n\nexport class LtreeArrayCodec extends CodecImpl<\n  typeof LTREE_ARRAY_CODEC_ID,\n  readonly [\"equality\"],\n  readonly string[],\n  readonly string[]\n> {\n  constructor(descriptor: AnyCodecDescriptor) {\n    super(descriptor, ltreeArrayDataType);\n  }\n\n  async toWire(value: readonly string[], _ctx: CodecCallContext): Promise<readonly string[]> {\n    for (const entry of value) {\n      assertValidLtree(entry);\n    }\n    return value;\n  }\n\n  async fromWire(wire: readonly string[], _ctx: CodecCallContext): Promise<readonly string[]> {\n    return wire;\n  }\n\n  toDataTypeValue(value: readonly string[]): DataTypeValue {\n    for (const entry of value) {\n      assertValidLtree(entry);\n    }\n    return this.dataTypeValueOf([...value]);\n  }\n\n  fromDataTypeValue(value: DataTypeValue): readonly string[] {\n    const json = value.value;\n    if (!Array.isArray(json)) {\n      return [];\n    }\n    return json.map((entry) => String(entry));\n  }\n}\n\nexport class LtreeArrayDescriptor extends PostgresCodecDescriptor<void> {\n  override readonly jsonType = \"array\" as const;\n  protected override jsonProjection(expression: ProjectionExpr): ProjectionExpr {\n    // ltree[] already projects as a JSON string array for fromWire.\n    return expression;\n  }\n  override readonly dataType = ltreeArrayDataType.id;\n  override readonly codecId = LTREE_ARRAY_CODEC_ID;\n  override readonly traits = [\"equality\"] as const;\n  override readonly paramsSchema = undefined;\n  override renderOutputType(): string {\n    return \"readonly string[]\";\n  }\n  override factory(): (ctx: CodecInstanceContext) => LtreeArrayCodec {\n    const shared = new LtreeArrayCodec(this);\n    return () => shared;\n  }\n}\n\nexport const ltreeArrayDescriptor = new LtreeArrayDescriptor();\n\nexport const ltreeArray = () =>\n  column(ltreeArrayDescriptor.factory(), ltreeArrayDescriptor.codecId, undefined);\n\nltreeArray satisfies ColumnHelperFor<LtreeArrayDescriptor>;\nltreeArray satisfies ColumnHelperForStrict<LtreeArrayDescriptor>;\n\nconst codecDescriptorMap = {\n  ltree: ltreeDescriptor,\n  ltreeArray: ltreeArrayDescriptor,\n} as const;\n\nexport type CodecTypes = ExtractCodecTypes<typeof codecDescriptorMap>;\n\nexport const codecDescriptors = definePostgresCodecs(Object.values(codecDescriptorMap));\n","import { buildCodecDescriptorRegistry } from \"@prisma/orm-family-sql/relational-core/codec-descriptor-registry\";\nimport type { CodecDescriptorRegistry } from \"@prisma/orm-family-sql/relational-core/query-lane-context\";\nimport { codecDescriptors } from \"./codecs\";\n\nexport const ltreeCodecRegistry: CodecDescriptorRegistry =\n  buildCodecDescriptorRegistry(codecDescriptors);\n","import type { AnyExpression } from \"@prisma/orm-family-sql/relational-core/ast\";\nimport {\n  buildOperation,\n  type CodecExpression,\n  codecOf,\n  type Expression,\n  toExpr,\n} from \"@prisma/orm-family-sql/relational-core/expression\";\nimport type { CodecTypes } from \"../types/codec-types\";\nimport type { QueryOperationTypes } from \"../types/operation-types\";\nimport { ltreeAuthoringTypes } from \"./authoring\";\nimport { LTREE_ARRAY_CODEC_ID, LTREE_CODEC_ID } from \"./constants\";\nimport { ltreeDataTypes } from \"./data-types\";\nimport { ltreeCodecRegistry } from \"./registry\";\n\ntype CodecTypesBase = Record<string, { readonly input: unknown; readonly output: unknown }>;\n\ntype BoolReturn = Expression<{ readonly codecId: \"pg/bool@1\"; readonly nullable: false }>;\ntype LtreeReturn = Expression<{ readonly codecId: \"pg/ltree@1\"; readonly nullable: false }>;\ntype IntReturn = Expression<{ readonly codecId: \"pg/int4@1\"; readonly nullable: false }>;\ntype TextReturn = Expression<{ readonly codecId: \"pg/text@1\"; readonly nullable: false }>;\n\nconst BOOL_RETURN = { codecId: \"pg/bool@1\", nullable: false } as const;\nconst LTREE_RETURN = { codecId: \"pg/ltree@1\", nullable: false } as const;\nconst INT_RETURN = { codecId: \"pg/int4@1\", nullable: false } as const;\nconst TEXT_RETURN = { codecId: \"pg/text@1\", nullable: false } as const;\nconst TEXT_CODEC_ID = \"pg/text@1\" as const;\nconst INT_CODEC_ID = \"pg/int4@1\" as const;\n\n/**\n * Build a function-style operation whose SQL is `fnName(self, arg0, arg1, ...)`.\n * The template's placeholder count is derived from the actual argument list, so\n * one helper covers fixed-arity functions (`nlevel`, `subltree`), optional-arg\n * overloads (`subpath`, `index`), and the variadic `lca` (see ADR-001). `args`\n * already carries each value through `toExpr` with its codec; `args[0]` is the\n * `self` receiver.\n */\nfunction funcOp<C extends string>(\n  method: string,\n  fnName: string,\n  returns: { readonly codecId: C; readonly nullable: false },\n  args: readonly [AnyExpression, ...AnyExpression[]],\n): Expression<{ readonly codecId: C; readonly nullable: false }> {\n  const placeholders = args.map((_, i) => (i === 0 ? \"{{self}}\" : `{{arg${i - 1}}}`)).join(\", \");\n  return buildOperation({\n    method,\n    args,\n    returns,\n    lowering: {\n      targetFamily: \"sql\",\n      template: `${fnName}(${placeholders})`,\n    },\n  });\n}\n\nexport function ltreeQueryOperations<CT extends CodecTypesBase>(): QueryOperationTypes<CT> {\n  // Hierarchy operators compare two `ltree` values; the user argument shares the\n  // column's `pg/ltree@1` codec. Pattern-match operators take a query/pattern\n  // string (or `string[]`) that is NOT an ltree — it is bound as text and cast\n  // in-template to `lquery` / `lquery[]` / `ltxtquery` (the validated-string-param\n  // approach; verified executable under PGlite).\n  const hierarchyOp = (\n    method: string,\n    operator: string,\n    self: CodecExpression<typeof LTREE_CODEC_ID, boolean, CT>,\n    other: CodecExpression<typeof LTREE_CODEC_ID, boolean, CT>,\n  ): BoolReturn => {\n    const selfCodec = codecOf(self);\n    return buildOperation({\n      method,\n      args: [toExpr(self, selfCodec), toExpr(other, selfCodec)],\n      returns: BOOL_RETURN,\n      lowering: {\n        targetFamily: \"sql\",\n        template: `{{self}} ${operator} {{arg0}}`,\n      },\n    });\n  };\n\n  const patternOp = (\n    method: string,\n    operator: string,\n    castType: string,\n    self: CodecExpression<typeof LTREE_CODEC_ID, boolean, CT>,\n    arg: unknown,\n    many = false,\n  ): BoolReturn => {\n    const selfCodec = codecOf(self);\n    return buildOperation({\n      method,\n      args: [\n        toExpr(self, selfCodec),\n        toExpr(arg, many ? { codecId: TEXT_CODEC_ID, many: true } : { codecId: TEXT_CODEC_ID }),\n      ],\n      returns: BOOL_RETURN,\n      lowering: {\n        targetFamily: \"sql\",\n        template: `{{self}} ${operator} ({{arg0}})::${castType}`,\n      },\n    });\n  };\n\n  // Concatenation operators produce a new ltree. `concat` joins two ltree paths\n  // (`{{self}} || {{arg0}}`); `concatText`/`prependText` splice a text label onto\n  // the right/left. The text operand binds as `pg/text@1` and is cast in-template\n  // (PG resolves the `||` overload from the cast). `prependText` places `{{self}}`\n  // second because the ltree receiver is the RIGHT operand of `text || ltree`;\n  // `args[0]` is still `self` (the renderer binds by placeholder name, not order).\n  const concatOp = (\n    method: string,\n    template: string,\n    args: readonly [AnyExpression, ...AnyExpression[]],\n  ): LtreeReturn =>\n    buildOperation({\n      method,\n      args,\n      returns: LTREE_RETURN,\n      lowering: { targetFamily: \"sql\", template },\n    });\n\n  // Tier 3 — first-match operators on an `ltree[]` receiver (ADR-003).\n  const firstMatchOp = (\n    method: string,\n    operator: string,\n    self: CodecExpression<typeof LTREE_ARRAY_CODEC_ID, boolean, CT>,\n    arg: unknown,\n    argCodecId: typeof LTREE_CODEC_ID | typeof TEXT_CODEC_ID,\n    castType?: string,\n  ): LtreeReturn => {\n    const selfCodec = codecOf(self);\n    const template = castType\n      ? `{{self}} ${operator} ({{arg0}})::${castType}`\n      : `{{self}} ${operator} {{arg0}}`;\n    return buildOperation({\n      method,\n      args: [toExpr(self, selfCodec), toExpr(arg, { codecId: argCodecId })],\n      returns: LTREE_RETURN,\n      lowering: { targetFamily: \"sql\", template },\n    });\n  };\n\n  return {\n    isAncestorOf: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, other) => hierarchyOp(\"isAncestorOf\", \"@>\", self, other),\n    },\n    isDescendantOf: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, other) => hierarchyOp(\"isDescendantOf\", \"<@\", self, other),\n    },\n    matchesLquery: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, pattern) => patternOp(\"matchesLquery\", \"~\", \"lquery\", self, pattern),\n    },\n    matchesLqueryArray: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, patterns) =>\n        patternOp(\"matchesLqueryArray\", \"?\", \"lquery[]\", self, patterns, true),\n    },\n    matchesLtxtquery: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, query) => patternOp(\"matchesLtxtquery\", \"@\", \"ltxtquery\", self, query),\n    },\n    nlevel: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self): IntReturn =>\n        funcOp(\"nlevel\", \"nlevel\", INT_RETURN, [toExpr(self, codecOf(self))]),\n    },\n    subltree: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, start, end): LtreeReturn =>\n        funcOp(\"subltree\", \"subltree\", LTREE_RETURN, [\n          toExpr(self, codecOf(self)),\n          toExpr(start, { codecId: INT_CODEC_ID }),\n          toExpr(end, { codecId: INT_CODEC_ID }),\n        ]),\n    },\n    // `subpath(self, offset, len?)` — `len` omitted lowers to the 2-arg overload.\n    subpath: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, offset, len): LtreeReturn => {\n        const head: readonly [AnyExpression, AnyExpression] = [\n          toExpr(self, codecOf(self)),\n          toExpr(offset, { codecId: INT_CODEC_ID }),\n        ];\n        return funcOp(\n          \"subpath\",\n          \"subpath\",\n          LTREE_RETURN,\n          len === undefined ? head : [...head, toExpr(len, { codecId: INT_CODEC_ID })],\n        );\n      },\n    },\n    // `index(self, other, offset?)` — `offset` omitted lowers to the 2-arg overload.\n    indexOf: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, other, offset): IntReturn => {\n        const selfCodec = codecOf(self);\n        const head: readonly [AnyExpression, AnyExpression] = [\n          toExpr(self, selfCodec),\n          toExpr(other, selfCodec),\n        ];\n        return funcOp(\n          \"indexOf\",\n          \"index\",\n          INT_RETURN,\n          offset === undefined ? head : [...head, toExpr(offset, { codecId: INT_CODEC_ID })],\n        );\n      },\n    },\n    // `lca(self, other, ...rest)` — variadic longest-common-ancestor (ADR-001).\n    // PostgreSQL has no single-arg `lca`, so `other` is required (2–8 paths).\n    lca: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, other, ...rest): LtreeReturn => {\n        const selfCodec = codecOf(self);\n        return funcOp(\"lca\", \"lca\", LTREE_RETURN, [\n          toExpr(self, selfCodec),\n          toExpr(other, selfCodec),\n          ...rest.map((p) => toExpr(p, selfCodec)),\n        ]);\n      },\n    },\n    // Tier 2 — concatenation (`||`).\n    concat: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, other): LtreeReturn => {\n        const selfCodec = codecOf(self);\n        return concatOp(\"concat\", \"{{self}} || {{arg0}}\", [\n          toExpr(self, selfCodec),\n          toExpr(other, selfCodec),\n        ]);\n      },\n    },\n    concatText: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, label): LtreeReturn =>\n        concatOp(\"concatText\", \"{{self}} || ({{arg0}})::text\", [\n          toExpr(self, codecOf(self)),\n          toExpr(label, { codecId: TEXT_CODEC_ID }),\n        ]),\n    },\n    // `text || ltree` — the ltree receiver is the right operand (ADR-002).\n    prependText: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self, prefix): LtreeReturn =>\n        concatOp(\"prependText\", \"({{arg0}})::text || {{self}}\", [\n          toExpr(self, codecOf(self)),\n          toExpr(prefix, { codecId: TEXT_CODEC_ID }),\n        ]),\n    },\n    // Tier 2 — conversion.\n    toText: {\n      self: { codecId: LTREE_CODEC_ID },\n      impl: (self): TextReturn =>\n        funcOp(\"toText\", \"ltree2text\", TEXT_RETURN, [toExpr(self, codecOf(self))]),\n    },\n    // `text2ltree(text)` — rooted on `pg/text@1` (the only reachable form of the\n    // free-function `text2ltree`; see ADR-002). Surfaces as `.toLtree()` on text.\n    toLtree: {\n      self: { codecId: TEXT_CODEC_ID },\n      impl: (self): LtreeReturn =>\n        funcOp(\"toLtree\", \"text2ltree\", LTREE_RETURN, [toExpr(self, codecOf(self))]),\n    },\n    // Tier 3 — array first-match operators (ADR-003).\n    firstAncestorOf: {\n      self: { codecId: LTREE_ARRAY_CODEC_ID },\n      impl: (self, other) => firstMatchOp(\"firstAncestorOf\", \"?@>\", self, other, LTREE_CODEC_ID),\n    },\n    firstDescendantOf: {\n      self: { codecId: LTREE_ARRAY_CODEC_ID },\n      impl: (self, other) => firstMatchOp(\"firstDescendantOf\", \"?<@\", self, other, LTREE_CODEC_ID),\n    },\n    firstMatchLquery: {\n      self: { codecId: LTREE_ARRAY_CODEC_ID },\n      impl: (self, pattern) =>\n        firstMatchOp(\"firstMatchLquery\", \"?~\", self, pattern, TEXT_CODEC_ID, \"lquery\"),\n    },\n    firstMatchLtxtquery: {\n      self: { codecId: LTREE_ARRAY_CODEC_ID },\n      impl: (self, query) =>\n        firstMatchOp(\"firstMatchLtxtquery\", \"?@\", self, query, TEXT_CODEC_ID, \"ltxtquery\"),\n    },\n    // `lca(ltree[])` — array-receiver form (ADR-001, ADR-005). Named `lcaAll`\n    // because prisma-next keys operations by name only (`createOperationRegistry`\n    // throws on a duplicate); `lca` is already the variadic scalar method on\n    // `pg/ltree@1`. Declares `nullable: false` for parity with the Tier 3\n    // first-match ops even though PG returns NULL for an empty/NULL `ltree[]`\n    // (see the empty-array integration test) — a family-wide gap, not specific\n    // to `lcaAll`.\n    lcaAll: {\n      self: { codecId: LTREE_ARRAY_CODEC_ID },\n      impl: (self): LtreeReturn =>\n        funcOp(\"lcaAll\", \"lca\", LTREE_RETURN, [toExpr(self, codecOf(self))]),\n    },\n  };\n}\n\nconst ltreePackMetaBase = {\n  kind: \"extension\",\n  id: \"ltree\",\n  familyId: \"sql\",\n  targetId: \"postgres\",\n  version: \"0.1.0\",\n  capabilities: {\n    postgres: {\n      \"ltree.path\": true,\n    },\n  },\n  authoring: {\n    type: ltreeAuthoringTypes,\n  },\n  dataTypes: ltreeDataTypes,\n  types: {\n    codecTypes: {\n      codecDescriptors: Array.from(ltreeCodecRegistry.values()),\n      import: {\n        package: \"prisma-ltree/codec-types\",\n        named: \"CodecTypes\",\n        alias: \"LtreeTypes\",\n      },\n      typeImports: [\n        {\n          package: \"prisma-ltree/codec-types\",\n          named: \"Ltree\",\n          alias: \"Ltree\",\n        },\n      ],\n    },\n    queryOperationTypes: {\n      import: {\n        package: \"prisma-ltree/operation-types\",\n        named: \"QueryOperationTypes\",\n        alias: \"LtreeQueryOperationTypes\",\n      },\n    },\n  },\n} as const;\n\nexport const ltreePackMeta: typeof ltreePackMetaBase & {\n  readonly __codecTypes?: CodecTypes;\n} = ltreePackMetaBase;\n"],"mappings":";;;;;;;;;AAGA,MAAa,sBAAsB,EACjC,OAAO;CACL,OAAO;EACL,MAAM;EACN,UAAU;EACV,QAAQ,EACN,SAAS,eACX;CACF;CACA,YAAY;EACV,MAAM;EACN,UAAU;EACV,QAAQ,EACN,SAAS,qBACX;CACF;AACF,EACF;;;AClBA,MAAM,gBAAgB;AAEtB,SAAgB,iBAAiB,OAAyC;CACxE,IAAI,OAAO,UAAU,UACnB,MAAM,IAAI,MAAM,8BAA8B;CAEhD,IAAI,MAAM,WAAW,GACnB,MAAM,IAAI,MAAM,+BAA+B;CAEjD,MAAM,SAAS,MAAM,MAAM,GAAG;CAC9B,IAAI,OAAO,SAAA,OACT,MAAM,IAAI,MAAM,sCAAsC,OAAO,OAAO,QAAQ,kBAAkB;CAEhG,KAAK,MAAM,SAAS,QAAQ;EAC1B,IAAI,MAAM,WAAW,GACnB,MAAM,IAAI,MAAM,0CAA0C,MAAM,EAAE;EAEpE,IAAI,MAAM,SAAA,KACR,MAAM,IAAI,MACR,uCAAuC,MAAM,OAAO,QAAQ,wBAC9D;EAEF,IAAI,CAAC,cAAc,KAAK,KAAK,GAC3B,MAAM,IAAI,MACR,gBAAgB,MAAM,yEACxB;CAEJ;AACF;;;ACfA,MAAM,aAA6B,SAAS;CAC1C,IAAI,OAAO,SAAS,UAClB,OAAO,gBAAgB,eAAe,wBAAwB,IAAI;CAEpE,IAAI;EACF,iBAAiB,IAAI;CACvB,QAAQ;EACN,OAAO,gBAAgB,eAAe,6BAA6B,IAAI;CACzE;CACA,OAAO;AACT;AAEA,MAAa,gBAAgB,YAAY,eAAe;CACtD,MAAM;CACN,OAAO,CAAC;EAAE,MAAM;EAAS,SAAS;EAAM,SAAS;CAAK,CAAC;CACvD,OAAO,GACJ,OAAO,MAAM,UAAU,MAC1B;AACF,CAAC;AAED,MAAM,kBAAkC,SAAS;CAC/C,MAAM,WAAW;CACjB,IAAI,CAAC,MAAM,QAAQ,IAAI,GACrB,OAAO,gBAAgB,qBAAqB,UAAU,IAAI;CAE5D,KAAK,MAAM,SAAS,MAAM;EACxB,IAAI,OAAO,UAAU,UACnB,OAAO,gBAAgB,qBAAqB,UAAU,KAAK;EAE7D,IAAI;GACF,iBAAiB,KAAK;EACxB,QAAQ;GACN,OAAO,gBAAgB,qBAAqB,UAAU,KAAK;EAC7D;CACF;CACA,OAAO;AACT;;;;;;AAOA,MAAM,qBAAqB,YAAY,qBAAqB;CAC1D,MAAM;CACN,UAAU;EACR,IAAI,CAAC,OAAO,EAAE;EACd,OAAO,aAAa,CAAC,GAAG,QAAQ;CAClC;AACF,CAAC;AAED,MAAa,qBAAqB;CAChC,GAAG;CACH,KAAK;EACH,GAAG,mBAAmB;EACtB,OAAO,CAAC;GAAE,MAAM;GAAW,SAAS;GAAe,SAAS;EAAc,CAAC;CAC7E;AACF;AAEA,MAAa,iBAAsC,CAAC,eAAe,kBAAkB;;;ACpDrF,IAAa,aAAb,cAAgC,UAK9B;CACA,YAAY,YAAgC;EAC1C,MAAM,YAAY,aAAa;CACjC;CAEA,MAAM,OAAO,OAAe,MAAyC;EACnE,iBAAiB,KAAK;EACtB,OAAO;CACT;CAEA,MAAM,SAAS,MAAc,MAAyC;EACpE,OAAO;CACT;CAEA,gBAAgB,OAA8B;EAC5C,iBAAiB,KAAK;EACtB,OAAO,KAAK,gBAAgB,KAAK;CACnC;CAEA,kBAAkB,OAA8B;EAC9C,OAAO,MAAM;CACf;AACF;AAEA,IAAa,kBAAb,cAAqC,wBAA8B;CACjE,WAA6B;CAC7B,eAAkC,YAA4C;EAE5E,OAAO,SAAS,GAAG,YAAY,MAAM;CACvC;CACA,WAA6B,cAAc;CAC3C,UAA4B;CAC5B,SAA2B,CAAC,YAAY,OAAO;CAC/C,eAAiC,KAAA;CACjC,mBAAoC;EAClC,OAAO;CACT;CACA,UAA8D;EAC5D,MAAM,SAAS,IAAI,WAAW,IAAI;EAClC,aAAa;CACf;AACF;AAEA,MAAa,kBAAkB,IAAI,gBAAgB;AAOnD,IAAa,kBAAb,cAAqC,UAKnC;CACA,YAAY,YAAgC;EAC1C,MAAM,YAAY,kBAAkB;CACtC;CAEA,MAAM,OAAO,OAA0B,MAAoD;EACzF,KAAK,MAAM,SAAS,OAClB,iBAAiB,KAAK;EAExB,OAAO;CACT;CAEA,MAAM,SAAS,MAAyB,MAAoD;EAC1F,OAAO;CACT;CAEA,gBAAgB,OAAyC;EACvD,KAAK,MAAM,SAAS,OAClB,iBAAiB,KAAK;EAExB,OAAO,KAAK,gBAAgB,CAAC,GAAG,KAAK,CAAC;CACxC;CAEA,kBAAkB,OAAyC;EACzD,MAAM,OAAO,MAAM;EACnB,IAAI,CAAC,MAAM,QAAQ,IAAI,GACrB,OAAO,CAAC;EAEV,OAAO,KAAK,KAAK,UAAU,OAAO,KAAK,CAAC;CAC1C;AACF;AAEA,IAAa,uBAAb,cAA0C,wBAA8B;CACtE,WAA6B;CAC7B,eAAkC,YAA4C;EAE5E,OAAO;CACT;CACA,WAA6B,mBAAmB;CAChD,UAA4B;CAC5B,SAA2B,CAAC,UAAU;CACtC,eAAiC,KAAA;CACjC,mBAAoC;EAClC,OAAO;CACT;CACA,UAAmE;EACjE,MAAM,SAAS,IAAI,gBAAgB,IAAI;EACvC,aAAa;CACf;AACF;AAUA,MAAM,qBAAqB;CACzB,OAAO;CACP,YAAY,IAV0B,qBAU1B;AACd;;;AC5IA,MAAa,qBACX,6BD+I8B,qBAAqB,OAAO,OAAO,kBAAkB,CC/ItD,CAAgB;;;ACiB/C,MAAM,cAAc;CAAE,SAAS;CAAa,UAAU;AAAM;AAC5D,MAAM,eAAe;CAAE,SAAS;CAAc,UAAU;AAAM;AAC9D,MAAM,aAAa;CAAE,SAAS;CAAa,UAAU;AAAM;AAC3D,MAAM,cAAc;CAAE,SAAS;CAAa,UAAU;AAAM;AAC5D,MAAM,gBAAgB;AACtB,MAAM,eAAe;;;;;;;;;AAUrB,SAAS,OACP,QACA,QACA,SACA,MAC+D;CAE/D,OAAO,eAAe;EACpB;EACA;EACA;EACA,UAAU;GACR,cAAc;GACd,UAAU,GAAG,OAAO,GAPH,KAAK,KAAK,GAAG,MAAO,MAAM,IAAI,aAAa,QAAQ,IAAI,EAAE,GAAI,EAAE,KAAK,IAOnD,EAAE;EACtC;CACF,CAAC;AACH;AAEA,SAAgB,uBAA2E;CAMzF,MAAM,eACJ,QACA,UACA,MACA,UACe;EACf,MAAM,YAAY,QAAQ,IAAI;EAC9B,OAAO,eAAe;GACpB;GACA,MAAM,CAAC,OAAO,MAAM,SAAS,GAAG,OAAO,OAAO,SAAS,CAAC;GACxD,SAAS;GACT,UAAU;IACR,cAAc;IACd,UAAU,YAAY,SAAS;GACjC;EACF,CAAC;CACH;CAEA,MAAM,aACJ,QACA,UACA,UACA,MACA,KACA,OAAO,UACQ;EAEf,OAAO,eAAe;GACpB;GACA,MAAM,CACJ,OAAO,MAJO,QAAQ,IAID,CAAC,GACtB,OAAO,KAAK,OAAO;IAAE,SAAS;IAAe,MAAM;GAAK,IAAI,EAAE,SAAS,cAAc,CAAC,CACxF;GACA,SAAS;GACT,UAAU;IACR,cAAc;IACd,UAAU,YAAY,SAAS,eAAe;GAChD;EACF,CAAC;CACH;CAQA,MAAM,YACJ,QACA,UACA,SAEA,eAAe;EACb;EACA;EACA,SAAS;EACT,UAAU;GAAE,cAAc;GAAO;EAAS;CAC5C,CAAC;CAGH,MAAM,gBACJ,QACA,UACA,MACA,KACA,YACA,aACgB;EAChB,MAAM,YAAY,QAAQ,IAAI;EAC9B,MAAM,WAAW,WACb,YAAY,SAAS,eAAe,aACpC,YAAY,SAAS;EACzB,OAAO,eAAe;GACpB;GACA,MAAM,CAAC,OAAO,MAAM,SAAS,GAAG,OAAO,KAAK,EAAE,SAAS,WAAW,CAAC,CAAC;GACpE,SAAS;GACT,UAAU;IAAE,cAAc;IAAO;GAAS;EAC5C,CAAC;CACH;CAEA,OAAO;EACL,cAAc;GACZ,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,UAAU,YAAY,gBAAgB,MAAM,MAAM,KAAK;EACtE;EACA,gBAAgB;GACd,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,UAAU,YAAY,kBAAkB,MAAM,MAAM,KAAK;EACxE;EACA,eAAe;GACb,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,YAAY,UAAU,iBAAiB,KAAK,UAAU,MAAM,OAAO;EAClF;EACA,oBAAoB;GAClB,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,aACX,UAAU,sBAAsB,KAAK,YAAY,MAAM,UAAU,IAAI;EACzE;EACA,kBAAkB;GAChB,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,UAAU,UAAU,oBAAoB,KAAK,aAAa,MAAM,KAAK;EACpF;EACA,QAAQ;GACN,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,SACL,OAAO,UAAU,UAAU,YAAY,CAAC,OAAO,MAAM,QAAQ,IAAI,CAAC,CAAC,CAAC;EACxE;EACA,UAAU;GACR,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,OAAO,QAClB,OAAO,YAAY,YAAY,cAAc;IAC3C,OAAO,MAAM,QAAQ,IAAI,CAAC;IAC1B,OAAO,OAAO,EAAE,SAAS,aAAa,CAAC;IACvC,OAAO,KAAK,EAAE,SAAS,aAAa,CAAC;GACvC,CAAC;EACL;EAEA,SAAS;GACP,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,QAAQ,QAAqB;IACxC,MAAM,OAAgD,CACpD,OAAO,MAAM,QAAQ,IAAI,CAAC,GAC1B,OAAO,QAAQ,EAAE,SAAS,aAAa,CAAC,CAC1C;IACA,OAAO,OACL,WACA,WACA,cACA,QAAQ,KAAA,IAAY,OAAO,CAAC,GAAG,MAAM,OAAO,KAAK,EAAE,SAAS,aAAa,CAAC,CAAC,CAC7E;GACF;EACF;EAEA,SAAS;GACP,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,OAAO,WAAsB;IACxC,MAAM,YAAY,QAAQ,IAAI;IAC9B,MAAM,OAAgD,CACpD,OAAO,MAAM,SAAS,GACtB,OAAO,OAAO,SAAS,CACzB;IACA,OAAO,OACL,WACA,SACA,YACA,WAAW,KAAA,IAAY,OAAO,CAAC,GAAG,MAAM,OAAO,QAAQ,EAAE,SAAS,aAAa,CAAC,CAAC,CACnF;GACF;EACF;EAGA,KAAK;GACH,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,OAAO,GAAG,SAAsB;IAC3C,MAAM,YAAY,QAAQ,IAAI;IAC9B,OAAO,OAAO,OAAO,OAAO,cAAc;KACxC,OAAO,MAAM,SAAS;KACtB,OAAO,OAAO,SAAS;KACvB,GAAG,KAAK,KAAK,MAAM,OAAO,GAAG,SAAS,CAAC;IACzC,CAAC;GACH;EACF;EAEA,QAAQ;GACN,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,UAAuB;IAClC,MAAM,YAAY,QAAQ,IAAI;IAC9B,OAAO,SAAS,UAAU,wBAAwB,CAChD,OAAO,MAAM,SAAS,GACtB,OAAO,OAAO,SAAS,CACzB,CAAC;GACH;EACF;EACA,YAAY;GACV,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,UACX,SAAS,cAAc,gCAAgC,CACrD,OAAO,MAAM,QAAQ,IAAI,CAAC,GAC1B,OAAO,OAAO,EAAE,SAAS,cAAc,CAAC,CAC1C,CAAC;EACL;EAEA,aAAa;GACX,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,MAAM,WACX,SAAS,eAAe,gCAAgC,CACtD,OAAO,MAAM,QAAQ,IAAI,CAAC,GAC1B,OAAO,QAAQ,EAAE,SAAS,cAAc,CAAC,CAC3C,CAAC;EACL;EAEA,QAAQ;GACN,MAAM,EAAE,SAAS,eAAe;GAChC,OAAO,SACL,OAAO,UAAU,cAAc,aAAa,CAAC,OAAO,MAAM,QAAQ,IAAI,CAAC,CAAC,CAAC;EAC7E;EAGA,SAAS;GACP,MAAM,EAAE,SAAS,cAAc;GAC/B,OAAO,SACL,OAAO,WAAW,cAAc,cAAc,CAAC,OAAO,MAAM,QAAQ,IAAI,CAAC,CAAC,CAAC;EAC/E;EAEA,iBAAiB;GACf,MAAM,EAAE,SAAS,qBAAqB;GACtC,OAAO,MAAM,UAAU,aAAa,mBAAmB,OAAO,MAAM,OAAO,cAAc;EAC3F;EACA,mBAAmB;GACjB,MAAM,EAAE,SAAS,qBAAqB;GACtC,OAAO,MAAM,UAAU,aAAa,qBAAqB,OAAO,MAAM,OAAO,cAAc;EAC7F;EACA,kBAAkB;GAChB,MAAM,EAAE,SAAS,qBAAqB;GACtC,OAAO,MAAM,YACX,aAAa,oBAAoB,MAAM,MAAM,SAAS,eAAe,QAAQ;EACjF;EACA,qBAAqB;GACnB,MAAM,EAAE,SAAS,qBAAqB;GACtC,OAAO,MAAM,UACX,aAAa,uBAAuB,MAAM,MAAM,OAAO,eAAe,WAAW;EACrF;EAQA,QAAQ;GACN,MAAM,EAAE,SAAS,qBAAqB;GACtC,OAAO,SACL,OAAO,UAAU,OAAO,cAAc,CAAC,OAAO,MAAM,QAAQ,IAAI,CAAC,CAAC,CAAC;EACvE;CACF;AACF;AA2CA,MAAa,gBAET;CA1CF,MAAM;CACN,IAAI;CACJ,UAAU;CACV,UAAU;CACV,SAAS;CACT,cAAc,EACZ,UAAU,EACR,cAAc,KAChB,EACF;CACA,WAAW,EACT,MAAM,oBACR;CACA,WAAW;CACX,OAAO;EACL,YAAY;GACV,kBAAkB,MAAM,KAAK,mBAAmB,OAAO,CAAC;GACxD,QAAQ;IACN,SAAS;IACT,OAAO;IACP,OAAO;GACT;GACA,aAAa,CACX;IACE,SAAS;IACT,OAAO;IACP,OAAO;GACT,CACF;EACF;EACA,qBAAqB,EACnB,QAAQ;GACN,SAAS;GACT,OAAO;GACP,OAAO;EACT,EACF;CACF;AAKE"}