pgsql-template-tag 0.0.6 → 0.0.8

package/dist/src/core.d.ts

@@ -1,3 +1,4 @@
+import type { UnionToTuple } from "type-fest";
 /**
  * SQL クエリー内で使用される値の型定義です。
  */
@@ -6,34 +7,122 @@ export type Value = unknown;
  * SQL クエリーの構築に使用できる生の値、または別の Sql インスタンスを表す型です。
  */
 export type RawValue = Value | Slot | Sql;
+/**
+ * Slot クラスを一意に識別するためのシンボルです。
+ */
+declare const SLOT_SYMBOL: unique symbol;
+/**
+ * Slot クラスの基底となる型定義です。
+ */
+declare const SlotTypes: {
+    new (): {
+        /**
+         * このプロパティーは、TypeScript の `extends Slot` で `Slot` インスタンスのみに一致させるためにあります。そのため、`Slot` と同じプロパティーを持つオブジェクトに対して一致することはありません。
+         */
+        readonly ["~kind"]: typeof SLOT_SYMBOL;
+    };
+};
 /**
  * スロットを表すクラスです。
  *
  * スロットは後から値を注入可能なプレースホルダーです。
+ *
+ * @template TName スロットの名前となる文字列リテラル型です。
+ * @template TValue スロットに許容される値の型です。
  */
