ts-fortress 9.1.0 → 9.2.0

package/dist/array/tuple.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"tuple.d.mts","sourceRoot":"","sources":["../../src/array/tuple.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAUrD,KAAK,QAAQ,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,QAAQ,CAAC;KAC1D,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC7B,CAAC,CAAC;AAEH,eAAO,MAAM,KAAK,GAAI,KAAK,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,OAAO,CAAC,EAAE,EAC5D,OAAO,CAAC,EACR,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,CACH,KACA,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CA2ElB,CAAC"}
+{"version":3,"file":"tuple.d.mts","sourceRoot":"","sources":["../../src/array/tuple.mts"],"names":[],"mappings":"AACA,OAAO,EAA2B,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAU9E,KAAK,QAAQ,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,QAAQ,CAAC;KAC1D,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC7B,CAAC,CAAC;AAEH,eAAO,MAAM,KAAK,GAAI,KAAK,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,OAAO,CAAC,EAAE,EAC5D,OAAO,CAAC,EACR,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,CACH,KACA,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CA+ElB,CAAC"}

package/dist/array/tuple.mjs

@@ -52,6 +52,7 @@ const tuple = (types, options) => {
         : // eslint-disable-next-line total-functions/no-unsafe-type-assertion
             types.map((t, i) => t.fill(a[i]));
     const prune = (a) => Arr.map(types, (t, i) => t.prune(a[i]));
+    // eslint-disable-next-line total-functions/no-unsafe-type-assertion
     return {
         typeName,
         get defaultValue() {
@@ -63,6 +64,9 @@ const tuple = (types, options) => {
         is: createIsFn(validate),
         assertIs: createAssertFn(validate),
         cast: createCastFn(validate),
+        // Retain the element types so that `at(tupleType, index)` can recover the
+        // Type at a given position.
+        elementTypes: types,
     };
 };
 

package/dist/array/tuple.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"tuple.mjs","sources":["../../src/array/tuple.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;MAea,KAAK,GAAG,CACnB,KAAQ,EACR,OAIC,KACoB;AAGrB,IAAA,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,IAAI,OAAO;IAE7C,MAAM,eAAe,GAAG,eAAe,CAAC,MACtC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CACtC;AAED,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,OAAO;oBACrB,QAAQ;AACR,oBAAA,OAAO,EAAE,SAAS;iBACnB,CAAC;AACH,aAAA,CAAC;QACJ;QAEA,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE;YAC7B,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;AACR,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;oBACtB,QAAQ;AACR,oBAAA,OAAO,EAAE;AACP,wBAAA,IAAI,EAAE,cAAc;wBACpB,cAAc,EAAE,KAAK,CAAC,MAAM;wBAC5B,YAAY,EAAE,CAAC,CAAC,MAAM;AACvB,qBAAA;AACwB,iBAAA;AAC5B,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,MAAM,GAA+B,GAAG,CAAC,QAAQ,CAAC,aAAS;YAC/D,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChE,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;AAEhC,gBAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;oBACrB,OAAO,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACzD;YACF;AACF,QAAA,CAAC,CAAC;AAEF,QAAA,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;AAC1B,YAAA,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAM,CAAC;AAC1B,IAAA,CAAC;AAED,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;UACV,eAAe;AACjB;YACG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAiB;AAExD,IAAA,MAAM,KAAK,GAAG,CAAC,CAAI,KAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAElE,OAAO;QACL,QAAQ;AACR,QAAA,IAAI,YAAY,GAAA;YACd,OAAO,eAAe,EAAE;QAC1B,CAAC;QACD,IAAI;QACJ,KAAK;QACL,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;AAClC,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;KAC7B;AACH;;;;"}
+{"version":3,"file":"tuple.mjs","sources":["../../src/array/tuple.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;MAea,KAAK,GAAG,CACnB,KAAQ,EACR,OAIC,KACoB;AAGrB,IAAA,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,IAAI,OAAO;IAE7C,MAAM,eAAe,GAAG,eAAe,CAAC,MACtC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CACtC;AAED,IAAA,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAI;QAC1C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA,8BAA8B,CAAC;AAC7B,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,OAAO;oBACrB,QAAQ;AACR,oBAAA,OAAO,EAAE,SAAS;iBACnB,CAAC;AACH,aAAA,CAAC;QACJ;QAEA,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE;YAC7B,OAAO,MAAM,CAAC,GAAG,CAAC;AAChB,gBAAA;AACE,oBAAA,IAAI,EAAE,EAAE;AACR,oBAAA,WAAW,EAAE,CAAC;AACd,oBAAA,YAAY,EAAE,QAAQ;oBACtB,QAAQ;AACR,oBAAA,OAAO,EAAE;AACP,wBAAA,IAAI,EAAE,cAAc;wBACpB,cAAc,EAAE,KAAK,CAAC,MAAM;wBAC5B,YAAY,EAAE,CAAC,CAAC,MAAM;AACvB,qBAAA;AACwB,iBAAA;AAC5B,aAAA,CAAC;QACJ;AAEA,QAAA,MAAM,MAAM,GAA+B,GAAG,CAAC,QAAQ,CAAC,aAAS;YAC/D,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChE,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;AAEhC,gBAAA,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;oBACrB,OAAO,8BAA8B,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACzD;YACF;AACF,QAAA,CAAC,CAAC;AAEF,QAAA,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE;AAC1B,YAAA,OAAO,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;QAC3B;;AAGA,QAAA,OAAO,MAAM,CAAC,EAAE,CAAC,CAAM,CAAC;AAC1B,IAAA,CAAC;AAED,IAAA,MAAM,IAAI,GAAoB,CAAC,CAAC,KAC9B,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;UACV,eAAe;AACjB;YACG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAiB;AAExD,IAAA,MAAM,KAAK,GAAG,CAAC,CAAI,KAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;;IAGlE,OAAO;QACL,QAAQ;AACR,QAAA,IAAI,YAAY,GAAA;YACd,OAAO,eAAe,EAAE;QAC1B,CAAC;QACD,IAAI;QACJ,KAAK;QACL,QAAQ;AACR,QAAA,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC;AACxB,QAAA,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC;AAClC,QAAA,IAAI,EAAE,YAAY,CAAC,QAAQ,CAAC;;;AAG5B,QAAA,YAAY,EAAE,KAAK;KAC8B;AACrD;;;;"}

package/dist/entry-point.mjs

@@ -60,6 +60,7 @@ export { number } from './primitives/number.mjs';
 export { string } from './primitives/string.mjs';
 export { symbol } from './primitives/symbol.mjs';
 export { undefinedType } from './primitives/undefined.mjs';
+export { at } from './record/at.mjs';
 export { keyValueRecord } from './record/key-value-record.mjs';
 export { keyof } from './record/keyof.mjs';
 export { mergeRecords } from './record/merge-records.mjs';

package/dist/entry-point.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"entry-point.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"file":"entry-point.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/dist/index.mjs

@@ -59,6 +59,7 @@ export { number } from './primitives/number.mjs';
 export { string } from './primitives/string.mjs';
 export { symbol } from './primitives/symbol.mjs';
 export { undefinedType } from './primitives/undefined.mjs';
+export { at } from './record/at.mjs';
 export { keyValueRecord } from './record/key-value-record.mjs';
 export { keyof } from './record/keyof.mjs';
 export { mergeRecords } from './record/merge-records.mjs';
@@ -69,7 +70,7 @@ export { pick } from './record/pick.mjs';
 export { record, strictRecord } from './record/record.mjs';
 export { required } from './record/required.mjs';
 export { valueof } from './record/valueof.mjs';
-export { flattenShapeStructure, getShape, hasRecordInternals } from './type.mjs';
+export { expandShapeStructure, flattenShapeStructure, getShape, hasRecordInternals, hasTupleInternals } from './type.mjs';
 export { createAssertFn } from './utils/create-assert-fn.mjs';
 export { createCastFn } from './utils/create-cast-fn.mjs';
 export { createIsFn } from './utils/create-is-fn.mjs';

package/dist/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/dist/record/at.d.mts

@@ -0,0 +1,47 @@
+import { type IndexOfTuple, type UnknownRecord } from 'ts-type-forge';
+import { type Type } from '../type.mjs';
+/**
+ * Extracts the {@link Type} stored at a single key of a record type.
+ *
+ * The first argument must be a record type (i.e. it must extend
+ * `Type<UnknownRecord>`, like {@link pick} and {@link keyof}), and the second
+ * argument is constrained to the keys declared on that record.
+ *
+ * The record type may be a simple record, an intersection (e.g. the result of
+ * {@link mergeRecords}), a union, a recursive type, or any combination of
+ * these — the underlying shape is expanded and, when a key resolves to
+ * multiple member types (as in a union), the resulting types are combined with
+ * {@link union}.
+ *
+ * @example
+ * ```ts
+ * import * as t from 'ts-fortress';
+ *
+ * const ymd = t.record({
+ *   year: t.number(1900),
+ *   month: t.number(1),
+ *   date: t.number(1),
+ * });
+ *
+ * const year = t.at(ymd, 'year'); // Type<number>
+ *
+ * year.is(2000); // true
+ * ```
+ */
+export declare function at<const R extends UnknownRecord, const K extends keyof R & string>(recordType: Type<R>, key: K): Type<R[K]>;
+/**
+ * Extracts the {@link Type} stored at a single index of a tuple type.
+ *
+ * @example
+ * ```ts
+ * import * as t from 'ts-fortress';
+ *
+ * const tup = t.tuple([t.number(), t.string(), t.boolean()]);
+ *
+ * const second = t.at(tup, 1); // Type<string>
+ *
+ * second.is('hello'); // true
+ * ```
+ */
+export declare function at<const T extends readonly unknown[], const N extends IndexOfTuple<T>>(tupleType: Type<T>, index: N): Type<T[N]>;
+//# sourceMappingURL=at.d.mts.map

package/dist/record/at.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"at.d.mts","sourceRoot":"","sources":["../../src/record/at.mts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,aAAa,EAAE,MAAM,eAAe,CAAC;AAGtE,OAAO,EAIL,KAAK,IAAI,EACV,MAAM,aAAa,CAAC;AAGrB;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,EAAE,CAChB,KAAK,CAAC,CAAC,SAAS,aAAa,EAC7B,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAChC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3C;;;;;;;;;;;;;GAaG;AACH,wBAAgB,EAAE,CAChB,KAAK,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAClC,KAAK,CAAC,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,EAC/B,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/record/at.mjs

@@ -0,0 +1,48 @@
+import { Arr } from 'ts-data-forge';
+import { hasTupleInternals, hasRecordInternals, expandShapeStructure } from '../type.mjs';
+import { union } from '../compose/union.mjs';
+import '@sindresorhus/is';
+import '../other-types/unknown.mjs';
+import { undefinedType } from '../primitives/undefined.mjs';
+import { isOptionalProperty } from './optional.mjs';
+
+function at(type, keyOrIndex) {
+    // --- Tuple index access ---
+    if (typeof keyOrIndex === 'number') {
+        if (!hasTupleInternals(type)) {
+            throw new Error(`Expected a tuple type but received: ${type.typeName}`);
+        }
+        const elementType = type.elementTypes[keyOrIndex];
+        if (elementType === undefined) {
+            throw new Error(`Index ${keyOrIndex} is out of range for tuple type: ${type.typeName}`);
+        }
+        return elementType;
+    }
+    // --- Record key access ---
+    if (!hasRecordInternals(type)) {
+        throw new Error(`Expected a record type but received: ${type.typeName}`);
+    }
+    const shapes = expandShapeStructure(type.shapeStructure);
+    const memberTypes = shapes.flatMap((shape) => {
+        const memberType = shape[keyOrIndex];
+        return memberType === undefined ? [] : [memberType];
+    });
+    // If the key is optional in any member, the accessed value may be undefined,
+    // matching the `T | undefined` produced by `R[K]` for optional keys.
+    const hasOptionalMember = memberTypes.some(isOptionalProperty);
+    const collected = hasOptionalMember
+        ? [...memberTypes, undefinedType]
+        : memberTypes;
+    if (Arr.isArrayAtLeastLength(collected, 2)) {
+        return union(collected, {
+            typeName: `${type.typeName}[${JSON.stringify(keyOrIndex)}]`,
+        });
+    }
+    if (Arr.isNonEmpty(collected)) {
+        return collected[0];
+    }
+    throw new Error(`Key ${JSON.stringify(keyOrIndex)} does not exist on record type: ${type.typeName}`);
+}
+
+export { at };
+//# sourceMappingURL=at.mjs.map

package/dist/record/at.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"at.mjs","sources":["../../src/record/at.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;AAgEM,SAAU,EAAE,CAChB,IAAoD,EACpD,UAA2B,EAAA;;AAG3B,IAAA,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE;AAClC,QAAA,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE;YAC5B,MAAM,IAAI,KAAK,CAAC,CAAA,oCAAA,EAAuC,IAAI,CAAC,QAAQ,CAAA,CAAE,CAAC;QACzE;QAEA,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC;AAEjD,QAAA,IAAI,WAAW,KAAK,SAAS,EAAE;YAC7B,MAAM,IAAI,KAAK,CACb,CAAA,MAAA,EAAS,UAAU,CAAA,iCAAA,EAAoC,IAAI,CAAC,QAAQ,CAAA,CAAE,CACvE;QACH;AAEA,QAAA,OAAO,WAAW;IACpB;;AAGA,IAAA,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE;QAC7B,MAAM,IAAI,KAAK,CAAC,CAAA,qCAAA,EAAwC,IAAI,CAAC,QAAQ,CAAA,CAAE,CAAC;IAC1E;IAEA,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,cAAc,CAAC;IAExD,MAAM,WAAW,GAA6B,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,KAAI;AACrE,QAAA,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;AAEpC,QAAA,OAAO,UAAU,KAAK,SAAS,GAAG,EAAE,GAAG,CAAC,UAAU,CAAC;AACrD,IAAA,CAAC,CAAC;;;IAIF,MAAM,iBAAiB,GAAG,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC;IAE9D,MAAM,SAAS,GAA6B;AAC1C,UAAG,CAAC,GAAG,WAAW,EAAE,aAAa;UAC/B,WAAW;IAEf,IAAI,GAAG,CAAC,oBAAoB,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE;QAC1C,OAAO,KAAK,CAAC,SAAS,EAAE;AACtB,YAAA,QAAQ,EAAE,CAAA,EAAG,IAAI,CAAC,QAAQ,CAAA,CAAA,EAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA,CAAA,CAAG;AAC5D,SAAA,CAAC;IACJ;AAEA,IAAA,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE;AAC7B,QAAA,OAAO,SAAS,CAAC,CAAC,CAAC;IACrB;AAEA,IAAA,MAAM,IAAI,KAAK,CACb,CAAA,IAAA,EAAO,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,mCAAmC,IAAI,CAAC,QAAQ,CAAA,CAAE,CACpF;AACH;;;;"}

package/dist/record/index.d.mts

@@ -1,3 +1,4 @@
+export * from './at.mjs';
 export * from './key-value-record.mjs';
 export * from './keyof.mjs';
 export * from './merge-records.mjs';

package/dist/record/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/record/index.mts"],"names":[],"mappings":"AAAA,cAAc,wBAAwB,CAAC;AACvC,cAAc,aAAa,CAAC;AAC5B,cAAc,qBAAqB,CAAC;AACpC,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,eAAe,CAAC"}
+{"version":3,"file":"index.d.mts","sourceRoot":"","sources":["../../src/record/index.mts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,wBAAwB,CAAC;AACvC,cAAc,aAAa,CAAC;AAC5B,cAAc,qBAAqB,CAAC;AACpC,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,eAAe,CAAC"}

package/dist/record/index.mjs

@@ -1,3 +1,4 @@
+export { at } from './at.mjs';
 export { keyValueRecord } from './key-value-record.mjs';
 export { keyof } from './keyof.mjs';
 export { mergeRecords } from './merge-records.mjs';

package/dist/record/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;"}
+{"version":3,"file":"index.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;"}

package/dist/record/merge-records.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"merge-records.d.mts","sourceRoot":"","sources":["../../src/record/merge-records.mts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,aAAa,EACnB,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,KAAK,oBAAoB,EAGzB,KAAK,IAAI,EAIV,MAAM,aAAa,CAAC;AAMrB,eAAO,MAAM,YAAY,GACvB,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAEtD,aAAa,KAAK,EAClB,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,oBAAoB,CAAC;CACtC,CAAC,CACH,KACA,gBAAgB,CAAC,KAAK,CA6DxB,CAAC;AA6BF,KAAK,gBAAgB,CAAC,KAAK,SAAS,SAAS,IAAI,CAAC,aAAa,CAAC,EAAE,IAAI,IAAI,CACxE,gBAAgB,CAAC,KAAK,CAAC,CACxB,CAAC;AAEF,+EAA+E;AAC/E,KAAK,gBAAgB,CAAC,KAAK,SAAS,SAAS,IAAI,CAAC,aAAa,CAAC,EAAE,IAChE,mBAAmB,CAAC,YAAY,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAE5D,oGAAoG;AACpG,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,GACjD,QAAQ,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAClC,CAAC,CAAC;AAEN,KAAK,eAAe,CAAC,KAAK,SAAS,SAAS,OAAO,EAAE,IACnD,KAAK,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9C,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,GACvD,SAAS,EAAE,CAAC;AAElB,KAAK,YAAY,CAAC,CAAC,IACjB,CAAC,SAAS,QAAQ,CAAC;IAAE,YAAY,EAAE,MAAM,CAAC,CAAA;CAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC"}
+{"version":3,"file":"merge-records.d.mts","sourceRoot":"","sources":["../../src/record/merge-records.mts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,aAAa,EACnB,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,KAAK,oBAAoB,EAEzB,KAAK,IAAI,EAIV,MAAM,aAAa,CAAC;AAMrB,eAAO,MAAM,YAAY,GACvB,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAEtD,aAAa,KAAK,EAClB,UAAU,OAAO,CACf,QAAQ,CAAC;IACP,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,oBAAoB,CAAC;CACtC,CAAC,CACH,KACA,gBAAgB,CAAC,KAAK,CA6DxB,CAAC;AAEF,KAAK,gBAAgB,CAAC,KAAK,SAAS,SAAS,IAAI,CAAC,aAAa,CAAC,EAAE,IAAI,IAAI,CACxE,gBAAgB,CAAC,KAAK,CAAC,CACxB,CAAC;AAEF,+EAA+E;AAC/E,KAAK,gBAAgB,CAAC,KAAK,SAAS,SAAS,IAAI,CAAC,aAAa,CAAC,EAAE,IAChE,mBAAmB,CAAC,YAAY,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAE5D,oGAAoG;AACpG,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,GACjD,QAAQ,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAClC,CAAC,CAAC;AAEN,KAAK,eAAe,CAAC,KAAK,SAAS,SAAS,OAAO,EAAE,IACnD,KAAK,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,GAC9C,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,GACvD,SAAS,EAAE,CAAC;AAElB,KAAK,YAAY,CAAC,CAAC,IACjB,CAAC,SAAS,QAAQ,CAAC;IAAE,YAAY,EAAE,MAAM,CAAC,CAAA;CAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC"}

package/dist/record/merge-records.mjs

@@ -1,5 +1,5 @@
 import { Arr, Obj } from 'ts-data-forge';
-import { hasRecordInternals } from '../type.mjs';
+import { hasRecordInternals, expandShapeStructure } from '../type.mjs';
 import { toIntersectionString } from '../utils/to-union-string.mjs';
 import { union } from '../compose/union.mjs';
 import '@sindresorhus/is';
@@ -44,28 +44,6 @@ const mergeRecords = (recordTypes, options) => {
         typeName: typeNameFilled,
     });
 };
-/**
- * Expands a ShapeStructure into all possible simple shapes.
- * For union structures, returns an array of all variant shapes.
- * For intersection structures, computes cartesian product of all parts.
- */
-const expandShapeStructure = (structure) => {
-    switch (structure.kind) {
-        case 'simple': {
-            return [structure.shape];
-        }
-        case 'union': {
-            // Union: flatten all variants
-            return structure.variants.flatMap(expandShapeStructure);
-        }
-        case 'intersection': {
-            // Intersection: compute cartesian product of all parts
-            const expandedParts = structure.parts.map(expandShapeStructure);
-            const combinations = Arr.cartesianProduct(expandedParts);
-            return Arr.map(combinations, (shapes) => Obj.merge(...shapes));
-        }
-    }
-};
 const deriveStrictestExcessProperty = (types) => types.some((t) => t.excessProperty === 'reject') ? 'reject' : 'allow';
 
 export { mergeRecords };

package/dist/record/merge-records.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"merge-records.mjs","sources":["../../src/record/merge-records.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;AAoBA,MAAM,0BAA0B,GAAG,MAAM;MAE5B,YAAY,GAAG,CAG1B,WAAkB,EAClB,OAKC,KAC0B;IAC3B,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAE;AAC1C,QAAA,MAAM,IAAI,KAAK,CACb,uEAAuE,CACxE;;AAGH,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,QAAA,CAAA,CAAA,EAAI,oBAAoB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG;;IAGjE,MAAM,qBAAqB,GAAG,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,KACnD,oBAAoB,CAAC,CAAC,CAAC,cAAc,CAAC,CACvC;;;IAID,MAAM,qBAAqB,GAAG,qBAAqB,CAAC,MAAM,CACxD,CAAC,GAAG,EAAE,MAAM,KAAK,GAAG,GAAG,MAAM,CAAC,MAAM,EACpC,CAAC,CACF;AAED,IAAA,IAAI,qBAAqB,GAAG,0BAA0B,EAAE;AACtD,QAAA,MAAM,IAAI,KAAK,CACb,6BAA6B,qBAAqB,CAAA,yCAAA,EAA4C,0BAA0B,CAAA,EAAA,CAAI;AAC1H,YAAA,iIAAiI,CACpI;;;;;IAMH,MAAM,eAAe,GAAG,GAAG,CAAC,gBAAgB,CAAC,qBAAqB,CAAC;;IAGnE,MAAM,YAAY,GAAG,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,MAAM,KACnD,GAAG,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CACrB;IAED,MAAM,cAAc,GAClB,OAAO,EAAE,cAAc,IAAI,6BAA6B,CAAC,WAAW,CAAC;;IAGvE,IAAI,GAAG,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE;;AAExC,QAAA,OAAO,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE;AAC7B,YAAA,QAAQ,EAAE,cAAc;YACxB,cAAc;AACf,SAAA,CAA4B;;;IAI/B,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,KAAK,KAC3C,MAAM,CAAC,KAAK,EAAE,EAAE,cAAc,EAAE,CAAC,CAClC;;IAGD,OAAO,KAAK,CAAC,QAA8C,EAAE;AAC3D,QAAA,QAAQ,EAAE,cAAc;AACzB,KAAA,CAA4B;AAC/B;AAEA;;;;AAIG;AACH,MAAM,oBAAoB,GAAG,CAC3B,SAAyB,KACE;AAC3B,IAAA,QAAQ,SAAS,CAAC,IAAI;QACpB,KAAK,QAAQ,EAAE;AACb,YAAA,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;;QAE1B,KAAK,OAAO,EAAE;;YAEZ,OAAO,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,oBAAoB,CAAC;;QAEzD,KAAK,cAAc,EAAE;;YAEnB,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAC;YAE/D,MAAM,YAAY,GAAG,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC;AAExD,YAAA,OAAO,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC;;;AAGpE,CAAC;AAuBD,MAAM,6BAA6B,GAAG,CACpC,KAAqC,KAErC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,KAAK,QAAQ,CAAC,GAAG,QAAQ,GAAG,OAAO;;;;"}
+{"version":3,"file":"merge-records.mjs","sources":["../../src/record/merge-records.mts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;AAmBA,MAAM,0BAA0B,GAAG,MAAM;MAE5B,YAAY,GAAG,CAG1B,WAAkB,EAClB,OAKC,KAC0B;IAC3B,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAE;AAC1C,QAAA,MAAM,IAAI,KAAK,CACb,uEAAuE,CACxE;;AAGH,IAAA,MAAM,cAAc,GAClB,OAAO,EAAE,QAAQ;AACjB,QAAA,CAAA,CAAA,EAAI,oBAAoB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG;;IAGjE,MAAM,qBAAqB,GAAG,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,KACnD,oBAAoB,CAAC,CAAC,CAAC,cAAc,CAAC,CACvC;;;IAID,MAAM,qBAAqB,GAAG,qBAAqB,CAAC,MAAM,CACxD,CAAC,GAAG,EAAE,MAAM,KAAK,GAAG,GAAG,MAAM,CAAC,MAAM,EACpC,CAAC,CACF;AAED,IAAA,IAAI,qBAAqB,GAAG,0BAA0B,EAAE;AACtD,QAAA,MAAM,IAAI,KAAK,CACb,6BAA6B,qBAAqB,CAAA,yCAAA,EAA4C,0BAA0B,CAAA,EAAA,CAAI;AAC1H,YAAA,iIAAiI,CACpI;;;;;IAMH,MAAM,eAAe,GAAG,GAAG,CAAC,gBAAgB,CAAC,qBAAqB,CAAC;;IAGnE,MAAM,YAAY,GAAG,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,MAAM,KACnD,GAAG,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CACrB;IAED,MAAM,cAAc,GAClB,OAAO,EAAE,cAAc,IAAI,6BAA6B,CAAC,WAAW,CAAC;;IAGvE,IAAI,GAAG,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE;;AAExC,QAAA,OAAO,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE;AAC7B,YAAA,QAAQ,EAAE,cAAc;YACxB,cAAc;AACf,SAAA,CAA4B;;;IAI/B,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,KAAK,KAC3C,MAAM,CAAC,KAAK,EAAE,EAAE,cAAc,EAAE,CAAC,CAClC;;IAGD,OAAO,KAAK,CAAC,QAA8C,EAAE;AAC3D,QAAA,QAAQ,EAAE,cAAc;AACzB,KAAA,CAA4B;AAC/B;AAuBA,MAAM,6BAA6B,GAAG,CACpC,KAAqC,KAErC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,cAAc,KAAK,QAAQ,CAAC,GAAG,QAAQ,GAAG,OAAO;;;;"}

package/dist/type.d.mts

@@ -77,10 +77,31 @@ export type RecordTypeInternals = Readonly<{
     shapeStructure: ShapeStructure;
     excessProperty: ExcessPropertyOption;
 }>;
+/**
+ * @internal Internal properties attached to tuple types so that the element
+ * type at a given index can be recovered (e.g. by {@link at}).
+ */
+export type TupleTypeInternals = Readonly<{
+    elementTypes: readonly Type<unknown>[];
+}>;
 /** @internal Helper to flatten ShapeStructure to a simple shape if possible */
 export declare const flattenShapeStructure: (structure: ShapeStructure) => UnknownShape | undefined;
+/**
+ * @internal Expands a ShapeStructure into all possible simple shapes.
+ * For union structures, returns an array of all variant shapes.
+ * For intersection structures, computes the cartesian product of all parts.
+ *
+ * Unlike {@link flattenShapeStructure}, this never returns `undefined`: a
+ * union of records is represented as the list of its concrete member shapes.
+ *
+ * @throws If the intersection expansion would exceed
+ *   {@link EXPAND_SHAPE_STRUCTURE_MAX_VARIANTS} concrete shapes.
+ */
+export declare const expandShapeStructure: (structure: ShapeStructure) => readonly UnknownShape[];
 /** @internal Backward compatibility: simple shape accessor */
 export declare const getShape: (internals: RecordTypeInternals) => UnknownShape;
 /** @internal Runtime check for record type internals. */
 export declare const hasRecordInternals: <T extends Type<unknown>>(t: T) => t is T & RecordTypeInternals;
+/** @internal Runtime check for tuple type internals. */
+export declare const hasTupleInternals: <T extends Type<unknown>>(t: T) => t is T & TupleTypeInternals;
 //# sourceMappingURL=type.d.mts.map

package/dist/type.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"type.d.mts","sourceRoot":"","sources":["../src/type.mts"],"names":[],"mappings":"AAAA,OAAO,EAA8B,KAAK,MAAM,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEzD;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,CAAC,CAAC;IAChB,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3B,QAAQ,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC;IACxB,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC;IAExB;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,KAAK,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC,CAAC;IAEhE,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,IAAI,CAAC;CACjB,CAAC,CAAC;AAEH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,CAAC;AAEhE;;;;;;;;GAQG;AACH,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEtD,gBAAgB;AAChB,MAAM,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;AAEjE,0EAA0E;AAC1E,MAAM,MAAM,cAAc,GAAG,QAAQ,CACjC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,GACtD;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,CAC7D,CAAC;AAEF,gFAAgF;AAChF,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,cAAc,EAAE,cAAc,CAAC;IAC/B,cAAc,EAAE,oBAAoB,CAAC;CACtC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,eAAO,MAAM,qBAAqB,GAChC,WAAW,cAAc,KACxB,YAAY,GAAG,SAsBjB,CAAC;AAEF,8DAA8D;AAC9D,eAAO,MAAM,QAAQ,GAAI,WAAW,mBAAmB,KAAG,YAUzD,CAAC;AAEF,yDAAyD;AACzD,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,EACxD,GAAG,CAAC,KACH,CAAC,IAAI,CAAC,GAAG,mBAAgD,CAAC"}
+{"version":3,"file":"type.d.mts","sourceRoot":"","sources":["../src/type.mts"],"names":[],"mappings":"AAAA,OAAO,EAA8B,KAAK,MAAM,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEzD;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,CAAC,CAAC;IAChB,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3B,QAAQ,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC;IACxB,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC;IAExB;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,KAAK,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC,CAAC;IAEhE,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,IAAI,CAAC;CACjB,CAAC,CAAC;AAEH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,CAAC;AAEhE;;;;;;;;GAQG;AACH,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEtD,gBAAgB;AAChB,MAAM,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;AAEjE,0EAA0E;AAC1E,MAAM,MAAM,cAAc,GAAG,QAAQ,CACjC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,GACtD;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,CAC7D,CAAC;AAEF,gFAAgF;AAChF,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,cAAc,EAAE,cAAc,CAAC;IAC/B,cAAc,EAAE,oBAAoB,CAAC;CACtC,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,YAAY,EAAE,SAAS,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;CACxC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,eAAO,MAAM,qBAAqB,GAChC,WAAW,cAAc,KACxB,YAAY,GAAG,SAsBjB,CAAC;AAWF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,GAC/B,WAAW,cAAc,KACxB,SAAS,YAAY,EAgCvB,CAAC;AAEF,8DAA8D;AAC9D,eAAO,MAAM,QAAQ,GAAI,WAAW,mBAAmB,KAAG,YAUzD,CAAC;AAEF,yDAAyD;AACzD,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,EACxD,GAAG,CAAC,KACH,CAAC,IAAI,CAAC,GAAG,mBAAgD,CAAC;AAS7D,wDAAwD;AACxD,eAAO,MAAM,iBAAiB,GAAI,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,EACvD,GAAG,CAAC,KACH,CAAC,IAAI,CAAC,GAAG,kBAA8C,CAAC"}

package/dist/type.mjs

@@ -22,6 +22,49 @@ const flattenShapeStructure = (structure) => {
         }
     }
 };
+/**
+ * @internal Upper bound on the number of concrete shapes that
+ * {@link expandShapeStructure} may produce. Expanding an intersection of unions
+ * multiplies the variant counts, so a deeply nested structure can grow
+ * exponentially; this bound prevents excessive CPU/memory usage (mirrors the
+ * guard in `mergeRecords`).
+ */
+const EXPAND_SHAPE_STRUCTURE_MAX_VARIANTS = 10_000;
+/**
+ * @internal Expands a ShapeStructure into all possible simple shapes.
+ * For union structures, returns an array of all variant shapes.
+ * For intersection structures, computes the cartesian product of all parts.
+ *
+ * Unlike {@link flattenShapeStructure}, this never returns `undefined`: a
+ * union of records is represented as the list of its concrete member shapes.
+ *
+ * @throws If the intersection expansion would exceed
+ *   {@link EXPAND_SHAPE_STRUCTURE_MAX_VARIANTS} concrete shapes.
+ */
+const expandShapeStructure = (structure) => {
+    switch (structure.kind) {
+        case 'simple': {
+            return [structure.shape];
+        }
+        case 'union': {
+            // Union: flatten all variants
+            return structure.variants.flatMap(expandShapeStructure);
+        }
+        case 'intersection': {
+            // Intersection: compute cartesian product of all parts
+            const expandedParts = structure.parts.map(expandShapeStructure);
+            // The cartesian product size is the product of the per-part variant
+            // counts, which grows multiplicatively. Bound it before materializing to
+            // avoid excessive CPU/memory usage.
+            const estimatedVariantCount = expandedParts.reduce((acc, shapes) => acc * shapes.length, 1);
+            if (estimatedVariantCount > EXPAND_SHAPE_STRUCTURE_MAX_VARIANTS) {
+                throw new Error(`Expanding this record type would create ${estimatedVariantCount} variants, exceeding the limit of ${EXPAND_SHAPE_STRUCTURE_MAX_VARIANTS}. This could lead to excessive memory or CPU usage. Consider simplifying the record types or reducing union/intersection nesting.`);
+            }
+            const combinations = Arr.cartesianProduct(expandedParts);
+            return Arr.map(combinations, (shapes) => Obj.merge(...shapes));
+        }
+    }
+};
 /** @internal Backward compatibility: simple shape accessor */
 const getShape = (internals) => {
     const flattened = flattenShapeStructure(internals.shapeStructure);
@@ -37,6 +80,9 @@ const hasRecordInternalsImpl = (t) => isRecord(t) &&
     isValidShapeStructure(t.shapeStructure) &&
     hasKey(t, 'excessProperty') &&
     (t.excessProperty === 'allow' || t.excessProperty === 'reject');
+/** @internal Runtime check for tuple type internals. */
+const hasTupleInternals = (t) => hasTupleInternalsImpl(t);
+const hasTupleInternalsImpl = (t) => isRecord(t) && hasKey(t, 'elementTypes') && Arr.isArray(t.elementTypes);
 const isValidShapeStructure = (s) => {
     if (!isRecord(s) || !hasKey(s, 'kind'))
         return false;
@@ -56,5 +102,5 @@ const isValidShapeStructure = (s) => {
     return false;
 };
 
-export { flattenShapeStructure, getShape, hasRecordInternals };
+export { expandShapeStructure, flattenShapeStructure, getShape, hasRecordInternals, hasTupleInternals };
 //# sourceMappingURL=type.mjs.map

package/dist/type.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"type.mjs","sources":["../src/type.mts"],"sourcesContent":[null],"names":[],"mappings":";;AAmFA;AACO,MAAM,qBAAqB,GAAG,CACnC,SAAyB,KACG;AAC5B,IAAA,QAAQ,SAAS,CAAC,IAAI;QACpB,KAAK,QAAQ,EAAE;YACb,OAAO,SAAS,CAAC,KAAK;QACxB;QACA,KAAK,cAAc,EAAE;;YAEnB,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC;AAExD,YAAA,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE;;AAE7B,gBAAA,OAAO,SAAS;YAClB;;AAGA,YAAA,OAAO,GAAG,CAAC,KAAK,CAAC,GAAI,KAAiC,CAAC;QACzD;QACA,KAAK,OAAO,EAAE;;AAEZ,YAAA,OAAO,SAAS;QAClB;;AAEJ;AAEA;AACO,MAAM,QAAQ,GAAG,CAAC,SAA8B,KAAkB;IACvE,MAAM,SAAS,GAAG,qBAAqB,CAAC,SAAS,CAAC,cAAc,CAAC;AAEjE,IAAA,IAAI,SAAS,KAAK,SAAS,EAAE;AAC3B,QAAA,MAAM,IAAI,KAAK,CACb,CAAA,4HAAA,CAA8H,CAC/H;IACH;AAEA,IAAA,OAAO,SAAS;AAClB;AAEA;AACO,MAAM,kBAAkB,GAAG,CAChC,CAAI,KAC6B,sBAAsB,CAAC,CAAC;AAE3D,MAAM,sBAAsB,GAAG,CAAC,CAAU,KACxC,QAAQ,CAAC,CAAC,CAAC;AACX,IAAA,MAAM,CAAC,CAAC,EAAE,gBAAgB,CAAC;AAC3B,IAAA,qBAAqB,CAAC,CAAC,CAAC,cAAc,CAAC;AACvC,IAAA,MAAM,CAAC,CAAC,EAAE,gBAAgB,CAAC;AAC3B,KAAC,CAAC,CAAC,cAAc,KAAK,OAAO,IAAI,CAAC,CAAC,cAAc,KAAK,QAAQ,CAAC;AAEjE,MAAM,qBAAqB,GAAG,CAAC,CAAU,KAAyB;AAChE,IAAA,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;AAEpD,IAAA,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE;AACvB,QAAA,OAAO,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;IAChD;AAEA,IAAA,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE;AACtB,QAAA,QACE,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC;AACrB,YAAA,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;YACvB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAE3C;AAEA,IAAA,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,EAAE;AAC7B,QAAA,QACE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;AAClB,YAAA,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YACpB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAExC;AAEA,IAAA,OAAO,KAAK;AACd,CAAC;;;;"}
+{"version":3,"file":"type.mjs","sources":["../src/type.mts"],"sourcesContent":[null],"names":[],"mappings":";;AA2FA;AACO,MAAM,qBAAqB,GAAG,CACnC,SAAyB,KACG;AAC5B,IAAA,QAAQ,SAAS,CAAC,IAAI;QACpB,KAAK,QAAQ,EAAE;YACb,OAAO,SAAS,CAAC,KAAK;QACxB;QACA,KAAK,cAAc,EAAE;;YAEnB,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC;AAExD,YAAA,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE;;AAE7B,gBAAA,OAAO,SAAS;YAClB;;AAGA,YAAA,OAAO,GAAG,CAAC,KAAK,CAAC,GAAI,KAAiC,CAAC;QACzD;QACA,KAAK,OAAO,EAAE;;AAEZ,YAAA,OAAO,SAAS;QAClB;;AAEJ;AAEA;;;;;;AAMG;AACH,MAAM,mCAAmC,GAAG,MAAM;AAElD;;;;;;;;;;AAUG;AACI,MAAM,oBAAoB,GAAG,CAClC,SAAyB,KACE;AAC3B,IAAA,QAAQ,SAAS,CAAC,IAAI;QACpB,KAAK,QAAQ,EAAE;AACb,YAAA,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;QAC1B;QACA,KAAK,OAAO,EAAE;;YAEZ,OAAO,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,oBAAoB,CAAC;QACzD;QACA,KAAK,cAAc,EAAE;;YAEnB,MAAM,aAAa,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAC;;;;YAK/D,MAAM,qBAAqB,GAAG,aAAa,CAAC,MAAM,CAChD,CAAC,GAAG,EAAE,MAAM,KAAK,GAAG,GAAG,MAAM,CAAC,MAAM,EACpC,CAAC,CACF;AAED,YAAA,IAAI,qBAAqB,GAAG,mCAAmC,EAAE;gBAC/D,MAAM,IAAI,KAAK,CACb,CAAA,wCAAA,EAA2C,qBAAqB,CAAA,kCAAA,EAAqC,mCAAmC,CAAA,iIAAA,CAAmI,CAC5Q;YACH;YAEA,MAAM,YAAY,GAAG,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC;AAExD,YAAA,OAAO,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC;QAChE;;AAEJ;AAEA;AACO,MAAM,QAAQ,GAAG,CAAC,SAA8B,KAAkB;IACvE,MAAM,SAAS,GAAG,qBAAqB,CAAC,SAAS,CAAC,cAAc,CAAC;AAEjE,IAAA,IAAI,SAAS,KAAK,SAAS,EAAE;AAC3B,QAAA,MAAM,IAAI,KAAK,CACb,CAAA,4HAAA,CAA8H,CAC/H;IACH;AAEA,IAAA,OAAO,SAAS;AAClB;AAEA;AACO,MAAM,kBAAkB,GAAG,CAChC,CAAI,KAC6B,sBAAsB,CAAC,CAAC;AAE3D,MAAM,sBAAsB,GAAG,CAAC,CAAU,KACxC,QAAQ,CAAC,CAAC,CAAC;AACX,IAAA,MAAM,CAAC,CAAC,EAAE,gBAAgB,CAAC;AAC3B,IAAA,qBAAqB,CAAC,CAAC,CAAC,cAAc,CAAC;AACvC,IAAA,MAAM,CAAC,CAAC,EAAE,gBAAgB,CAAC;AAC3B,KAAC,CAAC,CAAC,cAAc,KAAK,OAAO,IAAI,CAAC,CAAC,cAAc,KAAK,QAAQ,CAAC;AAEjE;AACO,MAAM,iBAAiB,GAAG,CAC/B,CAAI,KAC4B,qBAAqB,CAAC,CAAC;AAEzD,MAAM,qBAAqB,GAAG,CAAC,CAAU,KACvC,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,cAAc,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC;AAEzE,MAAM,qBAAqB,GAAG,CAAC,CAAU,KAAyB;AAChE,IAAA,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;AAEpD,IAAA,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE;AACvB,QAAA,OAAO,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;IAChD;AAEA,IAAA,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE;AACtB,QAAA,QACE,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC;AACrB,YAAA,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;YACvB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAE3C;AAEA,IAAA,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,EAAE;AAC7B,QAAA,QACE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC;AAClB,YAAA,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YACpB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAExC;AAEA,IAAA,OAAO,KAAK;AACd,CAAC;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-fortress",
-  "version": "9.1.0",
+  "version": "9.2.0",
   "private": false,
   "keywords": [
     "typescript"
@@ -35,6 +35,9 @@
     "check:ext": "tsx ./scripts/cmd/check-ext.mts",
     "check-all": "tsx ./scripts/cmd/check-all.mts",
     "codemod": "run-s codemod:uncommitted:as-const fmt codemod:uncommitted:readonly fmt",
+    "codemod:diff": "run-s codemod:diff:as-const fmt codemod:diff:readonly fmt",
+    "codemod:diff:as-const": "append-as-const --diff-from origin/main '{src,scripts,samples,test}/**/*.{mts,tsx}'",
+    "codemod:diff:readonly": "convert-to-readonly --diff-from origin/main '{src,scripts,samples,test}/**/*.{mts,tsx}'",
     "codemod:full": "run-s codemod:full:as-const fmt codemod:full:readonly fmt",
     "codemod:full:as-const": "append-as-const '{src,scripts,samples,test}/**/*.{mts,tsx}'",
     "codemod:full:readonly": "convert-to-readonly '{src,scripts,samples,test}/**/*.{mts,tsx}'",

package/src/array/tuple.mts

@@ -1,5 +1,5 @@
 import { Arr, memoizeFunction, Result } from 'ts-data-forge';
-import { type Type, type TypeOf } from '../type.mjs';
+import { type TupleTypeInternals, type Type, type TypeOf } from '../type.mjs';
 import {
   createAssertFn,
   createCastFn,
@@ -83,6 +83,7 @@ export const tuple = <const A extends readonly Type<unknown>[]>(
 
   const prune = (a: T): T => Arr.map(types, (t, i) => t.prune(a[i]));
 
+  // eslint-disable-next-line total-functions/no-unsafe-type-assertion
   return {
     typeName,
     get defaultValue() {
@@ -94,5 +95,8 @@ export const tuple = <const A extends readonly Type<unknown>[]>(
     is: createIsFn(validate),
     assertIs: createAssertFn(validate),
     cast: createCastFn(validate),
-  };
+    // Retain the element types so that `at(tupleType, index)` can recover the
+    // Type at a given position.
+    elementTypes: types,
+  } satisfies Type<T> & TupleTypeInternals as Type<T>;
 };

package/src/record/at.mts

@@ -0,0 +1,120 @@
+import { Arr } from 'ts-data-forge';
+import { type IndexOfTuple, type UnknownRecord } from 'ts-type-forge';
+import { union } from '../compose/index.mjs';
+import { undefinedType } from '../primitives/index.mjs';
+import {
+  expandShapeStructure,
+  hasRecordInternals,
+  hasTupleInternals,
+  type Type,
+} from '../type.mjs';
+import { isOptionalProperty } from './optional.mjs';
+
+/**
+ * Extracts the {@link Type} stored at a single key of a record type.
+ *
+ * The first argument must be a record type (i.e. it must extend
+ * `Type<UnknownRecord>`, like {@link pick} and {@link keyof}), and the second
+ * argument is constrained to the keys declared on that record.
+ *
+ * The record type may be a simple record, an intersection (e.g. the result of
+ * {@link mergeRecords}), a union, a recursive type, or any combination of
+ * these — the underlying shape is expanded and, when a key resolves to
+ * multiple member types (as in a union), the resulting types are combined with
+ * {@link union}.
+ *
+ * @example
+ * ```ts
+ * import * as t from 'ts-fortress';
+ *
+ * const ymd = t.record({
+ *   year: t.number(1900),
+ *   month: t.number(1),
+ *   date: t.number(1),
+ * });
+ *
+ * const year = t.at(ymd, 'year'); // Type<number>
+ *
+ * year.is(2000); // true
+ * ```
+ */
+export function at<
+  const R extends UnknownRecord,
+  const K extends keyof R & string,
+>(recordType: Type<R>, key: K): Type<R[K]>;
+
+/**
+ * Extracts the {@link Type} stored at a single index of a tuple type.
+ *
+ * @example
+ * ```ts
+ * import * as t from 'ts-fortress';
+ *
+ * const tup = t.tuple([t.number(), t.string(), t.boolean()]);
+ *
+ * const second = t.at(tup, 1); // Type<string>
+ *
+ * second.is('hello'); // true
+ * ```
+ */
+export function at<
+  const T extends readonly unknown[],
+  const N extends IndexOfTuple<T>,
+>(tupleType: Type<T>, index: N): Type<T[N]>;
+
+export function at(
+  type: Type<UnknownRecord> | Type<readonly unknown[]>,
+  keyOrIndex: string | number,
+): Type<unknown> {
+  // --- Tuple index access ---
+  if (typeof keyOrIndex === 'number') {
+    if (!hasTupleInternals(type)) {
+      throw new Error(`Expected a tuple type but received: ${type.typeName}`);
+    }
+
+    const elementType = type.elementTypes[keyOrIndex];
+
+    if (elementType === undefined) {
+      throw new Error(
+        `Index ${keyOrIndex} is out of range for tuple type: ${type.typeName}`,
+      );
+    }
+
+    return elementType;
+  }
+
+  // --- Record key access ---
+  if (!hasRecordInternals(type)) {
+    throw new Error(`Expected a record type but received: ${type.typeName}`);
+  }
+
+  const shapes = expandShapeStructure(type.shapeStructure);
+
+  const memberTypes: readonly Type<unknown>[] = shapes.flatMap((shape) => {
+    const memberType = shape[keyOrIndex];
+
+    return memberType === undefined ? [] : [memberType];
+  });
+
+  // If the key is optional in any member, the accessed value may be undefined,
+  // matching the `T | undefined` produced by `R[K]` for optional keys.
+  const hasOptionalMember = memberTypes.some(isOptionalProperty);
+
+  const collected: readonly Type<unknown>[] = hasOptionalMember
+    ? ([...memberTypes, undefinedType] as const)
+    : memberTypes;
+
+  if (Arr.isArrayAtLeastLength(collected, 2)) {
+    return union(collected, {
+      typeName: `${type.typeName}[${JSON.stringify(keyOrIndex)}]`,
+    });
+  }
+
+  if (Arr.isNonEmpty(collected)) {
+    return collected[0];
+  }
+
+  throw new Error(
+    `Key ${JSON.stringify(keyOrIndex)} does not exist on record type: ${type.typeName}`,
+  );
+}

package/src/record/at.test.mts

@@ -0,0 +1,295 @@
+import { expectType } from 'ts-data-forge';
+import { array, tuple } from '../array/index.mjs';
+import { union } from '../compose/index.mjs';
+import { literal, recursion } from '../other-types/index.mjs';
+import { boolean, nullType, number, string } from '../primitives/index.mjs';
+import {
+  expandShapeStructure,
+  type ShapeStructure,
+  type Type,
+  type TypeOf,
+} from '../type.mjs';
+import { at } from './at.mjs';
+import { mergeRecords } from './merge-records.mjs';
+import { optional } from './optional.mjs';
+import { record } from './record.mjs';
+
+describe(at, () => {
+  describe('record key access', () => {
+    const ymd = record({
+      year: number(1900),
+      month: number(1),
+      date: number(1),
+    });
+
+    test('extracts the Type at a key (spec example)', () => {
+      const year = at(ymd, 'year');
+
+      expectType<typeof year, Type<number>>('=');
+
+      assert.isTrue(year.is(2000));
+
+      assert.isFalse(year.is('2000'));
+    });
+
+    test('returns the exact stored Type (defaultValue preserved)', () => {
+      const year = at(ymd, 'year');
+
+      expect(year.defaultValue).toBe(1900);
+    });
+
+    test('key argument is constrained to declared keys', () => {
+      // @ts-expect-error "nope" is not a key of ymd
+      expect(() => at(ymd, 'nope')).toThrow('does not exist');
+    });
+
+    test('single-field record', () => {
+      const r = record({ only: string() });
+
+      const only = at(r, 'only');
+
+      expectType<TypeOf<typeof only>, string>('=');
+
+      assert.isTrue(only.is('x'));
+
+      assert.isFalse(only.is(1));
+    });
+  });
+
+  describe('optional key', () => {
+    const r = record({ a: number(), b: optional(string()) });
+
+    test('accessed value includes undefined', () => {
+      const b = at(r, 'b');
+
+      expectType<TypeOf<typeof b>, string | undefined>('=');
+
+      assert.isTrue(b.is('x'));
+
+      assert.isTrue(b.is(undefined));
+
+      assert.isFalse(b.is(1));
+    });
+
+    test('required sibling key is unaffected', () => {
+      const a = at(r, 'a');
+
+      expectType<TypeOf<typeof a>, number>('=');
+
+      assert.isTrue(a.is(1));
+
+      assert.isFalse(a.is(undefined));
+    });
+  });
+
+  describe('union of records', () => {
+    const shape = union([
+      record({ type: literal('a'), value: number() }),
+      record({ type: literal('b'), value: string() }),
+    ]);
+
+    test('common key resolves to the union of member types', () => {
+      const value = at(shape, 'value');
+
+      expectType<TypeOf<typeof value>, number | string>('=');
+
+      assert.isTrue(value.is(1));
+
+      assert.isTrue(value.is('x'));
+
+      assert.isFalse(value.is(true));
+    });
+
+    test('discriminant key resolves to the union of literals', () => {
+      const type = at(shape, 'type');
+
+      expectType<TypeOf<typeof type>, 'a' | 'b'>('=');
+
+      assert.isTrue(type.is('a'));
+
+      assert.isTrue(type.is('b'));
+
+      assert.isFalse(type.is('c'));
+    });
+  });
+
+  describe('mergeRecords (intersection)', () => {
+    const merged = mergeRecords([
+      record({ a: number() }),
+      record({ b: string() }),
+    ]);
+
+    test('extracts a key from each merged part', () => {
+      const a = at(merged, 'a');
+
+      const b = at(merged, 'b');
+
+      expectType<TypeOf<typeof a>, number>('=');
+
+      expectType<TypeOf<typeof b>, string>('=');
+
+      assert.isTrue(a.is(1));
+
+      assert.isFalse(a.is('x'));
+
+      assert.isTrue(b.is('x'));
+
+      assert.isFalse(b.is(1));
+    });
+  });
+
+  describe('mergeRecords of a union (intersection containing a union)', () => {
+    const combo = mergeRecords([
+      union([record({ kind: literal('x') }), record({ kind: literal('y') })]),
+      record({ shared: number() }),
+    ]);
+
+    test('key from the union part resolves across all variants', () => {
+      const kind = at(combo, 'kind');
+
+      expectType<TypeOf<typeof kind>, 'x' | 'y'>('=');
+
+      assert.isTrue(kind.is('x'));
+
+      assert.isTrue(kind.is('y'));
+
+      assert.isFalse(kind.is('z'));
+    });
+
+    test('key from the plain part is extracted normally', () => {
+      const shared = at(combo, 'shared');
+
+      expectType<TypeOf<typeof shared>, number>('=');
+
+      assert.isTrue(shared.is(42));
+    });
+  });
+
+  describe(recursion, () => {
+    type Tree = Readonly<{ value: number; children: readonly Tree[] }>;
+
+    const TreeNode: Type<Tree> = recursion('Tree', () =>
+      record({ value: number(), children: array(TreeNode) }),
+    );
+
+    test('extracts a primitive key from a recursive record', () => {
+      const value = at(TreeNode, 'value');
+
+      expectType<TypeOf<typeof value>, number>('=');
+
+      assert.isTrue(value.is(5));
+
+      assert.isFalse(value.is('5'));
+    });
+
+    test('extracts a self-referential key', () => {
+      const children = at(TreeNode, 'children');
+
+      assert.isTrue(children.is([]));
+
+      assert.isTrue(children.is([{ value: 1, children: [] }]));
+
+      assert.isFalse(children.is('not-an-array'));
+    });
+  });
+
+  describe('recursion combined with union', () => {
+    type LinkedList = Readonly<{ value: number; next: LinkedList | null }>;
+
+    const List: Type<LinkedList> = recursion('LinkedList', () =>
+      record({ value: number(), next: union([nullType, List]) }),
+    );
+
+    test('extracts a key whose type is a union of null and the recursive type', () => {
+      const next = at(List, 'next');
+
+      expectType<TypeOf<typeof next>, LinkedList | null>('=');
+
+      assert.isTrue(next.is(null));
+
+      assert.isTrue(next.is({ value: 1, next: null }));
+
+      assert.isFalse(next.is(5));
+    });
+  });
+
+  describe('tuple index access', () => {
+    const tup = tuple([number(), string(), boolean()]);
+
+    test('extracts the Type at each index', () => {
+      const first = at(tup, 0);
+
+      const second = at(tup, 1);
+
+      const third = at(tup, 2);
+
+      expectType<TypeOf<typeof first>, number>('=');
+
+      expectType<TypeOf<typeof second>, string>('=');
+
+      expectType<TypeOf<typeof third>, boolean>('=');
+
+      assert.isTrue(first.is(1));
+
+      assert.isFalse(first.is('x'));
+
+      assert.isTrue(second.is('x'));
+
+      assert.isTrue(third.is(true));
+    });
+
+    test('index argument is constrained to valid indices', () => {
+      // @ts-expect-error 3 is out of range for a 3-element tuple
+      expect(() => at(tup, 3)).toThrow('out of range');
+    });
+  });
+
+  describe('error handling', () => {
+    test('throws when given a non-record, non-tuple type', () => {
+      expect(() => {
+        // @ts-expect-error number() is not a record type
+        at(number(), 'x');
+      }).toThrow('Expected a record type');
+    });
+  });
+
+  // `at` expands the full shape structure to resolve a key. Intersecting unions
+  // multiplies the variant counts, so the underlying `expandShapeStructure`
+  // guards against exponential blow-up.
+  describe('variant-count guard', () => {
+    const simple: ShapeStructure = {
+      kind: 'simple',
+      shape: { k: number() },
+    } as const;
+
+    test('throws when an intersection would expand to too many variants', () => {
+      const unionOf7: ShapeStructure = {
+        kind: 'union',
+        variants: [simple, simple, simple, simple, simple, simple, simple],
+      } as const;
+
+      // 7^5 = 16807 > 10_000
+      const nested: ShapeStructure = {
+        kind: 'intersection',
+        parts: [unionOf7, unionOf7, unionOf7, unionOf7, unionOf7],
+      } as const;
+
+      expect(() => expandShapeStructure(nested)).toThrow('exceeding the limit');
+    });
+
+    test('does not throw for a moderate intersection', () => {
+      const unionOf3: ShapeStructure = {
+        kind: 'union',
+        variants: [simple, simple, simple],
+      } as const;
+
+      // 3^2 = 9 <= 10_000
+      const moderate: ShapeStructure = {
+        kind: 'intersection',
+        parts: [unionOf3, unionOf3],
+      } as const;
+
+      expect(expandShapeStructure(moderate)).toHaveLength(9);
+    });
+  });
+});

package/src/record/index.mts

@@ -1,3 +1,4 @@
+export * from './at.mjs';
 export * from './key-value-record.mjs';
 export * from './keyof.mjs';
 export * from './merge-records.mjs';

package/src/record/merge-records.mts

@@ -9,10 +9,9 @@ import { literal } from '../other-types/index.mjs';
 import {
   type ExcessPropertyOption,
   type RecordTypeInternals,
-  type ShapeStructure,
   type Type,
   type TypeOf,
-  type UnknownShape,
+  expandShapeStructure,
   hasRecordInternals,
 } from '../type.mjs';
 import { toIntersectionString } from '../utils/index.mjs';
@@ -93,33 +92,6 @@ export const mergeRecords = <
   }) as MergeRecordsType<Types>;
 };
 
-/**
- * Expands a ShapeStructure into all possible simple shapes.
- * For union structures, returns an array of all variant shapes.
- * For intersection structures, computes cartesian product of all parts.
- */
-const expandShapeStructure = (
-  structure: ShapeStructure,
-): readonly UnknownShape[] => {
-  switch (structure.kind) {
-    case 'simple': {
-      return [structure.shape];
-    }
-    case 'union': {
-      // Union: flatten all variants
-      return structure.variants.flatMap(expandShapeStructure);
-    }
-    case 'intersection': {
-      // Intersection: compute cartesian product of all parts
-      const expandedParts = structure.parts.map(expandShapeStructure);
-
-      const combinations = Arr.cartesianProduct(expandedParts);
-
-      return Arr.map(combinations, (shapes) => Obj.merge(...shapes));
-    }
-  }
-};
-
 type MergeRecordsType<Types extends readonly Type<UnknownRecord>[]> = Type<
   MergedExactValue<Types>
 >;

package/src/type.mts

@@ -81,6 +81,14 @@ export type RecordTypeInternals = Readonly<{
   excessProperty: ExcessPropertyOption;
 }>;
 
+/**
+ * @internal Internal properties attached to tuple types so that the element
+ * type at a given index can be recovered (e.g. by {@link at}).
+ */
+export type TupleTypeInternals = Readonly<{
+  elementTypes: readonly Type<unknown>[];
+}>;
+
 /** @internal Helper to flatten ShapeStructure to a simple shape if possible */
 export const flattenShapeStructure = (
   structure: ShapeStructure,
@@ -108,6 +116,62 @@ export const flattenShapeStructure = (
   }
 };
 
+/**
+ * @internal Upper bound on the number of concrete shapes that
+ * {@link expandShapeStructure} may produce. Expanding an intersection of unions
+ * multiplies the variant counts, so a deeply nested structure can grow
+ * exponentially; this bound prevents excessive CPU/memory usage (mirrors the
+ * guard in `mergeRecords`).
+ */
+const EXPAND_SHAPE_STRUCTURE_MAX_VARIANTS = 10_000;
+
+/**
+ * @internal Expands a ShapeStructure into all possible simple shapes.
+ * For union structures, returns an array of all variant shapes.
+ * For intersection structures, computes the cartesian product of all parts.
+ *
+ * Unlike {@link flattenShapeStructure}, this never returns `undefined`: a
+ * union of records is represented as the list of its concrete member shapes.
+ *
+ * @throws If the intersection expansion would exceed
+ *   {@link EXPAND_SHAPE_STRUCTURE_MAX_VARIANTS} concrete shapes.
+ */
+export const expandShapeStructure = (
+  structure: ShapeStructure,
+): readonly UnknownShape[] => {
+  switch (structure.kind) {
+    case 'simple': {
+      return [structure.shape];
+    }
+    case 'union': {
+      // Union: flatten all variants
+      return structure.variants.flatMap(expandShapeStructure);
+    }
+    case 'intersection': {
+      // Intersection: compute cartesian product of all parts
+      const expandedParts = structure.parts.map(expandShapeStructure);
+
+      // The cartesian product size is the product of the per-part variant
+      // counts, which grows multiplicatively. Bound it before materializing to
+      // avoid excessive CPU/memory usage.
+      const estimatedVariantCount = expandedParts.reduce(
+        (acc, shapes) => acc * shapes.length,
+        1,
+      );
+
+      if (estimatedVariantCount > EXPAND_SHAPE_STRUCTURE_MAX_VARIANTS) {
+        throw new Error(
+          `Expanding this record type would create ${estimatedVariantCount} variants, exceeding the limit of ${EXPAND_SHAPE_STRUCTURE_MAX_VARIANTS}. This could lead to excessive memory or CPU usage. Consider simplifying the record types or reducing union/intersection nesting.`,
+        );
+      }
+
+      const combinations = Arr.cartesianProduct(expandedParts);
+
+      return Arr.map(combinations, (shapes) => Obj.merge(...shapes));
+    }
+  }
+};
+
 /** @internal Backward compatibility: simple shape accessor */
 export const getShape = (internals: RecordTypeInternals): UnknownShape => {
   const flattened = flattenShapeStructure(internals.shapeStructure);
@@ -133,6 +197,14 @@ const hasRecordInternalsImpl = (t: unknown): t is RecordTypeInternals =>
   hasKey(t, 'excessProperty') &&
   (t.excessProperty === 'allow' || t.excessProperty === 'reject');
 
+/** @internal Runtime check for tuple type internals. */
+export const hasTupleInternals = <T extends Type<unknown>>(
+  t: T,
+): t is T & TupleTypeInternals => hasTupleInternalsImpl(t);
+
+const hasTupleInternalsImpl = (t: unknown): t is TupleTypeInternals =>
+  isRecord(t) && hasKey(t, 'elementTypes') && Arr.isArray(t.elementTypes);
+
 const isValidShapeStructure = (s: unknown): s is ShapeStructure => {
   if (!isRecord(s) || !hasKey(s, 'kind')) return false;