typegpu 0.10.2 → 0.11.0

package/getGPUValue.js

@@ -1,9 +1,7 @@
 import { $gpuValueOf } from "./shared/symbols.js";
-
 //#region src/getGPUValue.ts
 function getGPUValue(object) {
 	return object?.[$gpuValueOf];
 }
-
 //#endregion
-export { getGPUValue };
+export { getGPUValue };

package/index.d.ts

@@ -7,7 +7,7 @@ import { TgpuComputeFn, TgpuComputeFnShell, computeFn, isTgpuComputeFn } from ".
 import { TgpuVar, VariableScope, isVariable, privateVar, workgroupVar } from "./core/variable/tgpuVariable.js";
 import { Eventual, TgpuAccessor, TgpuLazy, TgpuMutableAccessor, TgpuSlot, isAccessor, isLazy, isMutableAccessor, isSlot } from "./core/slot/slotTypes.js";
 import { TgpuComputePipeline } from "./core/pipeline/computePipeline.js";
-import { AutoFragmentIn, AutoFragmentOut, AutoVertexIn, AutoVertexOut } from "./core/function/autoIO.js";
+import { AutoFragmentIn, AutoFragmentOut, AutoVertexOut, _AutoVertexIn } from "./core/function/autoIO.js";
 import { TgpuFragmentFn, TgpuFragmentFnShell, fragmentFn, isTgpuFragmentFn } from "./core/function/tgpuFragmentFn.js";
 import { TgpuVertexFn, TgpuVertexFnShell, isTgpuVertexFn, vertexFn } from "./core/function/tgpuVertexFn.js";
 import { TextureProps } from "./core/texture/textureProps.js";
@@ -16,6 +16,7 @@ import { TgpuVertexLayout, vertexLayout } from "./core/vertexLayout/vertexLayout
 import { ColorAttachment, TgpuPrimitiveState, TgpuRenderPipeline } from "./core/pipeline/renderPipeline.js";
 import { TgpuComparisonSampler, TgpuFixedComparisonSampler, TgpuFixedSampler, TgpuSampler, isComparisonSampler, isSampler } from "./core/sampler/sampler.js";
 import { BindLayoutEntry, ExtractBindGroupInputFromLayout, LayoutEntryToInput, TgpuBindGroup, TgpuBindGroupLayout, TgpuLayoutComparisonSampler, TgpuLayoutEntry, TgpuLayoutExternalTexture, TgpuLayoutSampler, TgpuLayoutStorage, TgpuLayoutTexture, TgpuLayoutUniform, bindGroupLayout } from "./tgpuBindGroupLayout.js";
+import { ShaderGenerator } from "./tgsl/shaderGenerator.js";
 import { Configurable, TgpuGuardedComputePipeline, TgpuRoot, ValidateBufferSchema, ValidateStorageSchema, ValidateUniformSchema, WithBinding, WithCompute, WithFragment, WithVertex, Withable } from "./core/root/rootTypes.js";
 import { IndexFlag, TgpuBuffer, Uniform, UniformFlag, ValidUsagesFor, Vertex, VertexFlag, isBuffer, isUsableAsVertex } from "./core/buffer/buffer.js";
 import { TgpuDeclare } from "./core/declare/tgpuDeclare.js";
@@ -36,6 +37,7 @@ import { index_d_exports as index_d_exports$1 } from "./data/index.js";
 import { index_d_exports as index_d_exports$2 } from "./std/index.js";
 import { index_d_exports } from "./common/index.js";
 import { MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, NotUniformError, ResolutionError } from "./errors.js";
+import { WgslGenerator } from "./tgsl/wgslGenerator.js";
 import { TgpuRenderPipelineDescriptor } from "./indexNamedExports.js";
 
 //#region src/index.d.ts
@@ -66,4 +68,4 @@ declare const tgpu: {
   '~unstable': typeof tgpuUnstable_d_exports;
 };
 //#endregion