-export declare class Slot {
+export declare class Slot<const TName extends string = string, TValue extends RawValue = RawValue> extends SlotTypes {
     /**
      * スロット名です。
      */
-    readonly name: string;
+    readonly name: TName;
     /**
      * デフォルト値です。
      */
-    readonly defaultValue: Value;
+    readonly defaultValue: TValue;
     /**
      * 新しい Slot インスタンスを初期化します。
      *
      * @param name スロット名です。
      * @param defaultValue デフォルト値です。
      */
-    constructor(name: string, defaultValue?: Value);
+    constructor(...args: null extends TValue ? [name: TName, defaultValue?: TValue] : [name: TName, defaultValue: TValue]);
 }
+/**
+ * オブジェクトのバリューの型を抽出するヘルパー型です。
+ *
+ * @template T 対象となるオブジェクト型です。
+ */
+type $ValueOf<T> = T[keyof T];
+/**
+ * スロットの配列から、再帰的に値をマージして型を決定します。
+ *
+ * @template TSlots スロットのタプル型です。
+ */
+type $MergeSlotValue<TSlots> = TSlots extends [
+    Slot<string, infer TValue>,
+    infer TSlot,
+    ...infer TOtherSlots
+] ? TValue & $MergeSlotValue<[TSlot, ...TOtherSlots]> : TSlots extends [Slot<string, infer TValue>] ? TValue : never;
+/**
+ * RawValue の配列からスロット情報を抽出し、名前ごとのマップ型に変換します。
+ *
+ * @template TValues RawValue の読み取り専用配列型です。
+ */
+type $MapSlotValue<TValues extends readonly RawValue[]> = TValues extends readonly (infer TSlot extends Slot)[] ? {
+    [TName in TSlot["name"]]: $MergeSlotValue<UnionToTuple<Extract<TSlot, Slot<TName>>>>;
+} : {};
+/**
+ * 指定された値のリストに対して、スロットを実際の内容で置き換えた型を生成します。
+ *
+ * @template TValues 置き換え対象の配列型です。
+ * @template TSlots スロット名と値のマップ型です。
+ */
+type $FillSlots<TValues, TSlots> = TValues extends [infer TValue, ...infer TOtherValues] ? [
+    TValue extends Slot<infer TName extends Extract<keyof TSlots, string>, infer TSlotValue> ? TSlotValue extends TSlots[TName] ? TSlotValue : TValue : TValue,
+    ...$FillSlots<TOtherValues, TSlots>
+] : [];
+/**
+ * スロットを埋めるための部分的な引数型を定義します。
+ *
+ * @template TSlots スロット名と値のマップ型です。
+ */
+type _FillSlots<TSlots> = {
+    readonly [TName in Extract<keyof TSlots, string>]?: TSlots[TName];
+} | Iterable<readonly [
+    name: $ValueOf<{
+        [TName in Extract<keyof TSlots, string>]: TName | Slot<TName, TSlots[TName]>;
+    }>,
+    value: $ValueOf<TSlots>
+]>;
+/**
+ * すべてのスロットを埋めるために必要な引数型を定義します。
+ *
+ * @template TSlots スロット名と値のマップ型です。
+ */
+type _FillAllSlots<TSlots> = {
+    readonly [TName in Extract<keyof TSlots, string>]: TSlots[TName];
+};
+/**
+ * スロットの部分的な補完に使用する外部向けの型定義です。
+ *
+ * @template TValues RawValue の配列です。
+ */
+export type FillSlots<TValues extends readonly RawValue[] = readonly RawValue[]> = _FillSlots<$MapSlotValue<TValues>>;
+/**
+ * すべてのスロットの強制的な補完に使用する外部向けの型定義です。
+ *
+ * @template TValues RawValue の配列です。
+ */
+export type FillAllSlots<TValues extends readonly RawValue[] = readonly RawValue[]> = _FillAllSlots<$MapSlotValue<TValues>>;
 /**
  * 安全な SQL クエリーを構築するためのクラスです。
  *
  * プレースホルダーを使用したパラメーター化クエリーを生成します。
+ *
+ * @template TRawBindings クエリーに渡される生の値のタプル型です。
  */
-export declare class Sql {
+export declare class Sql<const TRawBindings extends readonly RawValue[] = readonly RawValue[]> {
+    #private;
     /**
      * 構築された SQL クエリーテキストを取得します。
      *
@@ -46,26 +135,29 @@ export declare class Sql {
      * クエリーに使用されるパラメーター値の配列です。
      */
     readonly values: readonly Value[];
-    /**
-     * 内部状態を保持するためのプロパティーです。
-     */
-    private readonly _;
     /**
      * 新しい Sql インスタンスを初期化します。
      *
      * @param rawStrings SQL の断片となる文字列の配列です。
      * @param rawBindings 文字列の間に挿入される値の配列です。
      */
-    constructor(rawStrings: readonly string[], rawBindings: readonly RawValue[]);
+    constructor(rawStrings: readonly string[], rawBindings: TRawBindings);
     /**
      * スロットを値で埋めます。
      *
+     * @template TSlots 指定されたスロットのマップ型です。
+     * @param slots スロットの値です。
+     * @returns スロットが埋められた新しい Sql インスタンスです。
+     */
+    fill<TSlots extends FillSlots<TRawBindings>>(slots: TSlots): Sql<$FillSlots<TRawBindings, TSlots>>;
+    /**
+     * すべてのスロットを値で埋めます。
+     *
+     * @template TSlots 全てのスロットをカバーするマップ型です。
      * @param slots スロットの値です。
      * @returns スロットが埋められた新しい Sql インスタンスです。
      */
-    fill(slots: {
-        readonly [name: string]: Value;
-    } | Iterable<readonly [string | Slot, Value]>): Sql;
+    fillAll<TSlots extends FillAllSlots<TRawBindings>>(slots: TSlots): Sql<$FillSlots<TRawBindings, TSlots>>;
     /**
      * オブジェクトを JSON 形式に変換可能な形式で返します。
      *
@@ -90,11 +182,11 @@ export declare class Sql {
  * @param value SQL に含める生の文字列です。
  * @returns 指定された文字列を持つ Sql インスタンスを返します。
  */
-export declare function raw(value: string): Sql;
+export declare function raw(value: string): Sql<[]>;
 /**
  * 空の SQL インスタンスを表す定数です。
  */
-export declare const empty: Sql;
+export declare const empty: Sql<[]>;
 /**
  * 複数の SQL 断片や値を、指定されたセパレーターで結合します。
  *
@@ -104,7 +196,7 @@ export declare const empty: Sql;
  * @param separator 結合時に挿入される文字列です。デフォルトはカンマ（,）です。
  * @returns 結合された新しい Sql インスタンスを返します。
  */
-export declare function join(values: readonly RawValue[], separator?: string | undefined): Sql;
+export declare function join<const TValues extends readonly RawValue[]>(values: TValues, separator?: string | undefined): Sql<TValues>;
 /**
  * 文字列を SQL の識別子（テーブル名やカラム名など）として安全にエスケープします。
  *
@@ -123,4 +215,15 @@ export declare function ident(value: string): string;
  * @returns エスケープ済みのリテラル文字列を返します。
  */
 export declare function literal(value: string): string;
+/**
+ * 新しい Slot インスタンスを作成します。
+ *
+ * @template TName スロットの名前となる文字列リテラル型です。
+ * @template TValue スロットに許容される値の型です。
+ * @param name スロット名です。
+ * @param defaultValue デフォルト値です。
+ * @returns 作成された新しい Slot インスタンスです。
+ */
+export declare function slot<const TName extends string, TValue extends RawValue = RawValue>(name: TName, defaultValue?: TValue): Slot<TName, TValue>;
+export {};
 //# sourceMappingURL=core.d.ts.map

package/dist/src/core.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../src/core.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,MAAM,KAAK,GAAG,OAAO,CAAC;AAE5B;;GAEG;AAEH,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,CAAC;AAE1C;;;;GAIG;AACH,qBAAa,IAAI;IACf;;OAEG;IACH,SAAgB,IAAI,EAAE,MAAM,CAAC;IAE7B;;OAEG;IACH,SAAgB,YAAY,EAAE,KAAK,CAAC;IAEpC;;;;;OAKG;gBACgB,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,KAAK;CAQtD;AAgCD;;;;GAIG;AACH,qBAAa,GAAG;IACd;;;;;;OAMG;IACH,IAAW,IAAI,IAAI,MAAM,CAexB;IAED;;OAEG;IACH,SAAgB,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAEzC;;OAEG;IACH,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAgB;IAElC;;;;;OAKG;gBACgB,UAAU,EAAE,SAAS,MAAM,EAAE,EAAE,WAAW,EAAE,SAAS,QAAQ,EAAE;IA2GlF;;;;;OAKG;IACI,IAAI,CACT,KAAK,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;KAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,GACpF,GAAG;IAmCN;;;;OAIG;IACI,MAAM,IAAI;QACf,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,KAAK,EAAE,CAAC;KACjB;IAOD;;;;OAIG;IACI,QAAQ,IAAI,MAAM;CAG1B;AAED;;;;;;;GAOG;AACH,wBAAgB,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,GAAG,CAEtC;AAED;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE,GAAa,CAAC;AAElC;;;;;;;;GAQG;AACH,wBAAgB,IAAI,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,EAAE,SAAS,GAAE,MAAM,GAAG,SAAe,GAAG,GAAG,CAM1F;AAOD;;;;;;;GAOG;AACH,wBAAgB,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE3C;AAOD;;;;;;;GAOG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE7C"}
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../src/core.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAE9C;;GAEG;AACH,MAAM,MAAM,KAAK,GAAG,OAAO,CAAC;AAE5B;;GAEG;AAEH,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,CAAC;AAE1C;;GAEG;AACH,OAAO,CAAC,MAAM,WAAW,EAAE,OAAO,MAAM,CAAC;AAEzC;;GAEG;AACH,QAAA,MAAM,SAAS,EAAe;IAC5B,QAAQ;QACN;;WAEG;QACH,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,WAAW,CAAC;KACxC,CAAC;CACH,CAAC;AAEF;;;;;;;GAOG;AACH,qBAAa,IAAI,CACf,KAAK,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,EACnC,MAAM,SAAS,QAAQ,GAAG,QAAQ,CAClC,SAAQ,SAAS;IACjB;;OAEG;IACH,SAAgB,IAAI,EAAE,KAAK,CAAC;IAE5B;;OAEG;IACH,SAAgB,YAAY,EAAE,MAAM,CAAC;IAErC;;;;;OAKG;gBAED,GAAG,IAAI,EAAE,IAAI,SAAS,MAAM,GACxB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,GACpC,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,CAAC;CAa1C;AAED;;;;GAIG;AACH,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AAE9B;;;;GAIG;AACH,KAAK,eAAe,CAAC,MAAM,IAAI,MAAM,SAAS;IAC5C,IAAI,CAAC,MAAM,EAAE,MAAM,MAAM,CAAC;IAC1B,MAAM,KAAK;IACX,GAAG,MAAM,WAAW;CACrB,GACG,MAAM,GAAG,eAAe,CAAC,CAAC,KAAK,EAAE,GAAG,WAAW,CAAC,CAAC,GACjD,MAAM,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,MAAM,CAAC,CAAC,GACzC,MAAM,GACN,KAAK,CAAC;AAEZ;;;;GAIG;AACH,KAAK,aAAa,CAAC,OAAO,SAAS,SAAS,QAAQ,EAAE,IACpD,OAAO,SAAS,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,EAAE,GACjD;KAEG,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,eAAe,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACrF,GACD,EAAE,CAAC;AAET;;;;;GAKG;AACH,KAAK,UAAU,CAAC,OAAO,EAAE,MAAM,IAAI,OAAO,SAAS,CAAC,MAAM,MAAM,EAAE,GAAG,MAAM,YAAY,CAAC,GACpF;IACE,MAAM,SAAS,IAAI,CAAC,MAAM,KAAK,SAAS,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,UAAU,CAAC,GACpF,UAAU,SAAS,MAAM,CAAC,KAAK,CAAC,GAC9B,UAAU,GACV,MAAM,GACR,MAAM;IACV,GAAG,UAAU,CAAC,YAAY,EAAE,MAAM,CAAC;CACpC,GACD,EAAE,CAAC;AAEP;;;;GAIG;AACH,KAAK,UAAU,CAAC,MAAM,IAClB;IACE,QAAQ,EAAE,KAAK,IAAI,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC;CAClE,GACD,QAAQ,CACN,SAAS;IACP,IAAI,EAAE,QAAQ,CAAC;SACZ,KAAK,IAAI,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;KAC7E,CAAC;IACF,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC;CACxB,CACF,CAAC;AAEN;;;;GAIG;AACH,KAAK,aAAa,CAAC,MAAM,IAAI;IAC3B,QAAQ,EAAE,KAAK,IAAI,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;CACjE,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,SAAS,CAAC,OAAO,SAAS,SAAS,QAAQ,EAAE,GAAG,SAAS,QAAQ,EAAE,IAAI,UAAU,CAC3F,aAAa,CAAC,OAAO,CAAC,CACvB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,OAAO,SAAS,SAAS,QAAQ,EAAE,GAAG,SAAS,QAAQ,EAAE,IAAI,aAAa,CACjG,aAAa,CAAC,OAAO,CAAC,CACvB,CAAC;AAgCF;;;;;;GAMG;AACH,qBAAa,GAAG,CAAC,KAAK,CAAC,YAAY,SAAS,SAAS,QAAQ,EAAE,GAAG,SAAS,QAAQ,EAAE;;IACnF;;;;;;OAMG;IACH,IAAW,IAAI,IAAI,MAAM,CAexB;IAED;;OAEG;IACH,SAAgB,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAOzC;;;;;OAKG;gBACgB,UAAU,EAAE,SAAS,MAAM,EAAE,EAAE,WAAW,EAAE,YAAY;IAwK3E;;;;;;OAMG;IACI,IAAI,CAAC,MAAM,SAAS,SAAS,CAAC,YAAY,CAAC,EAChD,KAAK,EAAE,MAAM,GACZ,GAAG,CAAC,UAAU,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAIxC;;;;;;OAMG;IACI,OAAO,CAAC,MAAM,SAAS,YAAY,CAAC,YAAY,CAAC,EACtD,KAAK,EAAE,MAAM,GACZ,GAAG,CAAC,UAAU,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAIxC;;;;OAIG;IACI,MAAM,IAAI;QACf,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,KAAK,EAAE,CAAC;KACjB;IAOD;;;;OAIG;IACI,QAAQ,IAAI,MAAM;CAG1B;AAED;;;;;;;GAOG;AACH,wBAAgB,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,CAE1C;AAED;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE,GAAG,CAAC,EAAE,CAAW,CAAC;AAEtC;;;;;;;;GAQG;AACH,wBAAgB,IAAI,CAAC,KAAK,CAAC,OAAO,SAAS,SAAS,QAAQ,EAAE,EAC5D,MAAM,EAAE,OAAO,EACf,SAAS,GAAE,MAAM,GAAG,SAAe,GAClC,GAAG,CAAC,OAAO,CAAC,CAMd;AAOD;;;;;;;GAOG;AACH,wBAAgB,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE3C;AAOD;;;;;;;GAOG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED;;;;;;;;GAQG;AACH,wBAAgB,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,MAAM,EAAE,MAAM,SAAS,QAAQ,GAAG,QAAQ,EACjF,IAAI,EAAE,KAAK,EACX,YAAY,CAAC,EAAE,MAAM,GACpB,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC"}

package/dist/src/core.js

@@ -1,17 +1,32 @@
+var __classPrivateFieldGet = (this && this.__classPrivateFieldGet) || function (receiver, state, kind, f) {
+    if (kind === "a" && !f) throw new TypeError("Private accessor was defined without a getter");
+    if (typeof state === "function" ? receiver !== state || !f : !state.has(receiver)) throw new TypeError("Cannot read private member from an object whose class did not declare it");
+    return kind === "m" ? f : kind === "a" ? f.call(receiver) : f ? f.value : state.get(receiver);
+};
+var __classPrivateFieldSet = (this && this.__classPrivateFieldSet) || function (receiver, state, value, kind, f) {
+    if (kind === "m") throw new TypeError("Private method is not writable");
+    if (kind === "a" && !f) throw new TypeError("Private accessor was defined without a setter");
+    if (typeof state === "function" ? receiver !== state || !f : !state.has(receiver)) throw new TypeError("Cannot write private member to an object whose class did not declare it");
+    return (kind === "a" ? f.call(receiver, value) : f ? f.value = value : state.set(receiver, value)), value;
+};
+var _Sql_instances, _a, _Sql_state, _Sql_fill;
 import { isPlainObject } from "es-toolkit/predicate";
+/**
+ * Slot クラスの基底となる型定義です。
+ */
+const SlotTypes = class {
+};
 /**
  * スロットを表すクラスです。
  *
  * スロットは後から値を注入可能なプレースホルダーです。
+ *
+ * @template TName スロットの名前となる文字列リテラル型です。
+ * @template TValue スロットに許容される値の型です。
  */
-export class Slot {
-    /**
-     * 新しい Slot インスタンスを初期化します。
-     *
-     * @param name スロット名です。
-     * @param defaultValue デフォルト値です。
-     */
+export class Slot extends SlotTypes {
     constructor(name, defaultValue) {
+        super();
         if (arguments.length < 2) {
             defaultValue = null;
         }
@@ -23,6 +38,8 @@ export class Slot {
  * 安全な SQL クエリーを構築するためのクラスです。
  *
  * プレースホルダーを使用したパラメーター化クエリーを生成します。
+ *
+ * @template TRawBindings クエリーに渡される生の値のタプル型です。
  */
 export class Sql {
     /**
@@ -34,15 +51,15 @@ export class Sql {
      */
     get text() {
         // キャッシュが存在しない場合にのみ、文字列を構築します。
-        if (this._.text === undefined) {
-            let i = 0, text = this._.parts[0];
+        if (__classPrivateFieldGet(this, _Sql_state, "f").text === undefined) {
+            let i = 0, text = __classPrivateFieldGet(this, _Sql_state, "f").parts[0];
             // 文字列の断片とプレースホルダー（$1, $2...）を交互に結合します。
-            for (; i < this._.phIds.length; i++) {
-                text += "$" + this._.phIds[i] + this._.parts[i + 1];
+            for (; i < __classPrivateFieldGet(this, _Sql_state, "f").phIds.length; i++) {
+                text += "$" + __classPrivateFieldGet(this, _Sql_state, "f").phIds[i] + __classPrivateFieldGet(this, _Sql_state, "f").parts[i + 1];
             }
-            this._.text = text;
+            __classPrivateFieldGet(this, _Sql_state, "f").text = text;
         }
-        return this._.text;
+        return __classPrivateFieldGet(this, _Sql_state, "f").text;
     }
     /**
      * 新しい Sql インスタンスを初期化します。
@@ -51,6 +68,11 @@ export class Sql {
      * @param rawBindings 文字列の間に挿入される値の配列です。
      */
     constructor(rawStrings, rawBindings) {
+        _Sql_instances.add(this);
+        /**
+         * 内部状態を保持するためのプロパティーです。
+         */
+        _Sql_state.set(this, void 0);
         if (rawStrings.length === 0) {
             throw new TypeError("Expected at least 1 string");
         }
@@ -103,17 +125,17 @@ export class Sql {
             const child = rawBindings[i];
             const rawString = rawStrings[i + 1];
             // バインディング値が Sql インスタンス（ネストされたクエリー）の場合の処理です。
-            if (child instanceof Sql) {
+            if (child instanceof _a) {
                 // 現在の最後の文字列断片に、ネストされた Sql の最初の断片を結合します。
-                strings[strings.length - 1] += child._.parts[0];
+                strings[strings.length - 1] += __classPrivateFieldGet(child, _Sql_state, "f").parts[0];
                 // ネストされた Sql のプレースホルダーと値を再マッピングします。
-                for (let j = 0; j < child._.phIds.length; j++) {
-                    const childPlaceholderId = child._.phIds[j];
+                for (let j = 0; j < __classPrivateFieldGet(child, _Sql_state, "f").phIds.length; j++) {
+                    const childPlaceholderId = __classPrivateFieldGet(child, _Sql_state, "f").phIds[j];
                     const valueIndex = childPlaceholderId - 1;
                     const value = child.values[valueIndex];
-                    const slot = child._.idx2slot.get(valueIndex);
+                    const slot = __classPrivateFieldGet(child, _Sql_state, "f").idx2slot.get(valueIndex);
                     const placeholderId = slot !== undefined ? registerSlot(slot) : registerValue(value);
-                    strings.push(child._.parts[j + 1]);
+                    strings.push(__classPrivateFieldGet(child, _Sql_state, "f").parts[j + 1]);
                     placeholderIds.push(placeholderId);
                 }
                 // ネストされた Sql の展開が終わった後に、後続の生の文字列を結合します。
@@ -126,53 +148,32 @@ export class Sql {
             }
         }
         this.values = bindings;
-        // 内部状態を隠蔽し、不必要なプロパティーの露出を防ぎます。
-        Object.defineProperty(this, "_", {
-            value: {
-                parts: strings,
-                phIds: placeholderIds,
-                idx2slot,
-                slot2idx,
-            },
-        });
+        __classPrivateFieldSet(this, _Sql_state, {
+            parts: strings,
+            phIds: placeholderIds,
+            idx2slot,
+            slot2idx,
+        }, "f");
     }
     /**
      * スロットを値で埋めます。
      *
+     * @template TSlots 指定されたスロットのマップ型です。
      * @param slots スロットの値です。
      * @returns スロットが埋められた新しい Sql インスタンスです。
      */
     fill(slots) {
-        if (isPlainObject(slots)) {
-            slots = Object.entries(slots);
-        }
-        else {
-            // 一旦 Map のインスタンスにすることで、重複する名前またはスロットを 1 つに絞ります。
-            slots = new Map(slots);
-        }
-        const values = [...this.values];
-        for (const [target, value] of new Map(slots)) {
-            let idxes;
-            if (typeof target === "string") {
-                idxes = this._.slot2idx.get(target);
-            }
-            else {
-                for (const [idx, slot] of this._.idx2slot) {
-                    if (slot === target) {
-                        idxes || (idxes = new Set());
-                        idxes.add(idx);
-                    }
-                }
-            }
-            if (idxes === undefined) {
-                // スロットが見つからない場合は無視します。
-                continue;
-            }
-            for (const idx of idxes) {
-                values[idx] = value;
-            }
-        }
-        return new Sql(this._.parts, values);
+        return __classPrivateFieldGet(this, _Sql_instances, "m", _Sql_fill).call(this, slots, false);
+    }
+    /**
+     * すべてのスロットを値で埋めます。
+     *
+     * @template TSlots 全てのスロットをカバーするマップ型です。
+     * @param slots スロットの値です。
+     * @returns スロットが埋められた新しい Sql インスタンスです。
+     */
+    fillAll(slots) {
+        return __classPrivateFieldGet(this, _Sql_instances, "m", _Sql_fill).call(this, slots, true);
     }
     /**
      * オブジェクトを JSON 形式に変換可能な形式で返します。
@@ -194,6 +195,58 @@ export class Sql {
         return this.text;
     }
 }
+_a = Sql, _Sql_state = new WeakMap(), _Sql_instances = new WeakSet(), _Sql_fill = function _Sql_fill(slots, all) {
+    if (isPlainObject(slots)) {
+        slots = Object.entries(slots);
+    }
+    else {
+        // 一旦 Map のインスタンスにすることで、重複する名前またはスロットを 1 つに絞ります。
+        slots = new Map(slots);
+    }
+    const { parts, idx2slot, slot2idx } = __classPrivateFieldGet(this, _Sql_state, "f");
+    const filled = new Set();
+    const values = this.values.slice();
+    for (const [target, value] of new Map(slots)) {
+        let idxes;
+        if (typeof target === "string") {
+            idxes = slot2idx.get(target);
+        }
+        else {
+            // インスタンスが直接指定された場合、全インデックスから一致するものを探します。
+            for (const [idx, slot] of idx2slot) {
+                if (slot === target) {
+                    idxes || (idxes = new Set());
+                    idxes.add(idx);
+                }
+            }
+        }
+        if (idxes === undefined) {
+            // スロットが見つからない場合は無視します。
+            continue;
+        }
+        // 該当するすべてのプレースホルダーインデックスを新しい値で更新します。
+        for (const idx of idxes) {
+            values[idx] = value;
+            filled.add(idx);
+        }
+    }
+    // 全て埋める必要がある場合、未解決のスロットが残っていないか検証します。
+    if (all) {
+        for (let idx = 0; idx < values.length; idx++) {
+            if (idx2slot.has(idx) && !filled.has(idx)) {
+                const missingSlots = new Set();
+                missingSlots.add(idx2slot.get(idx).name);
+                for (; idx < values.length; idx++) {
+                    if (idx2slot.has(idx)) {
+                        missingSlots.add(idx2slot.get(idx).name);
+                    }
+                }
+                throw new Error(`Not all slots are filled. Missing: ${[...missingSlots].join(", ")}`);
+            }
+        }
+    }
+    return new _a(parts, values);
+};
 /**
  * 生の文字列を SQL 断片として扱います。
  *
@@ -254,3 +307,6 @@ const SINGLE_QUOTE_REGEX = /'/g;
 export function literal(value) {
     return "'" + value.replace(SINGLE_QUOTE_REGEX, "''") + "'";
 }
+export function slot(...args) {
+    return new Slot(...args);
+}

package/dist/src/index.d.ts

@@ -1,3 +1,3 @@
-export { type Value, type RawValue, Sql, Slot, empty, join, raw, ident } from "./core.js";
+export { type Value, type RawValue, Sql, Slot, empty, join, raw, ident, slot } from "./core.js";
 export { sql } from "./sql.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,KAAK,EAAE,KAAK,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAE1F,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,KAAK,EAAE,KAAK,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEhG,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC"}

package/dist/src/index.js

@@ -1,2 +1,2 @@
-export { Sql, Slot, empty, join, raw, ident } from "./core.js";
+export { Sql, Slot, empty, join, raw, ident, slot } from "./core.js";
 export { sql } from "./sql.js";

package/dist/src/sql.d.ts

@@ -1,4 +1,4 @@
-import { join, raw, Sql, ident, literal, Slot } from "./core.js";
+import { join, raw, Sql, ident, literal, Slot, RawValue, slot } from "./core.js";
 declare namespace sql {
     /**
      * SQL クエリーの構築に使用できる生の値、または別の Sql インスタンスを表す型です。
@@ -12,24 +12,22 @@ declare namespace sql {
      * スロットを表すクラスです。
      *
      * スロットは後から値を注入可能なプレースホルダーです。
+     *
+     * @template TName スロットの名前となる文字列リテラル型です。
+     * @template TValue スロットに許容される値の型です。
      */
-    type Slot = import("./core.js").Slot;
+    type Slot<TName extends string = string, TValue extends RawValue = RawValue> = import("./core.js").Slot<TName, TValue>;
     /**
      * 安全な SQL クエリーを構築するためのクラス型です。
+     *
+     * @template TBindings クエリーに渡される生の値のタプル型です。
      */
-    type Sql = import("./core.js").Sql;
+    type Sql<TBindings extends readonly RawValue[] = readonly RawValue[]> = import("./core.js").Sql<TBindings>;
 }
-/**
- * 新しい Slot インスタンスを作成します。
- *
- * @param name スロット名です。
- * @param defaultValue デフォルト値です。
- * @returns 作成された新しい Slot インスタンスです。
- */
-declare function slot(name: string, defaultValue?: sql.Value): sql.Slot;
 /**
  * テンプレートリテラルを使用して SQL クエリーを安全に構築するためのタグ関数です。
  *
+ * @template TBindings クエリーに渡される生の値のタプル型です。
  * @param strings テンプレートリテラルの静的な文字列部分の配列です。
  * @param bindings テンプレートリテラルに埋め込まれた動的な値の配列です。
  * @returns パラメーター化された SQL 情報を保持する Sql インスタンスを返します。
@@ -38,7 +36,7 @@ declare function slot(name: string, defaultValue?: sql.Value): sql.Slot;
  * const query = sql`SELECT * FROM users WHERE id = ${1}`;
  * ```
  */
-declare const sql: ((strings: TemplateStringsArray, ...bindings: readonly sql.RawValue[]) => sql.Sql) & {
+declare const sql: (<const TBindings extends readonly RawValue[]>(strings: TemplateStringsArray, ...bindings: TBindings) => sql.Sql<TBindings>) & {
     /**
      * Sql クラスです。
      */
@@ -64,7 +62,7 @@ declare const sql: ((strings: TemplateStringsArray, ...bindings: readonly sql.Ra
     /**
      * 空の SQL クエリーを表す定数です。
      */
-    readonly empty: Sql;
+    readonly empty: Sql<[]>;
     /**
      * 識別子（テーブル名等）を安全にエスケープするための関数です。
      */

package/dist/src/sql.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sql.d.ts","sourceRoot":"","sources":["../../src/sql.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAExE,kBAAU,GAAG,CAAC;IACZ;;OAEG;IACH,KAAY,QAAQ,GAAG,OAAO,WAAW,EAAE,QAAQ,CAAC;IAEpD;;OAEG;IACH,KAAY,KAAK,GAAG,OAAO,WAAW,EAAE,KAAK,CAAC;IAE9C;;;;OAIG;IACH,KAAY,IAAI,GAAG,OAAO,WAAW,EAAE,IAAI,CAAC;IAE5C;;OAEG;IACH,KAAY,GAAG,GAAG,OAAO,WAAW,EAAE,GAAG,CAAC;CAC3C;AAED;;;;;;GAMG;AACH,iBAAS,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC;AAMhE;;;;;;;;;;GAUG;AACH,QAAA,MAAM,GAAG,aACe,oBAAoB,eAAe,SAAS,GAAG,CAAC,QAAQ,EAAE,KAAG,GAAG,CAAC,GAAG;IAIxF;;OAEG;;IAGH;;OAEG;;IAGH;;OAEG;;IAGH;;;;OAIG;;IAGH;;OAEG;;IAGH;;OAEG;;IAGH;;OAEG;;IAGH;;OAEG;;CAGN,CAAC;AAEF,OAAO,EAAE,GAAG,EAAE,CAAC"}
+{"version":3,"file":"sql.d.ts","sourceRoot":"","sources":["../../src/sql.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAExF,kBAAU,GAAG,CAAC;IACZ;;OAEG;IACH,KAAY,QAAQ,GAAG,OAAO,WAAW,EAAE,QAAQ,CAAC;IAEpD;;OAEG;IACH,KAAY,KAAK,GAAG,OAAO,WAAW,EAAE,KAAK,CAAC;IAE9C;;;;;;;OAOG;IACH,KAAY,IAAI,CACd,KAAK,SAAS,MAAM,GAAG,MAAM,EAC7B,MAAM,SAAS,QAAQ,GAAG,QAAQ,IAChC,OAAO,WAAW,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAE5C;;;;OAIG;IACH,KAAY,GAAG,CAAC,SAAS,SAAS,SAAS,QAAQ,EAAE,GAAG,SAAS,QAAQ,EAAE,IACzE,OAAO,WAAW,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;CACtC;AAED;;;;;;;;;;;GAWG;AACH,QAAA,MAAM,GAAG,UACY,SAAS,SAAS,SAAS,QAAQ,EAAE,WAC7C,oBAAoB,eAChB,SAAS,KACrB,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;IAInB;;OAEG;;IAGH;;OAEG;;IAGH;;OAEG;;IAGH;;;;OAIG;;IAGH;;OAEG;;IAGH;;OAEG;;IAGH;;OAEG;;IAGH;;OAEG;;CAGN,CAAC;AAEF,OAAO,EAAE,GAAG,EAAE,CAAC"}

package/dist/src/sql.js

@@ -1,10 +1,8 @@
-import { empty, join, raw, Sql, ident, literal, Slot } from "./core.js";
-function slot(...args) {
-    return new sql.Slot(...args);
-}
+import { empty, join, raw, Sql, ident, literal, Slot, slot } from "./core.js";
 /**
  * テンプレートリテラルを使用して SQL クエリーを安全に構築するためのタグ関数です。
  *
+ * @template TBindings クエリーに渡される生の値のタプル型です。
  * @param strings テンプレートリテラルの静的な文字列部分の配列です。
  * @param bindings テンプレートリテラルに埋め込まれた動的な値の配列です。
  * @returns パラメーター化された SQL 情報を保持する Sql インスタンスを返します。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pgsql-template-tag",
-  "version": "0.0.6",
+  "version": "0.0.8",
   "description": "",
   "homepage": "https://github.com/tai-kun/pgsql-template-tag",
   "license": "MIT",
@@ -26,7 +26,8 @@
     }
   },
   "dependencies": {
-    "es-toolkit": "^1.46.1"
+    "es-toolkit": "^1.46.1",
+    "type-fest": "^5.6.0"
   },
   "devDependencies": {
     "@tsconfig/node24": "^24.0.4",

package/src/core.ts

@@ -1,4 +1,5 @@
 import { isPlainObject } from "es-toolkit/predicate";
+import type { UnionToTuple } from "type-fest";
 
 /**
  * SQL クエリー内で使用される値の型定義です。
@@ -11,21 +12,44 @@ export type Value = unknown;
 // oxlint-disable-next-line typescript/no-redundant-type-constituents
 export type RawValue = Value | Slot | Sql;
 
+/**
+ * Slot クラスを一意に識別するためのシンボルです。
+ */
+declare const SLOT_SYMBOL: unique symbol;
+
+/**
+ * Slot クラスの基底となる型定義です。
+ */
+const SlotTypes = class {} as {
+  new (): {
+    /**
+     * このプロパティーは、TypeScript の `extends Slot` で `Slot` インスタンスのみに一致させるためにあります。そのため、`Slot` と同じプロパティーを持つオブジェクトに対して一致することはありません。
+     */
+    readonly ["~kind"]: typeof SLOT_SYMBOL;
+  };
+};
+
 /**
  * スロットを表すクラスです。
  *
  * スロットは後から値を注入可能なプレースホルダーです。
+ *
+ * @template TName スロットの名前となる文字列リテラル型です。
+ * @template TValue スロットに許容される値の型です。
  */
-export class Slot {
+export class Slot<
+  const TName extends string = string,
+  TValue extends RawValue = RawValue,
+> extends SlotTypes {
   /**
    * スロット名です。
    */
-  public readonly name: string;
+  public readonly name: TName;
 
   /**
    * デフォルト値です。
    */
-  public readonly defaultValue: Value;
+  public readonly defaultValue: TValue;
 
   /**
    * 新しい Slot インスタンスを初期化します。
@@ -33,16 +57,121 @@ export class Slot {
    * @param name スロット名です。
    * @param defaultValue デフォルト値です。
    */
-  public constructor(name: string, defaultValue?: Value) {
+  public constructor(
+    ...args: null extends TValue
+      ? [name: TName, defaultValue?: TValue]
+      : [name: TName, defaultValue: TValue]
+  );
+
+  public constructor(name: TName, defaultValue?: RawValue) {
+    super();
+
     if (arguments.length < 2) {
       defaultValue = null;
     }
 
     this.name = name;
-    this.defaultValue = defaultValue;
+    this.defaultValue = defaultValue as TValue;
   }
 }
 
+/**
+ * オブジェクトのバリューの型を抽出するヘルパー型です。
+ *
+ * @template T 対象となるオブジェクト型です。
+ */
+type $ValueOf<T> = T[keyof T];
+
+/**
+ * スロットの配列から、再帰的に値をマージして型を決定します。
+ *
+ * @template TSlots スロットのタプル型です。
+ */
+type $MergeSlotValue<TSlots> = TSlots extends [
+  Slot<string, infer TValue>,
+  infer TSlot,
+  ...infer TOtherSlots,
+]
+  ? TValue & $MergeSlotValue<[TSlot, ...TOtherSlots]>
+  : TSlots extends [Slot<string, infer TValue>]
+    ? TValue
+    : never;
+
+/**
+ * RawValue の配列からスロット情報を抽出し、名前ごとのマップ型に変換します。
+ *
+ * @template TValues RawValue の読み取り専用配列型です。
+ */
+type $MapSlotValue<TValues extends readonly RawValue[]> =
+  TValues extends readonly (infer TSlot extends Slot)[]
+    ? {
+        // `Slot<"id", string | number> | Slot<"id", string>` の場合、`(string | number) & (string)` となるように、各スロットの積集合をとります。
+        [TName in TSlot["name"]]: $MergeSlotValue<UnionToTuple<Extract<TSlot, Slot<TName>>>>;
+      }
+    : {};
+
+/**
+ * 指定された値のリストに対して、スロットを実際の内容で置き換えた型を生成します。
+ *
+ * @template TValues 置き換え対象の配列型です。
+ * @template TSlots スロット名と値のマップ型です。
+ */
+type $FillSlots<TValues, TSlots> = TValues extends [infer TValue, ...infer TOtherValues]
+  ? [
+      TValue extends Slot<infer TName extends Extract<keyof TSlots, string>, infer TSlotValue>
+        ? TSlotValue extends TSlots[TName]
+          ? TSlotValue
+          : TValue
+        : TValue,
+      ...$FillSlots<TOtherValues, TSlots>,
+    ]
+  : [];
+
+/**
+ * スロットを埋めるための部分的な引数型を定義します。
+ *
+ * @template TSlots スロット名と値のマップ型です。
+ */
+type _FillSlots<TSlots> =
+  | {
+      readonly [TName in Extract<keyof TSlots, string>]?: TSlots[TName];
+    }
+  | Iterable<
+      readonly [
+        name: $ValueOf<{
+          [TName in Extract<keyof TSlots, string>]: TName | Slot<TName, TSlots[TName]>;
+        }>,
+        value: $ValueOf<TSlots>,
+      ]
+    >;
+
+/**
+ * すべてのスロットを埋めるために必要な引数型を定義します。
+ *
+ * @template TSlots スロット名と値のマップ型です。
+ */
+type _FillAllSlots<TSlots> = {
+  readonly [TName in Extract<keyof TSlots, string>]: TSlots[TName];
+};
+
+/**
+ * スロットの部分的な補完に使用する外部向けの型定義です。
+ *
+ * @template TValues RawValue の配列です。
+ */
+export type FillSlots<TValues extends readonly RawValue[] = readonly RawValue[]> = _FillSlots<
+  $MapSlotValue<TValues>
+>;
+
+/**
+ * すべてのスロットの強制的な補完に使用する外部向けの型定義です。
+ *
+ * @template TValues RawValue の配列です。
+ */
+export type FillAllSlots<TValues extends readonly RawValue[] = readonly RawValue[]> = _FillAllSlots<
+  $MapSlotValue<TValues>
+>;
+
 /**
  * Sql クラスの内部状態を管理するためのプライベートな型定義です。
  */
@@ -77,8 +206,10 @@ type PrivateState = {
  * 安全な SQL クエリーを構築するためのクラスです。
  *
  * プレースホルダーを使用したパラメーター化クエリーを生成します。
+ *
+ * @template TRawBindings クエリーに渡される生の値のタプル型です。
  */
-export class Sql {
+export class Sql<const TRawBindings extends readonly RawValue[] = readonly RawValue[]> {
   /**
    * 構築された SQL クエリーテキストを取得します。
    *
@@ -88,19 +219,19 @@ export class Sql {
    */
   public get text(): string {
     // キャッシュが存在しない場合にのみ、文字列を構築します。
-    if (this._.text === undefined) {
+    if (this.#state.text === undefined) {
       let i = 0,
-        text = this._.parts[0];
+        text = this.#state.parts[0];
 
       // 文字列の断片とプレースホルダー（$1, $2...）を交互に結合します。
-      for (; i < this._.phIds.length; i++) {
-        text += "$" + this._.phIds[i] + this._.parts[i + 1];
+      for (; i < this.#state.phIds.length; i++) {
+        text += "$" + this.#state.phIds[i] + this.#state.parts[i + 1];
       }
 
-      this._.text = text;
+      this.#state.text = text;
     }
 
-    return this._.text;
+    return this.#state.text;
   }
 
   /**
@@ -111,7 +242,7 @@ export class Sql {
   /**
    * 内部状態を保持するためのプロパティーです。
    */
-  private readonly _!: PrivateState;
+  readonly #state: PrivateState;
 
   /**
    * 新しい Sql インスタンスを初期化します。
@@ -119,7 +250,7 @@ export class Sql {
    * @param rawStrings SQL の断片となる文字列の配列です。
    * @param rawBindings 文字列の間に挿入される値の配列です。
    */
-  public constructor(rawStrings: readonly string[], rawBindings: readonly RawValue[]) {
+  public constructor(rawStrings: readonly string[], rawBindings: TRawBindings) {
     if (rawStrings.length === 0) {
       throw new TypeError("Expected at least 1 string");
     }
@@ -187,19 +318,19 @@ export class Sql {
       // バインディング値が Sql インスタンス（ネストされたクエリー）の場合の処理です。
       if (child instanceof Sql) {
         // 現在の最後の文字列断片に、ネストされた Sql の最初の断片を結合します。
-        strings[strings.length - 1] += child._.parts[0];
+        strings[strings.length - 1] += child.#state.parts[0];
 
         // ネストされた Sql のプレースホルダーと値を再マッピングします。
-        for (let j = 0; j < child._.phIds.length; j++) {
-          const childPlaceholderId = child._.phIds[j]!;
+        for (let j = 0; j < child.#state.phIds.length; j++) {
+          const childPlaceholderId = child.#state.phIds[j]!;
           const valueIndex = childPlaceholderId - 1;
           const value = child.values[valueIndex]!;
 
-          const slot = child._.idx2slot.get(valueIndex);
+          const slot = child.#state.idx2slot.get(valueIndex);
 
           const placeholderId = slot !== undefined ? registerSlot(slot) : registerValue(value);
 
-          strings.push(child._.parts[j + 1]!);
+          strings.push(child.#state.parts[j + 1]!);
           placeholderIds.push(placeholderId);
         }
 
@@ -215,26 +346,22 @@ export class Sql {
 
     this.values = bindings;
 
-    // 内部状態を隠蔽し、不必要なプロパティーの露出を防ぎます。
-    Object.defineProperty(this, "_", {
-      value: {
-        parts: strings,
-        phIds: placeholderIds,
-        idx2slot,
-        slot2idx,
-      } satisfies PrivateState,
-    });
+    this.#state = {
+      parts: strings,
+      phIds: placeholderIds,
+      idx2slot,
+      slot2idx,
+    };
   }
 
   /**
-   * スロットを値で埋めます。
+   * スロットを値で埋める内部メソッドです。
    *
-   * @param slots スロットの値です。
-   * @returns スロットが埋められた新しい Sql インスタンスです。
+   * @param slots スロットのマップまたはエントリーの配列です。
+   * @param all 全てのスロットが埋まっているかチェックするかどうかです。
+   * @returns 新しい Sql インスタンスを返します。
    */
-  public fill(
-    slots: { readonly [name: string]: Value } | Iterable<readonly [string | Slot, Value]>,
-  ): Sql {
+  #fill(slots: FillSlots<Slot[]>, all: boolean): Sql {
     if (isPlainObject(slots)) {
       slots = Object.entries(slots);
     } else {
@@ -242,13 +369,16 @@ export class Sql {
       slots = new Map(slots);
     }
 
-    const values: Value[] = [...this.values];
+    const { parts, idx2slot, slot2idx } = this.#state;
+    const filled = new Set<number>();
+    const values = this.values.slice();
     for (const [target, value] of new Map(slots)) {
       let idxes: ReadonlySet<number> | undefined;
       if (typeof target === "string") {
-        idxes = this._.slot2idx.get(target);
+        idxes = slot2idx.get(target);
       } else {
-        for (const [idx, slot] of this._.idx2slot) {
+        // インスタンスが直接指定された場合、全インデックスから一致するものを探します。
+        for (const [idx, slot] of idx2slot) {
           if (slot === target) {
             idxes ||= new Set();
             (idxes as Set<number>).add(idx);
@@ -261,12 +391,57 @@ export class Sql {
         continue;
       }
 
+      // 該当するすべてのプレースホルダーインデックスを新しい値で更新します。
       for (const idx of idxes) {
         values[idx] = value;
+        filled.add(idx);
+      }
+    }
+
+    // 全て埋める必要がある場合、未解決のスロットが残っていないか検証します。
+    if (all) {
+      for (let idx = 0; idx < values.length; idx++) {
+        if (idx2slot.has(idx) && !filled.has(idx)) {
+          const missingSlots = new Set<string>();
+          missingSlots.add(idx2slot.get(idx)!.name);
+          for (; idx < values.length; idx++) {
+            if (idx2slot.has(idx)) {
+              missingSlots.add(idx2slot.get(idx)!.name);
+            }
+          }
+
+          throw new Error(`Not all slots are filled. Missing: ${[...missingSlots].join(", ")}`);
+        }
       }
     }
 
-    return new Sql(this._.parts, values);
+    return new Sql(parts, values);
+  }
+
+  /**
+   * スロットを値で埋めます。
+   *
+   * @template TSlots 指定されたスロットのマップ型です。
+   * @param slots スロットの値です。
+   * @returns スロットが埋められた新しい Sql インスタンスです。
+   */
+  public fill<TSlots extends FillSlots<TRawBindings>>(
+    slots: TSlots,
+  ): Sql<$FillSlots<TRawBindings, TSlots>> {
+    return this.#fill(slots, false);
+  }
+
+  /**
+   * すべてのスロットを値で埋めます。
+   *
+   * @template TSlots 全てのスロットをカバーするマップ型です。
+   * @param slots スロットの値です。
+   * @returns スロットが埋められた新しい Sql インスタンスです。
+   */
+  public fillAll<TSlots extends FillAllSlots<TRawBindings>>(
+    slots: TSlots,
+  ): Sql<$FillSlots<TRawBindings, TSlots>> {
+    return this.#fill(slots, true);
   }
 
   /**
@@ -302,14 +477,14 @@ export class Sql {
  * @param value SQL に含める生の文字列です。
  * @returns 指定された文字列を持つ Sql インスタンスを返します。
  */
-export function raw(value: string): Sql {
+export function raw(value: string): Sql<[]> {
   return new Sql([value], []);
 }
 
 /**
  * 空の SQL インスタンスを表す定数です。
  */
-export const empty: Sql = raw("");
+export const empty: Sql<[]> = raw("");
 
 /**
  * 複数の SQL 断片や値を、指定されたセパレーターで結合します。
@@ -320,7 +495,10 @@ export const empty: Sql = raw("");
  * @param separator 結合時に挿入される文字列です。デフォルトはカンマ（,）です。
  * @returns 結合された新しい Sql インスタンスを返します。
  */
-export function join(values: readonly RawValue[], separator: string | undefined = ","): Sql {
+export function join<const TValues extends readonly RawValue[]>(
+  values: TValues,
+  separator: string | undefined = ",",
+): Sql<TValues> {
   if (values.length === 0) {
     return empty;
   }
@@ -361,3 +539,21 @@ const SINGLE_QUOTE_REGEX = /'/g;
 export function literal(value: string): string {
   return "'" + value.replace(SINGLE_QUOTE_REGEX, "''") + "'";
 }
+
+/**
+ * 新しい Slot インスタンスを作成します。
+ *
+ * @template TName スロットの名前となる文字列リテラル型です。
+ * @template TValue スロットに許容される値の型です。
+ * @param name スロット名です。
+ * @param defaultValue デフォルト値です。
+ * @returns 作成された新しい Slot インスタンスです。
+ */
+export function slot<const TName extends string, TValue extends RawValue = RawValue>(
+  name: TName,
+  defaultValue?: TValue,
+): Slot<TName, TValue>;
+
+export function slot(...args: [any]): Slot {
+  return new Slot(...args);
+}

package/src/index.ts

@@ -1,3 +1,3 @@
-export { type Value, type RawValue, Sql, Slot, empty, join, raw, ident } from "./core.js";
+export { type Value, type RawValue, Sql, Slot, empty, join, raw, ident, slot } from "./core.js";
 
 export { sql } from "./sql.js";

package/src/sql.ts

@@ -1,4 +1,4 @@
-import { empty, join, raw, Sql, ident, literal, Slot } from "./core.js";
+import { empty, join, raw, Sql, ident, literal, Slot, RawValue, slot } from "./core.js";
 
 namespace sql {
   /**
@@ -15,31 +15,28 @@ namespace sql {
    * スロットを表すクラスです。
    *
    * スロットは後から値を注入可能なプレースホルダーです。
+   *
+   * @template TName スロットの名前となる文字列リテラル型です。
+   * @template TValue スロットに許容される値の型です。
    */
-  export type Slot = import("./core.js").Slot;
+  export type Slot<
+    TName extends string = string,
+    TValue extends RawValue = RawValue,
+  > = import("./core.js").Slot<TName, TValue>;
 
   /**
    * 安全な SQL クエリーを構築するためのクラス型です。
+   *
+   * @template TBindings クエリーに渡される生の値のタプル型です。
    */
-  export type Sql = import("./core.js").Sql;
-}
-
-/**
- * 新しい Slot インスタンスを作成します。
- *
- * @param name スロット名です。
- * @param defaultValue デフォルト値です。
- * @returns 作成された新しい Slot インスタンスです。
- */
-function slot(name: string, defaultValue?: sql.Value): sql.Slot;
-
-function slot(...args: [any]): sql.Slot {
-  return new sql.Slot(...args);
+  export type Sql<TBindings extends readonly RawValue[] = readonly RawValue[]> =
+    import("./core.js").Sql<TBindings>;
 }
 
 /**
  * テンプレートリテラルを使用して SQL クエリーを安全に構築するためのタグ関数です。
  *
+ * @template TBindings クエリーに渡される生の値のタプル型です。
  * @param strings テンプレートリテラルの静的な文字列部分の配列です。
  * @param bindings テンプレートリテラルに埋め込まれた動的な値の配列です。
  * @returns パラメーター化された SQL 情報を保持する Sql インスタンスを返します。
@@ -49,7 +46,10 @@ function slot(...args: [any]): sql.Slot {
  * ```
  */
 const sql = /*#__PURE__*/ Object.assign(
-  function sql(strings: TemplateStringsArray, ...bindings: readonly sql.RawValue[]): sql.Sql {
+  function sql<const TBindings extends readonly RawValue[]>(
+    strings: TemplateStringsArray,
+    ...bindings: TBindings
+  ): sql.Sql<TBindings> {
     return new Sql(strings, bindings);
   },
   {