typegpu 0.10.2 → 0.11.0

package/data/snippet.js

@@ -1,11 +1,18 @@
 import { DEV } from "../shared/env.js";
 import { isNumericSchema } from "./wgslTypes.js";
 import { undecorate } from "./dataTypes.js";
-
 //#region src/data/snippet.ts
 function isEphemeralOrigin(space) {
 	return space === "runtime" || space === "constant" || space === "argument";
 }
+/**
+* What happens to a snippet's origin when it's deep copied in JS, and left as is in WGSL?
+* e.g. `vec3f(vec3f(0, 1, 2))`
+*/
+function fallthroughCopyOrigin(origin) {
+	if (origin === "runtime" || origin === "constant") return origin;
+	return "runtime";
+}
 function isEphemeralSnippet(snippet) {
 	return isEphemeralOrigin(snippet.origin);
 }
@@ -40,6 +47,9 @@ const originToPtrParams = {
 	}
 };
 var SnippetImpl = class {
+	value;
+	dataType;
+	origin;
 	constructor(value, dataType, origin) {
 		this.value = value;
 		this.dataType = dataType;
@@ -56,6 +66,5 @@ function snip(value, dataType, origin) {
 	if (DEV && isSnippet(value)) throw new Error("Cannot nest snippets");
 	return new SnippetImpl(value, undecorate(dataType), origin);
 }
-
 //#endregion
-export { isEphemeralOrigin, isEphemeralSnippet, isSnippet, isSnippetNumeric, originToPtrParams, snip };
+export { fallthroughCopyOrigin, isEphemeralOrigin, isEphemeralSnippet, isSnippet, isSnippetNumeric, originToPtrParams, snip };

package/data/struct.js

@@ -2,7 +2,6 @@ import { $internal } from "../shared/symbols.js";
 import { getName, setName } from "../shared/meta.js";
 import { schemaCallWrapper } from "./schemaCallWrapper.js";
 import { isValidProp } from "../nameRegistry.js";
-
 //#region src/data/struct.ts
 /**
 * Creates a struct schema that can be used to construct GPU buffers.
@@ -41,6 +40,5 @@ const WgslStructImpl = {
 		return `struct:${getName(this) ?? "<unnamed>"}`;
 	}
 };
-
 //#endregion
-export { INTERNAL_createStruct, abstruct, struct };
+export { INTERNAL_createStruct, abstruct, struct };

package/data/texture.js

@@ -1,6 +1,5 @@
 import { $internal, $repr } from "../shared/symbols.js";
 import { f32 } from "./numeric.js";
-
 //#region src/data/texture.ts
 function textureDescriptorToSchema(desc) {
 	if ("multisampled" in desc) {
@@ -203,6 +202,5 @@ function isWgslStorageTexture(value) {
 function isWgslExternalTexture(value) {
 	return !!value[$internal] && value.type === "texture_external";
 }
-
 //#endregion
-export { accessModeMap, isWgslExternalTexture, isWgslStorageTexture, isWgslTexture, texture1d, texture2d, texture2dArray, texture3d, textureCube, textureCubeArray, textureDepth2d, textureDepth2dArray, textureDepthCube, textureDepthCubeArray, textureDepthMultisampled2d, textureDescriptorToSchema, textureExternal, textureMultisampled2d, textureStorage1d, textureStorage2d, textureStorage2dArray, textureStorage3d };
+export { accessModeMap, isWgslExternalTexture, isWgslStorageTexture, isWgslTexture, texture1d, texture2d, texture2dArray, texture3d, textureCube, textureCubeArray, textureDepth2d, textureDepth2dArray, textureDepthCube, textureDepthCubeArray, textureDepthMultisampled2d, textureDescriptorToSchema, textureExternal, textureMultisampled2d, textureStorage1d, textureStorage2d, textureStorage2dArray, textureStorage3d };

package/data/unstruct.js

@@ -1,7 +1,6 @@
 import { $internal } from "../shared/symbols.js";
 import { getName, setName } from "../shared/meta.js";
 import { schemaCallWrapper } from "./schemaCallWrapper.js";
-
 //#region src/data/unstruct.ts
 /**
 * Creates a loose struct schema that can be used to construct vertex buffers.
@@ -38,6 +37,5 @@ const UnstructImpl = {
 		return `unstruct:${getName(this) ?? "<unnamed>"}`;
 	}
 };
-
 //#endregion
-export { unstruct };
+export { unstruct };

package/data/vector.js

@@ -1,10 +1,8 @@
 import { $internal, $repr } from "../shared/symbols.js";
 import { isVec } from "./wgslTypes.js";
-import { stitch } from "../core/resolve/stitch.js";
 import { callableSchema } from "../core/function/createCallableSchema.js";
 import { bool, f16, f32, i32, u32 } from "./numeric.js";
 import { Vec2bImpl, Vec2fImpl, Vec2hImpl, Vec2iImpl, Vec2uImpl, Vec3bImpl, Vec3fImpl, Vec3hImpl, Vec3iImpl, Vec3uImpl, Vec4bImpl, Vec4fImpl, Vec4hImpl, Vec4iImpl, Vec4uImpl } from "./vectorImpl.js";
-
 //#region src/data/vector.ts
 /**
 * Schema representing vec2f - a vector with 2 elements of type f32.
@@ -222,15 +220,10 @@ function makeVecSchema(VecImpl, primitive) {
 	};
 	const construct = callableSchema({
 		name: type,
-		signature: (...args) => ({
-			argTypes: args.map((arg) => isVec(arg) ? arg : primitive),
-			returnType: schema
-		}),
+		schema: () => schema,
+		argTypes: (...args) => args.map((arg) => isVec(arg) ? arg : primitive),
 		normalImpl: cpuConstruct,
-		codegenImpl: (_ctx, args) => {
-			if (args.length === 1 && args[0]?.dataType === schema) return stitch`${args[0]}`;
-			return stitch`${type}(${args})`;
-		}
+		codegenImpl: (ctx, args) => ctx.gen.typeInstantiation(schema, args)
 	});
 	const schema = Object.assign(construct, {
 		[$internal]: {},
@@ -242,6 +235,5 @@ function makeVecSchema(VecImpl, primitive) {
 	VecImpl.prototype.schema = schema;
 	return schema;
 }
-
 //#endregion
-export { vec2b, vec2f, vec2h, vec2i, vec2u, vec3b, vec3f, vec3h, vec3i, vec3u, vec4b, vec4f, vec4h, vec4i, vec4u, vecTypeToConstructor };
+export { vec2b, vec2f, vec2h, vec2i, vec2u, vec3b, vec3f, vec3h, vec3i, vec3u, vec4b, vec4f, vec4h, vec4i, vec4u, vecTypeToConstructor };

package/data/vectorImpl.js

@@ -1,7 +1,7 @@
 import { $internal, $resolve } from "../shared/symbols.js";
-import { snip } from "./snippet.js";
+import { WORKAROUND_getSchema } from "./wgslTypes.js";
 import { bool, f16, f32, i32, u32 } from "./numeric.js";
-
+import { numericLiteralToSnippet } from "../tgsl/generationHelpers.js";
 //#region src/data/vectorImpl.ts
 const XYZW = [
 	"x",
@@ -51,14 +51,14 @@ var VecBase = class VecBase extends Array {
 	castElement() {
 		return this[$internal].elementSchema;
 	}
-	[$resolve]() {
-		const schema = this[$internal].elementSchema;
-		if (this.every((e) => !e)) return snip(`${this.kind}()`, schema, "constant");
-		if (this.every((e) => this[0] === e)) return snip(`${this.kind}(${this[0]})`, schema, "runtime");
-		return snip(`${this.kind}(${this.join(", ")})`, schema, "runtime");
+	[$resolve](ctx) {
+		const vecSchema = WORKAROUND_getSchema(this);
+		if (this.every((e) => !e)) return ctx.gen.typeInstantiation(vecSchema, []);
+		if (this.every((e) => this[0] === e)) return ctx.gen.typeInstantiation(vecSchema, [numericLiteralToSnippet(this[0])]);
+		return ctx.gen.typeInstantiation(vecSchema, this.map((e) => numericLiteralToSnippet(e)));
 	}
 	toString() {
-		return this[$resolve]().value;
+		return `${this.kind}(${this.join(", ")})`;
 	}
 };
 var Vec2 = class extends VecBase {
@@ -213,46 +213,46 @@ var Vec4 = class extends VecBase {
 	get y() {
 		return this[1];
 	}
-	get r() {
-		return this[0];
-	}
-	get g() {
-		return this[1];
-	}
-	get b() {
+	get z() {
 		return this[2];
 	}
-	get a() {
+	get w() {
 		return this[3];
 	}
-	set r(value) {
+	set x(value) {
 		this[0] = value;
 	}
-	set g(value) {
+	set y(value) {
 		this[1] = value;
 	}
-	set b(value) {
+	set z(value) {
 		this[2] = value;
 	}
-	set a(value) {
+	set w(value) {
 		this[3] = value;
 	}
-	get z() {
+	get r() {
+		return this[0];
+	}
+	get g() {
+		return this[1];
+	}
+	get b() {
 		return this[2];
 	}
-	get w() {
+	get a() {
 		return this[3];
 	}
-	set x(value) {
+	set r(value) {
 		this[0] = value;
 	}
-	set y(value) {
+	set g(value) {
 		this[1] = value;
 	}
-	set z(value) {
+	set b(value) {
 		this[2] = value;
 	}
-	set w(value) {
+	set a(value) {
 		this[3] = value;
 	}
 };
@@ -511,6 +511,5 @@ var Vec4bImpl = class Vec4bImpl extends Vec4 {
 		return Vec4bImpl;
 	}
 };
-
 //#endregion
-export { Vec2bImpl, Vec2fImpl, Vec2hImpl, Vec2iImpl, Vec2uImpl, Vec3bImpl, Vec3fImpl, Vec3hImpl, Vec3iImpl, Vec3uImpl, Vec4bImpl, Vec4fImpl, Vec4hImpl, Vec4iImpl, Vec4uImpl, VecBase };
+export { Vec2bImpl, Vec2fImpl, Vec2hImpl, Vec2iImpl, Vec2uImpl, Vec3bImpl, Vec3fImpl, Vec3hImpl, Vec3iImpl, Vec3uImpl, Vec4bImpl, Vec4fImpl, Vec4hImpl, Vec4iImpl, Vec4uImpl, VecBase };

package/data/vectorOps.js

@@ -1,7 +1,6 @@
 import { vec2b as vec2b$1, vec2f as vec2f$1, vec2h as vec2h$1, vec2i as vec2i$1, vec2u as vec2u$1, vec3b as vec3b$1, vec3f as vec3f$1, vec3h as vec3h$1, vec3i as vec3i$1, vec3u as vec3u$1, vec4b as vec4b$1, vec4f as vec4f$1, vec4h as vec4h$1, vec4i as vec4i$1, vec4u as vec4u$1 } from "./vector.js";
 import { mat2x2f, mat3x3f, mat4x4f } from "./matrix.js";
 import { bitcastU32toF32Impl, bitcastU32toI32Impl, clamp, divInteger, smoothstepScalar } from "./numberOps.js";
-
 //#region src/data/vectorOps.ts
 const vec2b = vec2b$1;
 const vec2f = vec2f$1;
@@ -60,6 +59,9 @@ const binaryComponentWise4f = (op) => (a, b) => vec4f(op(a.x, b.x), op(a.y, b.y)
 const binaryComponentWise4h = (op) => (a, b) => vec4h(op(a.x, b.x), op(a.y, b.y), op(a.z, b.z), op(a.w, b.w));
 const binaryComponentWise4i = (op) => (a, b) => vec4i(op(a.x, b.x), op(a.y, b.y), op(a.z, b.z), op(a.w, b.w));
 const binaryComponentWise4u = (op) => (a, b) => vec4u(op(a.x, b.x), op(a.y, b.y), op(a.z, b.z), op(a.w, b.w));
+const binaryComponentWise2i2u = (op) => (a, b) => vec2i(op(a.x, b.x), op(a.y, b.y));
+const binaryComponentWise3i3u = (op) => (a, b) => vec3i(op(a.x, b.x), op(a.y, b.y), op(a.z, b.z));
+const binaryComponentWise4i4u = (op) => (a, b) => vec4i(op(a.x, b.x), op(a.y, b.y), op(a.z, b.z), op(a.w, b.w));
 const binaryComponentWise2x2f = (op) => (a, b) => {
 	const a_ = a.columns;
 	const b_ = b.columns;
@@ -648,6 +650,22 @@ const VectorOps = {
 		vec4f: unary4f(Math.tanh),
 		vec4h: unary4h(Math.tanh)
 	},
+	bitShiftLeft: {
+		vec2i: binaryComponentWise2i2u((a, b) => a << b),
+		vec2u: binaryComponentWise2u((a, b) => a << b),
+		vec3i: binaryComponentWise3i3u((a, b) => a << b),
+		vec3u: binaryComponentWise3u((a, b) => a << b),
+		vec4i: binaryComponentWise4i4u((a, b) => a << b),
+		vec4u: binaryComponentWise4u((a, b) => a << b)
+	},
+	bitShiftRight: {
+		vec2i: binaryComponentWise2i2u((a, b) => a >> b),
+		vec2u: binaryComponentWise2u((a, b) => a >> b),
+		vec3i: binaryComponentWise3i3u((a, b) => a >> b),
+		vec3u: binaryComponentWise3u((a, b) => a >> b),
+		vec4i: binaryComponentWise4i4u((a, b) => a >> b),
+		vec4u: binaryComponentWise4u((a, b) => a >> b)
+	},
 	bitcastU32toF32: {
 		vec2u: (n) => vec2f(bitcastU32toF32Impl(n.x), bitcastU32toF32Impl(n.y)),
 		vec3u: (n) => vec3f(bitcastU32toF32Impl(n.x), bitcastU32toF32Impl(n.y), bitcastU32toF32Impl(n.z)),
@@ -659,6 +677,5 @@ const VectorOps = {
 		vec4u: (n) => vec4i(bitcastU32toI32Impl(n.x), bitcastU32toI32Impl(n.y), bitcastU32toI32Impl(n.z), bitcastU32toI32Impl(n.w))
 	}
 };
-
 //#endregion
-export { VectorOps };
+export { VectorOps };

package/data/vertexFormatData.js

@@ -2,10 +2,10 @@ import { $cast, $gpuCallable, $internal, isMarkedInternal } from "../shared/symb
 import { schemaCallWrapper, schemaCallWrapperGPU } from "./schemaCallWrapper.js";
 import { f32, i32, u32 } from "./numeric.js";
 import { vec2f, vec2i, vec2u, vec3f, vec3i, vec3u, vec4f, vec4i, vec4u } from "./vector.js";
-
 //#region src/data/vertexFormatData.ts
 var TgpuVertexFormatDataImpl = class {
 	[$internal] = {};
+	type;
 	[$gpuCallable];
 	constructor(type) {
 		this.type = type;
@@ -105,6 +105,5 @@ const unorm8x4_bgra = new TgpuVertexFormatDataImpl("unorm8x4-bgra");
 function isPackedData(value) {
 	return isMarkedInternal(value) && packedFormats.has(value?.type);
 }
-
 //#endregion
-export { float16, float16x2, float16x4, float32, float32x2, float32x3, float32x4, formatToWGSLType, isPackedData, packedFormats, sint16, sint16x2, sint16x4, sint32, sint32x2, sint32x3, sint32x4, sint8, sint8x2, sint8x4, snorm16, snorm16x2, snorm16x4, snorm8, snorm8x2, snorm8x4, uint16, uint16x2, uint16x4, uint32, uint32x2, uint32x3, uint32x4, uint8, uint8x2, uint8x4, unorm10_10_10_2, unorm16, unorm16x2, unorm16x4, unorm8, unorm8x2, unorm8x4, unorm8x4_bgra };
+export { float16, float16x2, float16x4, float32, float32x2, float32x3, float32x4, formatToWGSLType, isPackedData, packedFormats, sint16, sint16x2, sint16x4, sint32, sint32x2, sint32x3, sint32x4, sint8, sint8x2, sint8x4, snorm16, snorm16x2, snorm16x4, snorm8, snorm8x2, snorm8x4, uint16, uint16x2, uint16x4, uint32, uint32x2, uint32x3, uint32x4, uint8, uint8x2, uint8x4, unorm10_10_10_2, unorm16, unorm16x2, unorm16x4, unorm8, unorm8x2, unorm8x4, unorm8x4_bgra };

package/data/wgslTypes.d.ts

@@ -1,13 +1,11 @@
 import { TgpuNamable } from "../shared/meta.js";
-import { $gpuRepr, $internal, $invalidSchemaReason, $memIdent, $repr, $reprPartial, $validStorageSchema, $validUniformSchema, $validVertexSchema } from "../shared/symbols.js";
+import { $gpuRepr, $inRepr, $internal, $invalidSchemaReason, $memIdent, $repr, $reprPartial, $reprPatch, $validStorageSchema, $validUniformSchema, $validVertexSchema } from "../shared/symbols.js";
 import { Prettify, SwapNever } from "../shared/utilityTypes.js";
 import { WgslComparisonSampler, WgslSampler } from "./sampler.js";
 import { DualFn } from "../types.js";
 import { _ref } from "./ref.js";
 import { WgslExternalTexture, WgslStorageTexture, WgslTexture } from "./texture.js";
-import { ExtractInvalidSchemaError, Infer, InferGPU, InferGPURecord, InferPartial, InferPartialRecord, InferRecord, IsValidStorageSchema, IsValidUniformSchema, IsValidVertexSchema, MemIdentity, MemIdentityRecord } from "../shared/repr.js";
-import "tsover-runtime";
-
+import { ExtractInvalidSchemaError, Infer, InferGPU, InferGPURecord, InferInput, InferInputRecord, InferPartial, InferPartialRecord, InferPatch, InferPatchRecord, InferRecord, IsValidStorageSchema, IsValidUniformSchema, IsValidVertexSchema, MemIdentity, MemIdentityRecord } from "../shared/repr.js";
 //#region src/data/wgslTypes.d.ts
 type DecoratedLocation<T extends BaseData> = Decorated<T, Location[]>;
 interface BaseData {
@@ -21,6 +19,10 @@ interface NumberArrayView {
   [n: number]: number;
   [Symbol.iterator]: () => Iterator<number>;
 }
+/**
+ * Maps a scalar, vector, or matrix element schema to the corresponding TypedArray type.
+ */
+type TypedArrayFor<T> = T extends F32 | Vec2f | Vec3f | Vec4f | Mat2x2f | Mat3x3f | Mat4x4f ? Float32Array : T extends F16 | Vec2h | Vec3h | Vec4h ? Float16Array : T extends I32 | Vec2i | Vec3i | Vec4i | Atomic<I32> ? Int32Array : T extends U32 | Vec2u | Vec3u | Vec4u | Atomic<U32> ? Uint32Array : T extends U16 ? Uint16Array : T extends Decorated<infer TBase> ? TypedArrayFor<TBase> : never;
 /**
  * Vector infix notation.
  *
@@ -40,6 +42,11 @@ interface vecInfixNotation<T extends vecBase> {
   [Symbol.operatorSlash](lhs: T | number, rhs: T | number): T;
   [Symbol.operatorPercent](lhs: T | number, rhs: T | number): T;
 }
+type vecIToVecU<T extends AnyIntegerVecInstance> = T extends v2i | v2u ? v2u : T extends v3i | v3u ? v3u : v4u;
+interface vecBitShiftNotation<T extends AnyIntegerVecInstance> {
+  bitShiftLeft(rhs: vecIToVecU<T> | number): T;
+  bitShiftRight(rhs: vecIToVecU<T> | number): T;
+}
 /**
  * Matrix infix notation.
  *
@@ -141,7 +148,7 @@ interface v2h extends Tuple2<number>, Swizzle2<v2h, v3h, v4h>, vecInfixNotation<
  * Interface representing its WGSL vector type counterpart: vec2i or vec2<i32>.
  * A vector with 2 elements of type i32
  */
-interface v2i extends Tuple2<number>, Swizzle2<v2i, v3i, v4i>, vecInfixNotation<v2i> {
+interface v2i extends Tuple2<number>, Swizzle2<v2i, v3i, v4i>, vecInfixNotation<v2i>, vecBitShiftNotation<v2i> {
   readonly [$internal]: true;
   /** use to distinguish between vectors of the same size on the type level */
   readonly kind: 'vec2i';
@@ -154,7 +161,7 @@ interface v2i extends Tuple2<number>, Swizzle2<v2i, v3i, v4i>, vecInfixNotation<
  * Interface representing its WGSL vector type counterpart: vec2u or vec2<u32>.
  * A vector with 2 elements of type u32
  */
-interface v2u extends Tuple2<number>, Swizzle2<v2u, v3u, v4u>, vecInfixNotation<v2u> {
+interface v2u extends Tuple2<number>, Swizzle2<v2u, v3u, v4u>, vecInfixNotation<v2u>, vecBitShiftNotation<v2u> {
   readonly [$internal]: true;
   /** use to distinguish between vectors of the same size on the type level */
   readonly kind: 'vec2u';
@@ -210,7 +217,7 @@ interface v3h extends Tuple3<number>, Swizzle3<v2h, v3h, v4h>, vecInfixNotation<
  * Interface representing its WGSL vector type counterpart: vec3i or vec3<i32>.
  * A vector with 3 elements of type i32
  */
-interface v3i extends Tuple3<number>, Swizzle3<v2i, v3i, v4i>, vecInfixNotation<v3i> {
+interface v3i extends Tuple3<number>, Swizzle3<v2i, v3i, v4i>, vecInfixNotation<v3i>, vecBitShiftNotation<v3i> {
   readonly [$internal]: true;
   /** use to distinguish between vectors of the same size on the type level */
   readonly kind: 'vec3i';
@@ -225,7 +232,7 @@ interface v3i extends Tuple3<number>, Swizzle3<v2i, v3i, v4i>, vecInfixNotation<
  * Interface representing its WGSL vector type counterpart: vec3u or vec3<u32>.
  * A vector with 3 elements of type u32
  */
-interface v3u extends Tuple3<number>, Swizzle3<v2u, v3u, v4u>, vecInfixNotation<v3u> {
+interface v3u extends Tuple3<number>, Swizzle3<v2u, v3u, v4u>, vecInfixNotation<v3u>, vecBitShiftNotation<v3u> {
   readonly [$internal]: true;
   /** use to distinguish between vectors of the same size on the type level */
   readonly kind: 'vec3u';
@@ -289,7 +296,7 @@ interface v4h extends Tuple4<number>, Swizzle4<v2h, v3h, v4h>, vecInfixNotation<
  * Interface representing its WGSL vector type counterpart: vec4i or vec4<i32>.
  * A vector with 4 elements of type i32
  */
-interface v4i extends Tuple4<number>, Swizzle4<v2i, v3i, v4i>, vecInfixNotation<v4i> {
+interface v4i extends Tuple4<number>, Swizzle4<v2i, v3i, v4i>, vecInfixNotation<v4i>, vecBitShiftNotation<v4i> {
   readonly [$internal]: true;
   /** use to distinguish between vectors of the same size on the type level */
   readonly kind: 'vec4i';
@@ -306,7 +313,7 @@ interface v4i extends Tuple4<number>, Swizzle4<v2i, v3i, v4i>, vecInfixNotation<
  * Interface representing its WGSL vector type counterpart: vec4u or vec4<u32>.
  * A vector with 4 elements of type u32
  */
-interface v4u extends Tuple4<number>, Swizzle4<v2u, v3u, v4u>, vecInfixNotation<v4u> {
+interface v4u extends Tuple4<number>, Swizzle4<v2u, v3u, v4u>, vecInfixNotation<v4u>, vecBitShiftNotation<v4u> {
   readonly [$internal]: true;
   /** use to distinguish between vectors of the same size on the type level */
   readonly kind: 'vec4u';
@@ -482,6 +489,7 @@ interface Vec2f extends BaseData, DualFn<((x: number, y: number) => v2f) & ((xy:
   readonly primitive: F32;
   readonly componentCount: 2;
   readonly [$repr]: v2f;
+  readonly [$inRepr]: v2f | [number, number] | Float32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -494,6 +502,7 @@ interface Vec2h extends BaseData, DualFn<((x: number, y: number) => v2h) & ((xy:
   readonly primitive: F16;
   readonly componentCount: 2;
   readonly [$repr]: v2h;
+  readonly [$inRepr]: v2h | [number, number] | Float16Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -506,6 +515,7 @@ interface Vec2i extends BaseData, DualFn<((x: number, y: number) => v2i) & ((xy:
   readonly primitive: I32;
   readonly componentCount: 2;
   readonly [$repr]: v2i;
+  readonly [$inRepr]: v2i | [number, number] | Int32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -518,6 +528,7 @@ interface Vec2u extends BaseData, DualFn<((x: number, y: number) => v2u) & ((xy:
   readonly primitive: U32;
   readonly componentCount: 2;
   readonly [$repr]: v2u;
+  readonly [$inRepr]: v2u | [number, number] | Uint32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -541,6 +552,7 @@ interface Vec3f extends BaseData, DualFn<((x: number, y: number, z: number) => v
   readonly primitive: F32;
   readonly componentCount: 3;
   readonly [$repr]: v3f;
+  readonly [$inRepr]: v3f | [number, number, number] | Float32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -553,6 +565,7 @@ interface Vec3h extends BaseData, DualFn<((x: number, y: number, z: number) => v
   readonly primitive: F16;
   readonly componentCount: 3;
   readonly [$repr]: v3h;
+  readonly [$inRepr]: v3h | [number, number, number] | Float16Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -565,6 +578,7 @@ interface Vec3i extends BaseData, DualFn<((x: number, y: number, z: number) => v
   readonly primitive: I32;
   readonly componentCount: 3;
   readonly [$repr]: v3i;
+  readonly [$inRepr]: v3i | [number, number, number] | Int32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -577,6 +591,7 @@ interface Vec3u extends BaseData, DualFn<((x: number, y: number, z: number) => v
   readonly primitive: U32;
   readonly componentCount: 3;
   readonly [$repr]: v3u;
+  readonly [$inRepr]: v3u | [number, number, number] | Uint32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -600,6 +615,7 @@ interface Vec4f extends BaseData, DualFn<((x: number, y: number, z: number, w: n
   readonly primitive: F32;
   readonly componentCount: 4;
   readonly [$repr]: v4f;
+  readonly [$inRepr]: v4f | [number, number, number, number] | Float32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -612,6 +628,7 @@ interface Vec4h extends BaseData, DualFn<((x: number, y: number, z: number, w: n
   readonly primitive: F16;
   readonly componentCount: 4;
   readonly [$repr]: v4h;
+  readonly [$inRepr]: v4h | [number, number, number, number] | Float16Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -624,6 +641,7 @@ interface Vec4i extends BaseData, DualFn<((x: number, y: number, z: number, w: n
   readonly primitive: I32;
   readonly componentCount: 4;
   readonly [$repr]: v4i;
+  readonly [$inRepr]: v4i | [number, number, number, number] | Int32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -636,6 +654,7 @@ interface Vec4u extends BaseData, DualFn<((x: number, y: number, z: number, w: n
   readonly primitive: U32;
   readonly componentCount: 4;
   readonly [$repr]: v4u;
+  readonly [$inRepr]: v4u | [number, number, number, number] | Uint32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   readonly [$validVertexSchema]: true;
@@ -658,6 +677,7 @@ interface Mat2x2f extends BaseData {
   readonly type: 'mat2x2f';
   readonly primitive: F32;
   readonly [$repr]: m2x2f;
+  readonly [$inRepr]: m2x2f | number[] | Float32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   (...elements: [number, number, number, number]): m2x2f;
@@ -672,6 +692,7 @@ interface Mat3x3f extends BaseData {
   readonly type: 'mat3x3f';
   readonly primitive: F32;
   readonly [$repr]: m3x3f;
+  readonly [$inRepr]: m3x3f | number[] | Float32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   (...elements: [number, number, number, number, number, number, number, number, number]): m3x3f;
@@ -686,6 +707,7 @@ interface Mat4x4f extends BaseData {
   readonly type: 'mat4x4f';
   readonly primitive: F32;
   readonly [$repr]: m4x4f;
+  readonly [$inRepr]: m4x4f | number[] | Float32Array;
   readonly [$validStorageSchema]: true;
   readonly [$validUniformSchema]: true;
   (...elements: [number, number, number, number, number, number, number, number, number, number, number, number, number, number, number, number]): m4x4f;
@@ -712,11 +734,13 @@ interface WgslArray<out TElement extends BaseData = BaseData> extends BaseData {
   readonly elementCount: number;
   readonly elementType: TElement;
   readonly [$repr]: Infer<TElement>[];
+  readonly [$inRepr]: InferInput<TElement>[] | TypedArrayFor<TElement>;
   readonly [$gpuRepr]: InferGPU<TElement>[];
   readonly [$reprPartial]: {
     idx: number;
     value: InferPartial<TElement>;
   }[] | undefined;
+  readonly [$reprPatch]: Record<number, InferPatch<TElement>> | InferInput<TElement>[] | TypedArrayFor<TElement> | undefined;
   readonly [$memIdent]: WgslArray<MemIdentity<TElement>>;
   readonly [$validStorageSchema]: IsValidStorageSchema<TElement>;
   readonly [$validUniformSchema]: IsValidUniformSchema<TElement>;
@@ -739,9 +763,11 @@ interface WgslStruct<out TProps extends Record<string, BaseData> = Record<string
   (props: Prettify<InferRecord<TProps>>): Prettify<InferRecord<TProps>>;
   (): Prettify<InferRecord<TProps>>;
   readonly [$repr]: Prettify<InferRecord<TProps>>;
+  readonly [$inRepr]: Prettify<InferInputRecord<TProps>>;
   readonly [$gpuRepr]: Prettify<InferGPURecord<TProps>>;
   readonly [$memIdent]: WgslStruct<Prettify<MemIdentityRecord<TProps>>>;
   readonly [$reprPartial]: Prettify<Partial<InferPartialRecord<TProps>>> | undefined;
+  readonly [$reprPatch]: Prettify<Partial<InferPatchRecord<TProps>>> | undefined;
   readonly [$invalidSchemaReason]: SwapNever<{ [K in keyof TProps]: ExtractInvalidSchemaError<TProps[K], `in struct property '${K & string}' — `> }[keyof TProps], undefined>;
   readonly [$validStorageSchema]: { [K in keyof TProps]: IsValidStorageSchema<TProps[K]> }[keyof TProps] extends true ? true : false;
   readonly [$validUniformSchema]: { [K in keyof TProps]: IsValidUniformSchema<TProps[K]> }[keyof TProps] extends true ? true : false;
@@ -819,8 +845,10 @@ interface Decorated<out TInner extends BaseData = BaseData, out TAttribs extends
   readonly inner: TInner;
   readonly attribs: TAttribs;
   readonly [$repr]: Infer<TInner>;
+  readonly [$inRepr]: InferInput<TInner>;
   readonly [$gpuRepr]: InferGPU<TInner>;
   readonly [$reprPartial]: InferPartial<TInner>;
+  readonly [$reprPatch]: InferPatch<TInner>;
   readonly [$memIdent]: TAttribs extends Location[] ? MemIdentity<TInner> | Decorated<MemIdentity<TInner>, TAttribs> : Decorated<MemIdentity<TInner>, TAttribs>;
   readonly [$validStorageSchema]: IsValidStorageSchema<TInner>;
   readonly [$validUniformSchema]: IsValidUniformSchema<TInner>;
@@ -893,4 +921,4 @@ declare function isInterpolateAttrib<T extends InterpolationType>(value: unknown
 declare function isBuiltinAttrib(value: unknown): value is Builtin<string>;
 declare function isDecorated(value: unknown): value is Decorated;
 //#endregion
-export { AbstractFloat, AbstractInt, Align, AnyBooleanVecInstance, AnyFloat32VecInstance, AnyFloatVecInstance, AnyIntegerVecInstance, AnyMatInstance, AnyNumericVecInstance, AnySignedVecInstance, AnyVec2Instance, AnyVec3Instance, AnyVecInstance, AnyWgslData, AnyWgslStruct, Atomic, BaseData, Bool, Builtin, Decorated, F16, F32, FlatInterpolatableData, FlatInterpolationType, I32, Interpolate, Invariant, IsWgslData, Location, Mat2x2f, Mat3x3f, Mat4x4f, PerspectiveOrLinearInterpolatableData, PerspectiveOrLinearInterpolationType, Ptr, Size, StorableData, TextureSampleTypes, U16, U32, Vec2b, Vec2f, Vec2h, Vec2i, Vec2u, Vec3b, Vec3f, Vec3h, Vec3i, Vec3u, Vec4b, Vec4f, Vec4h, Vec4i, Vec4u, Void, WgslArray, WgslStruct, atomicI32, atomicU32, isAlignAttrib, isAtomic, isBuiltinAttrib, isDecorated, isInterpolateAttrib, isLocationAttrib, isPtr, isSizeAttrib, isWgslArray, isWgslData, isWgslStruct, m2x2f, m3x3f, m4x4f, mBaseForVec, matBase, v2b, v2f, v2h, v2i, v2u, v3b, v3f, v3h, v3i, v3u, v4b, v4f, v4h, v4i, v4u, vBaseForMat, vecBase };
+export { AbstractFloat, AbstractInt, Align, AnyBooleanVecInstance, AnyFloat32VecInstance, AnyFloatVecInstance, AnyIntegerVecInstance, AnyMatInstance, AnyNumericVecInstance, AnySignedVecInstance, AnyVec2Instance, AnyVec3Instance, AnyVecInstance, AnyWgslData, AnyWgslStruct, Atomic, BaseData, Bool, Builtin, Decorated, F16, F32, FlatInterpolatableData, FlatInterpolationType, I32, Interpolate, Invariant, IsWgslData, Location, Mat2x2f, Mat3x3f, Mat4x4f, PerspectiveOrLinearInterpolatableData, PerspectiveOrLinearInterpolationType, Ptr, Size, StorableData, TextureSampleTypes, TypedArrayFor, U16, U32, Vec2b, Vec2f, Vec2h, Vec2i, Vec2u, Vec3b, Vec3f, Vec3h, Vec3i, Vec3u, Vec4b, Vec4f, Vec4h, Vec4i, Vec4u, Void, WgslArray, WgslStruct, atomicI32, atomicU32, isAlignAttrib, isAtomic, isBuiltinAttrib, isDecorated, isInterpolateAttrib, isLocationAttrib, isPtr, isSizeAttrib, isWgslArray, isWgslData, isWgslStruct, m2x2f, m3x3f, m4x4f, mBaseForVec, matBase, v2b, v2f, v2h, v2i, v2u, v3b, v3f, v3h, v3i, v3u, v4b, v4f, v4h, v4i, v4u, vBaseForMat, vecBase, vecIToVecU };

package/data/wgslTypes.js

@@ -1,6 +1,5 @@
 import { $internal, isMarkedInternal } from "../shared/symbols.js";
 import "tsover-runtime";
-
 //#region src/data/wgslTypes.ts
 const Void = {
 	[$internal]: {},
@@ -107,6 +106,12 @@ function isFloat32VecInstance(element) {
 		"vec4f"
 	].includes(element.kind);
 }
+function isInteger32VecInstance(value) {
+	return isVecInstance(value) && /[iu]$/.test(value.kind);
+}
+function isUint32VecInstance(value) {
+	return isVecInstance(value) && /[u]$/.test(value.kind);
+}
 function isWgslData(value) {
 	return isMarkedInternal(value) && wgslTypeLiterals.includes(value?.type);
 }
@@ -182,6 +187,9 @@ function isDecorated(value) {
 function isVoid(value) {
 	return isMarkedInternal(value) && value.type === "void";
 }
+function isBool(value) {
+	return isMarkedInternal(value) && value.type === "bool";
+}
 function isNumericSchema(schema) {
 	const type = schema?.type;
 	return isMarkedInternal(schema) && (type === "abstractInt" || type === "abstractFloat" || type === "f32" || type === "f16" || type === "i32" || type === "u32");
@@ -210,6 +218,5 @@ function isNaturallyEphemeral(schema) {
 function WORKAROUND_getSchema(vec) {
 	return vec.schema;
 }
-
 //#endregion
-export { Void, WORKAROUND_getSchema, isAlignAttrib, isAtomic, isBuiltinAttrib, isDecorated, isFloat32VecInstance, isHalfPrecisionSchema, isInterpolateAttrib, isLocationAttrib, isMat, isMat2x2f, isMat3x3f, isMatInstance, isNaturallyEphemeral, isNumericSchema, isPtr, isSizeAttrib, isVec, isVecBool, isVecInstance, isVoid, isWgslArray, isWgslData, isWgslStruct };
+export { Void, WORKAROUND_getSchema, isAlignAttrib, isAtomic, isBool, isBuiltinAttrib, isDecorated, isFloat32VecInstance, isHalfPrecisionSchema, isInteger32VecInstance, isInterpolateAttrib, isLocationAttrib, isMat, isMat2x2f, isMat3x3f, isMatInstance, isNaturallyEphemeral, isNumericSchema, isPtr, isSizeAttrib, isUint32VecInstance, isVec, isVecBool, isVecInstance, isVoid, isWgslArray, isWgslData, isWgslStruct };

package/errors.js

@@ -1,6 +1,5 @@
 import { DEV, TEST } from "./shared/env.js";
 import { getName, hasTinyestMetadata } from "./shared/meta.js";
-
 //#region src/errors.ts
 const prefix = "Invariant failed";
 /**
@@ -21,6 +20,8 @@ function invariant(condition, message) {
 * @category Errors
 */
 var ResolutionError = class ResolutionError extends Error {
+	cause;
+	trace;
 	constructor(cause, trace) {
 		let entries = trace.map((ancestor) => `- ${hasTinyestMetadata(ancestor) ? `fn*:${getName(ancestor)}` : ancestor}`);
 		if (entries.length > 20) entries = [
@@ -45,6 +46,8 @@ var ResolutionError = class ResolutionError extends Error {
 * @category Errors
 */
 var ExecutionError = class ExecutionError extends Error {
+	cause;
+	trace;
 	constructor(cause, trace) {
 		let entries = trace.map((ancestor) => `- ${ancestor}`);
 		if (entries.length > 20) entries = [
@@ -66,6 +69,7 @@ var ExecutionError = class ExecutionError extends Error {
 * @category Errors
 */
 var MissingSlotValueError = class MissingSlotValueError extends Error {
+	slot;
 	constructor(slot) {
 		super(`Missing value for '${slot}'`);
 		this.slot = slot;
@@ -123,6 +127,5 @@ var SignatureNotSupportedError = class SignatureNotSupportedError extends Error
 		Object.setPrototypeOf(this, SignatureNotSupportedError.prototype);
 	}
 };
-
 //#endregion
-export { ExecutionError, IllegalBufferAccessError, IllegalVarAccessError, MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, NotUniformError, ResolutionError, SignatureNotSupportedError, WgslTypeError, invariant };
+export { ExecutionError, IllegalBufferAccessError, IllegalVarAccessError, MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, NotUniformError, ResolutionError, SignatureNotSupportedError, WgslTypeError, invariant };

package/execMode.js

@@ -1,6 +1,5 @@
 import { invariant } from "./errors.js";
 import { NormalState } from "./types.js";
-
 //#region src/execMode.ts
 /**
 * Used to track if the code we're currently
@@ -46,6 +45,5 @@ function getExecMode() {
 function inCodegenMode() {
 	return resolutionCtx?.mode.type === "codegen";
 }
-
 //#endregion
-export { getExecMode, getResolutionCtx, inCodegenMode, isInsideTgpuFn, provideCtx, provideInsideTgpuFn, topLevelState };
+export { getExecMode, getResolutionCtx, inCodegenMode, isInsideTgpuFn, provideCtx, provideInsideTgpuFn, topLevelState };

package/extension.js

@@ -1,5 +1,4 @@
 import { getName } from "./shared/meta.js";
-
 //#region src/extension.ts
 function isUsableAsStorage(value) {
 	return !!value?.usableAsStorage;
@@ -13,6 +12,5 @@ var NotStorageError = class NotStorageError extends Error {
 		Object.setPrototypeOf(this, NotStorageError.prototype);
 	}
 };
-
 //#endregion
-export { NotStorageError, isUsableAsStorage };
+export { NotStorageError, isUsableAsStorage };