typegpu 0.1.3 → 0.2.0-alpha.0

package/{tgpuBuffer-BVk2wCHR.d.cts → types-qmW7FFqN.d.cts}

@@ -1,4 +1,59 @@
-import { Unwrap, ISchema, Parsed } from 'typed-binary';
+import { Unwrap, Parsed, ISchema } from 'typed-binary';
+
+type Return = {
+    return: Expression | null;
+};
+type If = {
+    /** condition */
+    if: Expression;
+    do: Statement;
+    else?: Statement | undefined;
+};
+type Block = {
+    block: Statement[];
+};
+type Let = {
+    /** variable's identifier */
+    let: string;
+    eq?: Expression | undefined;
+};
+type Const = {
+    /** variable's identifier */
+    const: string;
+    eq?: Expression | undefined;
+};
+type Statement = Return | If | Block | Let | Const | Expression;
+type BinaryOperator = '==' | '!=' | '<' | '<=' | '>' | '>=' | '<<' | '>>' | '+' | '-' | '*' | '/' | '%' | '|' | '^' | '&';
+type BinaryExpression = {
+    x2: [Expression, BinaryOperator, Expression];
+};
+type AssignmentOperator = '=' | '+=' | '-=' | '*=' | '/=' | '%=' | '<<=' | '>>=' | '|=' | '^=' | '&=' | '**=' | '||=' | '&&=';
+type AssignmentExpression = {
+    x2: [Expression, AssignmentOperator, Expression];
+};
+type LogicalOperator = '&&' | '||';
+type LogicalExpression = {
+    x2: [Expression, LogicalOperator, Expression];
+};
+type MemberAccess = {
+    '.': [Expression, string];
+};
+type IndexAccess = {
+    '[]': [Expression, Expression];
+};
+type Call = {
+    /** function identifier */
+    call: Expression;
+    /** expressions passed as function arguments */
+    args: Expression[];
+};
+/** A numeric literal */
+type Num = {
+    num: string;
+};
+type Literal = Num | boolean;
+/** Identifiers are just strings, since string literals are rare in WGSL, and identifiers are everywhere. */
+type Expression = string | BinaryExpression | AssignmentExpression | LogicalExpression | MemberAccess | IndexAccess | Call | Literal;
 
 /**
  * Can be assigned a name. Not to be confused with
@@ -9,6 +64,8 @@ interface TgpuNamable {
 }
 
 type Getter = <T>(plum: TgpuPlum<T>) => T;
+type Unsubscribe = () => unknown;
+type ExtractPlumValue<T> = T extends TgpuPlum<infer TValue> ? TValue : never;
 interface TgpuPlum<TValue = unknown> extends TgpuNamable {
     readonly __brand: 'TgpuPlum';
     /**
@@ -18,110 +75,68 @@ interface TgpuPlum<TValue = unknown> extends TgpuNamable {
     compute(get: Getter): TValue;
 }
 
-interface TgpuBufferUsage<TData extends AnyTgpuData, TUsage extends BufferUsage = BufferUsage> extends TgpuBindable<TData, TUsage> {
-    value: Unwrap<TData>;
-}
-
-type AnyTgpuDataTuple = [AnyTgpuData, ...AnyTgpuData[]] | [];
-type UnwrapArgs<T extends AnyTgpuDataTuple> = {
-    [Idx in keyof T]: Unwrap<T[Idx]>;
-};
-type UnwrapReturn<T extends AnyTgpuData | undefined> = T extends undefined ? void : Unwrap<T>;
 /**
- * Describes a function signature (its arguments and return type)
+ * Boolean schema representing a single WGSL bool value.
+ * Cannot be used inside buffers as it is not host-shareable.
  */
