typegpu 0.5.4 → 0.5.6

package/index.d.ts

@@ -1,9 +1,9 @@
-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 { A as AnyWgslData, T as TgpuNamable, I as Infer, $ as $internal, 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, o as $repr, B as BaseData, L as Location, W as WgslStruct, p as WgslArray, q as Disarray, r as AnyUnstruct, s as VertexFormat, t as TgpuVertexAttrib, K as KindToDefaultFormatMap, u as KindToAcceptedAttribMap, v as AnyData, O as OmitProps, P as Prettify, M as Mutable, w as WgslTypeLiteral, x as UnionToIntersection, y as InferPartial, z as MemIdentity, C as Default, E as InferGPU, G as AnyVecInstance, H as AnyMatInstance } from './dataTypes-6k4EJeol.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-B90UjSYb.js';
+import * as tinyest from 'tinyest';
 import { ArgNames, Block } from 'tinyest';
-
-declare const $internal: unique symbol;
+import { T as TgpuTexture, R as Render, a as TgpuReadonlyTexture, b as TgpuWriteonlyTexture, c as TgpuMutableTexture, d as TgpuSampledTexture, e as TgpuSampler, f as TgpuComparisonSampler, S as StorageFlag, g as StorageTextureTexelFormat, h as StorageTextureDimension, C as ChannelFormatToSchema, V as ViewDimensionToDimension, i as TexelFormatToDataType, j as Sampled, k as TextureProps, l as ChannelTypeToLegalFormats, m as SampleTypeToStringChannelType, n as TgpuAnyTextureView, s as sampler, o as comparisonSampler } from './sampler-ByLNpSxj.js';
+export { y as Storage, q as isComparisonSampler, r as isSampledTextureView, p as isSampler, t as isStorageTextureView, u as isTexture, v as isUsableAsRender, w as isUsableAsSampled, x as isUsableAsStorage } from './sampler-ByLNpSxj.js';
 
 interface TgpuConst<TDataType extends AnyWgslData = AnyWgslData> extends TgpuNamable {
     readonly value: Infer<TDataType>;
@@ -36,8 +36,8 @@ declare function declare(declaration: string): TgpuDeclare;
  * Information extracted from transpiling a JS function.
  */
 type TranspilationResult = {
-    argNames: smol.ArgNames;
-    body: smol.Block;
+    argNames: tinyest.ArgNames;
+    body: tinyest.Block;
     /**
      * All identifiers found in the function code that are not declared in the
      * function itself, or in the block that is accessing that identifier.
@@ -48,7 +48,8 @@ type InferArgs<T extends unknown[]> = {
     [Idx in keyof T]: Infer<T[Idx]>;
 };
 type InferReturn<T> = T extends undefined ? void : Infer<T>;
-type Implementation<Args extends unknown[] = unknown[], Return = unknown> = string | ((...args: Args) => Return);
+type JsImplementation<Args extends unknown[] | Record<string, unknown> = unknown[] | Record<string, unknown>, Return = unknown> = (...args: Args extends unknown[] ? InferArgs<Args> : Args extends Record<string, never> ? [] : [InferIO<Args>]) => InferReturn<Return>;
+type Implementation<Args extends unknown[] | Record<string, unknown> = unknown[] | Record<string, unknown>, Return = unknown> = string | JsImplementation<Args, Return>;
 type BaseIOData = F32 | F16 | I32 | U32 | Vec2f | Vec3f | Vec4f | Vec2h | Vec3h | Vec4h | Vec2i | Vec3i | Vec4i | Vec2u | Vec3u | Vec4u;
 type IOData = BaseIOData | Decorated<BaseIOData, AnyAttribute[]>;
 type IORecord<TElementType extends IOData = IOData> = Record<string, TElementType>;
@@ -66,9 +67,10 @@ type InferIO<T> = T extends {
  * Describes a compute entry function signature (its arguments, return type and workgroup size)
  */
 type TgpuComputeFnShellHeader<ComputeIn extends Record<string, AnyComputeBuiltin>> = {
-    readonly argTypes: [AnyWgslStruct];
+    readonly argTypes: [AnyWgslStruct] | [];
     readonly returnType: undefined;
     readonly workgroupSize: [number, number, number];
+    readonly isEntry: true;
 };
 /**
  * Describes a compute entry function signature (its arguments, return type and workgroup size).
@@ -84,7 +86,7 @@ type TgpuComputeFnShell<ComputeIn extends Record<string, AnyComputeBuiltin>> = T
  *   without `fn` keyword and function name
  *   e.g. `"(x: f32) -> f32 { return x; }"`;
  */
-((implementation: string) => TgpuComputeFn<ComputeIn>) & {
+((implementation: string) => TgpuComputeFn<ComputeIn>) & ((strings: TemplateStringsArray, ...values: unknown[]) => TgpuComputeFn<ComputeIn>) & {
     /**
      * @deprecated Invoke the shell as a function instead.
      */
@@ -109,17 +111,8 @@ declare function computeFn<ComputeIn extends Record<string, AnyComputeBuiltin>>(
     workgroupSize: number[];
 }): TgpuComputeFnShell<ComputeIn>;
 
-interface StorageFlag {
-    usableAsStorage: true;
-}
-/**
- * @deprecated Use StorageFlag instead.
- */
-type Storage = StorageFlag;
-declare function isUsableAsStorage<T>(value: T): value is T & StorageFlag;
-
 /**
- * Used to transpile JS resources into SMoL on demand.
+ * Used to transpile JS resources into tinyest on demand.
  */
 interface JitTranspiler {
     transpileFn(rawJs: string): TranspilationResult;
@@ -206,9 +199,10 @@ type FragmentInConstrained = IORecord<BaseIOData | Decorated<BaseIOData, AnyAttr
  * Describes a fragment entry function signature (its arguments, return type and targets)
  */
 type TgpuFragmentFnShellHeader<FragmentIn extends FragmentInConstrained, FragmentOut extends FragmentOutConstrained> = {
-    readonly argTypes: [AnyWgslStruct];
+    readonly argTypes: [AnyWgslStruct] | [];
     readonly targets: FragmentOut;
     readonly returnType: FragmentOut;
+    readonly isEntry: true;
 };
 /**
  * Describes a fragment entry function signature (its arguments, return type and targets).
@@ -224,7 +218,7 @@ type TgpuFragmentFnShell<FragmentIn extends FragmentInConstrained, FragmentOut e
  *   without `fn` keyword and function name
  *   e.g. `"(x: f32) -> f32 { return x; }"`;
  */
-((implementation: string) => TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>) & {
+((implementation: string) => TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>) & ((strings: TemplateStringsArray, ...values: unknown[]) => TgpuFragmentFn<OmitBuiltins<FragmentIn>, OmitBuiltins<FragmentOut>>) & {
     /**
      * @deprecated Invoke the shell as a function instead.
      */
@@ -254,16 +248,17 @@ declare function fragmentFn<FragmentIn extends FragmentInConstrained, FragmentOu
  * Describes a vertex entry function signature (its arguments, return type and attributes)
  */
 type TgpuVertexFnShellHeader<VertexIn extends IOLayout, VertexOut extends IOLayout> = {
-    readonly argTypes: [AnyWgslStruct];
+    readonly argTypes: [AnyWgslStruct] | [];
     readonly returnType: VertexOut;
     readonly attributes: [VertexIn];
+    readonly isEntry: true;
 };
 /**
  * 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>>) & {
+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>>) & ((strings: TemplateStringsArray, ...values: unknown[]) => TgpuVertexFn<OmitBuiltins<VertexIn>, OmitBuiltins<VertexOut>>) & {
     /**
      * @deprecated Invoke the shell as a function instead.
      */
@@ -283,269 +278,6 @@ declare function vertexFn<VertexIn extends IORecord, VertexOut extends IORecord>
     out: VertexOut;
 }): TgpuVertexFnShell<VertexIn, VertexOut>;
 
-type TextureProps = {
-    size: readonly number[];
-    format: GPUTextureFormat;
-    viewFormats?: GPUTextureFormat[] | undefined;
-    dimension?: GPUTextureDimension | undefined;
-    mipLevelCount?: number | undefined;
-    sampleCount?: number | undefined;
-};
-
-declare const texelFormatToChannelType: {
-    r8unorm: F32;
-    r8snorm: F32;
-    r8uint: U32;
-    r8sint: I32;
-    r16uint: U32;
-    r16sint: I32;
-    r16float: F32;
-    rg8unorm: F32;
-    rg8snorm: F32;
-    rg8uint: U32;
-    rg8sint: I32;
-    r32uint: U32;
-    r32sint: I32;
-    r32float: F32;
-    rg16uint: U32;
-    rg16sint: I32;
-    rg16float: F32;
-    rgba8unorm: F32;
-    'rgba8unorm-srgb': F32;
-    rgba8snorm: F32;
-    rgba8uint: U32;
-    rgba8sint: I32;
-    bgra8unorm: F32;
-    'bgra8unorm-srgb': F32;
-    rgb9e5ufloat: F32;
-    rgb10a2uint: U32;
-    rgb10a2unorm: F32;
-    rg11b10ufloat: F32;
-    rg32uint: U32;
-    rg32sint: I32;
-    rg32float: F32;
-    rgba16uint: U32;
-    rgba16sint: I32;
-    rgba16float: F32;
-    rgba32uint: U32;
-    rgba32sint: I32;
-    rgba32float: F32;
-    stencil8: F32;
-    depth16unorm: F32;
-    depth24plus: F32;
-    'depth24plus-stencil8': F32;
-    depth32float: F32;
-    'depth32float-stencil8': F32;
-    'bc1-rgba-unorm': F32;
-    'bc1-rgba-unorm-srgb': F32;
-    'bc2-rgba-unorm': F32;
-    'bc2-rgba-unorm-srgb': F32;
-    'bc3-rgba-unorm': F32;
-    'bc3-rgba-unorm-srgb': F32;
-    'bc4-r-unorm': F32;
-    'bc4-r-snorm': F32;
-    'bc5-rg-unorm': F32;
-    'bc5-rg-snorm': F32;
-    'bc6h-rgb-ufloat': F32;
-    'bc6h-rgb-float': F32;
-    'bc7-rgba-unorm': F32;
-    'bc7-rgba-unorm-srgb': F32;
-    'etc2-rgb8unorm': F32;
-    'etc2-rgb8unorm-srgb': F32;
-    'etc2-rgb8a1unorm': F32;
-    'etc2-rgb8a1unorm-srgb': F32;
-    'etc2-rgba8unorm': F32;
-    'etc2-rgba8unorm-srgb': F32;
-    'eac-r11unorm': F32;
-    'eac-r11snorm': F32;
-    'eac-rg11unorm': F32;
-    'eac-rg11snorm': F32;
-    'astc-4x4-unorm': F32;
-    'astc-4x4-unorm-srgb': F32;
-    'astc-5x4-unorm': F32;
-    'astc-5x4-unorm-srgb': F32;
-    'astc-5x5-unorm': F32;
-    'astc-5x5-unorm-srgb': F32;
-    'astc-6x5-unorm': F32;
-    'astc-6x5-unorm-srgb': F32;
-    'astc-6x6-unorm': F32;
-    'astc-6x6-unorm-srgb': F32;
-    'astc-8x5-unorm': F32;
-    'astc-8x5-unorm-srgb': F32;
-    'astc-8x6-unorm': F32;
-    'astc-8x6-unorm-srgb': F32;
-    'astc-8x8-unorm': F32;
-    'astc-8x8-unorm-srgb': F32;
-    'astc-10x5-unorm': F32;
-    'astc-10x5-unorm-srgb': F32;
-    'astc-10x6-unorm': F32;
-    'astc-10x6-unorm-srgb': F32;
-    'astc-10x8-unorm': F32;
-    'astc-10x8-unorm-srgb': F32;
-    'astc-10x10-unorm': F32;
-    'astc-10x10-unorm-srgb': F32;
-    'astc-12x10-unorm': F32;
-    'astc-12x10-unorm-srgb': F32;
-    'astc-12x12-unorm': F32;
-    'astc-12x12-unorm-srgb': F32;
-};
-type TexelFormatToChannelType = typeof texelFormatToChannelType;
-type TexelFormatToStringChannels = {
-    [Key in keyof TexelFormatToChannelType]: TexelFormatToChannelType[Key]['type'];
-};
-type KeysWithValue<T extends Record<string, unknown>, TValue> = keyof {
-    [Key in keyof T as T[Key] extends TValue ? Key : never]: Key;
-};
-type ChannelTypeToLegalFormats = {
-    [Key in TexelFormatToChannelType[keyof TexelFormatToChannelType]['type']]: KeysWithValue<TexelFormatToStringChannels, Key>;
-};
-type SampleTypeToStringChannelType = {
-    float: 'f32';
-    'unfilterable-float': 'f32';
-    depth: 'f32';
-    sint: 'i32';
-    uint: 'u32';
-};
-type ViewDimensionToDimension = {
-    '1d': '1d';
-    '2d': '2d';
-    '2d-array': '2d';
-    '3d': '3d';
-    cube: '2d';
-    'cube-array': '2d';
-};
-/**
- * https://www.w3.org/TR/WGSL/#storage-texel-formats
- */
-type StorageTextureTexelFormat = 'rgba8unorm' | 'rgba8snorm' | 'rgba8uint' | 'rgba8sint' | 'rgba16uint' | 'rgba16sint' | 'rgba16float' | 'r32uint' | 'r32sint' | 'r32float' | 'rg32uint' | 'rg32sint' | 'rg32float' | 'rgba32uint' | 'rgba32sint' | 'rgba32float' | 'bgra8unorm';
-declare const texelFormatToDataType: {
-    readonly rgba8unorm: Vec4f;
-    readonly rgba8snorm: Vec4f;
-    readonly rgba8uint: Vec4u;
-    readonly rgba8sint: Vec4i;
-    readonly rgba16uint: Vec4u;
-    readonly rgba16sint: Vec4i;
-    readonly rgba16float: Vec4f;
-    readonly r32uint: Vec4u;
-    readonly r32sint: Vec4i;
-    readonly r32float: Vec4f;
-    readonly rg32uint: Vec4u;
-    readonly rg32sint: Vec4i;
-    readonly rg32float: Vec4f;
-    readonly rgba32uint: Vec4u;
-    readonly rgba32sint: Vec4i;
-    readonly rgba32float: Vec4f;
-    readonly bgra8unorm: Vec4f;
-};
-declare const channelFormatToSchema: {
-    float: F32;
-    'unfilterable-float': F32;
-    uint: U32;
-    sint: I32;
-    depth: F32;
-};
-type ChannelFormatToSchema = typeof channelFormatToSchema;
-type TexelFormatToDataType = typeof texelFormatToDataType;
-type TexelFormatToDataTypeOrNever<T> = T extends keyof TexelFormatToDataType ? TexelFormatToDataType[T] : never;
-/**
- * Represents what formats a storage view can choose from based on its owner texture's props.
- */
-type StorageFormatOptions<TProps extends TextureProps> = Extract<TProps['format'] | Default<TProps['viewFormats'], []>[number], StorageTextureTexelFormat>;
-/**
- * Represents what formats a sampled view can choose from based on its owner texture's props.
- */
-type SampledFormatOptions<TProps extends TextureProps> = TProps['format'] | Default<TProps['viewFormats'], []>[number];
-
-interface Sampled {
-    usableAsSampled: true;
-}
-interface Render {
-    usableAsRender: true;
-}
-type LiteralToExtensionMap = {
-    storage: StorageFlag;
-    sampled: Sampled;
-    render: Render;
-};
-type AllowedUsages<TProps extends TextureProps> = 'sampled' | 'render' | (TProps['format'] extends StorageTextureTexelFormat ? 'storage' : never);
-declare function isUsableAsSampled<T>(value: T): value is T & Sampled;
-declare function isUsableAsRender<T>(value: T): value is T & Render;
-
-type ResolveStorageDimension<TDimension extends GPUTextureViewDimension, TProps extends TextureProps> = StorageTextureDimension extends TDimension ? Default<TProps['dimension'], '2d'> : TDimension extends StorageTextureDimension ? TDimension : '2d';
-type ViewUsages$1<TProps extends TextureProps, TTexture extends TgpuTexture<TProps>> = boolean extends TTexture['usableAsSampled'] ? boolean extends TTexture['usableAsStorage'] ? never : 'readonly' | 'writeonly' | 'mutable' : boolean extends TTexture['usableAsStorage'] ? 'sampled' : 'readonly' | 'writeonly' | 'mutable' | 'sampled';
-type ChannelData = U32 | I32 | F32;
-type TexelData = Vec4u | Vec4i | Vec4f;
-/**
- * @param TProps all properties that distinguish this texture apart from other textures on the type level.
- */
-interface TgpuTexture<TProps extends TextureProps = TextureProps> extends TgpuNamable {
-    readonly resourceType: 'texture';
-    readonly props: TProps;
-    readonly label: string | undefined;
-    readonly usableAsStorage: boolean;
-    readonly usableAsSampled: boolean;
-    readonly usableAsRender: boolean;
-    $usage<T extends AllowedUsages<TProps>[]>(...usages: T): this & UnionToIntersection<LiteralToExtensionMap[T[number]]>;
-    createView<TUsage extends ViewUsages$1<TProps, this>, TDimension extends 'sampled' extends TUsage ? GPUTextureViewDimension : StorageTextureDimension, TFormat extends 'sampled' extends TUsage ? SampledFormatOptions<TProps> : StorageFormatOptions<TProps>>(access: TUsage, params?: TextureViewParams<TDimension, TFormat>): {
-        mutable: TgpuMutableTexture<ResolveStorageDimension<TDimension, TProps>, TexelFormatToDataTypeOrNever<StorageFormatOptions<TProps> extends TFormat ? TProps['format'] : TFormat>>;
-        readonly: TgpuReadonlyTexture<ResolveStorageDimension<TDimension, TProps>, TexelFormatToDataTypeOrNever<StorageFormatOptions<TProps> extends TFormat ? TProps['format'] : TFormat>>;
-        writeonly: TgpuWriteonlyTexture<ResolveStorageDimension<TDimension, TProps>, TexelFormatToDataTypeOrNever<StorageFormatOptions<TProps> extends TFormat ? TProps['format'] : TFormat>>;
-        sampled: TgpuSampledTexture<GPUTextureViewDimension extends TDimension ? Default<TProps['dimension'], '2d'> : TDimension, TexelFormatToChannelType[SampledFormatOptions<TProps> extends TFormat ? TProps['format'] : TFormat]>;
-    }[TUsage];
-    destroy(): void;
-}
-type StorageTextureAccess = 'readonly' | 'writeonly' | 'mutable';
-/**
- * Based on @see GPUTextureViewDimension
- * https://www.w3.org/TR/WGSL/#texture-depth
- */
-type StorageTextureDimension = '1d' | '2d' | '2d-array' | '3d';
-type TextureViewParams<TDimension extends GPUTextureViewDimension | undefined, TFormat extends GPUTextureFormat | undefined> = {
-    format?: TFormat;
-    dimension?: TDimension;
-    aspect?: GPUTextureAspect;
-    baseMipLevel?: number;
-    mipLevelCount?: number;
-    baseArrayLayout?: number;
-    arrayLayerCount?: number;
-};
-interface TgpuStorageTexture<TDimension extends StorageTextureDimension = StorageTextureDimension, TData extends TexelData = TexelData> {
-    readonly resourceType: 'texture-storage-view';
-    readonly dimension: TDimension;
-    readonly texelDataType: TData;
-    readonly access: StorageTextureAccess;
-}
-/**
- * A texture accessed as "readonly" storage on the GPU.
- */
-interface TgpuReadonlyTexture<TDimension extends StorageTextureDimension = StorageTextureDimension, TData extends TexelData = TexelData> extends TgpuStorageTexture<TDimension, TData> {
-    readonly access: 'readonly';
-}
-/**
- * A texture accessed as "writeonly" storage on the GPU.
- */
-interface TgpuWriteonlyTexture<TDimension extends StorageTextureDimension = StorageTextureDimension, TData extends TexelData = TexelData> extends TgpuStorageTexture<TDimension, TData> {
-    readonly access: 'writeonly';
-}
-/**
- * A texture accessed as "mutable" (or read_write) storage on the GPU.
- */
-interface TgpuMutableTexture<TDimension extends StorageTextureDimension = StorageTextureDimension, TData extends TexelData = TexelData> extends TgpuStorageTexture<TDimension, TData> {
-    readonly access: 'mutable';
-}
-/**
- * A texture accessed as sampled on the GPU.
- */
-interface TgpuSampledTexture<TDimension extends GPUTextureViewDimension = GPUTextureViewDimension, TData extends ChannelData = ChannelData> {
-    readonly resourceType: 'texture-sampled-view';
-    readonly dimension: TDimension;
-    readonly channelDataType: TData;
-}
-declare function isTexture<T extends TgpuTexture>(value: unknown | T): value is T;
-declare function isStorageTextureView<T extends TgpuReadonlyTexture | TgpuWriteonlyTexture | TgpuMutableTexture>(value: unknown | T): value is T;
-declare function isSampledTextureView<T extends TgpuSampledTexture>(value: unknown | T): value is T;
-type TgpuAnyTextureView = TgpuReadonlyTexture | TgpuWriteonlyTexture | TgpuMutableTexture | TgpuSampledTexture;
-
 /**
  * The array can hold T, where T is a single/multi-component numeric, or a struct with members of type T.
  * Examples of valid array members:
@@ -554,7 +286,7 @@ type TgpuAnyTextureView = TgpuReadonlyTexture | TgpuWriteonlyTexture | TgpuMutab
  * - WgslStruct<{ a: Vec3f, b: unorm8x2 }>
  * - WgslStruct<{ nested: WgslStruct<{ a: Vec3f }> }>
  */
-type DataToContainedAttribs<T> = T extends AnyWgslStruct | Unstruct ? {
+type DataToContainedAttribs<T> = T extends AnyWgslStruct | AnyUnstruct ? {
     [Key in keyof T['propTypes']]: DataToContainedAttribs<T['propTypes'][Key]>;
 } : T extends {
     type: VertexFormat;
@@ -688,100 +420,6 @@ interface DepthStencilAttachment {
     stencilReadOnly?: boolean;
 }
 
-interface SamplerProps {
-    addressModeU?: GPUAddressMode;
-    addressModeV?: GPUAddressMode;
-    /**
-     * Specifies the address modes for the texture width, height, and depth
-     * coordinates, respectively.
-     */
-    addressModeW?: GPUAddressMode;
-    /**
-     * Specifies the sampling behavior when the sample footprint is smaller than or equal to one
-     * texel.
-     */
-    magFilter?: GPUFilterMode;
-    /**
-     * Specifies the sampling behavior when the sample footprint is larger than one texel.
-     */
-    minFilter?: GPUFilterMode;
-    /**
-     * Specifies behavior for sampling between mipmap levels.
-     */
-    mipmapFilter?: GPUMipmapFilterMode;
-    lodMinClamp?: number;
-    /**
-     * Specifies the minimum and maximum levels of detail, respectively, used internally when
-     * sampling a texture.
-     */
-    lodMaxClamp?: number;
-    /**
-     * Specifies the maximum anisotropy value clamp used by the sampler. Anisotropic filtering is
-     * enabled when {@link GPUSamplerDescriptor.maxAnisotropy} is > 1 and the implementation supports it.
-     * Anisotropic filtering improves the image quality of textures sampled at oblique viewing
-     * angles. Higher {@link GPUSamplerDescriptor.maxAnisotropy} values indicate the maximum ratio of
-     * anisotropy supported when filtering.
-     *
-     * Most implementations support {@link GPUSamplerDescriptor.maxAnisotropy} values in range
-     * between 1 and 16, inclusive. The used value of {@link GPUSamplerDescriptor.maxAnisotropy}
-     * will be clamped to the maximum value that the platform supports.
-     * The precise filtering behavior is implementation-dependent.
-     */
-    maxAnisotropy?: number;
-}
-interface ComparisonSamplerProps {
-    compare: GPUCompareFunction;
-    addressModeU?: GPUAddressMode;
-    addressModeV?: GPUAddressMode;
-    /**
-     * Specifies the address modes for the texture width, height, and depth
-     * coordinates, respectively.
-     */
-    addressModeW?: GPUAddressMode;
-    /**
-     * Specifies the sampling behavior when the sample footprint is smaller than or equal to one
-     * texel.
-     */
-    magFilter?: GPUFilterMode;
-    /**
-     * Specifies the sampling behavior when the sample footprint is larger than one texel.
-     */
-    minFilter?: GPUFilterMode;
-    /**
-     * Specifies behavior for sampling between mipmap levels.
-     */
-    mipmapFilter?: GPUMipmapFilterMode;
-    lodMinClamp?: number;
-    /**
-     * Specifies the minimum and maximum levels of detail, respectively, used internally when
-     * sampling a texture.
-     */
-    lodMaxClamp?: number;
-    /**
-     * Specifies the maximum anisotropy value clamp used by the sampler. Anisotropic filtering is
-     * enabled when {@link GPUSamplerDescriptor.maxAnisotropy} is > 1 and the implementation supports it.
-     * Anisotropic filtering improves the image quality of textures sampled at oblique viewing
-     * angles. Higher {@link GPUSamplerDescriptor.maxAnisotropy} values indicate the maximum ratio of
-     * anisotropy supported when filtering.
-     *
-     * Most implementations support {@link GPUSamplerDescriptor.maxAnisotropy} values in range
-     * between 1 and 16, inclusive. The used value of {@link GPUSamplerDescriptor.maxAnisotropy}
-     * will be clamped to the maximum value that the platform supports.
-     * The precise filtering behavior is implementation-dependent.
-     */
-    maxAnisotropy?: number;
-}
-interface TgpuSampler {
-    readonly resourceType: 'sampler';
-}
-interface TgpuComparisonSampler {
-    readonly resourceType: 'sampler-comparison';
-}
-declare function sampler(props: SamplerProps): TgpuSampler;
-declare function comparisonSampler(props: ComparisonSamplerProps): TgpuComparisonSampler;
-declare function isSampler(resource: unknown): resource is TgpuSampler;
-declare function isComparisonSampler(resource: unknown): resource is TgpuComparisonSampler;
-
 interface Unwrapper {
     readonly device: GPUDevice;
     unwrap(resource: TgpuComputePipeline): GPUComputePipeline;
@@ -1177,12 +815,6 @@ interface TgpuBindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | n
      * Used when generating WGSL code: `@group(${index}) @binding(...) ...;`
      */
     $idx(index?: number): this;
-    /**
-     * @deprecated Use the `root.createBindGroup` API instead, accessible through `await tgpu.init()`
-     */
-    populate(entries: {
-        [K in keyof OmitProps<Entries, null>]: LayoutEntryToInput<Entries[K]>;
-    }): TgpuBindGroup<Entries>;
     /**
      * Creates a raw WebGPU resource based on the typed descriptor.
      * NOTE: This creates a new resource every time, better to use `root.unwrap(...)` instead.
@@ -1215,7 +847,7 @@ 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<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<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';
@@ -1286,20 +918,16 @@ declare function workgroupVar<TDataType extends AnyWgslData>(dataType: TDataType
 type ResolvableObject = SelfResolvable | TgpuBufferUsage | TgpuConst | TgpuDeclare | TgpuFn | TgpuComputeFn | TgpuFragmentFn | TgpuComputePipeline | TgpuRenderPipeline | TgpuVertexFn | TgpuSampler | TgpuAccessor | TgpuExternalTexture | TgpuTexture | TgpuAnyTextureView | TgpuVar | AnyVecInstance | AnyMatInstance | AnyData | TgpuFn<any, any>;
 type Wgsl = Eventual<string | number | boolean | ResolvableObject>;
 declare const UnknownData: {
-    type: string;
+    type: "unknown";
 };
 type UnknownData = typeof UnknownData;
-declare const Void: {
-    type: "void";
-};
-type Void = typeof Void;
-type Resource = {
+type Snippet = {
     value: unknown;
-    dataType: AnyWgslData | UnknownData | AbstractInt | AbstractFloat | Void;
+    dataType: AnyData | UnknownData;
 };
 type TgpuShaderStage = 'compute' | 'vertex' | 'fragment';
 interface FnToWgslOptions {
-    args: Resource[];
+    args: Snippet[];
     returnType: AnyWgslData;
     body: Block;
     externalMap: Record<string, unknown>;
@@ -1315,14 +943,14 @@ interface ItemStateStack {
     popItem(): void;
     pushSlotBindings(pairs: SlotValuePair<unknown>[]): void;
     popSlotBindings(): void;
-    pushFunctionScope(args: Resource[], returnType: AnyWgslData | undefined, externalMap: Record<string, unknown>): void;
+    pushFunctionScope(args: Snippet[], returnType: AnyWgslData | undefined, externalMap: Record<string, unknown>): void;
     popFunctionScope(): void;
     pushBlockScope(): void;
     popBlockScope(): void;
     pop(type?: 'functionScope' | 'blockScope' | 'slotBinding' | 'item'): void;
     readSlot<T>(slot: TgpuSlot<T>): T | undefined;
-    getResourceById(id: string): Resource | undefined;
-    defineBlockVariable(id: string, type: AnyWgslData | UnknownData): Resource;
+    getSnippetById(id: string): Snippet | undefined;
+    defineBlockVariable(id: string, type: AnyWgslData | UnknownData): Snippet;
 }
 /**
  * Passed into each resolvable item. All items in a tree share a resolution ctx,
@@ -1386,19 +1014,23 @@ type BindableBufferUsage = 'uniform' | 'readonly' | 'mutable';
 type TgpuFnShellHeader<Args extends AnyWgslData[] | Record<string, AnyWgslData>, Return extends AnyWgslData | undefined = AnyWgslData | undefined> = {
     readonly argTypes: Args;
     readonly returnType: Return | undefined;
+    readonly isEntry: false;
 };
 /**
  * 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>) & {
+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>) & ((strings: TemplateStringsArray, ...values: unknown[]) => TgpuFn<Args, Return>) & {
     /**
      * @deprecated Invoke the shell as a function instead.
      */
     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 [$internal]: {
+        implementation: Implementation<Args, Return>;
+    };
     readonly resourceType: 'function';
     readonly shell: TgpuFnShellHeader<Args, Return>;
     readonly '~providing'?: Providing | undefined;
@@ -1406,11 +1038,7 @@ interface TgpuFnBase<Args extends AnyWgslData[] | Record<string, AnyWgslData>, R
     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[] | 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<Args extends AnyWgslData[] ? InferArgs<Args> : Args extends Record<string, never> ? [] : [InferIO<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>);
 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>;
@@ -1595,4 +1223,4 @@ declare const tgpu: {
     };
 };
 
-export { type BindLayoutEntry, type Eventual, type InitFromDeviceOptions, type InitOptions, type LayoutEntryToInput, MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, NotUniformError, RandomNameRegistry, type Render, ResolutionError, type Sampled, type Storage, type StorageFlag, StrictNameRegistry, type TextureProps, type TgpuAccessor, type TgpuAnyTextureView, type TgpuBindGroup, type TgpuBindGroupLayout, type TgpuBuffer, type TgpuBufferMutable, type TgpuBufferReadonly, type TgpuBufferUniform, type TgpuComputeFn, type TgpuComputeFnShell, type TgpuComputePipeline, type TgpuConst, type TgpuDeclare, type TgpuDerived, type TgpuFn, type TgpuFnShell, type TgpuFragmentFn, type TgpuFragmentFnShell, type TgpuLayoutComparisonSampler, type TgpuLayoutEntry, type TgpuLayoutExternalTexture, type TgpuLayoutSampler, type TgpuLayoutStorage, type TgpuLayoutStorageTexture, type TgpuLayoutTexture, type TgpuLayoutUniform, type TgpuMutableTexture, type TgpuReadonlyTexture, type TgpuRenderPipeline, type TgpuRoot, type TgpuSampledTexture, type TgpuSampler, type TgpuSlot, type TgpuTexture, type TgpuVar, type TgpuVertexFn, type TgpuVertexFnShell, type TgpuVertexLayout, type TgpuWriteonlyTexture, type Uniform, type UniformFlag, type VariableScope, type Vertex, type VertexFlag, type WithBinding, type WithCompute, type WithFragment, type WithVertex, tgpu as default, isBuffer, isComparisonSampler, isDerived, isSampledTextureView, isSampler, isSlot, isStorageTextureView, isTexture, isTgpuFn, isUsableAsRender, isUsableAsSampled, isUsableAsStorage, isUsableAsUniform, isUsableAsVertex, tgpu, asMutable as unstable_asMutable, asReadonly as unstable_asReadonly, asUniform as unstable_asUniform };
+export { type BindLayoutEntry, type Eventual, type InitFromDeviceOptions, type InitOptions, type LayoutEntryToInput, MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, NotUniformError, RandomNameRegistry, Render, ResolutionError, Sampled, StorageFlag, StrictNameRegistry, TextureProps, type TgpuAccessor, TgpuAnyTextureView, type TgpuBindGroup, type TgpuBindGroupLayout, type TgpuBuffer, type TgpuBufferMutable, type TgpuBufferReadonly, type TgpuBufferUniform, type TgpuComputeFn, type TgpuComputeFnShell, type TgpuComputePipeline, type TgpuConst, type TgpuDeclare, type TgpuDerived, type TgpuFn, type TgpuFnShell, type TgpuFragmentFn, type TgpuFragmentFnShell, type TgpuLayoutComparisonSampler, type TgpuLayoutEntry, type TgpuLayoutExternalTexture, type TgpuLayoutSampler, type TgpuLayoutStorage, type TgpuLayoutStorageTexture, type TgpuLayoutTexture, type TgpuLayoutUniform, TgpuMutableTexture, TgpuReadonlyTexture, type TgpuRenderPipeline, type TgpuRoot, TgpuSampledTexture, TgpuSampler, type TgpuSlot, TgpuTexture, type TgpuVar, type TgpuVertexFn, type TgpuVertexFnShell, type TgpuVertexLayout, TgpuWriteonlyTexture, type Uniform, type UniformFlag, type VariableScope, type Vertex, type VertexFlag, type WithBinding, type WithCompute, type WithFragment, type WithVertex, tgpu as default, isBuffer, isDerived, isSlot, isTgpuFn, isUsableAsUniform, isUsableAsVertex, tgpu, asMutable as unstable_asMutable, asReadonly as unstable_asReadonly, asUniform as unstable_asUniform };