typegpu 0.5.3 → 0.5.4

package/index.d.cts

@@ -1,7 +1,7 @@
-import { A as AnyWgslData, T as TgpuNamable, I as Infer, F as F32, a as F16, b as I32, U as U32, V as Vec2f, c as Vec3f, d as Vec4f, e as Vec2h, f as Vec3h, g as Vec4h, h as Vec2i, i as Vec3i, j as Vec4i, k as Vec2u, l as Vec3u, m as Vec4u, D as Decorated, n as AnyWgslStruct, B as BaseData, L as Location, W as WgslStruct, o as Default, p as UnionToIntersection, q as WgslArray, r as Disarray, s as Unstruct, t as VertexFormat, u as TgpuVertexAttrib, K as KindToDefaultFormatMap, v as KindToAcceptedAttribMap, w as AnyData, O as OmitProps, P as Prettify, M as Mutable, x as WgslTypeLiteral, y as InferPartial, z as MemIdentity, C as InferGPU, E as AbstractInt, G as AbstractFloat, H as AnyVecInstance, J as AnyMatInstance } from './wgslTypes-VtSRoe90.cjs';
-import { A as AnyAttribute, a as AnyComputeBuiltin, D as Decorate, I as IsBuiltin, H as HasCustomLocation, b as AnyFragmentInputBuiltin, c as AnyFragmentOutputBuiltin, O as OmitBuiltins } from './attributes-DSOqT8yA.cjs';
+import { A as AnyWgslData, T as TgpuNamable, I as Infer, F as F32, a as F16, b as I32, U as U32, V as Vec2f, c as Vec3f, d as Vec4f, e as Vec2h, f as Vec3h, g as Vec4h, h as Vec2i, i as Vec3i, j as Vec4i, k as Vec2u, l as Vec3u, m as Vec4u, D as Decorated, n as AnyWgslStruct, $ as $repr, B as BaseData, L as Location, W as WgslStruct, o as Default, p as UnionToIntersection, q as WgslArray, O as OmitProps, P as Prettify, M as Mutable, r as WgslTypeLiteral, s as InferPartial, t as MemIdentity, u as InferGPU, v as AbstractInt, w as AbstractFloat, x as AnyVecInstance, y as AnyMatInstance } from './wgslTypes-Bh2dG5qv.cjs';
+import { A as AnyAttribute, a as AnyComputeBuiltin, D as Decorate, I as IsBuiltin, H as HasCustomLocation, b as AnyFragmentInputBuiltin, c as AnyFragmentOutputBuiltin, O as OmitBuiltins, d as Disarray, U as Unstruct, V as VertexFormat, T as TgpuVertexAttrib, K as KindToDefaultFormatMap, e as KindToAcceptedAttribMap, f as AnyData } from './attributes-BdU8hyQq.cjs';
 import * as smol from 'tinyest';
-import { Block } from 'tinyest';
+import { ArgNames, Block } from 'tinyest';
 
 declare const $internal: unique symbol;
 