-export { AutoFragmentIn, AutoFragmentOut, AutoVertexIn, AutoVertexOut, BindLayoutEntry, ColorAttachment, Configurable, Eventual, ExtractBindGroupInputFromLayout, INTERNAL_GlobalExt, IndexFlag, InitFromDeviceOptions, InitOptions, LayoutEntryToInput, MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, Namespace, NotUniformError, RawCodeSnippetOrigin, RenderFlag, ResolutionError, SampledFlag, Storage, StorageFlag, TextureProps, TgpuAccessor, TgpuBindGroup, TgpuBindGroupLayout, TgpuBuffer, TgpuBufferMutable, TgpuBufferReadonly, TgpuBufferUniform, TgpuComparisonSampler, TgpuComptime, TgpuComputeFn, TgpuComputeFnShell, TgpuComputePipeline, TgpuConst, TgpuDeclare, TgpuFixedComparisonSampler, TgpuFixedSampler, TgpuFn, TgpuFnShell, TgpuFragmentFn, TgpuFragmentFnShell, TgpuGenericFn, TgpuGuardedComputePipeline, TgpuLayoutComparisonSampler, TgpuLayoutEntry, TgpuLayoutExternalTexture, TgpuLayoutSampler, TgpuLayoutStorage, TgpuLayoutTexture, TgpuLayoutUniform, TgpuLazy, TgpuMutable, TgpuMutableAccessor, TgpuPrimitiveState, TgpuQuerySet, TgpuRawCodeSnippet, TgpuReadonly, TgpuRenderPipeline, TgpuRenderPipelineDescriptor, TgpuRoot, TgpuSampler, TgpuSlot, TgpuTexture, TgpuTextureView, TgpuUniform, TgpuVar, TgpuVertexFn, TgpuVertexFnShell, TgpuVertexLayout, Uniform, UniformFlag, ValidUsagesFor, ValidateBufferSchema, ValidateStorageSchema, ValidateUniformSchema, VariableScope, Vertex, VertexFlag, WithBinding, WithCompute, WithFragment, WithVertex, Withable, index_d_exports as common, index_d_exports$1 as d, tgpu as default, tgpu, isAccessor, isBuffer, isBufferShorthand, isComparisonSampler, isLazy, isMutableAccessor, isSampler, isSlot, isTexture, isTgpuComputeFn, isTgpuFn, isTgpuFragmentFn, isTgpuVertexFn, isUsableAsRender, isUsableAsSampled, isUsableAsStorage, isUsableAsUniform, isUsableAsVertex, isVariable, index_d_exports$2 as std };
+export { AutoFragmentIn, AutoFragmentOut, _AutoVertexIn as AutoVertexIn, AutoVertexOut, BindLayoutEntry, ColorAttachment, Configurable, Eventual, ExtractBindGroupInputFromLayout, INTERNAL_GlobalExt, IndexFlag, InitFromDeviceOptions, InitOptions, LayoutEntryToInput, MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, Namespace, NotUniformError, RawCodeSnippetOrigin, RenderFlag, ResolutionError, SampledFlag, ShaderGenerator, Storage, StorageFlag, TextureProps, TgpuAccessor, TgpuBindGroup, TgpuBindGroupLayout, TgpuBuffer, TgpuBufferMutable, TgpuBufferReadonly, TgpuBufferUniform, TgpuComparisonSampler, TgpuComptime, TgpuComputeFn, TgpuComputeFnShell, TgpuComputePipeline, TgpuConst, TgpuDeclare, TgpuFixedComparisonSampler, TgpuFixedSampler, TgpuFn, TgpuFnShell, TgpuFragmentFn, TgpuFragmentFnShell, TgpuGenericFn, TgpuGuardedComputePipeline, TgpuLayoutComparisonSampler, TgpuLayoutEntry, TgpuLayoutExternalTexture, TgpuLayoutSampler, TgpuLayoutStorage, TgpuLayoutTexture, TgpuLayoutUniform, TgpuLazy, TgpuMutable, TgpuMutableAccessor, TgpuPrimitiveState, TgpuQuerySet, TgpuRawCodeSnippet, TgpuReadonly, TgpuRenderPipeline, TgpuRenderPipelineDescriptor, TgpuRoot, TgpuSampler, TgpuSlot, TgpuTexture, TgpuTextureView, TgpuUniform, TgpuVar, TgpuVertexFn, TgpuVertexFnShell, TgpuVertexLayout, Uniform, UniformFlag, ValidUsagesFor, ValidateBufferSchema, ValidateStorageSchema, ValidateUniformSchema, VariableScope, Vertex, VertexFlag, WgslGenerator, WithBinding, WithCompute, WithFragment, WithVertex, Withable, index_d_exports as common, index_d_exports$1 as d, tgpu as default, tgpu, isAccessor, isBuffer, isBufferShorthand, isComparisonSampler, isLazy, isMutableAccessor, isSampler, isSlot, isTexture, isTgpuComputeFn, isTgpuFn, isTgpuFragmentFn, isTgpuVertexFn, isUsableAsRender, isUsableAsSampled, isUsableAsStorage, isUsableAsUniform, isUsableAsVertex, isVariable, index_d_exports$2 as std };

package/index.js

@@ -1,5 +1,6 @@
 import { MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, NotUniformError, ResolutionError } from "./errors.js";
 import { isAccessor, isLazy, isMutableAccessor, isSlot } from "./core/slot/slotTypes.js";
+import { shaderGenerator_members_exports } from "./tgsl/shaderGenerator_members.js";
 import { isTgpuFn } from "./core/function/tgpuFn.js";
 import { isUsableAsStorage } from "./extension.js";
 import { isUsableAsUniform } from "./core/buffer/bufferUsage.js";
@@ -8,6 +9,7 @@ import { isComparisonSampler, isSampler } from "./core/sampler/sampler.js";
 import { isTexture } from "./core/texture/texture.js";
 import { isUsableAsRender, isUsableAsSampled } from "./core/texture/usageExtension.js";
 import { isVariable } from "./core/variable/tgpuVariable.js";
+import { WgslGenerator } from "./tgsl/wgslGenerator.js";
 import { isBufferShorthand } from "./core/buffer/bufferShorthand.js";
 import { isTgpuComputeFn } from "./core/function/tgpuComputeFn.js";
 import { isTgpuFragmentFn } from "./core/function/tgpuFragmentFn.js";
@@ -16,12 +18,10 @@ import { tgpu_exports } from "./tgpu.js";
 import { data_exports } from "./data/index.js";
 import { std_exports } from "./std/index.js";
 import { common_exports } from "./common/index.js";
-
 //#region src/index.js
 /**
 * @module typegpu
 */
 var src_default = tgpu_exports;
-
 //#endregion
