typegpu 0.3.0-alpha.4 → 0.3.0-alpha.6

package/index.d.cts

@@ -1,4 +1,4 @@
-import { T as TgpuNamable, D as Default, F as F32, U as U32, I as I32, V as Vec4f, a as Vec4u, b as Vec4i, c as UnionToIntersection, A as AnyData, d as Infer, E as Exotic, O as OmitProps, P as Prettify, M as Mutable, B as BaseWgslData, e as AnyWgslData } from './utilityTypes-NWbtoFu5.cjs';
+import { T as TgpuNamable, I as Infer, D as Default, F as F32, U as U32, a as I32, V as Vec4f, b as Vec4u, c as Vec4i, d as UnionToIntersection, A as AnyData, E as Exotic, O as OmitProps, P as Prettify, M as Mutable, W as WgslTypeLiteral, B as BaseWgslData, e as AnyWgslData } from './utilityTypes-D53GCmPw.cjs';
 import * as smol from 'tinyest';
 import { Block } from 'tinyest';
 
@@ -22,6 +22,32 @@ interface JitTranspiler {
     transpileFn(rawJs: string): TranspilationResult;
 }
 
+interface TgpuSlot<T> extends TgpuNamable {
+    readonly resourceType: 'slot';
+    readonly defaultValue: T | undefined;
+    readonly label?: string | undefined;
+    /**
+     * Used to determine if code generated using either value `a` or `b` in place
+     * of the slot will be equivalent. Defaults to `Object.is`.
+     */
+    areEqual(a: T, b: T): boolean;
+    readonly value: Infer<T>;
+}
+interface TgpuDerived<T> {
+    readonly resourceType: 'derived';
+    readonly value: Infer<T>;
+    with<TValue>(slot: TgpuSlot<TValue>, value: Eventual<TValue>): TgpuDerived<T>;
+    /**
+     * @internal
+     */
+    '~compute'(): T;
+}
+/**
+ * Represents a value that is available at resolution time.
+ */
+type Eventual<T> = T | TgpuSlot<T> | TgpuDerived<T>;
+type SlotValuePair<T> = [TgpuSlot<T>, T];
+
 interface NameRegistry {
     /**
      * Creates a valid WGSL identifier, each guaranteed to be unique
@@ -34,7 +60,7 @@ interface NameRegistry {
 interface NotAllowed<TMsg> {
     reason: TMsg;
 }
-type ExtensionGuard<TFlag, TMsg, TAllowed> = boolean extends TFlag ? NotAllowed<TMsg> : TAllowed;
+type ExtensionGuard<TFlag, TMsg, TAllowed> = boolean extends TFlag ? NotAllowed<TMsg> | TAllowed : TAllowed;
 interface Storage {
     usableAsStorage: true;
 }
@@ -155,6 +181,30 @@ declare const texelFormatToChannelType: {
     '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
  */
@@ -178,6 +228,14 @@ declare const texelFormatToDataType: {
     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;
 /**
@@ -362,18 +420,20 @@ interface TgpuBuffer$1<TData extends AnyData> extends TgpuNamable {
     readonly initial?: Infer<TData> | undefined;
     readonly label: string | undefined;
     readonly buffer: GPUBuffer;
-    readonly device: GPUDevice;
     readonly destroyed: boolean;
-    $usage<T extends ('uniform' | 'storage' | 'vertex')[]>(...usages: T): this & UnionToIntersection<LiteralToUsageType<T[number]>>;
+    $usage<T extends RestrictVertexUsages<TData>>(...usages: T): this & UnionToIntersection<LiteralToUsageType<T[number]>>;
     $addFlags(flags: GPUBufferUsageFlags): this;
-    $device(device: GPUDevice): this;
-    write(data: Infer<TData> | TgpuBuffer$1<TData>): void;
+    write(data: Infer<TData>): void;
+    copyFrom(srcBuffer: TgpuBuffer$1<TData>): void;
     read(): Promise<Infer<TData>>;
     destroy(): void;
 }
 declare function isBuffer<T extends TgpuBuffer$1<AnyData>>(value: T | unknown): value is T;
 declare function isUsableAsUniform<T extends TgpuBuffer$1<AnyData>>(buffer: T): buffer is T & Uniform;
 declare function isUsableAsVertex<T extends TgpuBuffer$1<AnyData>>(buffer: T): buffer is T & Vertex;
+type RestrictVertexUsages<TData extends AnyData> = TData extends {
+    readonly type: WgslTypeLiteral;
+} ? ('uniform' | 'storage' | 'vertex')[] : 'vertex'[];
 
 interface TgpuBufferUsage<TData extends BaseWgslData, TUsage extends BindableBufferUsage = BindableBufferUsage> extends TgpuResolvable {
     readonly resourceType: 'buffer-usage';
@@ -451,7 +511,7 @@ type TgpuLayoutExternalTexture = TgpuLayoutEntryBase & {
     externalTexture: Record<string, never>;
 };
 type TgpuLayoutEntry = TgpuLayoutUniform | TgpuLayoutStorage | TgpuLayoutSampler | TgpuLayoutTexture | TgpuLayoutStorageTexture | TgpuLayoutExternalTexture;
-type UnwrapRuntimeConstructorInner<T extends BaseWgslData | ((_: number) => BaseWgslData)> = T extends BaseWgslData ? T : T extends (_: number) => infer Return ? Return : never;
+type UnwrapRuntimeConstructorInner<T extends BaseWgslData | ((_: number) => BaseWgslData)> = T extends (_: number) => BaseWgslData ? ReturnType<T> : T;
 type UnwrapRuntimeConstructor<T extends AnyData | ((_: number) => AnyData)> = T extends unknown ? UnwrapRuntimeConstructorInner<T> : never;
 interface TgpuBindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | null> = Record<string, TgpuLayoutEntry | null>> extends TgpuNamable {
     readonly resourceType: 'bind-group-layout';
@@ -466,6 +526,9 @@ interface TgpuBindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | n
      * `.$idx()` method.
      */
     readonly index: number | undefined;
+    /**
+     * @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>;
@@ -479,10 +542,29 @@ interface TgpuBindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | n
 type StorageUsageForEntry<T extends TgpuLayoutStorage> = T extends {
     access?: infer Access;
 } ? 'mutable' | 'readonly' extends Access ? TgpuBufferReadonly$1<UnwrapRuntimeConstructor<T['storage']>> | TgpuBufferMutable$1<UnwrapRuntimeConstructor<T['storage']>> : 'readonly' extends Access ? TgpuBufferReadonly$1<UnwrapRuntimeConstructor<T['storage']>> : 'mutable' extends Access ? TgpuBufferMutable$1<UnwrapRuntimeConstructor<T['storage']>> : TgpuBufferReadonly$1<UnwrapRuntimeConstructor<T['storage']>> | TgpuBufferMutable$1<UnwrapRuntimeConstructor<T['storage']>> : TgpuBufferReadonly$1<UnwrapRuntimeConstructor<T['storage']>>;
-type LayoutEntryToInput<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? (TgpuBuffer$1<UnwrapRuntimeConstructor<T['uniform']>> & Uniform) | GPUBuffer : T extends TgpuLayoutStorage ? (TgpuBuffer$1<UnwrapRuntimeConstructor<T['storage']>> & Storage) | GPUBuffer : T extends TgpuLayoutSampler ? GPUSampler : T extends TgpuLayoutTexture ? // TODO: Allow sampled usages here
-GPUTextureView | TgpuTexture : T extends TgpuLayoutStorageTexture ? // TODO: Allow storage usages here
-GPUTextureView | TgpuTexture : T extends TgpuLayoutExternalTexture ? GPUExternalTexture : never;
-type BindLayoutEntry<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? TgpuBufferUniform$1<UnwrapRuntimeConstructor<T['uniform']>> : T extends TgpuLayoutStorage ? StorageUsageForEntry<T> : T extends TgpuLayoutSampler ? TgpuSampler : never;
+type GetUsageForStorageTexture<T extends TgpuLayoutStorageTexture, TAccess extends 'readonly' | 'writeonly' | 'mutable'> = {
+    mutable: TgpuMutableTexture<Default<GetDimension<T['viewDimension']>, '2d'>, TexelFormatToDataType[T['storageTexture']]>;
+    readonly: TgpuReadonlyTexture<Default<GetDimension<T['viewDimension']>, '2d'>, TexelFormatToDataType[T['storageTexture']]>;
+    writeonly: TgpuWriteonlyTexture<Default<GetDimension<T['viewDimension']>, '2d'>, TexelFormatToDataType[T['storageTexture']]>;
+}[TAccess];
+type StorageTextureUsageForEntry<T extends TgpuLayoutStorageTexture> = T extends unknown ? GetUsageForStorageTexture<T, Default<T['access'], 'writeonly'>> : never;
+type GetDimension<T extends GPUTextureViewDimension | undefined> = T extends keyof ViewDimensionToDimension ? ViewDimensionToDimension[T] : undefined;
+type GetTextureRestriction<T extends TgpuLayoutTexture> = Default<GetDimension<T['viewDimension']>, '2d'> extends infer Dimension ? Dimension extends '2d' ? {
+    format: ChannelTypeToLegalFormats[SampleTypeToStringChannelType[T['texture']]];
+    dimension?: Dimension;
+} : {
+    format: ChannelTypeToLegalFormats[SampleTypeToStringChannelType[T['texture']]];
+    dimension: Dimension;
+} : never;
+type GetStorageTextureRestriction<T extends TgpuLayoutStorageTexture> = Default<GetDimension<T['viewDimension']>, '2d'> extends infer Dimension ? Dimension extends '2d' ? {
+    format: T['storageTexture'];
+    dimension?: Dimension;
+} : {
+    format: T['storageTexture'];
+    dimension: Dimension;
+} : never;
+type LayoutEntryToInput<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? (TgpuBuffer$1<UnwrapRuntimeConstructor<T['uniform']>> & Uniform) | GPUBuffer : T extends TgpuLayoutStorage ? (TgpuBuffer$1<UnwrapRuntimeConstructor<T['storage']>> & Storage) | GPUBuffer : T extends TgpuLayoutSampler ? GPUSampler : T extends TgpuLayoutTexture ? GPUTextureView | (TgpuTexture<Prettify<TextureProps & GetTextureRestriction<T>>> & Sampled) : T extends TgpuLayoutStorageTexture ? GPUTextureView | (TgpuTexture<Prettify<TextureProps & GetStorageTextureRestriction<T>>> & Storage) : T extends TgpuLayoutExternalTexture ? GPUExternalTexture : never;
+type BindLayoutEntry<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? TgpuBufferUniform$1<UnwrapRuntimeConstructor<T['uniform']>> : T extends TgpuLayoutStorage ? StorageUsageForEntry<T> : T extends TgpuLayoutSampler ? TgpuSampler : 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>;
@@ -496,7 +578,7 @@ type ExoticEntries<T extends Record<string, TgpuLayoutEntry | null>> = {
 };
 declare function bindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | null>>(entries: Entries): TgpuBindGroupLayout<Prettify<ExoticEntries<Entries>>>;
 
-type Wgsl = string | number | boolean | TgpuResolvable | AnyWgslData;
+type Wgsl = Eventual<string | number | boolean | TgpuResolvable | AnyWgslData>;
 declare const UnknownData: unique symbol;
 type UnknownData = typeof UnknownData;
 type Resource = {
@@ -531,12 +613,14 @@ interface ResolutionCtx {
         group: string;
         binding: number;
     };
+    withSlots<T>(pairs: SlotValuePair<unknown>[], callback: () => T): T;
     /**
-     * Unwraps all layers of slot indirection and returns the concrete value if available.
+     * Unwraps all layers of slot/derived indirection and returns the concrete value if available.
      * @throws {MissingSlotValueError}
      */
     unwrap<T>(eventual: Eventual<T>): T;
-    resolve(item: Wgsl, slotValueOverrides?: SlotValuePair<unknown>[]): string;
+    resolve(item: Wgsl): string;
+    resolveValue<T extends BaseWgslData>(value: Infer<T>, schema: T): string;
     transpileFn(fn: string): {
         argNames: string[];
         body: Block;
@@ -551,23 +635,7 @@ interface TgpuResolvable {
     readonly label?: string | undefined;
     resolve(ctx: ResolutionCtx): string;
 }
-/**
- * Represents a value that is available at resolution time.
- */
-type Eventual<T> = T | TgpuSlot<T>;
-type SlotValuePair<T> = [TgpuSlot<T>, T];
 type BindableBufferUsage = 'uniform' | 'readonly' | 'mutable';
-interface TgpuSlot<T> extends TgpuNamable {
-    readonly __brand: 'TgpuSlot';
-    readonly defaultValue: T | undefined;
-    readonly label?: string | undefined;
-    /**
-     * Used to determine if code generated using either value `a` or `b` in place
-     * of the slot will be equivalent. Defaults to `Object.is`.
-     */
-    areEqual(a: T, b: T): boolean;
-    readonly value: Infer<T>;
-}
 
 interface TgpuResolveOptions {
     input: string | TgpuResolvable | AnyWgslData | (string | TgpuResolvable | AnyWgslData)[];
@@ -638,9 +706,9 @@ declare function initFromDevice(options: InitFromDeviceOptions): TgpuRoot;
  */
 declare class ResolutionError extends Error {
     readonly cause: unknown;
-    readonly trace: (TgpuResolvable | AnyWgslData)[];
-    constructor(cause: unknown, trace: (TgpuResolvable | AnyWgslData)[]);
-    appendToTrace(ancestor: TgpuResolvable | AnyWgslData): ResolutionError;
+    readonly trace: (TgpuResolvable | TgpuSlot<unknown> | TgpuDerived<unknown> | AnyWgslData)[];
+    constructor(cause: unknown, trace: (TgpuResolvable | TgpuSlot<unknown> | TgpuDerived<unknown> | AnyWgslData)[]);
+    appendToTrace(ancestor: TgpuResolvable | TgpuDerived<unknown> | AnyWgslData): ResolutionError;
 }
 /**
  * @category Errors

package/index.d.ts

@@ -1,4 +1,4 @@
-import { T as TgpuNamable, D as Default, F as F32, U as U32, I as I32, V as Vec4f, a as Vec4u, b as Vec4i, c as UnionToIntersection, A as AnyData, d as Infer, E as Exotic, O as OmitProps, P as Prettify, M as Mutable, B as BaseWgslData, e as AnyWgslData } from './utilityTypes-NWbtoFu5.js';
+import { T as TgpuNamable, I as Infer, D as Default, F as F32, U as U32, a as I32, V as Vec4f, b as Vec4u, c as Vec4i, d as UnionToIntersection, A as AnyData, E as Exotic, O as OmitProps, P as Prettify, M as Mutable, W as WgslTypeLiteral, B as BaseWgslData, e as AnyWgslData } from './utilityTypes-D53GCmPw.js';
 import * as smol from 'tinyest';
 import { Block } from 'tinyest';
 
@@ -22,6 +22,32 @@ interface JitTranspiler {
     transpileFn(rawJs: string): TranspilationResult;
 }
 
+interface TgpuSlot<T> extends TgpuNamable {
+    readonly resourceType: 'slot';
+    readonly defaultValue: T | undefined;
+    readonly label?: string | undefined;
+    /**
+     * Used to determine if code generated using either value `a` or `b` in place
+     * of the slot will be equivalent. Defaults to `Object.is`.
+     */
+    areEqual(a: T, b: T): boolean;
+    readonly value: Infer<T>;
+}
+interface TgpuDerived<T> {
+    readonly resourceType: 'derived';
+    readonly value: Infer<T>;
+    with<TValue>(slot: TgpuSlot<TValue>, value: Eventual<TValue>): TgpuDerived<T>;
+    /**
+     * @internal
+     */
+    '~compute'(): T;
+}
+/**
+ * Represents a value that is available at resolution time.
+ */
+type Eventual<T> = T | TgpuSlot<T> | TgpuDerived<T>;
+type SlotValuePair<T> = [TgpuSlot<T>, T];
+
 interface NameRegistry {
     /**
      * Creates a valid WGSL identifier, each guaranteed to be unique
@@ -34,7 +60,7 @@ interface NameRegistry {
 interface NotAllowed<TMsg> {
     reason: TMsg;
 }
-type ExtensionGuard<TFlag, TMsg, TAllowed> = boolean extends TFlag ? NotAllowed<TMsg> : TAllowed;
+type ExtensionGuard<TFlag, TMsg, TAllowed> = boolean extends TFlag ? NotAllowed<TMsg> | TAllowed : TAllowed;
 interface Storage {
     usableAsStorage: true;
 }
@@ -155,6 +181,30 @@ declare const texelFormatToChannelType: {
     '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
  */
@@ -178,6 +228,14 @@ declare const texelFormatToDataType: {
     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;
 /**
@@ -362,18 +420,20 @@ interface TgpuBuffer$1<TData extends AnyData> extends TgpuNamable {
     readonly initial?: Infer<TData> | undefined;
     readonly label: string | undefined;
     readonly buffer: GPUBuffer;
-    readonly device: GPUDevice;
     readonly destroyed: boolean;
-    $usage<T extends ('uniform' | 'storage' | 'vertex')[]>(...usages: T): this & UnionToIntersection<LiteralToUsageType<T[number]>>;
+    $usage<T extends RestrictVertexUsages<TData>>(...usages: T): this & UnionToIntersection<LiteralToUsageType<T[number]>>;
     $addFlags(flags: GPUBufferUsageFlags): this;
-    $device(device: GPUDevice): this;
-    write(data: Infer<TData> | TgpuBuffer$1<TData>): void;
+    write(data: Infer<TData>): void;
+    copyFrom(srcBuffer: TgpuBuffer$1<TData>): void;
     read(): Promise<Infer<TData>>;
     destroy(): void;
 }
 declare function isBuffer<T extends TgpuBuffer$1<AnyData>>(value: T | unknown): value is T;
 declare function isUsableAsUniform<T extends TgpuBuffer$1<AnyData>>(buffer: T): buffer is T & Uniform;
 declare function isUsableAsVertex<T extends TgpuBuffer$1<AnyData>>(buffer: T): buffer is T & Vertex;
+type RestrictVertexUsages<TData extends AnyData> = TData extends {
+    readonly type: WgslTypeLiteral;
+} ? ('uniform' | 'storage' | 'vertex')[] : 'vertex'[];
 
 interface TgpuBufferUsage<TData extends BaseWgslData, TUsage extends BindableBufferUsage = BindableBufferUsage> extends TgpuResolvable {
     readonly resourceType: 'buffer-usage';
@@ -451,7 +511,7 @@ type TgpuLayoutExternalTexture = TgpuLayoutEntryBase & {
     externalTexture: Record<string, never>;
 };
 type TgpuLayoutEntry = TgpuLayoutUniform | TgpuLayoutStorage | TgpuLayoutSampler | TgpuLayoutTexture | TgpuLayoutStorageTexture | TgpuLayoutExternalTexture;
-type UnwrapRuntimeConstructorInner<T extends BaseWgslData | ((_: number) => BaseWgslData)> = T extends BaseWgslData ? T : T extends (_: number) => infer Return ? Return : never;
+type UnwrapRuntimeConstructorInner<T extends BaseWgslData | ((_: number) => BaseWgslData)> = T extends (_: number) => BaseWgslData ? ReturnType<T> : T;
 type UnwrapRuntimeConstructor<T extends AnyData | ((_: number) => AnyData)> = T extends unknown ? UnwrapRuntimeConstructorInner<T> : never;
 interface TgpuBindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | null> = Record<string, TgpuLayoutEntry | null>> extends TgpuNamable {
     readonly resourceType: 'bind-group-layout';
@@ -466,6 +526,9 @@ interface TgpuBindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | n
      * `.$idx()` method.
      */
     readonly index: number | undefined;
+    /**
+     * @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>;
@@ -479,10 +542,29 @@ interface TgpuBindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | n
 type StorageUsageForEntry<T extends TgpuLayoutStorage> = T extends {
     access?: infer Access;
 } ? 'mutable' | 'readonly' extends Access ? TgpuBufferReadonly$1<UnwrapRuntimeConstructor<T['storage']>> | TgpuBufferMutable$1<UnwrapRuntimeConstructor<T['storage']>> : 'readonly' extends Access ? TgpuBufferReadonly$1<UnwrapRuntimeConstructor<T['storage']>> : 'mutable' extends Access ? TgpuBufferMutable$1<UnwrapRuntimeConstructor<T['storage']>> : TgpuBufferReadonly$1<UnwrapRuntimeConstructor<T['storage']>> | TgpuBufferMutable$1<UnwrapRuntimeConstructor<T['storage']>> : TgpuBufferReadonly$1<UnwrapRuntimeConstructor<T['storage']>>;
-type LayoutEntryToInput<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? (TgpuBuffer$1<UnwrapRuntimeConstructor<T['uniform']>> & Uniform) | GPUBuffer : T extends TgpuLayoutStorage ? (TgpuBuffer$1<UnwrapRuntimeConstructor<T['storage']>> & Storage) | GPUBuffer : T extends TgpuLayoutSampler ? GPUSampler : T extends TgpuLayoutTexture ? // TODO: Allow sampled usages here
-GPUTextureView | TgpuTexture : T extends TgpuLayoutStorageTexture ? // TODO: Allow storage usages here
-GPUTextureView | TgpuTexture : T extends TgpuLayoutExternalTexture ? GPUExternalTexture : never;
-type BindLayoutEntry<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? TgpuBufferUniform$1<UnwrapRuntimeConstructor<T['uniform']>> : T extends TgpuLayoutStorage ? StorageUsageForEntry<T> : T extends TgpuLayoutSampler ? TgpuSampler : never;
+type GetUsageForStorageTexture<T extends TgpuLayoutStorageTexture, TAccess extends 'readonly' | 'writeonly' | 'mutable'> = {
+    mutable: TgpuMutableTexture<Default<GetDimension<T['viewDimension']>, '2d'>, TexelFormatToDataType[T['storageTexture']]>;
+    readonly: TgpuReadonlyTexture<Default<GetDimension<T['viewDimension']>, '2d'>, TexelFormatToDataType[T['storageTexture']]>;
+    writeonly: TgpuWriteonlyTexture<Default<GetDimension<T['viewDimension']>, '2d'>, TexelFormatToDataType[T['storageTexture']]>;
+}[TAccess];
+type StorageTextureUsageForEntry<T extends TgpuLayoutStorageTexture> = T extends unknown ? GetUsageForStorageTexture<T, Default<T['access'], 'writeonly'>> : never;
+type GetDimension<T extends GPUTextureViewDimension | undefined> = T extends keyof ViewDimensionToDimension ? ViewDimensionToDimension[T] : undefined;
+type GetTextureRestriction<T extends TgpuLayoutTexture> = Default<GetDimension<T['viewDimension']>, '2d'> extends infer Dimension ? Dimension extends '2d' ? {
+    format: ChannelTypeToLegalFormats[SampleTypeToStringChannelType[T['texture']]];
+    dimension?: Dimension;
+} : {
+    format: ChannelTypeToLegalFormats[SampleTypeToStringChannelType[T['texture']]];
+    dimension: Dimension;
+} : never;
+type GetStorageTextureRestriction<T extends TgpuLayoutStorageTexture> = Default<GetDimension<T['viewDimension']>, '2d'> extends infer Dimension ? Dimension extends '2d' ? {
+    format: T['storageTexture'];
+    dimension?: Dimension;
+} : {
+    format: T['storageTexture'];
+    dimension: Dimension;
+} : never;
+type LayoutEntryToInput<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? (TgpuBuffer$1<UnwrapRuntimeConstructor<T['uniform']>> & Uniform) | GPUBuffer : T extends TgpuLayoutStorage ? (TgpuBuffer$1<UnwrapRuntimeConstructor<T['storage']>> & Storage) | GPUBuffer : T extends TgpuLayoutSampler ? GPUSampler : T extends TgpuLayoutTexture ? GPUTextureView | (TgpuTexture<Prettify<TextureProps & GetTextureRestriction<T>>> & Sampled) : T extends TgpuLayoutStorageTexture ? GPUTextureView | (TgpuTexture<Prettify<TextureProps & GetStorageTextureRestriction<T>>> & Storage) : T extends TgpuLayoutExternalTexture ? GPUExternalTexture : never;
+type BindLayoutEntry<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? TgpuBufferUniform$1<UnwrapRuntimeConstructor<T['uniform']>> : T extends TgpuLayoutStorage ? StorageUsageForEntry<T> : T extends TgpuLayoutSampler ? TgpuSampler : 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>;
@@ -496,7 +578,7 @@ type ExoticEntries<T extends Record<string, TgpuLayoutEntry | null>> = {
 };
 declare function bindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | null>>(entries: Entries): TgpuBindGroupLayout<Prettify<ExoticEntries<Entries>>>;
 
-type Wgsl = string | number | boolean | TgpuResolvable | AnyWgslData;
+type Wgsl = Eventual<string | number | boolean | TgpuResolvable | AnyWgslData>;
 declare const UnknownData: unique symbol;
 type UnknownData = typeof UnknownData;
 type Resource = {
@@ -531,12 +613,14 @@ interface ResolutionCtx {
         group: string;
         binding: number;
     };
+    withSlots<T>(pairs: SlotValuePair<unknown>[], callback: () => T): T;
     /**
-     * Unwraps all layers of slot indirection and returns the concrete value if available.
+     * Unwraps all layers of slot/derived indirection and returns the concrete value if available.
      * @throws {MissingSlotValueError}
      */
     unwrap<T>(eventual: Eventual<T>): T;
-    resolve(item: Wgsl, slotValueOverrides?: SlotValuePair<unknown>[]): string;
+    resolve(item: Wgsl): string;
+    resolveValue<T extends BaseWgslData>(value: Infer<T>, schema: T): string;
     transpileFn(fn: string): {
         argNames: string[];
         body: Block;
@@ -551,23 +635,7 @@ interface TgpuResolvable {
     readonly label?: string | undefined;
     resolve(ctx: ResolutionCtx): string;
 }
-/**
- * Represents a value that is available at resolution time.
- */
-type Eventual<T> = T | TgpuSlot<T>;
-type SlotValuePair<T> = [TgpuSlot<T>, T];
 type BindableBufferUsage = 'uniform' | 'readonly' | 'mutable';
-interface TgpuSlot<T> extends TgpuNamable {
-    readonly __brand: 'TgpuSlot';
-    readonly defaultValue: T | undefined;
-    readonly label?: string | undefined;
-    /**
-     * Used to determine if code generated using either value `a` or `b` in place
-     * of the slot will be equivalent. Defaults to `Object.is`.
-     */
-    areEqual(a: T, b: T): boolean;
-    readonly value: Infer<T>;
-}
 
 interface TgpuResolveOptions {
     input: string | TgpuResolvable | AnyWgslData | (string | TgpuResolvable | AnyWgslData)[];
@@ -638,9 +706,9 @@ declare function initFromDevice(options: InitFromDeviceOptions): TgpuRoot;
  */
 declare class ResolutionError extends Error {
     readonly cause: unknown;
-    readonly trace: (TgpuResolvable | AnyWgslData)[];
-    constructor(cause: unknown, trace: (TgpuResolvable | AnyWgslData)[]);
-    appendToTrace(ancestor: TgpuResolvable | AnyWgslData): ResolutionError;
+    readonly trace: (TgpuResolvable | TgpuSlot<unknown> | TgpuDerived<unknown> | AnyWgslData)[];
+    constructor(cause: unknown, trace: (TgpuResolvable | TgpuSlot<unknown> | TgpuDerived<unknown> | AnyWgslData)[]);
+    appendToTrace(ancestor: TgpuResolvable | TgpuDerived<unknown> | AnyWgslData): ResolutionError;
 }
 /**
  * @category Errors