-interface TgpuFnShell<Args extends AnyTgpuDataTuple, Return extends AnyTgpuData | undefined> {
-    readonly argTypes: Args;
-    readonly returnType: Return | undefined;
-    /**
-     * Creates a type-safe implementation of this signature
-     */
-    implement(body: (...args: UnwrapArgs<Args>) => UnwrapReturn<Return>): TgpuFn<Args, Return>;
-}
-interface TgpuFnBase<Args extends AnyTgpuDataTuple, Return extends AnyTgpuData | undefined = undefined> extends TgpuResolvable, TgpuNamable {
-    readonly shell: TgpuFnShell<Args, Return>;
-    /** The JS function body passed as an implementation of a TypeGPU function. */
-    readonly body: (...args: UnwrapArgs<Args>) => UnwrapReturn<Return>;
-    readonly bodyResolvable: TgpuResolvable;
-    $uses(dependencyMap: Record<string, unknown>): this;
-}
-type TgpuFn<Args extends AnyTgpuDataTuple, Return extends AnyTgpuData | undefined = undefined> = TgpuFnBase<Args, Return> & ((...args: UnwrapArgs<Args>) => UnwrapReturn<Return>);
-
-type Wgsl = string | number | TgpuResolvable | symbol | boolean;
+type Bool = TgpuData<boolean>;
 /**
- * Passed into each resolvable item. All sibling items share a resolution ctx,
- * and a new resolution ctx is made when going down each level in the tree.
+ * A schema that represents a boolean value. (equivalent to `bool` in WGSL)
  */
-interface ResolutionCtx {
-    addDeclaration(item: TgpuResolvable): void;
-    addBinding(bindable: TgpuBindable, identifier: TgpuIdentifier): void;
-    addRenderResource(resource: TgpuRenderResource, identifier: TgpuIdentifier): void;
-    addBuiltin(builtin: symbol): void;
-    nameFor(token: TgpuResolvable): string;
-    /**
-     * Unwraps all layers of slot indirection and returns the concrete value if available.
-     * @throws {MissingSlotValueError}
-     */
-    unwrap<T>(eventual: Eventual<T>): T;
-    resolve(item: Wgsl, slotValueOverrides?: SlotValuePair<unknown>[]): string;
-    fnToWgsl(fn: TgpuFn<any, any>, externalMap: Record<string, unknown>): {
-        head: Wgsl;
-        body: Wgsl;
-    };
-}
-interface TgpuResolvable {
-    readonly label?: string | undefined;
-    resolve(ctx: ResolutionCtx): string;
-}
-interface TgpuIdentifier extends TgpuNamable, TgpuResolvable {
-}
+declare const bool: Bool;
 /**
- * Represents a value that is available at resolution time.
+ * Unsigned 32-bit integer schema representing a single WGSL u32 value.
  */