-export { MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, NotUniformError, ResolutionError, common_exports as common, data_exports as d, src_default as default, isAccessor, isBuffer, isBufferShorthand, isComparisonSampler, isLazy, isMutableAccessor, isSampler, isSlot, isTexture, isTgpuComputeFn, isTgpuFn, isTgpuFragmentFn, isTgpuVertexFn, isUsableAsRender, isUsableAsSampled, isUsableAsStorage, isUsableAsUniform, isUsableAsVertex, isVariable, std_exports as std, tgpu_exports as tgpu };
+export { MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, NotUniformError, ResolutionError, shaderGenerator_members_exports as ShaderGenerator, WgslGenerator, common_exports as common, data_exports as d, src_default as default, isAccessor, isBuffer, isBufferShorthand, isComparisonSampler, isLazy, isMutableAccessor, isSampler, isSlot, isTexture, isTgpuComputeFn, isTgpuFn, isTgpuFragmentFn, isTgpuVertexFn, isUsableAsRender, isUsableAsSampled, isUsableAsStorage, isUsableAsUniform, isUsableAsVertex, isVariable, std_exports as std, tgpu_exports as tgpu };

package/indexNamedExports.d.ts

@@ -7,7 +7,7 @@ import { TgpuComputeFn, TgpuComputeFnShell, isTgpuComputeFn } from "./core/funct
 import { TgpuVar, VariableScope, isVariable } from "./core/variable/tgpuVariable.js";
 import { Eventual, TgpuAccessor, TgpuLazy, TgpuMutableAccessor, TgpuSlot, isAccessor, isLazy, isMutableAccessor, isSlot } from "./core/slot/slotTypes.js";
 import { TgpuComputePipeline } from "./core/pipeline/computePipeline.js";
-import { AutoFragmentIn, AutoFragmentOut, AutoVertexIn, AutoVertexOut } from "./core/function/autoIO.js";
+import { AutoFragmentIn, AutoFragmentOut, AutoVertexOut, _AutoVertexIn } from "./core/function/autoIO.js";
 import { TgpuFragmentFn, TgpuFragmentFnShell, isTgpuFragmentFn } from "./core/function/tgpuFragmentFn.js";
 import { TgpuVertexFn, TgpuVertexFnShell, isTgpuVertexFn } from "./core/function/tgpuVertexFn.js";
 import { TextureProps } from "./core/texture/textureProps.js";
@@ -16,6 +16,7 @@ import { TgpuVertexLayout } from "./core/vertexLayout/vertexLayout.js";
 import { ColorAttachment, TgpuPrimitiveState, TgpuRenderPipeline } from "./core/pipeline/renderPipeline.js";
 import { TgpuComparisonSampler, TgpuFixedComparisonSampler, TgpuFixedSampler, TgpuSampler, isComparisonSampler, isSampler } from "./core/sampler/sampler.js";
 import { BindLayoutEntry, ExtractBindGroupInputFromLayout, LayoutEntryToInput, TgpuBindGroup, TgpuBindGroupLayout, TgpuLayoutComparisonSampler, TgpuLayoutEntry, TgpuLayoutExternalTexture, TgpuLayoutSampler, TgpuLayoutStorage, TgpuLayoutTexture, TgpuLayoutUniform } from "./tgpuBindGroupLayout.js";
+import { ShaderGenerator } from "./tgsl/shaderGenerator.js";
 import { Configurable, TgpuGuardedComputePipeline, TgpuRoot, ValidateBufferSchema, ValidateStorageSchema, ValidateUniformSchema, WithBinding, WithCompute, WithFragment, WithVertex, Withable } from "./core/root/rootTypes.js";
 import { IndexFlag, TgpuBuffer, Uniform, UniformFlag, ValidUsagesFor, Vertex, VertexFlag, isBuffer, isUsableAsVertex } from "./core/buffer/buffer.js";
 import { TgpuDeclare } from "./core/declare/tgpuDeclare.js";
@@ -30,6 +31,7 @@ import { index_d_exports } from "./data/index.js";
 import { index_d_exports as index_d_exports$1 } from "./std/index.js";
 import { index_d_exports as index_d_exports$2 } from "./common/index.js";
 import { MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, NotUniformError, ResolutionError } from "./errors.js";
+import { WgslGenerator } from "./tgsl/wgslGenerator.js";
 
 //#region src/indexNamedExports.d.ts
 /** @deprecated Use TgpuRenderPipeline.Descriptor */

package/mathUtils.js

@@ -8,6 +8,5 @@ const roundUp = (value, modulo) => {
 	const invBitMask = ~bitMask;
 	return (value & bitMask) === 0 ? value : (value & invBitMask) + modulo;
 };
-
 //#endregion
-export { roundUp };
+export { roundUp };

package/memo.js