@@ -36,7 +36,7 @@ declare function declare(declaration: string): TgpuDeclare;
  * Information extracted from transpiling a JS function.
  */
 type TranspilationResult = {
-    argNames: string[];
+    argNames: smol.ArgNames;
     body: smol.Block;
     /**
      * All identifiers found in the function code that are not declared in the
@@ -63,24 +63,40 @@ type InferIO<T> = T extends {
 } : T;
 
 /**
- * Describes a compute entry function signature (its arguments and return type)
+ * Describes a compute entry function signature (its arguments, return type and workgroup size)
  */
-interface TgpuComputeFnShell<ComputeIn extends Record<string, AnyComputeBuiltin>> {
+type TgpuComputeFnShellHeader<ComputeIn extends Record<string, AnyComputeBuiltin>> = {
     readonly argTypes: [AnyWgslStruct];
     readonly returnType: undefined;
     readonly workgroupSize: [number, number, number];
+};
+/**
+ * Describes a compute entry function signature (its arguments, return type and workgroup size).
+ * Allows creating tgpu compute functions by calling this shell
+ * and passing the implementation (as WGSL string or JS function) as the argument.
+ */
+type TgpuComputeFnShell<ComputeIn extends Record<string, AnyComputeBuiltin>> = TgpuComputeFnShellHeader<ComputeIn> /**
+ * Creates a type-safe implementation of this signature
+ */ & ((implementation: (input: InferIO<ComputeIn>) => undefined) => TgpuComputeFn<ComputeIn>) & 
+/**
+ * @param implementation
+ *   Raw WGSL function implementation with header and body
+ *   without `fn` keyword and function name
+ *   e.g. `"(x: f32) -> f32 { return x; }"`;
+ */
+((implementation: string) => TgpuComputeFn<ComputeIn>) & {
     /**
-     * Creates a type-safe implementation of this signature
+     * @deprecated Invoke the shell as a function instead.
      */
-    does(implementation: (input: InferIO<ComputeIn>) => undefined): TgpuComputeFn<ComputeIn>;
+    does: ((implementation: (input: InferIO<ComputeIn>) => undefined) => TgpuComputeFn<ComputeIn>) & 
     /**
      * @param implementation
      *   Raw WGSL function implementation with header and body
      *   without `fn` keyword and function name
      *   e.g. `"(x: f32) -> f32 { return x; }"`;
      */
-    does(implementation: string): TgpuComputeFn<ComputeIn>;
-}
+    ((implementation: string) => TgpuComputeFn<ComputeIn>);
+};
 interface TgpuComputeFn<ComputeIn extends Record<string, AnyComputeBuiltin> = Record<string, AnyComputeBuiltin>> extends TgpuNamable {
     readonly shell: TgpuComputeFnShell<ComputeIn>;
     $uses(dependencyMap: Record<string, unknown>): this;
@@ -132,7 +148,7 @@ declare class StrictNameRegistry implements NameRegistry {
 
 interface TgpuSlot<T> extends TgpuNamable, Labelled {
     readonly resourceType: 'slot';
-    '~repr': Infer<T>;
+    [$repr]: Infer<T>;
     readonly defaultValue: T | undefined;
     /**
      * Used to determine if code generated using either value `a` or `b` in place
@@ -144,7 +160,7 @@ interface TgpuSlot<T> extends TgpuNamable, Labelled {
 interface TgpuDerived<T> {
     readonly resourceType: 'derived';
     readonly value: Infer<T>;
-    '~repr': Infer<T>;
+    [$repr]: Infer<T>;
     readonly '~providing'?: Providing | undefined;
     with<TValue>(slot: TgpuSlot<TValue>, value: Eventual<TValue>): TgpuDerived<T>;
     /**
@@ -154,7 +170,7 @@ interface TgpuDerived<T> {
 }
 interface TgpuAccessor<T extends AnyWgslData = AnyWgslData> extends TgpuNamable, Labelled {
     readonly resourceType: 'accessor';
-    '~repr': Infer<T>;
+    [$repr]: Infer<T>;
     readonly schema: T;
     readonly defaultValue: TgpuFn<[], T> | TgpuBufferUsage<T> | Infer<T> | undefined;
     readonly slot: TgpuSlot<TgpuFn<[], T> | TgpuBufferUsage<T> | Infer<T>>;
@@ -187,26 +203,42 @@ type IOLayoutToSchema<T extends IOLayout> = T extends BaseData ? Decorate<T, Loc
 type FragmentOutConstrained = Vec4f | Decorated<Vec4f, [Location<number>]> | AnyFragmentOutputBuiltin | IORecord<Vec4f | Decorated<Vec4f, [Location<number>]> | AnyFragmentOutputBuiltin>;
 type FragmentInConstrained = IORecord<BaseIOData | Decorated<BaseIOData, AnyAttribute<never>[]> | AnyFragmentInputBuiltin>;
 /**
- * Describes a fragment entry function signature (its arguments and return type)
+ * Describes a fragment entry function signature (its arguments, return type and targets)
  */
-interface TgpuFragmentFnShell<FragmentIn extends FragmentInConstrained, FragmentOut extends FragmentOutConstrained> {
+type TgpuFragmentFnShellHeader<FragmentIn extends FragmentInConstrained, FragmentOut extends FragmentOutConstrained> = {
     readonly argTypes: [AnyWgslStruct];
     readonly targets: FragmentOut;
     readonly returnType: FragmentOut;
+};
+/**
+ * Describes a fragment entry function signature (its arguments, return type and targets).
+ * Allows creating tgpu fragment functions by calling this shell
+ * and passing the implementation (as WGSL string or JS function) as the argument.
+ */
+type TgpuFragmentFnShell<FragmentIn extends FragmentInConstrained, FragmentOut extends FragmentOutConstrained> = TgpuFragmentFnShellHeader<FragmentIn, FragmentOut> /**
+ * Creates a type-safe implementation of this signature
+ */ & ((implementation: (input: InferIO<FragmentIn>) => InferIO<FragmentOut>) => TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>) & 
+/**
+ * @param implementation
+ *   Raw WGSL function implementation with header and body
+ *   without `fn` keyword and function name
+ *   e.g. `"(x: f32) -> f32 { return x; }"`;
+ */
+((implementation: string) => TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>) & {
     /**
-     * Creates a type-safe implementation of this signature
+     * @deprecated Invoke the shell as a function instead.
      */
-    does(implementation: (input: InferIO<FragmentIn>) => InferIO<FragmentOut>): TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>;
+    does: ((implementation: (input: InferIO<FragmentIn>) => InferIO<FragmentOut>) => TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>) & 
     /**
      * @param implementation
      *   Raw WGSL function implementation with header and body
      *   without `fn` keyword and function name
      *   e.g. `"(x: f32) -> f32 { return x; }"`;
      */
-    does(implementation: string): TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>;
-}
+    ((implementation: string) => TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>);
+};
 interface TgpuFragmentFn<Varying extends FragmentInConstrained = FragmentInConstrained, Output extends FragmentOutConstrained = FragmentOutConstrained> extends TgpuNamable {
-    readonly shell: TgpuFragmentFnShell<Varying, Output>;
+    readonly shell: TgpuFragmentFnShellHeader<Varying, Output>;
     readonly outputType: IOLayoutToSchema<Output>;
     $uses(dependencyMap: Record<string, unknown>): this;
 }
@@ -219,26 +251,26 @@ declare function fragmentFn<FragmentIn extends FragmentInConstrained, FragmentOu
 }): TgpuFragmentFnShell<FragmentIn, FragmentOut>;
 
 /**
- * Describes a vertex entry function signature (its arguments and return type)
+ * Describes a vertex entry function signature (its arguments, return type and attributes)
  */
-interface TgpuVertexFnShell<VertexIn extends IOLayout, VertexOut extends IOLayout> {
+type TgpuVertexFnShellHeader<VertexIn extends IOLayout, VertexOut extends IOLayout> = {
     readonly argTypes: [AnyWgslStruct];
     readonly returnType: VertexOut;
     readonly attributes: [VertexIn];
+};
+/**
+ * Describes a vertex entry function signature (its arguments, return type and attributes).
+ * Allows creating tgpu vertex functions by calling this shell
+ * and passing the implementation (as WGSL string or JS function) as the argument.
+ */
+type TgpuVertexFnShell<VertexIn extends IOLayout, VertexOut extends IOLayout> = TgpuVertexFnShellHeader<VertexIn, VertexOut> & ((implementation: (input: InferIO<VertexIn>) => InferIO<VertexOut>) => TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>) & ((implementation: string) => TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>) & {
     /**
-     * Creates a type-safe implementation of this signature
-     */
-    does(implementation: (input: InferIO<VertexIn>) => InferIO<VertexOut>): TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>;
-    /**
-     * @param implementation
-     *   Raw WGSL function implementation with header and body
-     *   without `fn` keyword and function name
-     *   e.g. `"(x: f32) -> f32 { return x; }"`;
+     * @deprecated Invoke the shell as a function instead.
      */
-    does(implementation: string): TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>;
-}
+    does: ((implementation: (input: InferIO<VertexIn>) => InferIO<VertexOut>) => TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>) & ((implementation: string) => TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>);
+};
 interface TgpuVertexFn<VertexIn extends IOLayout = IOLayout, VertexOut extends IOLayout = IOLayout> extends TgpuNamable {
-    readonly shell: TgpuVertexFnShell<VertexIn, VertexOut>;
+    readonly shell: TgpuVertexFnShellHeader<VertexIn, VertexOut>;
     readonly outputType: IOLayoutToSchema<VertexOut>;
     readonly inputType: IOLayoutToSchema<VertexIn>;
     $uses(dependencyMap: Record<string, unknown>): this;
@@ -1126,6 +1158,12 @@ interface TgpuBindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | n
     readonly bound: {
         [K in keyof Entries]: BindLayoutEntry<Entries[K]>;
     };
+    readonly value: {
+        [K in keyof Entries]: InferLayoutEntry<Entries[K]>;
+    };
+    readonly $: {
+        [K in keyof Entries]: InferLayoutEntry<Entries[K]>;
+    };
     /**
      * An explicit numeric index assigned to this bind group layout. If undefined, a unique
      * index is assigned automatically during resolution. This can be changed with the
@@ -1177,7 +1215,8 @@ type GetStorageTextureRestriction<T extends TgpuLayoutStorageTexture> = Default<
     dimension: Dimension;
 } : never;
 type LayoutEntryToInput<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? (TgpuBuffer<UnwrapRuntimeConstructor<T['uniform']>> & UniformFlag) | GPUBuffer : T extends TgpuLayoutStorage ? (TgpuBuffer<UnwrapRuntimeConstructor<T['storage']>> & StorageFlag) | GPUBuffer : T extends TgpuLayoutSampler ? TgpuSampler | GPUSampler : T extends TgpuLayoutComparisonSampler ? TgpuComparisonSampler | GPUSampler : T extends TgpuLayoutTexture ? GPUTextureView | (Sampled & TgpuTexture<Prettify<TextureProps & GetTextureRestriction<T>>>) | TgpuSampledTexture<Default<T['viewDimension'], '2d'>, ChannelFormatToSchema[T['texture']]> : T extends TgpuLayoutStorageTexture ? GPUTextureView | (StorageFlag & TgpuTexture<Prettify<TextureProps & GetStorageTextureRestriction<T>>>) | StorageTextureUsageForEntry<T> : T extends TgpuLayoutExternalTexture ? GPUExternalTexture : never;
-type BindLayoutEntry<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? TgpuBufferUniform<UnwrapRuntimeConstructor<T['uniform']>> : T extends TgpuLayoutStorage ? StorageUsageForEntry<T> : T extends TgpuLayoutSampler ? TgpuSampler : T extends TgpuLayoutComparisonSampler ? TgpuComparisonSampler : T extends TgpuLayoutTexture ? TgpuSampledTexture<Default<GetDimension<T['viewDimension']>, '2d'>, ChannelFormatToSchema[T['texture']]> : T extends TgpuLayoutStorageTexture ? StorageTextureUsageForEntry<T> : never;
+type BindLayoutEntry<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? TgpuBufferUniform<T['uniform']> : T extends TgpuLayoutStorage ? StorageUsageForEntry<T> : T extends TgpuLayoutSampler ? TgpuSampler : T extends TgpuLayoutComparisonSampler ? TgpuComparisonSampler : T extends TgpuLayoutTexture ? TgpuSampledTexture<Default<GetDimension<T['viewDimension']>, '2d'>, ChannelFormatToSchema[T['texture']]> : T extends TgpuLayoutStorageTexture ? StorageTextureUsageForEntry<T> : never;
+type InferLayoutEntry<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? Infer<T['uniform']> : T extends TgpuLayoutStorage ? Infer<UnwrapRuntimeConstructor<T['storage']>> : T extends TgpuLayoutSampler ? TgpuSampler : T extends TgpuLayoutComparisonSampler ? TgpuComparisonSampler : T extends TgpuLayoutTexture ? TgpuSampledTexture<Default<GetDimension<T['viewDimension']>, '2d'>, ChannelFormatToSchema[T['texture']]> : T extends TgpuLayoutStorageTexture ? StorageTextureUsageForEntry<T> : never;
 type TgpuBindGroup<Entries extends Record<string, TgpuLayoutEntry | null> = Record<string, TgpuLayoutEntry | null>> = {
     readonly resourceType: 'bind-group';
     readonly layout: TgpuBindGroupLayout<Entries>;
@@ -1188,7 +1227,7 @@ declare function bindGroupLayout<Entries extends Record<string, TgpuLayoutEntry
 interface TgpuBufferUsage<TData extends BaseData = BaseData, TUsage extends BindableBufferUsage = BindableBufferUsage> {
     readonly resourceType: 'buffer-usage';
     readonly usage: TUsage;
-    readonly '~repr': Infer<TData>;
+    readonly [$repr]: Infer<TData>;
     value: InferGPU<TData>;
     readonly [$internal]: {
         readonly dataType: TData;
@@ -1315,7 +1354,7 @@ interface ResolutionCtx {
     resolve(item: unknown): string;
     resolveValue<T extends BaseData>(value: Infer<T>, schema: T): string;
     transpileFn(fn: string): {
-        argNames: string[];
+        argNames: ArgNames;
         body: Block;
         externalNames: string[];
     };
@@ -1344,36 +1383,36 @@ type BindableBufferUsage = 'uniform' | 'readonly' | 'mutable';
 /**
  * Describes a function signature (its arguments and return type)
  */
-interface TgpuFnShell<Args extends AnyWgslData[] = AnyWgslData[], Return extends AnyWgslData | undefined = AnyWgslData | undefined> {
+type TgpuFnShellHeader<Args extends AnyWgslData[] | Record<string, AnyWgslData>, Return extends AnyWgslData | undefined = AnyWgslData | undefined> = {
     readonly argTypes: Args;
     readonly returnType: Return | undefined;
+};
+/**
+ * Describes a function signature (its arguments and return type).
+ * Allows creating tgpu functions by calling this shell
+ * and passing the implementation (as WGSL string or JS function) as the argument.
+ */
+type TgpuFnShell<Args extends AnyWgslData[] | Record<string, AnyWgslData>, Return extends AnyWgslData | undefined = AnyWgslData | undefined> = TgpuFnShellHeader<Args, Return> & ((implementation: (...args: Args extends AnyWgslData[] ? InferArgs<Args> : [InferIO<Args>]) => InferReturn<Return>) => TgpuFn<Args, Return>) & ((implementation: string) => TgpuFn<Args, Return>) & {
     /**
-     * Creates a type-safe implementation of this signature
-     */
-    does(implementation: (...args: InferArgs<Args>) => InferReturn<Return>): TgpuFn<Args, Return>;
-    /**
-     * @param implementation
-     *   Raw WGSL function implementation with header and body
-     *   without `fn` keyword and function name
-     *   e.g. `"(x: f32) -> f32 { return x; }"`;
+     * @deprecated Invoke the shell as a function instead.
      */
-    does(implementation: string): TgpuFn<Args, Return>;
-}
-interface TgpuFnBase<Args extends AnyWgslData[], Return extends AnyWgslData | undefined = undefined> extends TgpuNamable, Labelled {
+    does: ((implementation: (...args: Args extends AnyWgslData[] ? InferArgs<Args> : [InferIO<Args>]) => InferReturn<Return>) => TgpuFn<Args, Return>) & ((implementation: string) => TgpuFn<Args, Return>);
+};
+interface TgpuFnBase<Args extends AnyWgslData[] | Record<string, AnyWgslData>, Return extends AnyWgslData | undefined = undefined> extends TgpuNamable, Labelled {
     readonly resourceType: 'function';
-    readonly shell: TgpuFnShell<Args, Return>;
+    readonly shell: TgpuFnShellHeader<Args, Return>;
     readonly '~providing'?: Providing | undefined;
     $uses(dependencyMap: Record<string, unknown>): this;
     with<T>(slot: TgpuSlot<T>, value: Eventual<T>): TgpuFn<Args, Return>;
     with<T extends AnyWgslData>(accessor: TgpuAccessor<T>, value: TgpuFn<[], T> | TgpuBufferUsage<T> | Infer<T>): TgpuFn<Args, Return>;
 }
-type TgpuFn<Args extends AnyWgslData[] = AnyWgslData[], Return extends AnyWgslData | undefined = AnyWgslData | undefined> = TgpuFnBase<Args, Return> & ((...args: InferArgs<Args>) => InferReturn<Return>) & {
+type TgpuFn<Args extends AnyWgslData[] | Record<string, AnyWgslData> = AnyWgslData[], Return extends AnyWgslData | undefined = AnyWgslData | undefined> = TgpuFnBase<Args, Return> & ((...args: Args extends AnyWgslData[] ? InferArgs<Args> : Args extends Record<string, never> ? [] : [InferIO<Args>]) => InferReturn<Return>) & {
     readonly [$internal]: {
-        implementation: Implementation<InferArgs<Args>, InferReturn<Return>>;
+        implementation: Implementation<Args extends AnyWgslData[] ? InferArgs<Args> : Args extends Record<string, never> ? [] : [InferIO<Args>], InferReturn<Return>>;
     };
 };
-declare function fn<Args extends AnyWgslData[] | []>(argTypes: Args, returnType?: undefined): TgpuFnShell<Args, undefined>;
-declare function fn<Args extends AnyWgslData[] | [], Return extends AnyWgslData>(argTypes: Args, returnType: Return): TgpuFnShell<Args, Return>;
+declare function fn<Args extends AnyWgslData[] | Record<string, AnyWgslData> | []>(argTypes: Args, returnType?: undefined): TgpuFnShell<Args, undefined>;
+declare function fn<Args extends AnyWgslData[] | Record<string, AnyWgslData> | [], Return extends AnyWgslData>(argTypes: Args, returnType: Return): TgpuFnShell<Args, Return>;
 declare function isTgpuFn<Args extends AnyWgslData[], Return extends AnyWgslData | undefined = undefined>(value: unknown | TgpuFn<Args, Return>): value is TgpuFn<Args, Return>;
 
 interface TgpuResolveOptions {

package/index.d.ts

@@ -1,7 +1,7 @@
-import { A as AnyWgslData, T as TgpuNamable, I as Infer, F as F32, a as F16, b as I32, U as U32, V as Vec2f, c as Vec3f, d as Vec4f, e as Vec2h, f as Vec3h, g as Vec4h, h as Vec2i, i as Vec3i, j as Vec4i, k as Vec2u, l as Vec3u, m as Vec4u, D as Decorated, n as AnyWgslStruct, B as BaseData, L as Location, W as WgslStruct, o as Default, p as UnionToIntersection, q as WgslArray, r as Disarray, s as Unstruct, t as VertexFormat, u as TgpuVertexAttrib, K as KindToDefaultFormatMap, v as KindToAcceptedAttribMap, w as AnyData, O as OmitProps, P as Prettify, M as Mutable, x as WgslTypeLiteral, y as InferPartial, z as MemIdentity, C as InferGPU, E as AbstractInt, G as AbstractFloat, H as AnyVecInstance, J as AnyMatInstance } from './wgslTypes-VtSRoe90.js';
-import { A as AnyAttribute, a as AnyComputeBuiltin, D as Decorate, I as IsBuiltin, H as HasCustomLocation, b as AnyFragmentInputBuiltin, c as AnyFragmentOutputBuiltin, O as OmitBuiltins } from './attributes-B4JpvOTz.js';
+import { A as AnyWgslData, T as TgpuNamable, I as Infer, F as F32, a as F16, b as I32, U as U32, V as Vec2f, c as Vec3f, d as Vec4f, e as Vec2h, f as Vec3h, g as Vec4h, h as Vec2i, i as Vec3i, j as Vec4i, k as Vec2u, l as Vec3u, m as Vec4u, D as Decorated, n as AnyWgslStruct, $ as $repr, B as BaseData, L as Location, W as WgslStruct, o as Default, p as UnionToIntersection, q as WgslArray, O as OmitProps, P as Prettify, M as Mutable, r as WgslTypeLiteral, s as InferPartial, t as MemIdentity, u as InferGPU, v as AbstractInt, w as AbstractFloat, x as AnyVecInstance, y as AnyMatInstance } from './wgslTypes-Bh2dG5qv.js';
+import { A as AnyAttribute, a as AnyComputeBuiltin, D as Decorate, I as IsBuiltin, H as HasCustomLocation, b as AnyFragmentInputBuiltin, c as AnyFragmentOutputBuiltin, O as OmitBuiltins, d as Disarray, U as Unstruct, V as VertexFormat, T as TgpuVertexAttrib, K as KindToDefaultFormatMap, e as KindToAcceptedAttribMap, f as AnyData } from './attributes-CAsvE5Z9.js';
 import * as smol from 'tinyest';
-import { Block } from 'tinyest';
+import { ArgNames, Block } from 'tinyest';
 
 declare const $internal: unique symbol;
 
@@ -36,7 +36,7 @@ declare function declare(declaration: string): TgpuDeclare;
  * Information extracted from transpiling a JS function.
  */
 type TranspilationResult = {
-    argNames: string[];
+    argNames: smol.ArgNames;
     body: smol.Block;
     /**
      * All identifiers found in the function code that are not declared in the
@@ -63,24 +63,40 @@ type InferIO<T> = T extends {
 } : T;
 
 /**
- * Describes a compute entry function signature (its arguments and return type)
+ * Describes a compute entry function signature (its arguments, return type and workgroup size)
  */
-interface TgpuComputeFnShell<ComputeIn extends Record<string, AnyComputeBuiltin>> {
+type TgpuComputeFnShellHeader<ComputeIn extends Record<string, AnyComputeBuiltin>> = {
     readonly argTypes: [AnyWgslStruct];
     readonly returnType: undefined;
     readonly workgroupSize: [number, number, number];
+};
+/**
+ * Describes a compute entry function signature (its arguments, return type and workgroup size).
+ * Allows creating tgpu compute functions by calling this shell
+ * and passing the implementation (as WGSL string or JS function) as the argument.
+ */
+type TgpuComputeFnShell<ComputeIn extends Record<string, AnyComputeBuiltin>> = TgpuComputeFnShellHeader<ComputeIn> /**
+ * Creates a type-safe implementation of this signature
+ */ & ((implementation: (input: InferIO<ComputeIn>) => undefined) => TgpuComputeFn<ComputeIn>) & 
+/**
+ * @param implementation
+ *   Raw WGSL function implementation with header and body
+ *   without `fn` keyword and function name
+ *   e.g. `"(x: f32) -> f32 { return x; }"`;
+ */
+((implementation: string) => TgpuComputeFn<ComputeIn>) & {
     /**
-     * Creates a type-safe implementation of this signature
+     * @deprecated Invoke the shell as a function instead.
      */
-    does(implementation: (input: InferIO<ComputeIn>) => undefined): TgpuComputeFn<ComputeIn>;
+    does: ((implementation: (input: InferIO<ComputeIn>) => undefined) => TgpuComputeFn<ComputeIn>) & 
     /**
      * @param implementation
      *   Raw WGSL function implementation with header and body
      *   without `fn` keyword and function name
      *   e.g. `"(x: f32) -> f32 { return x; }"`;
      */
-    does(implementation: string): TgpuComputeFn<ComputeIn>;
-}
+    ((implementation: string) => TgpuComputeFn<ComputeIn>);
+};
 interface TgpuComputeFn<ComputeIn extends Record<string, AnyComputeBuiltin> = Record<string, AnyComputeBuiltin>> extends TgpuNamable {
     readonly shell: TgpuComputeFnShell<ComputeIn>;
     $uses(dependencyMap: Record<string, unknown>): this;
@@ -132,7 +148,7 @@ declare class StrictNameRegistry implements NameRegistry {
 
 interface TgpuSlot<T> extends TgpuNamable, Labelled {
     readonly resourceType: 'slot';
-    '~repr': Infer<T>;
+    [$repr]: Infer<T>;
     readonly defaultValue: T | undefined;
     /**
      * Used to determine if code generated using either value `a` or `b` in place
@@ -144,7 +160,7 @@ interface TgpuSlot<T> extends TgpuNamable, Labelled {
 interface TgpuDerived<T> {
     readonly resourceType: 'derived';
     readonly value: Infer<T>;
-    '~repr': Infer<T>;
+    [$repr]: Infer<T>;
     readonly '~providing'?: Providing | undefined;
     with<TValue>(slot: TgpuSlot<TValue>, value: Eventual<TValue>): TgpuDerived<T>;
     /**
@@ -154,7 +170,7 @@ interface TgpuDerived<T> {
 }
 interface TgpuAccessor<T extends AnyWgslData = AnyWgslData> extends TgpuNamable, Labelled {
     readonly resourceType: 'accessor';
-    '~repr': Infer<T>;
+    [$repr]: Infer<T>;
     readonly schema: T;
     readonly defaultValue: TgpuFn<[], T> | TgpuBufferUsage<T> | Infer<T> | undefined;
     readonly slot: TgpuSlot<TgpuFn<[], T> | TgpuBufferUsage<T> | Infer<T>>;
@@ -187,26 +203,42 @@ type IOLayoutToSchema<T extends IOLayout> = T extends BaseData ? Decorate<T, Loc
 type FragmentOutConstrained = Vec4f | Decorated<Vec4f, [Location<number>]> | AnyFragmentOutputBuiltin | IORecord<Vec4f | Decorated<Vec4f, [Location<number>]> | AnyFragmentOutputBuiltin>;
 type FragmentInConstrained = IORecord<BaseIOData | Decorated<BaseIOData, AnyAttribute<never>[]> | AnyFragmentInputBuiltin>;
 /**
- * Describes a fragment entry function signature (its arguments and return type)
+ * Describes a fragment entry function signature (its arguments, return type and targets)
  */
-interface TgpuFragmentFnShell<FragmentIn extends FragmentInConstrained, FragmentOut extends FragmentOutConstrained> {
+type TgpuFragmentFnShellHeader<FragmentIn extends FragmentInConstrained, FragmentOut extends FragmentOutConstrained> = {
     readonly argTypes: [AnyWgslStruct];
     readonly targets: FragmentOut;
     readonly returnType: FragmentOut;
+};
+/**
+ * Describes a fragment entry function signature (its arguments, return type and targets).
+ * Allows creating tgpu fragment functions by calling this shell
+ * and passing the implementation (as WGSL string or JS function) as the argument.
+ */
+type TgpuFragmentFnShell<FragmentIn extends FragmentInConstrained, FragmentOut extends FragmentOutConstrained> = TgpuFragmentFnShellHeader<FragmentIn, FragmentOut> /**
+ * Creates a type-safe implementation of this signature
+ */ & ((implementation: (input: InferIO<FragmentIn>) => InferIO<FragmentOut>) => TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>) & 
+/**
+ * @param implementation
+ *   Raw WGSL function implementation with header and body
+ *   without `fn` keyword and function name
+ *   e.g. `"(x: f32) -> f32 { return x; }"`;
+ */
+((implementation: string) => TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>) & {
     /**
-     * Creates a type-safe implementation of this signature
+     * @deprecated Invoke the shell as a function instead.
      */
-    does(implementation: (input: InferIO<FragmentIn>) => InferIO<FragmentOut>): TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>;
+    does: ((implementation: (input: InferIO<FragmentIn>) => InferIO<FragmentOut>) => TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>) & 
     /**
      * @param implementation
      *   Raw WGSL function implementation with header and body
      *   without `fn` keyword and function name
      *   e.g. `"(x: f32) -> f32 { return x; }"`;
      */
-    does(implementation: string): TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>;
-}
+    ((implementation: string) => TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>);
+};
 interface TgpuFragmentFn<Varying extends FragmentInConstrained = FragmentInConstrained, Output extends FragmentOutConstrained = FragmentOutConstrained> extends TgpuNamable {
-    readonly shell: TgpuFragmentFnShell<Varying, Output>;
+    readonly shell: TgpuFragmentFnShellHeader<Varying, Output>;
     readonly outputType: IOLayoutToSchema<Output>;
     $uses(dependencyMap: Record<string, unknown>): this;
 }
@@ -219,26 +251,26 @@ declare function fragmentFn<FragmentIn extends FragmentInConstrained, FragmentOu
 }): TgpuFragmentFnShell<FragmentIn, FragmentOut>;
 
 /**
- * Describes a vertex entry function signature (its arguments and return type)
+ * Describes a vertex entry function signature (its arguments, return type and attributes)
  */
-interface TgpuVertexFnShell<VertexIn extends IOLayout, VertexOut extends IOLayout> {
+type TgpuVertexFnShellHeader<VertexIn extends IOLayout, VertexOut extends IOLayout> = {
     readonly argTypes: [AnyWgslStruct];
     readonly returnType: VertexOut;
     readonly attributes: [VertexIn];
+};
+/**
+ * Describes a vertex entry function signature (its arguments, return type and attributes).
+ * Allows creating tgpu vertex functions by calling this shell
+ * and passing the implementation (as WGSL string or JS function) as the argument.
+ */
+type TgpuVertexFnShell<VertexIn extends IOLayout, VertexOut extends IOLayout> = TgpuVertexFnShellHeader<VertexIn, VertexOut> & ((implementation: (input: InferIO<VertexIn>) => InferIO<VertexOut>) => TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>) & ((implementation: string) => TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>) & {
     /**
-     * Creates a type-safe implementation of this signature
-     */
-    does(implementation: (input: InferIO<VertexIn>) => InferIO<VertexOut>): TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>;
-    /**
-     * @param implementation
-     *   Raw WGSL function implementation with header and body
-     *   without `fn` keyword and function name
-     *   e.g. `"(x: f32) -> f32 { return x; }"`;
+     * @deprecated Invoke the shell as a function instead.
      */
-    does(implementation: string): TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>;
-}
+    does: ((implementation: (input: InferIO<VertexIn>) => InferIO<VertexOut>) => TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>) & ((implementation: string) => TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>);
+};
 interface TgpuVertexFn<VertexIn extends IOLayout = IOLayout, VertexOut extends IOLayout = IOLayout> extends TgpuNamable {
-    readonly shell: TgpuVertexFnShell<VertexIn, VertexOut>;
+    readonly shell: TgpuVertexFnShellHeader<VertexIn, VertexOut>;
     readonly outputType: IOLayoutToSchema<VertexOut>;
     readonly inputType: IOLayoutToSchema<VertexIn>;
     $uses(dependencyMap: Record<string, unknown>): this;
@@ -1126,6 +1158,12 @@ interface TgpuBindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | n
     readonly bound: {
         [K in keyof Entries]: BindLayoutEntry<Entries[K]>;
     };
+    readonly value: {
+        [K in keyof Entries]: InferLayoutEntry<Entries[K]>;
+    };
+    readonly $: {
+        [K in keyof Entries]: InferLayoutEntry<Entries[K]>;
+    };
     /**
      * An explicit numeric index assigned to this bind group layout. If undefined, a unique
      * index is assigned automatically during resolution. This can be changed with the
@@ -1177,7 +1215,8 @@ type GetStorageTextureRestriction<T extends TgpuLayoutStorageTexture> = Default<
     dimension: Dimension;
 } : never;
 type LayoutEntryToInput<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? (TgpuBuffer<UnwrapRuntimeConstructor<T['uniform']>> & UniformFlag) | GPUBuffer : T extends TgpuLayoutStorage ? (TgpuBuffer<UnwrapRuntimeConstructor<T['storage']>> & StorageFlag) | GPUBuffer : T extends TgpuLayoutSampler ? TgpuSampler | GPUSampler : T extends TgpuLayoutComparisonSampler ? TgpuComparisonSampler | GPUSampler : T extends TgpuLayoutTexture ? GPUTextureView | (Sampled & TgpuTexture<Prettify<TextureProps & GetTextureRestriction<T>>>) | TgpuSampledTexture<Default<T['viewDimension'], '2d'>, ChannelFormatToSchema[T['texture']]> : T extends TgpuLayoutStorageTexture ? GPUTextureView | (StorageFlag & TgpuTexture<Prettify<TextureProps & GetStorageTextureRestriction<T>>>) | StorageTextureUsageForEntry<T> : T extends TgpuLayoutExternalTexture ? GPUExternalTexture : never;
-type BindLayoutEntry<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? TgpuBufferUniform<UnwrapRuntimeConstructor<T['uniform']>> : T extends TgpuLayoutStorage ? StorageUsageForEntry<T> : T extends TgpuLayoutSampler ? TgpuSampler : T extends TgpuLayoutComparisonSampler ? TgpuComparisonSampler : T extends TgpuLayoutTexture ? TgpuSampledTexture<Default<GetDimension<T['viewDimension']>, '2d'>, ChannelFormatToSchema[T['texture']]> : T extends TgpuLayoutStorageTexture ? StorageTextureUsageForEntry<T> : never;
+type BindLayoutEntry<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? TgpuBufferUniform<T['uniform']> : T extends TgpuLayoutStorage ? StorageUsageForEntry<T> : T extends TgpuLayoutSampler ? TgpuSampler : T extends TgpuLayoutComparisonSampler ? TgpuComparisonSampler : T extends TgpuLayoutTexture ? TgpuSampledTexture<Default<GetDimension<T['viewDimension']>, '2d'>, ChannelFormatToSchema[T['texture']]> : T extends TgpuLayoutStorageTexture ? StorageTextureUsageForEntry<T> : never;
+type InferLayoutEntry<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? Infer<T['uniform']> : T extends TgpuLayoutStorage ? Infer<UnwrapRuntimeConstructor<T['storage']>> : T extends TgpuLayoutSampler ? TgpuSampler : T extends TgpuLayoutComparisonSampler ? TgpuComparisonSampler : T extends TgpuLayoutTexture ? TgpuSampledTexture<Default<GetDimension<T['viewDimension']>, '2d'>, ChannelFormatToSchema[T['texture']]> : T extends TgpuLayoutStorageTexture ? StorageTextureUsageForEntry<T> : never;
 type TgpuBindGroup<Entries extends Record<string, TgpuLayoutEntry | null> = Record<string, TgpuLayoutEntry | null>> = {
     readonly resourceType: 'bind-group';
     readonly layout: TgpuBindGroupLayout<Entries>;
@@ -1188,7 +1227,7 @@ declare function bindGroupLayout<Entries extends Record<string, TgpuLayoutEntry
 interface TgpuBufferUsage<TData extends BaseData = BaseData, TUsage extends BindableBufferUsage = BindableBufferUsage> {
     readonly resourceType: 'buffer-usage';
     readonly usage: TUsage;
-    readonly '~repr': Infer<TData>;
+    readonly [$repr]: Infer<TData>;
     value: InferGPU<TData>;
     readonly [$internal]: {
         readonly dataType: TData;
@@ -1315,7 +1354,7 @@ interface ResolutionCtx {
     resolve(item: unknown): string;
     resolveValue<T extends BaseData>(value: Infer<T>, schema: T): string;
     transpileFn(fn: string): {
-        argNames: string[];
+        argNames: ArgNames;
         body: Block;
         externalNames: string[];
     };
@@ -1344,36 +1383,36 @@ type BindableBufferUsage = 'uniform' | 'readonly' | 'mutable';
 /**
  * Describes a function signature (its arguments and return type)
  */
-interface TgpuFnShell<Args extends AnyWgslData[] = AnyWgslData[], Return extends AnyWgslData | undefined = AnyWgslData | undefined> {
+type TgpuFnShellHeader<Args extends AnyWgslData[] | Record<string, AnyWgslData>, Return extends AnyWgslData | undefined = AnyWgslData | undefined> = {
     readonly argTypes: Args;
     readonly returnType: Return | undefined;
+};
+/**
+ * Describes a function signature (its arguments and return type).
+ * Allows creating tgpu functions by calling this shell
+ * and passing the implementation (as WGSL string or JS function) as the argument.
+ */
+type TgpuFnShell<Args extends AnyWgslData[] | Record<string, AnyWgslData>, Return extends AnyWgslData | undefined = AnyWgslData | undefined> = TgpuFnShellHeader<Args, Return> & ((implementation: (...args: Args extends AnyWgslData[] ? InferArgs<Args> : [InferIO<Args>]) => InferReturn<Return>) => TgpuFn<Args, Return>) & ((implementation: string) => TgpuFn<Args, Return>) & {
     /**
-     * Creates a type-safe implementation of this signature
-     */
-    does(implementation: (...args: InferArgs<Args>) => InferReturn<Return>): TgpuFn<Args, Return>;
-    /**
-     * @param implementation
-     *   Raw WGSL function implementation with header and body
-     *   without `fn` keyword and function name
-     *   e.g. `"(x: f32) -> f32 { return x; }"`;
+     * @deprecated Invoke the shell as a function instead.
      */
-    does(implementation: string): TgpuFn<Args, Return>;
-}
-interface TgpuFnBase<Args extends AnyWgslData[], Return extends AnyWgslData | undefined = undefined> extends TgpuNamable, Labelled {
+    does: ((implementation: (...args: Args extends AnyWgslData[] ? InferArgs<Args> : [InferIO<Args>]) => InferReturn<Return>) => TgpuFn<Args, Return>) & ((implementation: string) => TgpuFn<Args, Return>);
+};
+interface TgpuFnBase<Args extends AnyWgslData[] | Record<string, AnyWgslData>, Return extends AnyWgslData | undefined = undefined> extends TgpuNamable, Labelled {
     readonly resourceType: 'function';
-    readonly shell: TgpuFnShell<Args, Return>;
+    readonly shell: TgpuFnShellHeader<Args, Return>;
     readonly '~providing'?: Providing | undefined;
     $uses(dependencyMap: Record<string, unknown>): this;
     with<T>(slot: TgpuSlot<T>, value: Eventual<T>): TgpuFn<Args, Return>;
     with<T extends AnyWgslData>(accessor: TgpuAccessor<T>, value: TgpuFn<[], T> | TgpuBufferUsage<T> | Infer<T>): TgpuFn<Args, Return>;
 }
-type TgpuFn<Args extends AnyWgslData[] = AnyWgslData[], Return extends AnyWgslData | undefined = AnyWgslData | undefined> = TgpuFnBase<Args, Return> & ((...args: InferArgs<Args>) => InferReturn<Return>) & {
+type TgpuFn<Args extends AnyWgslData[] | Record<string, AnyWgslData> = AnyWgslData[], Return extends AnyWgslData | undefined = AnyWgslData | undefined> = TgpuFnBase<Args, Return> & ((...args: Args extends AnyWgslData[] ? InferArgs<Args> : Args extends Record<string, never> ? [] : [InferIO<Args>]) => InferReturn<Return>) & {
     readonly [$internal]: {
-        implementation: Implementation<InferArgs<Args>, InferReturn<Return>>;
+        implementation: Implementation<Args extends AnyWgslData[] ? InferArgs<Args> : Args extends Record<string, never> ? [] : [InferIO<Args>], InferReturn<Return>>;
     };
 };
-declare function fn<Args extends AnyWgslData[] | []>(argTypes: Args, returnType?: undefined): TgpuFnShell<Args, undefined>;
-declare function fn<Args extends AnyWgslData[] | [], Return extends AnyWgslData>(argTypes: Args, returnType: Return): TgpuFnShell<Args, Return>;
+declare function fn<Args extends AnyWgslData[] | Record<string, AnyWgslData> | []>(argTypes: Args, returnType?: undefined): TgpuFnShell<Args, undefined>;
+declare function fn<Args extends AnyWgslData[] | Record<string, AnyWgslData> | [], Return extends AnyWgslData>(argTypes: Args, returnType: Return): TgpuFnShell<Args, Return>;
 declare function isTgpuFn<Args extends AnyWgslData[], Return extends AnyWgslData | undefined = undefined>(value: unknown | TgpuFn<Args, Return>): value is TgpuFn<Args, Return>;
 
 interface TgpuResolveOptions {