-type Eventual<T> = T | TgpuSlot<T>;
-type SlotValuePair<T> = [TgpuSlot<T>, T];
-interface TgpuBindable<TData extends AnyTgpuData = AnyTgpuData, TUsage extends BufferUsage = BufferUsage> extends TgpuResolvable {
-    readonly allocatable: TgpuBuffer<TData>;
-    readonly usage: TUsage;
-}
-type TgpuSamplerType = 'sampler' | 'sampler_comparison';
-type TgpuTypedTextureType = 'texture_1d' | 'texture_2d' | 'texture_2d_array' | 'texture_3d' | 'texture_cube' | 'texture_cube_array' | 'texture_multisampled_2d';
-type TgpuDepthTextureType = 'texture_depth_2d' | 'texture_depth_2d_array' | 'texture_depth_cube' | 'texture_depth_cube_array' | 'texture_depth_multisampled_2d';
-type TgpuStorageTextureType = 'texture_storage_1d' | 'texture_storage_2d' | 'texture_storage_2d_array' | 'texture_storage_3d';
-type TgpuExternalTextureType = 'texture_external';
-type TgpuRenderResourceType = TgpuSamplerType | TgpuTypedTextureType | TgpuDepthTextureType | TgpuStorageTextureType | TgpuExternalTextureType;
-interface TgpuRenderResource extends TgpuResolvable {
-    readonly type: TgpuRenderResourceType;
-}
-type BufferUsage = 'uniform' | 'readonly' | 'mutable' | 'vertex';
-type ValueOf<T> = T extends TgpuSlot<infer I> ? ValueOf<I> : T extends TgpuBufferUsage<infer D> ? ValueOf<D> : T extends TgpuData<unknown> ? Unwrap<T> : T;
-interface TgpuData<TInner> extends ISchema<TInner>, TgpuResolvable {
-    readonly isLoose: false;
-    readonly isCustomAligned: boolean;
-    readonly byteAlignment: number;
-    readonly size: number;
-}
-interface TgpuLooseData<TInner> extends ISchema<TInner>, TgpuResolvable {
-    readonly isLoose: true;
-    readonly size: number;
-}
-type AnyTgpuData = TgpuData<unknown>;
-type AnyTgpuLooseData = TgpuLooseData<unknown>;
-interface TgpuPointer<TScope extends 'function', TInner extends AnyTgpuData> {
-    readonly scope: TScope;
-    readonly pointsTo: TInner;
-}
-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;
-    value: ValueOf<T>;
-}
+type U32 = TgpuData<number> & {
+    kind: 'u32';
+} & ((v: number | boolean) => number);
+/**
+ * A schema that represents an unsigned 32-bit integer value. (equivalent to `u32` in WGSL)
+ *
+ * Can also be called to cast a value to an u32 in accordance with WGSL casting rules.
+ *
+ * @example
+ * const value = u32(3.14); // 3
+ * @example
+ * const value = u32(-1); // 4294967295
+ * @example
+ * const value = u32(-3.1); // 0
+ */
+declare const u32: U32;
+/**
+ * Signed 32-bit integer schema representing a single WGSL i32 value.
+ */
+type I32 = TgpuData<number> & {
+    kind: 'i32';
+} & ((v: number | boolean) => number);
+/**
+ * A schema that represents a signed 32-bit integer value. (equivalent to `i32` in WGSL)
+ *
+ * Can also be called to cast a value to an i32 in accordance with WGSL casting rules.
+ *
+ * @example
+ * const value = i32(3.14); // 3
+ * @example
+ * const value = i32(-3.9); // -3
+ * @example
+ * const value = i32(10000000000) // 1410065408
+ */
+declare const i32: I32;
+/**
+ * 32-bit float schema representing a single WGSL f32 value.
+ */
+type F32 = TgpuData<number> & {
+    kind: 'f32';
+} & ((v: number | boolean) => number);
+/**
+ * A schema that represents a 32-bit float value. (equivalent to `f32` in WGSL)
+ *
+ * Can also be called to cast a value to an f32.
+ *
+ * @example
+ * const value = f32(true); // 1
+ */
+declare const f32: F32;
 
 interface Swizzle2<T2, T3, T4> {
     readonly xx: T2;
@@ -428,84 +443,305 @@ interface Swizzle4<T2, T3, T4> extends Swizzle3<T2, T3, T4> {
     readonly wwwz: T4;
     readonly wwww: T4;
 }
-interface vec2 {
+interface vec2 extends NumberArrayView {
     x: number;
     y: number;
     [Symbol.iterator](): Iterator<number>;
 }
-interface vec3 {
+interface vec3 extends NumberArrayView {
     x: number;
     y: number;
     z: number;
     [Symbol.iterator](): Iterator<number>;
 }
-interface vec4 {
+interface vec4 extends NumberArrayView {
     x: number;
     y: number;
     z: number;
     w: number;
     [Symbol.iterator](): Iterator<number>;
 }
+/**
+ * Type encompassing all available kinds of vector.
+ */
 type VecKind = 'vec2f' | 'vec2i' | 'vec2u' | 'vec3f' | 'vec3i' | 'vec3u' | 'vec4f' | 'vec4i' | 'vec4u';
+/**
+ * Common interface for all vector types, no matter their size and inner type.
+ */
 interface vecBase {
     kind: VecKind;
     [Symbol.iterator](): Iterator<number>;
 }
-type Vec2f = TgpuData<vec2f> & ((x: number, y: number) => vec2f) & ((xy: number) => vec2f) & (() => vec2f);
+/**
+ * Type of the `d.vec2f` object/function: vector data type schema/constructor
+ */
+type Vec2f = TgpuData<vec2f> & {
+    kind: 'vec2f';
+} & ((x: number, y: number) => vec2f) & ((xy: number) => vec2f) & (() => vec2f);
+/**
+ * Interface representing its WGSL vector type counterpart: vec2f or vec2<f32>.
+ * A vector with 2 elements of type d.f32
+ */
 interface vec2f extends vec2, Swizzle2<vec2f, vec3f, vec4f> {
     /** use to distinguish between vectors of the same size on the type level */
     kind: 'vec2f';
 }
+/**
+ *
+ * Schema representing vec2f - a vector with 2 elements of type f32.
+ * Also a constructor function for this vector value.
+ *
+ * @example
+ * const vector = d.vec2f(); // (0.0, 0.0)
+ * const vector = d.vec2f(1); // (1.0, 1.0)
+ * const vector = d.vec2f(0.5, 0.1); // (0.5, 0.1)
+ *
+ * @example
+ * const buffer = root.createBuffer(d.vec2f, d.vec2f(0, 1)); // buffer holding a d.vec2f value, with an initial value of vec2f(0, 1);
+ */
 declare const vec2f: Vec2f;
-type Vec2i = TgpuData<vec2i> & ((x: number, y: number) => vec2i) & ((xy: number) => vec2i) & (() => vec2i);
+/**
+ * Type of the `d.vec2i` object/function: vector data type schema/constructor
+ */
+type Vec2i = TgpuData<vec2i> & {
+    kind: 'vec2i';
+} & ((x: number, y: number) => vec2i) & ((xy: number) => vec2i) & (() => vec2i);
+/**
+ * Interface representing its WGSL vector type counterpart: vec2i or vec2<i32>.
+ * A vector with 2 elements of type d.i32
+ */
 interface vec2i extends vec2, Swizzle2<vec2i, vec3i, vec4i> {
     /** use to distinguish between vectors of the same size on the type level */
     kind: 'vec2i';
 }
+/**
+ *
+ * Schema representing vec2i - a vector with 2 elements of type i32.
+ * Also a constructor function for this vector value.
+ *
+ * @example
+ * const vector = d.vec2i(); // (0, 0)
+ * const vector = d.vec2i(1); // (1, 1)
+ * const vector = d.vec2i(-1, 1); // (-1, 1)
+ *
+ * @example
+ * const buffer = root.createBuffer(d.vec2i, d.vec2i(0, 1)); // buffer holding a d.vec2i value, with an initial value of vec2i(0, 1);
+ */
 declare const vec2i: Vec2i;
-type Vec2u = TgpuData<vec2u> & ((x: number, y: number) => vec2u) & ((xy: number) => vec2u) & (() => vec2u);
+/**
+ * Type of the `d.vec2u` object/function: vector data type schema/constructor
+ */
+type Vec2u = TgpuData<vec2u> & {
+    kind: 'vec2u';
+} & ((x: number, y: number) => vec2u) & ((xy: number) => vec2u) & (() => vec2u);
+/**
+ * Interface representing its WGSL vector type counterpart: vec2u or vec2<u32>.
+ * A vector with 2 elements of type d.u32
+ */
 interface vec2u extends vec2, Swizzle2<vec2u, vec3u, vec4u> {
     /** use to distinguish between vectors of the same size on the type level */
     kind: 'vec2u';
 }
+/**
+ *
+ * Schema representing vec2u - a vector with 2 elements of type u32.
+ * Also a constructor function for this vector value.
+ *
+ * @example
+ * const vector = d.vec2u(); // (0, 0)
+ * const vector = d.vec2u(1); // (1, 1)
+ * const vector = d.vec2u(1, 2); // (1, 2)
+ *
+ * @example
+ * const buffer = root.createBuffer(d.vec2u, d.vec2u(0, 1)); // buffer holding a d.vec2u value, with an initial value of vec2u(0, 1);
+ */
 declare const vec2u: Vec2u;
-type Vec3f = TgpuData<vec3f> & ((x: number, y: number, z: number) => vec3f) & ((xyz: number) => vec3f) & (() => vec3f);
+/**
+ * Type of the `d.vec3f` object/function: vector data type schema/constructor
+ */
+type Vec3f = TgpuData<vec3f> & {
+    kind: 'vec3f';
+} & ((x: number, y: number, z: number) => vec3f) & ((xyz: number) => vec3f) & (() => vec3f);
+/**
+ * Interface representing its WGSL vector type counterpart: vec3f or vec3<f32>.
+ * A vector with 3 elements of type d.f32
+ */
 interface vec3f extends vec3, Swizzle3<vec2f, vec3f, vec4f> {
     /** use to distinguish between vectors of the same size on the type level */
     kind: 'vec3f';
 }
+/**
+ *
+ * Schema representing vec3f - a vector with 3 elements of type f32.
+ * Also a constructor function for this vector value.
+ *
+ * @example
+ * const vector = d.vec3f(); // (0.0, 0.0, 0.0)
+ * const vector = d.vec3f(1); // (1.0, 1.0, 1.0)
+ * const vector = d.vec3f(1, 2, 3.5); // (1.0, 2.0, 3.5)
+ *
+ * @example
+ * const buffer = root.createBuffer(d.vec3f, d.vec3f(0, 1, 2)); // buffer holding a d.vec3f value, with an initial value of vec3f(0, 1, 2);
+ */
 declare const vec3f: Vec3f;
-type Vec3i = TgpuData<vec3i> & ((x: number, y: number, z: number) => vec3i) & ((xyz: number) => vec3i) & (() => vec3i);
+/**
+ * Type of the `d.vec3i` object/function: vector data type schema/constructor
+ */
+type Vec3i = TgpuData<vec3i> & {
+    kind: 'vec3i';
+} & ((x: number, y: number, z: number) => vec3i) & ((xyz: number) => vec3i) & (() => vec3i);
+/**
+ * Interface representing its WGSL vector type counterpart: vec3i or vec3<i32>.
+ * A vector with 3 elements of type d.i32
+ */
 interface vec3i extends vec3, Swizzle3<vec2i, vec3i, vec4i> {
     /** use to distinguish between vectors of the same size on the type level */
     kind: 'vec3i';
 }
+/**
+ *
+ * Schema representing vec3i - a vector with 3 elements of type i32.
+ * Also a constructor function for this vector value.
+ *
+ * @example
+ * const vector = d.vec3i(); // (0, 0, 0)
+ * const vector = d.vec3i(1); // (1, 1, 1)
+ * const vector = d.vec3i(1, 2, -3); // (1, 2, -3)
+ *
+ * @example
+ * const buffer = root.createBuffer(d.vec3i, d.vec3i(0, 1, 2)); // buffer holding a d.vec3i value, with an initial value of vec3i(0, 1, 2);
+ */
 declare const vec3i: Vec3i;
-type Vec3u = TgpuData<vec3u> & ((x: number, y: number, z: number) => vec3u) & ((xyz: number) => vec3u) & (() => vec3u);
+/**
+ * Type of the `d.vec3u` object/function: vector data type schema/constructor
+ */
+type Vec3u = TgpuData<vec3u> & {
+    kind: 'vec3u';
+} & ((x: number, y: number, z: number) => vec3u) & ((xyz: number) => vec3u) & (() => vec3u);
+/**
+ * Interface representing its WGSL vector type counterpart: vec3u or vec3<u32>.
+ * A vector with 3 elements of type d.u32
+ */
 interface vec3u extends vec3, Swizzle3<vec2u, vec3u, vec4u> {
     /** use to distinguish between vectors of the same size on the type level */
     kind: 'vec3u';
 }
+/**
+ *
+ * Schema representing vec3u - a vector with 3 elements of type u32.
+ * Also a constructor function for this vector value.
+ *
+ * @example
+ * const vector = d.vec3u(); // (0, 0, 0)
+ * const vector = d.vec3u(1); // (1, 1, 1)
+ * const vector = d.vec3u(1, 2, 3); // (1, 2, 3)
+ *
+ * @example
+ * const buffer = root.createBuffer(d.vec3u, d.vec3u(0, 1, 2)); // buffer holding a d.vec3u value, with an initial value of vec3u(0, 1, 2);
+ */
 declare const vec3u: Vec3u;
-type Vec4f = TgpuData<vec4f> & ((x: number, y: number, z: number, w: number) => vec4f) & ((xyzw: number) => vec4f) & (() => vec4f);
+/**
+ * Type of the `d.vec4f` object/function: vector data type schema/constructor
+ */
+type Vec4f = TgpuData<vec4f> & {
+    kind: 'vec4f';
+} & ((x: number, y: number, z: number, w: number) => vec4f) & ((xyzw: number) => vec4f) & (() => vec4f);
+/**
+ * Interface representing its WGSL vector type counterpart: vec4f or vec4<f32>.
+ * A vector with 4 elements of type d.f32
+ */
 interface vec4f extends vec4, Swizzle4<vec2f, vec3f, vec4f> {
     /** use to distinguish between vectors of the same size on the type level */
     kind: 'vec4f';
 }
+/**
+ *
+ * Schema representing vec4f - a vector with 4 elements of type f32.
+ * Also a constructor function for this vector value.
+ *
+ * @example
+ * const vector = d.vec4f(); // (0.0, 0.0, 0.0, 0.0)
+ * const vector = d.vec4f(1); // (1.0, 1.0, 1.0, 1.0)
+ * const vector = d.vec4f(1, 2, 3, 4.5); // (1.0, 2.0, 3.0, 4.5)
+ *
+ * @example
+ * const buffer = root.createBuffer(d.vec4f, d.vec4f(0, 1, 2, 3)); // buffer holding a d.vec4f value, with an initial value of vec4f(0, 1, 2, 3);
+ */
 declare const vec4f: Vec4f;
-type Vec4i = TgpuData<vec4i> & ((x: number, y: number, z: number, w: number) => vec4i) & ((xyzw: number) => vec4i) & (() => vec4i);
+/**
+ * Type of the `d.vec4i` object/function: vector data type schema/constructor
+ */
+type Vec4i = TgpuData<vec4i> & {
+    kind: 'vec4i';
+} & ((x: number, y: number, z: number, w: number) => vec4i) & ((xyzw: number) => vec4i) & (() => vec4i);
+/**
+ * Interface representing its WGSL vector type counterpart: vec4i or vec4<i32>.
+ * A vector with 4 elements of type d.i32
+ */
 interface vec4i extends vec4, Swizzle4<vec2i, vec3i, vec4i> {
     /** use to distinguish between vectors of the same size on the type level */
     kind: 'vec4i';
 }
+/**
+ *
+ * Schema representing vec4i - a vector with 4 elements of type i32.
+ * Also a constructor function for this vector value.
+ *
+ * @example
+ * const vector = d.vec4i(); // (0, 0, 0, 0)
+ * const vector = d.vec4i(1); // (1, 1, 1, 1)
+ * const vector = d.vec4i(1, 2, 3, -4); // (1, 2, 3, -4)
+ *
+ * @example
+ * const buffer = root.createBuffer(d.vec4i, d.vec4i(0, 1, 2, 3)); // buffer holding a d.vec4i value, with an initial value of vec4i(0, 1, 2, 3);
+ */
 declare const vec4i: Vec4i;
-type Vec4u = TgpuData<vec4u> & ((x: number, y: number, z: number, w: number) => vec4u) & ((xyzw: number) => vec4u) & (() => vec4u);
+/**
+ * Type of the `d.vec4u` object/function: vector data type schema/constructor
+ */
+type Vec4u = TgpuData<vec4u> & {
+    kind: 'vec4u';
+} & ((x: number, y: number, z: number, w: number) => vec4u) & ((xyzw: number) => vec4u) & (() => vec4u);
+/**
+ * Interface representing its WGSL vector type counterpart: vec4u or vec4<u32>.
+ * A vector with 4 elements of type d.u32
+ */
 interface vec4u extends vec4, Swizzle4<vec2u, vec3u, vec4u> {
     /** use to distinguish between vectors of the same size on the type level */
     kind: 'vec4u';
 }
+/**
+ *
+ * Schema representing vec4u - a vector with 4 elements of type u32.
+ * Also a constructor function for this vector value.
+ *
+ * @example
+ * const vector = d.vec4u(); // (0, 0, 0, 0)
+ * const vector = d.vec4u(1); // (1, 1, 1, 1)
+ * const vector = d.vec4u(1, 2, 3, 4); // (1, 2, 3, 4)
+ *
+ * @example
+ * const buffer = root.createBuffer(d.vec4u, d.vec4u(0, 1, 2, 3)); // buffer holding a d.vec4u value, with an initial value of vec4u(0, 1, 2, 3);
+ */
 declare const vec4u: Vec4u;
 
+interface TgpuBufferUniform<TData extends AnyTgpuData> extends TgpuBindable<TData, 'uniform'> {
+    readonly resourceType: 'buffer-usage';
+    readonly value: Unwrap<TData>;
+}
+interface TgpuBufferReadonly<TData extends AnyTgpuData> extends TgpuBindable<TData, 'readonly'> {
+    readonly resourceType: 'buffer-usage';
+    readonly value: Unwrap<TData>;
+}
+interface TgpuBufferMutable<TData extends AnyTgpuData> extends TgpuBindable<TData, 'mutable'> {
+    readonly resourceType: 'buffer-usage';
+    value: Unwrap<TData>;
+}
+interface TgpuBufferUsage<TData extends AnyTgpuData, TUsage extends BufferUsage = BufferUsage> extends TgpuBindable<TData, TUsage> {
+    readonly resourceType: 'buffer-usage';
+    value: Unwrap<TData>;
+}
+
 interface Uniform {
     usableAsUniform: true;
 }
@@ -519,6 +755,7 @@ interface Vertex {
 }
 declare const Vertex: Vertex;
 type UnionToIntersection<U> = (U extends any ? (x: U) => void : never) extends (x: infer I) => void ? I : never;
+type LiteralToUsageType<T extends 'uniform' | 'storage' | 'vertex'> = T extends 'uniform' ? Uniform : T extends 'storage' ? Storage : T extends 'vertex' ? Vertex : never;
 interface TgpuBuffer<TData extends AnyTgpuData> extends TgpuNamable {
     readonly resourceType: 'buffer';
     readonly dataType: TData;
@@ -527,7 +764,7 @@ interface TgpuBuffer<TData extends AnyTgpuData> extends TgpuNamable {
     readonly buffer: GPUBuffer;
     readonly device: GPUDevice;
     readonly destroyed: boolean;
-    $usage<T extends (Uniform | Storage | Vertex)[]>(...usages: T): this & UnionToIntersection<T[number]>;
+    $usage<T extends ('uniform' | 'storage' | 'vertex')[]>(...usages: T): this & UnionToIntersection<LiteralToUsageType<T[number]>>;
     $addFlags(flags: GPUBufferUsageFlags): this;
     $device(device: GPUDevice): this;
     write(data: Parsed<TData> | TgpuBuffer<TData>): void;
@@ -538,4 +775,106 @@ declare function isUsableAsUniform<T extends TgpuBuffer<AnyTgpuData>>(buffer: T)
 declare function isUsableAsStorage<T extends TgpuBuffer<AnyTgpuData>>(buffer: T): buffer is T & Storage;
 declare function isUsableAsVertex<T extends TgpuBuffer<AnyTgpuData>>(buffer: T): buffer is T & Vertex;
 
-export { type AnyTgpuData as A, type Vec4f as B, type Vec4i as C, type Vec4u as D, type ResolutionCtx as R, Storage as S, type TgpuPlum as T, Uniform as U, Vertex as V, type TgpuBuffer as a, vec3f as b, vec3i as c, vec3u as d, type TgpuData as e, isUsableAsUniform as f, isUsableAsVertex as g, type TgpuNamable as h, isUsableAsStorage as i, vec2f as j, vec4f as k, type TgpuPointer as l, type AnyTgpuLooseData as m, type TgpuLooseData as n, type VecKind as o, vec2i as p, vec2u as q, vec4i as r, vec4u as s, type Vec2f as t, type Vec2i as u, type vecBase as v, type Vec2u as w, type Vec3f as x, type Vec3i as y, type Vec3u as z };
+interface TgpuFnShellBase<Args extends AnyTgpuData[], Return extends AnyTgpuData | undefined> {
+    readonly argTypes: Args;
+    readonly returnType: Return | undefined;
+}
+
+type Wgsl = string | number | TgpuResolvable | symbol | boolean;
+type TgpuShaderStage = 'compute' | 'vertex' | 'fragment';
+interface NumberArrayView {
+    readonly length: number;
+    [n: number]: number;
+}
+/**
+ * Removes properties from record type that extend `Prop`
+ */
+type OmitProps<T extends Record<string, unknown>, Prop> = Pick<T, {
+    [Key in keyof T]: T[Key] extends Prop ? never : Key;
+}[keyof T]>;
+/**
+ * Passed into each resolvable item. All sibling items share a resolution ctx,
+ * and a new resolution ctx is made when going down each level in the tree.
+ */
+interface ResolutionCtx {
+    addDeclaration(item: TgpuResolvable): void;
+    addBinding(bindable: TgpuBindable, identifier: TgpuIdentifier): void;
+    addRenderResource(resource: TgpuRenderResource, identifier: TgpuIdentifier): void;
+    addBuiltin(builtin: symbol): void;
+    nameFor(token: TgpuResolvable): string;
+    /**
+     * Unwraps all layers of slot indirection and returns the concrete value if available.
+     * @throws {MissingSlotValueError}
+     */
+    unwrap<T>(eventual: Eventual<T>): T;
+    resolve(item: Wgsl, slotValueOverrides?: SlotValuePair<unknown>[]): string;
+    transpileFn(fn: string): {
+        argNames: string[];
+        body: Block;
+        externalNames: string[];
+    };
+    fnToWgsl(shell: TgpuFnShellBase<any, AnyTgpuData | undefined>, argNames: string[], body: Block, externalMap: Record<string, unknown>): {
+        head: Wgsl;
+        body: Wgsl;
+    };
+}
+interface TgpuResolvable {
+    readonly label?: string | undefined;
+    resolve(ctx: ResolutionCtx): string;
+}
+interface TgpuIdentifier extends TgpuNamable, TgpuResolvable {
+}
+/**
+ * Represents a value that is available at resolution time.
+ */
+type Eventual<T> = T | TgpuSlot<T>;
+type SlotValuePair<T> = [TgpuSlot<T>, T];
+interface TgpuBindable<TData extends AnyTgpuData = AnyTgpuData, TUsage extends BufferUsage = BufferUsage> extends TgpuResolvable {
+    readonly allocatable: TgpuBuffer<TData>;
+    readonly usage: TUsage;
+}
+type TgpuSamplerType = 'sampler' | 'sampler_comparison';
+type TgpuTypedTextureType = 'texture_1d' | 'texture_2d' | 'texture_2d_array' | 'texture_3d' | 'texture_cube' | 'texture_cube_array' | 'texture_multisampled_2d';
+type TgpuDepthTextureType = 'texture_depth_2d' | 'texture_depth_2d_array' | 'texture_depth_cube' | 'texture_depth_cube_array' | 'texture_depth_multisampled_2d';
+type TgpuStorageTextureType = 'texture_storage_1d' | 'texture_storage_2d' | 'texture_storage_2d_array' | 'texture_storage_3d';
+type TgpuExternalTextureType = 'texture_external';
+type TgpuRenderResourceType = TgpuSamplerType | TgpuTypedTextureType | TgpuDepthTextureType | TgpuStorageTextureType | TgpuExternalTextureType;
+interface TgpuRenderResource extends TgpuResolvable {
+    readonly type: TgpuRenderResourceType;
+}
+type BufferUsage = 'uniform' | 'readonly' | 'mutable' | 'vertex';
+type ValueOf<T> = T extends TgpuSlot<infer I> ? ValueOf<I> : T extends TgpuBufferUsage<infer D> ? ValueOf<D> : T extends TgpuData<unknown> ? Unwrap<T> : T;
+interface TgpuData<TInner> extends ISchema<TInner>, TgpuResolvable {
+    readonly isLoose: false;
+    readonly byteAlignment: number;
+    readonly size: number;
+}
+interface TgpuLooseData<TInner> extends ISchema<TInner> {
+    readonly isLoose: true;
+    readonly byteAlignment: number;
+    readonly size: number;
+}
+type AnyTgpuData = TgpuData<unknown>;
+type AnyTgpuLooseData = TgpuLooseData<unknown>;
+interface TgpuPointer<TScope extends 'function', TInner extends AnyTgpuData> {
+    readonly scope: TScope;
+    readonly pointsTo: TInner;
+}
+interface BoundTgpuCode extends TgpuResolvable {
+    with<T>(slot: TgpuSlot<T>, value: Eventual<T>): BoundTgpuCode;
+}
+interface TgpuCode extends BoundTgpuCode, TgpuNamable {
+}
+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;
+    value: ValueOf<T>;
+}
+
+export { vec2u as $, type AnyTgpuData as A, type BoundTgpuCode as B, vec4f as C, type Vec2u as D, type ExtractPlumValue as E, type F32 as F, type Vec2i as G, type Vec2f as H, type I32 as I, type Vec3f as J, type Vec3u as K, type Vec3i as L, type TgpuPointer as M, type NumberArrayView as N, type OmitProps as O, type Bool as P, bool as Q, type ResolutionCtx as R, Storage as S, type TgpuRenderResource as T, Uniform as U, type Vec4u as V, u32 as W, i32 as X, f32 as Y, type VecKind as Z, vec2i as _, type TgpuNamable as a, vec4i as a0, vec4u as a1, type TgpuBuffer as b, type TgpuBufferUsage as c, type TgpuBufferUniform as d, type TgpuShaderStage as e, type TgpuBufferReadonly as f, type TgpuBufferMutable as g, type U32 as h, type Vec4i as i, type Vec4f as j, type TgpuPlum as k, type Unsubscribe as l, type TgpuCode as m, type Block as n, vec3f as o, vec3i as p, vec3u as q, type TgpuData as r, isUsableAsStorage as s, isUsableAsUniform as t, isUsableAsVertex as u, type vecBase as v, Vertex as w, type AnyTgpuLooseData as x, type TgpuLooseData as y, vec2f as z };