@@ -6,17 +6,17 @@
 * If the key can be garbage collected, it will be.
 */
 var WeakMemo = class {
-	_map = /* @__PURE__ */ new WeakMap();
-	constructor(_make) {
-		this._make = _make;
+	#map = /* @__PURE__ */ new WeakMap();
+	#make;
+	constructor(make) {
+		this.#make = make;
 	}
 	getOrMake(key, ...args) {
-		if (this._map.has(key)) return this._map.get(key);
-		const value = this._make(key, ...args);
-		this._map.set(key, value);
+		if (this.#map.has(key)) return this.#map.get(key);
+		const value = this.#make(key, ...args);
+		this.#map.set(key, value);
 		return value;
 	}
 };
-
 //#endregion
-export { WeakMemo };
+export { WeakMemo };

package/nameRegistry.js

@@ -1,5 +1,4 @@
 import { invariant } from "./errors.js";
-
 //#region src/nameRegistry.ts
 const bannedTokens = new Set([
 	"alias",
@@ -444,6 +443,5 @@ var StrictNameRegistry = class extends NameRegistryImpl {
 		return name;
 	}
 };
-
 //#endregion
-export { RandomNameRegistry, StrictNameRegistry, isValidProp };
+export { RandomNameRegistry, StrictNameRegistry, isValidProp };

package/package.js

@@ -1,5 +1,4 @@
 //#region package.json
-var version = "0.10.2";
-
+var version = "0.11.0";
 //#endregion
-export { version };
+export { version };

package/package.json

@@ -1,7 +1,6 @@
 {
   "name": "typegpu",
-  "version": "0.10.2",
-  "private": false,
+  "version": "0.11.0",
   "description": "A thin layer between JS and WebGPU/WGSL that improves development experience and allows for faster iteration.",
   "keywords": [
     "compute",
@@ -20,7 +19,8 @@
   "license": "MIT",
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/software-mansion/TypeGPU.git"
+    "url": "git+https://github.com/software-mansion/TypeGPU.git",
+    "directory": "packages/typegpu"
   },
   "type": "module",
   "sideEffects": false,
@@ -44,15 +44,15 @@
     }
   },
   "dependencies": {
-    "tinyest": "~0.3.0",
-    "tsover-runtime": "^0.0.5",
-    "typed-binary": "^4.3.1"
+    "tinyest": "~0.3.1",
+    "tsover-runtime": "^0.0.6",
+    "typed-binary": "^4.3.3"
   },
   "engines": {
     "node": ">=12.20.0"
   },
   "main": "./index.js",
   "types": "./index.d.ts",
-  "peerDependencies": {},
+  "private": false,
   "scripts": {}
 }

package/resolutionCtx.d.ts

@@ -1,15 +1,5 @@
-import "./data/snippet.js";
-import "./tgsl/shellless.js";
 import { LogResources } from "./tgsl/consoleLog/types.js";
-import "./core/slot/slotTypes.js";
 import { TgpuBindGroup, TgpuBindGroupLayout } from "./tgpuBindGroupLayout.js";
-import "./tgsl/shaderGenerator.js";
-import "./core/root/rootTypes.js";
-import "./types.js";
-import "./data/wgslTypes.js";
-import "./data/dataTypes.js";
-import "./core/resolve/namespace.js";
-
 //#region src/resolutionCtx.d.ts
 /**
  * The results of a WGSL resolution.

package/resolutionCtx.js

@@ -1,7 +1,7 @@
 import { $internal, $providing, $resolve, isMarkedInternal } from "./shared/symbols.js";
 import { getName, hasTinyestMetadata, setName } from "./shared/meta.js";
 import { Void, isPtr, isWgslArray, isWgslStruct } from "./data/wgslTypes.js";
-import { UnknownData, isData } from "./data/dataTypes.js";
+import { UnknownData, isData, undecorate } from "./data/dataTypes.js";
 import { snip } from "./data/snippet.js";
 import { MissingSlotValueError, ResolutionError, WgslTypeError, invariant } from "./errors.js";
 import { isLazy, isProviding, isSlot } from "./core/slot/slotTypes.js";
@@ -11,21 +11,20 @@ import { stitch } from "./core/resolve/stitch.js";
 import { safeStringify } from "./shared/stringify.js";
 import { getBestConversion } from "./tgsl/conversion.js";
 import { bool } from "./data/numeric.js";
+import { coerceToSnippet, concretize, numericLiteralToSnippet } from "./tgsl/generationHelpers.js";
 import { getAttributesString } from "./data/attributes.js";
 import { createIoSchema } from "./core/function/ioSchema.js";
 import { AutoStruct } from "./data/autoStruct.js";
-import { coerceToSnippet, concretize, numericLiteralToSnippet } from "./tgsl/generationHelpers.js";
+import { EntryInputRouter } from "./core/function/entryInputRouter.js";
 import { accessProp } from "./tgsl/accessProp.js";
 import { isTgpuFn } from "./core/function/tgpuFn.js";
 import { getUniqueName } from "./core/resolve/namespace.js";
-import { resolveData } from "./core/resolve/resolveData.js";
 import { ConfigurableImpl } from "./core/root/configurableImpl.js";
 import { naturalsExcept } from "./shared/generators.js";
 import { TgpuBindGroupImpl, bindGroupLayout } from "./tgpuBindGroupLayout.js";
 import { LogGeneratorImpl, LogGeneratorNullImpl } from "./tgsl/consoleLog/logGenerator.js";
 import wgslGenerator from "./tgsl/wgslGenerator.js";
 import { FuncParameterType } from "tinyest";
-
 //#region src/resolutionCtx.ts
 /**
 * Inserted into bind group entry definitions that belong
@@ -191,7 +190,6 @@ var IndentController = class {
 };
 var ResolutionCtxImpl = class {
 	#namespaceInternal;
-	#shaderGenerator;
 	_indentController = new IndentController();
 	_itemStateStack = new ItemStateStackImpl();
 	#modeStack = [];
@@ -199,6 +197,7 @@ var ResolutionCtxImpl = class {
 	_varyingLocations;
 	#currentlyResolvedItems = /* @__PURE__ */ new WeakSet();
 	#logGenerator;
+	gen;
 	get varyingLocations() {
 		return this._varyingLocations;
 	}
@@ -216,7 +215,7 @@ var ResolutionCtxImpl = class {
 	expectedType;
 	constructor(opts) {
 		this.enableExtensions = opts.enableExtensions;
-		this.#shaderGenerator = opts.shaderGenerator ?? wgslGenerator;
+		this.gen = opts.shaderGenerator ?? wgslGenerator;
 		this.#logGenerator = opts.root ? new LogGeneratorImpl(opts.root) : new LogGeneratorNullImpl();
 		this.#namespaceInternal = opts.namespace[$internal];
 	}
@@ -288,7 +287,62 @@ var ResolutionCtxImpl = class {
 			this.#namespaceInternal.nameRegistry.pushFunctionScope();
 			const args = [];
 			const argAliases = [];
-			for (const [i, argType] of options.argTypes.entries()) {
+			const pendingHeaderEntries = [];
+			if (options.entryInput) {
+				const { dataSchema, positionalArgs } = options.entryInput;
+				const firstParam = options.params[0];
+				const structArgName = this.makeNameValid("_arg_0");
+				const structArg = dataSchema ? snip(structArgName, dataSchema, "argument") : void 0;
+				if (structArg) {
+					args.push(structArg);
+					pendingHeaderEntries.push({
+						argName: structArgName,
+						header: `${structArgName}: ${this.resolve(dataSchema).value}`
+					});
+				}
+				if (firstParam?.type === FuncParameterType.destructuredObject) for (const { name, alias } of firstParam.props) {
+					const argInfo = positionalArgs.find((a) => a.schemaKey === name);
+					if (argInfo) {
+						const argName = this.makeNameValid(alias);
+						const argSnippet = snip(argName, argInfo.type, "argument");
+						args.push(argSnippet);
+						argAliases.push([alias, argSnippet]);
+						pendingHeaderEntries.push({
+							argName,
+							header: `${getAttributesString(argInfo.type)}${argName}: ${this.resolve(undecorate(argInfo.type)).value}`
+						});
+					} else if (structArg) {
+						const propSnippet = accessProp(structArg, name);
+						if (propSnippet) argAliases.push([alias, propSnippet]);
+					}
+				}
+				else if (firstParam?.type === FuncParameterType.identifier) {
+					const proxyEntries = [];
+					for (const a of positionalArgs) {
+						const argName = this.makeNameValid(`_arg_${a.schemaKey}`);
+						const s = snip(argName, a.type, "argument");
+						args.push(s);
+						proxyEntries.push({
+							schemaKey: a.schemaKey,
+							argName,
+							type: a.type
+						});
+						pendingHeaderEntries.push({
+							argName,
+							header: `${getAttributesString(a.type)}${argName}: ${this.resolve(undecorate(a.type)).value}`
+						});
+					}
+					const router = new EntryInputRouter(structArgName, dataSchema, proxyEntries);
+					argAliases.push([firstParam.name, snip(firstParam.name, router, "argument")]);
+				} else for (const a of positionalArgs) {
+					const argName = this.makeNameValid(`_arg_${a.schemaKey}`);
+					args.push(snip(argName, a.type, "argument"));
+					pendingHeaderEntries.push({
+						argName,
+						header: `${getAttributesString(a.type)}${argName}: ${this.resolve(undecorate(a.type)).value}`
+					});
+				}
+			} else for (const [i, argType] of options.argTypes.entries()) {
 				const astParam = options.params[i];
 				const origin = isPtr(argType) ? argType.addressSpace === "storage" ? argType.access === "read" ? "readonly" : "mutable" : argType.addressSpace : "argument";
 				switch (astParam?.type) {
@@ -310,8 +364,7 @@ var ResolutionCtxImpl = class {
 			}
 			const scope = this._itemStateStack.pushFunctionScope(options.functionType, args, Object.fromEntries(argAliases), options.returnType, options.externalMap);
 			fnScopePushed = true;
-			this.#shaderGenerator.initGenerator(this);
-			const body = this.#shaderGenerator.functionDefinition(options.body);
+			const body = this.gen.functionDefinition(options.body);
 			let returnType = options.returnType;
 			if (returnType instanceof AutoStruct) if (isWgslStruct(scope.reportedReturnTypes.values().next().value)) returnType = returnType.completeStruct;
 			else returnType = void 0;
@@ -326,6 +379,11 @@ var ResolutionCtxImpl = class {
 				returnType = concretize(returnType);
 				if (options.functionType === "vertex" || options.functionType === "fragment") returnType = createIoSchema(returnType);
 			}
+			if (options.entryInput) return {
+				head: `(${pendingHeaderEntries.filter(({ argName }) => isArgUsedInBody(argName, body)).map(({ header }) => header).join(", ")}) ${returnType.type !== "void" ? `-> ${getAttributesString(returnType)}${this.resolve(returnType).value} ` : ""}`,
+				body,
+				returnType
+			};
 			return {
 				head: resolveFunctionHeader(this, args, returnType),
 				body,
@@ -435,7 +493,7 @@ var ResolutionCtxImpl = class {
 		try {
 			for (const instance of instances) if ([...instance.slotToValueMap.entries()].every(([slot, expectedValue]) => slot.areEqual(this._itemStateStack.readSlot(slot), expectedValue))) return instance.result;
 			let result;
-			if (isData(item)) result = snip(resolveData(this, item), Void, "runtime");
+			if (isData(item)) result = snip(this.gen.typeAnnotation(item), Void, "runtime");
 			else if (isLazy(item) || isSlot(item)) result = this.resolve(this.unwrap(item));
 			else if (isSelfResolvable(item)) result = item[$resolve](this);
 			else if (hasTinyestMetadata(item)) {
@@ -465,12 +523,15 @@ var ResolutionCtxImpl = class {
 		}
 		if (isProviding(item)) return this.withRenamed(item[$providing].inner, getName(item), () => this.withSlots(item[$providing].pairs, () => this.resolve(item[$providing].inner, schema)));
 		if (isMarkedInternal(item) || hasTinyestMetadata(item)) {
-			if (this._itemStateStack.itemDepth === 0) try {
-				this.pushMode(new CodegenState());
-				const result = provideCtx(this, () => this._getOrInstantiate(item));
-				return snip(`${[...this._declarations].join("\n\n")}${result.value}`, Void, "runtime");
-			} finally {
-				this.popMode("codegen");
+			if (this._itemStateStack.itemDepth === 0) {
+				this.gen.initGenerator(this);
+				try {
+					this.pushMode(new CodegenState());
+					const result = provideCtx(this, () => this._getOrInstantiate(item));
+					return snip(`${[...this._declarations].join("\n\n")}${result.value}`, Void, "runtime");
+				} finally {
+					this.popMode("codegen");
+				}
 			}
 			return this._getOrInstantiate(item);
 		}
@@ -498,6 +559,9 @@ var ResolutionCtxImpl = class {
 		if (schema && isWgslStruct(schema)) return snip(stitch`${this.resolve(schema)}(${Object.entries(schema.propTypes).map(([key, propType]) => snip(item[key], propType, "runtime"))})`, schema, "runtime");
 		throw new WgslTypeError(`Value ${item} (as json: ${safeStringify(item)}) is not resolvable${schema ? ` to type ${safeStringify(schema)}` : ""}`);
 	}
+	resolveSnippet(snippet) {
+		return snip(this.resolve(snippet.value, snippet.dataType).value, snippet.dataType, snippet.origin);
+	}
 	pushMode(mode) {
 		this.#modeStack.push(mode);
 	}
@@ -537,10 +601,12 @@ function resolve(item, options) {
 		logResources: ctx.logResources
 	};
 }
+function isArgUsedInBody(argName, body) {
+	return new RegExp(`\\b${argName}\\b`).test(body);
+}
 function resolveFunctionHeader(ctx, args, returnType) {
 	const argList = args.map((arg) => `${arg.value}: ${ctx.resolve(arg.dataType).value}`).join(", ");
 	return returnType.type !== "void" ? `(${argList}) -> ${getAttributesString(returnType)}${ctx.resolve(returnType).value} ` : `(${argList}) `;
 }
-
 //#endregion
-export { ResolutionCtxImpl, resolve };
+export { ResolutionCtxImpl, resolve };

package/shared/env.js

@@ -8,6 +8,5 @@
 */
 const DEV = process.env.NODE_ENV === "development";
 const TEST = process.env.NODE_ENV === "test";
-
 //#endregion
-export { DEV, TEST };
+export { DEV, TEST };

package/shared/generators.js

@@ -9,6 +9,5 @@ function* naturalsExcept(excluded) {
 		next++;
 	}
 }
-
 //#endregion
-export { naturalsExcept };
+export { naturalsExcept };

package/shared/meta.js

@@ -1,7 +1,6 @@
 import { version } from "../package.js";
 import { DEV, TEST } from "./env.js";
 import { $getNameForward, isMarkedInternal } from "./symbols.js";
-
 //#region src/shared/meta.ts
 const globalWithMeta = globalThis;
 if (globalWithMeta.__TYPEGPU_VERSION__ !== void 0) console.warn(`Found duplicate TypeGPU version. First was ${globalWithMeta.__TYPEGPU_VERSION__}, this one is ${version}. This may cause unexpected behavior.`);
@@ -58,6 +57,5 @@ function setMetaData(definition, metaData) {
 		...metaData
 	});
 }
-
 //#endregion
-export { PERF, getMetaData, getName, hasTinyestMetadata, isNamable, setName };
+export { PERF, getMetaData, getName, hasTinyestMetadata, isNamable, setName };

package/shared/repr.d.ts

@@ -1,4 +1,4 @@
-import { $gpuRepr, $gpuValueOf, $invalidSchemaReason, $memIdent, $repr, $reprPartial, $validStorageSchema, $validUniformSchema, $validVertexSchema } from "./symbols.js";
+import { $gpuRepr, $gpuValueOf, $inRepr, $invalidSchemaReason, $memIdent, $repr, $reprPartial, $reprPatch, $validStorageSchema, $validUniformSchema, $validVertexSchema } from "./symbols.js";
 import { Default } from "./utilityTypes.js";
 import { U16, U32, WgslArray } from "../data/wgslTypes.js";
 import { ViewDimensionToDimension } from "../core/texture/textureFormats.js";
@@ -19,10 +19,25 @@ import { Disarray, Undecorate } from "../data/dataTypes.js";
 type Infer<T> = T extends {
   readonly [$repr]: infer TRepr;
 } ? TRepr : T;
+/**
+ * Extracts the inferred input (write-side) representation of a resource.
+ *
+ * @example
+ * type A = InferInput<Vec3f> // => v3f | [number, number, number] | Float32Array
+ * type B = InferInput<WgslArray<Vec3f>> // => (v3f | [number, number, number] | Float32Array)[] | Float32Array
+ * type C = InferInput<F32> // => number (same as Infer<F32>)
+ * const arrayOfStructs = d.arrayOf(d.struct({ pos: d.vec3f, id: d.f32 }), 4);
+ * type D = d.InferInput<typeof arrayOfStructs>; // { pos: d.v3f | Float32Array<ArrayBufferLike> | [number, number, number]; id: number; }[]
+ */
+type InferInput<T> = Infer<T> | (T extends {
+  readonly [$inRepr]: infer TRepr;
+} ? TRepr : never);
 /**
  * Extracts a sparse/partial inferred representation of a resource.
  * Used by the `buffer.writePartial` API.
  *
+ * @deprecated
+ *
  * @example
  * type A = InferPartial<F32> // => number | undefined
  * type B = InferPartial<WgslStruct<{ a: F32 }>> // => { a?: number | undefined }
@@ -45,7 +60,22 @@ type InferGPU<T> = T extends {
   readonly [$gpuRepr]: infer TRepr;
 } ? TRepr : Infer<T>;
 type InferRecord<T extends Record<string | number | symbol, unknown>> = { [Key in keyof T]: Infer<T[Key]> };
+type InferInputRecord<T extends Record<string | number | symbol, unknown>> = { [Key in keyof T]: InferInput<T[Key]> };
+/** @deprecated */
 type InferPartialRecord<T extends Record<string | number | symbol, unknown>> = { [Key in keyof T]?: InferPartial<T[Key]> };
+/**
+ * Extracts the patch representation of a resource.
+ * Used by the `buffer.patch` API.
+ *
+ * @example
+ * type A = InferPatch<F32> // => number | undefined
+ * type B = InferPatch<WgslStruct<{ a: F32 }>> // => { a?: number | undefined }
+ * type C = InferPatch<WgslArray<F32>> // => Record<number, number | undefined> | number[] | undefined
+ */
+type InferPatch<T> = T extends {
+  readonly [$reprPatch]: infer TRepr;
+} ? TRepr : InferInput<T> | undefined;
+type InferPatchRecord<T extends Record<string | number | symbol, unknown>> = { [Key in keyof T]?: InferPatch<T[Key]> };
 type InferGPURecord<T extends Record<string | number | symbol, unknown>> = { [Key in keyof T]: InferGPU<T[Key]> };
 type GPUValueOf<T> = T extends {
   readonly [$gpuValueOf]: infer TValue;
@@ -105,4 +135,4 @@ type ExtractInvalidSchemaError<T, TPrefix extends string = ''> = [T] extends [{
   readonly [$invalidSchemaReason]: string;
 }] ? `${TPrefix}${T[typeof $invalidSchemaReason]}` : never;
 //#endregion
-export { ExtractInvalidSchemaError, GPUValueOf, Infer, InferGPU, InferGPURecord, InferPartial, InferPartialRecord, InferRecord, IsValidBufferSchema, IsValidIndexSchema, IsValidStorageSchema, IsValidUniformSchema, IsValidVertexSchema, MemIdentity, MemIdentityRecord, ValidateTextureViewSchema };
+export { ExtractInvalidSchemaError, GPUValueOf, Infer, InferGPU, InferGPURecord, InferInput, InferInputRecord, InferPartial, InferPartialRecord, InferPatch, InferPatchRecord, InferRecord, IsValidBufferSchema, IsValidIndexSchema, IsValidStorageSchema, IsValidUniformSchema, IsValidVertexSchema, MemIdentity, MemIdentityRecord, ValidateTextureViewSchema };

package/shared/stringify.js

@@ -1,5 +1,4 @@
 import { isMatInstance, isVecInstance } from "../data/wgslTypes.js";
-
 //#region src/shared/stringify.ts
 function safeStringify(item) {
 	const asString = String(item);
@@ -17,6 +16,5 @@ function niceStringify(item) {
 	if (item && typeof item === "object") return `{ ${Object.entries(item).map(([key, value]) => `${key}: ${niceStringify(value)}`).join(", ")} }`;
 	return String(item);
 }
-
 //#endregion
-export { niceStringify, safeStringify };
+export { niceStringify, safeStringify };

package/shared/symbols.d.ts

@@ -37,6 +37,15 @@ declare const $gpuRepr: unique symbol;
  * If present, it shadows the value of `$repr` for use in partial IO.
  */
 declare const $reprPartial: unique symbol;
+/**
+ * Type token for the inferred patch representation of a resource.
+ * Used by the `buffer.patch` API with `Record<number, T>` sparse arrays.
+ */
+declare const $reprPatch: unique symbol;
+/**
+ * Type token for the write-side (input) representation of a resource.
+ */
+declare const $inRepr: unique symbol;
 /**
  * Type token holding schemas that are identical in memory layout.
  */
@@ -58,4 +67,4 @@ declare const $validVertexSchema: unique symbol;
  */
 declare const $invalidSchemaReason: unique symbol;
 //#endregion
-export { $cast, $getNameForward, $gpuCallable, $gpuRepr, $gpuValueOf, $internal, $invalidSchemaReason, $memIdent, $providing, $repr, $reprPartial, $resolve, $validStorageSchema, $validUniformSchema, $validVertexSchema };
+export { $cast, $getNameForward, $gpuCallable, $gpuRepr, $gpuValueOf, $inRepr, $internal, $invalidSchemaReason, $memIdent, $providing, $repr, $reprPartial, $reprPatch, $resolve, $validStorageSchema, $validUniformSchema, $validVertexSchema };

package/shared/symbols.js

@@ -1,5 +1,4 @@
 import { version } from "../package.js";
-
 //#region src/shared/symbols.ts
 const $internal = Symbol(`typegpu:${version}:$internal`);
 /**
@@ -33,39 +32,17 @@ const $gpuCallable = Symbol(`typegpu:${version}:$gpuCallable`);
 * Type token for the inferred (CPU & GPU) representation of a resource
 */
 const $repr = Symbol(`typegpu:${version}:$repr`);
-/**
-* Type token for the inferred (GPU-side) representation of a resource
-* If present, it shadows the value of `$repr` for GPU-side inference.
-*/
-const $gpuRepr = Symbol(`typegpu:${version}:$gpuRepr`);
-/**
-* Type token for the inferred partial representation of a resource.
-* If present, it shadows the value of `$repr` for use in partial IO.
-*/
-const $reprPartial = Symbol(`typegpu:${version}:$reprPartial`);
-/**
-* Type token holding schemas that are identical in memory layout.
-*/
-const $memIdent = Symbol(`typegpu:${version}:$memIdent`);
-/**
-* Type token, signaling that a schema can be used in a storage buffer.
-*/
-const $validStorageSchema = Symbol(`typegpu:${version}:$invalidStorageSchema`);
-/**
-* Type token, signaling that a schema can be used in a uniform buffer.
-*/
-const $validUniformSchema = Symbol(`typegpu:${version}:$validUniformSchema`);
-/**
-* Type token, signaling that a schema can be used in a vertex buffer.
-*/
-const $validVertexSchema = Symbol(`typegpu:${version}:$validVertexSchema`);
-/**
-* Type token, containing a reason for why the schema is invalid (if it is).
-*/
-const $invalidSchemaReason = Symbol(`typegpu:${version}:$invalidSchemaReason`);
+Symbol(`typegpu:${version}:$gpuRepr`);
+Symbol(`typegpu:${version}:$reprPartial`);
+Symbol(`typegpu:${version}:$reprPatch`);
+Symbol(`typegpu:${version}:$inRepr`);
+Symbol(`typegpu:${version}:$memIdent`);
+Symbol(`typegpu:${version}:$invalidStorageSchema`);
+Symbol(`typegpu:${version}:$validUniformSchema`);
+Symbol(`typegpu:${version}:$validVertexSchema`);
+Symbol(`typegpu:${version}:$invalidSchemaReason`);
 function isMarkedInternal(value) {
 	return !!value?.[$internal];
 }
-
 //#endregion
-export { $cast, $getNameForward, $gpuCallable, $gpuValueOf, $internal, $ownSnippet, $providing, $repr, $resolve, isMarkedInternal };
+export { $cast, $getNameForward, $gpuCallable, $gpuValueOf, $internal, $ownSnippet, $providing, $repr, $resolve, isMarkedInternal };

package/shared/utilityTypes.d.ts

@@ -18,12 +18,16 @@ type NullableToOptional<T> = { [K in keyof T as T[K] extends null ? K : never]?:
  */
 type Mutable<T> = { -readonly [P in keyof T]: T[P] };
 /**
- * Source: https://code.lol/post/programming/higher-kinded-types/
+ * Source: https://code.lol/post/programming/higher-kinded-types
  */
 type Assume<T, U> = T extends U ? T : U;
 /**
  * Any typed array
  */
 type TypedArray = Uint8Array | Uint16Array | Uint32Array | Int32Array | Float32Array | Float64Array;
+/**
+ * Source: https://futurestud.io/tutorials/typescript-how-to-remove-index-signature-from-a-type
+ */
+type RemoveIndexSignature<T> = { [K in keyof T as string extends K ? never : number extends K ? never : symbol extends K ? never : K]: T[K] };
 //#endregion
-export { Assume, Default, Mutable, NullableToOptional, OmitProps, Prettify, SwapNever, TypedArray, UnionToIntersection, WithDefaults };
+export { Assume, Default, Mutable, NullableToOptional, OmitProps, Prettify, RemoveIndexSignature, SwapNever, TypedArray, UnionToIntersection, WithDefaults };

package/shared/utilityTypes.js

@@ -2,6 +2,5 @@
 function assertExhaustive(x, location) {
 	throw new Error(`Failed to handle ${x} at ${location}`);
 }
-
 //#endregion
-export { assertExhaustive };
+export { assertExhaustive };

package/shared/vertexFormat.js

@@ -59,6 +59,5 @@ const kindToDefaultFormatMap = {
 	vec3i: "sint32x3",
 	vec4i: "sint32x4"
 };
-
 //#endregion
-export { kindToDefaultFormatMap, vertexFormats };
+export { kindToDefaultFormatMap, vertexFormats };