typegpu 0.3.0-alpha.6 → 0.3.0

package/{utilityTypes-D53GCmPw.d.ts → wgslTypes-BsqIvRBG.d.ts}

@@ -1,3 +1,5 @@
+import { Block } from 'tinyest';
+
 /**
  * Extracts the inferred representation of a resource.
  * @example
@@ -11,1250 +13,1802 @@ type InferRecord<T extends Record<string | number | symbol, unknown>> = {
     [Key in keyof T]: Infer<T[Key]>;
 };
 
-interface NumberArrayView {
-    readonly length: number;
-    [n: number]: number;
-}
-interface BaseWgslData {
-    type: string;
-    /** Type-token, not available at runtime */
-    readonly '~repr': unknown;
-}
-interface Swizzle2<T2, T3, T4> {
-    readonly xx: T2;
-    readonly xy: T2;
-    readonly yx: T2;
-    readonly yy: T2;
-    readonly xxx: T3;
-    readonly xxy: T3;
-    readonly xyx: T3;
-    readonly xyy: T3;
-    readonly yxx: T3;
-    readonly yxy: T3;
-    readonly yyx: T3;
-    readonly yyy: T3;
-    readonly xxxx: T4;
-    readonly xxxy: T4;
-    readonly xxyx: T4;
-    readonly xxyy: T4;
-    readonly xyxx: T4;
-    readonly xyxy: T4;
-    readonly xyyx: T4;
-    readonly xyyy: T4;
-    readonly yxxx: T4;
-    readonly yxxy: T4;
-    readonly yxyx: T4;
-    readonly yxyy: T4;
-    readonly yyxx: T4;
-    readonly yyxy: T4;
-    readonly yyyx: T4;
-    readonly yyyy: T4;
-}
-interface Swizzle3<T2, T3, T4> extends Swizzle2<T2, T3, T4> {
-    readonly xz: T2;
-    readonly yz: T2;
-    readonly zx: T2;
-    readonly zy: T2;
-    readonly zz: T2;
-    readonly xxz: T3;
-    readonly xyz: T3;
-    readonly xzx: T3;
-    readonly xzy: T3;
-    readonly xzz: T3;
-    readonly yxz: T3;
-    readonly yyz: T3;
-    readonly yzx: T3;
-    readonly yzy: T3;
-    readonly yzz: T3;
-    readonly zxx: T3;
-    readonly zxy: T3;
-    readonly zxz: T3;
-    readonly zyx: T3;
-    readonly zyy: T3;
-    readonly zyz: T3;
-    readonly zzx: T3;
-    readonly zzy: T3;
-    readonly zzz: T3;
-    readonly xxxz: T4;
-    readonly xxyz: T4;
-    readonly xxzx: T4;
-    readonly xxzy: T4;
-    readonly xxzz: T4;
-    readonly xyxz: T4;
-    readonly xyyz: T4;
-    readonly xyzx: T4;
-    readonly xyzy: T4;
-    readonly xyzz: T4;
-    readonly xzxx: T4;
-    readonly xzxy: T4;
-    readonly xzxz: T4;
-    readonly xzyx: T4;
-    readonly xzyy: T4;
-    readonly xzyz: T4;
-    readonly xzzx: T4;
-    readonly xzzy: T4;
-    readonly xzzz: T4;
-    readonly yxxz: T4;
-    readonly yxyz: T4;
-    readonly yxzx: T4;
-    readonly yxzy: T4;
-    readonly yxzz: T4;
-    readonly yyxz: T4;
-    readonly yyyz: T4;
-    readonly yyzx: T4;
-    readonly yyzy: T4;
-    readonly yyzz: T4;
-    readonly yzxx: T4;
-    readonly yzxy: T4;
-    readonly yzxz: T4;
-    readonly yzyx: T4;
-    readonly yzyy: T4;
-    readonly yzyz: T4;
-    readonly yzzx: T4;
-    readonly yzzy: T4;
-    readonly yzzz: T4;
-    readonly zxxx: T4;
-    readonly zxxy: T4;
-    readonly zxxz: T4;
-    readonly zxyx: T4;
-    readonly zxyy: T4;
-    readonly zxyz: T4;
-    readonly zxzx: T4;
-    readonly zxzy: T4;
-    readonly zxzz: T4;
-    readonly zyxx: T4;
-    readonly zyxy: T4;
-    readonly zyxz: T4;
-    readonly zyyx: T4;
-    readonly zyyy: T4;
-    readonly zyyz: T4;
-    readonly zyzx: T4;
-    readonly zyzy: T4;
-    readonly zyzz: T4;
-    readonly zzxx: T4;
-    readonly zzxy: T4;
-    readonly zzxz: T4;
-    readonly zzyx: T4;
-    readonly zzyy: T4;
-    readonly zzyz: T4;
-    readonly zzzx: T4;
-    readonly zzzy: T4;
-    readonly zzzz: T4;
-}
-interface Swizzle4<T2, T3, T4> extends Swizzle3<T2, T3, T4> {
-    readonly yw: T2;
-    readonly zw: T2;
-    readonly wx: T2;
-    readonly wy: T2;
-    readonly wz: T2;
-    readonly ww: T2;
-    readonly xxw: T3;
-    readonly xyw: T3;
-    readonly xzw: T3;
-    readonly xwx: T3;
-    readonly xwy: T3;
-    readonly xwz: T3;
-    readonly xww: T3;
-    readonly yxw: T3;
-    readonly yyw: T3;
-    readonly yzw: T3;
-    readonly ywx: T3;
-    readonly ywy: T3;
-    readonly ywz: T3;
-    readonly yww: T3;
-    readonly zxw: T3;
-    readonly zyw: T3;
-    readonly zzw: T3;
-    readonly zwx: T3;
-    readonly zwy: T3;
-    readonly zwz: T3;
-    readonly zww: T3;
-    readonly wxx: T3;
-    readonly wxz: T3;
-    readonly wxy: T3;
-    readonly wyy: T3;
-    readonly wyz: T3;
-    readonly wzz: T3;
-    readonly wwx: T3;
-    readonly wwy: T3;
-    readonly wwz: T3;
-    readonly www: T3;
-    readonly xxxw: T4;
-    readonly xxyw: T4;
-    readonly xxzw: T4;
-    readonly xxwx: T4;
-    readonly xxwy: T4;
-    readonly xxwz: T4;
-    readonly xxww: T4;
-    readonly xyxw: T4;
-    readonly xyyw: T4;
-    readonly xyzw: T4;
-    readonly xywx: T4;
-    readonly xywy: T4;
-    readonly xywz: T4;
-    readonly xyww: T4;
-    readonly xzxw: T4;
-    readonly xzyw: T4;
-    readonly xzzw: T4;
-    readonly xzwx: T4;
-    readonly xzwy: T4;
-    readonly xzwz: T4;
-    readonly xzww: T4;
-    readonly xwxx: T4;
-    readonly xwxy: T4;
-    readonly xwxz: T4;
-    readonly xwyy: T4;
-    readonly xwyz: T4;
-    readonly xwzz: T4;
-    readonly xwwx: T4;
-    readonly xwwy: T4;
-    readonly xwwz: T4;
-    readonly xwww: T4;
-    readonly yxxw: T4;
-    readonly yxyw: T4;
-    readonly yxzw: T4;
-    readonly yxwx: T4;
-    readonly yxwy: T4;
-    readonly yxwz: T4;
-    readonly yxww: T4;
-    readonly yyxw: T4;
-    readonly yyyw: T4;
-    readonly yyzw: T4;
-    readonly yywx: T4;
-    readonly yywy: T4;
-    readonly yywz: T4;
-    readonly yyww: T4;
-    readonly yzxw: T4;
-    readonly yzyw: T4;
-    readonly yzzw: T4;
-    readonly yzwx: T4;
-    readonly yzwy: T4;
-    readonly yzwz: T4;
-    readonly yzww: T4;
-    readonly ywxx: T4;
-    readonly ywxy: T4;
-    readonly ywxz: T4;
-    readonly ywxw: T4;
-    readonly ywyy: T4;
-    readonly ywyz: T4;
-    readonly ywzz: T4;
-    readonly ywwx: T4;
-    readonly ywwy: T4;
-    readonly ywwz: T4;
-    readonly ywww: T4;
-    readonly zxxw: T4;
-    readonly zxyw: T4;
-    readonly zxzw: T4;
-    readonly zxwx: T4;
-    readonly zxwy: T4;
-    readonly zxwz: T4;
-    readonly zxww: T4;
-    readonly zyxw: T4;
-    readonly zyyw: T4;
-    readonly zyzw: T4;
-    readonly zywx: T4;
-    readonly zywy: T4;
-    readonly zywz: T4;
-    readonly zyww: T4;
-    readonly zzxw: T4;
-    readonly zzyw: T4;
-    readonly zzzw: T4;
-    readonly zzwx: T4;
-    readonly zzwy: T4;
-    readonly zzwz: T4;
-    readonly zzww: T4;
-    readonly zwxx: T4;
-    readonly zwxy: T4;
-    readonly zwxz: T4;
-    readonly zwxw: T4;
-    readonly zwyy: T4;
-    readonly zwyz: T4;
-    readonly zwzz: T4;
-    readonly zwwx: T4;
-    readonly zwwy: T4;
-    readonly zwwz: T4;
-    readonly zwww: T4;
-    readonly wxxx: T4;
-    readonly wxxy: T4;
-    readonly wxxz: T4;
-    readonly wxxw: T4;
-    readonly wxyx: T4;
-    readonly wxyy: T4;
-    readonly wxyz: T4;
-    readonly wxyw: T4;
-    readonly wxzx: T4;
-    readonly wxzy: T4;
-    readonly wxzz: T4;
-    readonly wxzw: T4;
-    readonly wxwx: T4;
-    readonly wxwy: T4;
-    readonly wxwz: T4;
-    readonly wxww: T4;
-    readonly wyxx: T4;
-    readonly wyxy: T4;
-    readonly wyxz: T4;
-    readonly wyxw: T4;
-    readonly wyyy: T4;
-    readonly wyyz: T4;
-    readonly wyzw: T4;
-    readonly wywx: T4;
-    readonly wywy: T4;
-    readonly wywz: T4;
-    readonly wyww: T4;
-    readonly wzxx: T4;
-    readonly wzxy: T4;
-    readonly wzxz: T4;
-    readonly wzxw: T4;
-    readonly wzyy: T4;
-    readonly wzyz: T4;
-    readonly wzzy: T4;
-    readonly wzzw: T4;
-    readonly wzwx: T4;
-    readonly wzwy: T4;
-    readonly wzwz: T4;
-    readonly wzww: T4;
-    readonly wwxx: T4;
-    readonly wwxy: T4;
-    readonly wwxz: T4;
-    readonly wwxw: T4;
-    readonly wwyy: T4;
-    readonly wwyz: T4;
-    readonly wwzz: T4;
-    readonly wwwx: T4;
-    readonly wwwy: T4;
-    readonly wwwz: T4;
-    readonly wwww: T4;
+/**
+ * A schema that represents a boolean value. (equivalent to `bool` in WGSL)
+ */
+declare const bool: Bool;
+/**
+ * Unsigned 32-bit integer schema representing a single WGSL u32 value.
+ */
+type NativeU32 = U32 & {
+    '~exotic': 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: NativeU32;
+/**
+ * Signed 32-bit integer schema representing a single WGSL i32 value.
+ */
+type NativeI32 = I32 & {
+    '~exotic': 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: NativeI32;
+/**
+ * 32-bit float schema representing a single WGSL f32 value.
+ */
+type NativeF32 = F32 & {
+    '~exotic': 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: NativeF32;
+/**
+ * 16-bit float schema representing a single WGSL f16 value.
+ */
+type NativeF16 = F16 & {
+    '~exotic': F16;
+} & ((v: number | boolean) => number);
+/**
+ * A schema that represents a 16-bit float value. (equivalent to `f16` in WGSL)
+ *
+ * Can also be called to cast a value to an f16.
+ *
+ * @example
+ * const value = f16(true); // 1
+ * @example
+ * const value = f16(21877.5); // 21872
+ */
+declare const f16: NativeF16;
+
+/**
+ * Can be assigned a name. Not to be confused with
+ * being able to HAVE a name.
+ */
+interface TgpuNamable {
+    $name(label?: string | undefined): this;
 }
+
+type Default<T, TDefault> = unknown extends T ? TDefault : T extends undefined ? TDefault : T;
+type UnionToIntersection<U> = (U extends any ? (x: U) => void : never) extends (x: infer I) => void ? I : never;
+type Prettify<T> = {
+    [K in keyof T]: T[K];
+} & {};
 /**
- * Interface representing its WGSL vector type counterpart: vec2f or vec2<f32>.
- * A vector with 2 elements of type f32
+ * Removes properties from record type that extend `Prop`
  */
-interface v2f extends NumberArrayView, Swizzle2<v2f, v3f, v4f> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec2f';
-    x: number;
-    y: number;
-}
+type OmitProps<T extends Record<string, unknown>, Prop> = Pick<T, {
+    [Key in keyof T]: T[Key] extends Prop ? never : Key;
+}[keyof T]>;
+
 /**
- * Interface representing its WGSL vector type counterpart: vec2h or vec2<f16>.
- * A vector with 2 elements of type f16
+ * Strips schema types down to their most basic forms. (native -> exotic)
+ * This is used by schema constructors to be able to ingest native schemas (created by TypeGPU), and
+ * spit out a type that matches non-native schemas as well.
  */
-interface v2h extends NumberArrayView, Swizzle2<v2h, v3h, v4h> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec2h';
-    x: number;
-    y: number;
-}
+type Exotic<T> = T extends {
+    readonly '~exotic': infer TExotic;
+} ? TExotic : T;
+type ExoticRecord<T> = T extends Record<string | number | symbol, unknown> ? {
+    [Key in keyof T]: Exotic<T[Key]>;
+} : T;
+
 /**
- * Interface representing its WGSL vector type counterpart: vec2i or vec2<i32>.
- * A vector with 2 elements of type i32
+ * Type of the `d.vec2f` object/function: vector data type schema/constructor
  */
-interface v2i extends NumberArrayView, Swizzle2<v2i, v3i, v4i> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec2i';
-    x: number;
-    y: number;
-}
+type NativeVec2f = Vec2f & {
+    '~exotic': Vec2f;
+} & ((x: number, y: number) => v2f) & ((xy: number) => v2f) & (() => v2f);
 /**
- * Interface representing its WGSL vector type counterpart: vec2u or vec2<u32>.
- * A vector with 2 elements of type u32
+ *
+ * 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);
  */
-interface v2u extends NumberArrayView, Swizzle2<v2u, v3u, v4u> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec2u';
-    x: number;
-    y: number;
-}
+declare const vec2f: NativeVec2f;
 /**
- * Interface representing its WGSL vector type counterpart: vec3f or vec3<f32>.
- * A vector with 3 elements of type f32
+ * Type of the `d.vec2h` object/function: vector data type schema/constructor
  */
-interface v3f extends NumberArrayView, Swizzle3<v2f, v3f, v4f> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec3f';
-    x: number;
-    y: number;
-    z: number;
-}
+type NativeVec2h = Vec2h & {
+    '~exotic': Vec2h;
+} & ((x: number, y: number) => v2h) & ((xy: number) => v2h) & (() => v2h);
 /**
- * Interface representing its WGSL vector type counterpart: vec3h or vec3<f16>.
- * A vector with 3 elements of type f16
+ *
+ * Schema representing vec2h - a vector with 2 elements of type f16.
+ * Also a constructor function for this vector value.
+ *
+ * @example
+ * const vector = d.vec2h(); // (0.0, 0.0)
+ * const vector = d.vec2h(1); // (1.0, 1.0)
+ * const vector = d.vec2h(0.5, 0.1); // (0.5, 0.1)
+ *
+ * @example
+ * const buffer = root.createBuffer(d.vec2h, d.vec2h(0, 1)); // buffer holding a d.vec2h value, with an initial value of vec2h(0, 1);
  */
-interface v3h extends NumberArrayView, Swizzle3<v2h, v3h, v4h> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec3h';
-    x: number;
-    y: number;
-    z: number;
-}
+declare const vec2h: NativeVec2h;
 /**
- * Interface representing its WGSL vector type counterpart: vec3i or vec3<i32>.
- * A vector with 3 elements of type i32
+ * Type of the `d.vec2i` object/function: vector data type schema/constructor
  */
-interface v3i extends NumberArrayView, Swizzle3<v2i, v3i, v4i> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec3i';
-    x: number;
-    y: number;
-    z: number;
-}
+type NativeVec2i = Vec2i & {
+    '~exotic': Vec2i;
+} & ((x: number, y: number) => v2i) & ((xy: number) => v2i) & (() => v2i);
 /**
- * Interface representing its WGSL vector type counterpart: vec3u or vec3<u32>.
- * A vector with 3 elements of type u32
- */
-interface v3u extends NumberArrayView, Swizzle3<v2u, v3u, v4u> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec3u';
-    x: number;
-    y: number;
-    z: number;
-}
+ *
+ * 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: NativeVec2i;
 /**
- * Interface representing its WGSL vector type counterpart: vec4f or vec4<f32>.
- * A vector with 4 elements of type f32
+ * Type of the `d.vec2u` object/function: vector data type schema/constructor
  */
-interface v4f extends NumberArrayView, Swizzle4<v2f, v3f, v4f> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec4f';
-    x: number;
-    y: number;
-    z: number;
-    w: number;
-}
+type NativeVec2u = Vec2u & {
+    '~exotic': Vec2u;
+} & ((x: number, y: number) => v2u) & ((xy: number) => v2u) & (() => v2u);
 /**
- * Interface representing its WGSL vector type counterpart: vec4h or vec4<f16>.
- * A vector with 4 elements of type f16
+ *
+ * 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);
  */
-interface v4h extends NumberArrayView, Swizzle4<v2h, v3h, v4h> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec4h';
-    x: number;
-    y: number;
-    z: number;
-    w: number;
-}
+declare const vec2u: NativeVec2u;
 /**
- * Interface representing its WGSL vector type counterpart: vec4i or vec4<i32>.
- * A vector with 4 elements of type i32
+ * Type of the `d.vec3f` object/function: vector data type schema/constructor
  */
-interface v4i extends NumberArrayView, Swizzle4<v2i, v3i, v4i> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec4i';
-    x: number;
-    y: number;
-    z: number;
-    w: number;
-}
+type NativeVec3f = Vec3f & {
+    '~exotic': Vec3f;
+} & ((x: number, y: number, z: number) => v3f) & ((xyz: number) => v3f) & (() => v3f);
 /**
- * Interface representing its WGSL vector type counterpart: vec4u or vec4<u32>.
- * A vector with 4 elements of type u32
+ *
+ * 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);
  */
-interface v4u extends NumberArrayView, Swizzle4<v2u, v3u, v4u> {
-    /** use to distinguish between vectors of the same size on the type level */
-    readonly kind: 'vec4u';
-    x: number;
-    y: number;
-    z: number;
-    w: number;
-}
-interface matBase<TColumn> extends NumberArrayView {
-    readonly columns: readonly TColumn[];
-}
+declare const vec3f: NativeVec3f;
 /**
- * Interface representing its WGSL matrix type counterpart: mat2x2
- * A matrix with 2 rows and 2 columns, with elements of type `TColumn`
+ * Type of the `d.vec3h` object/function: vector data type schema/constructor
  */
-interface mat2x2<TColumn> extends matBase<TColumn> {
-    readonly length: 4;
-    [n: number]: number;
-}
+type NativeVec3h = Vec3h & {
+    '~exotic': Vec3h;
+} & ((x: number, y: number, z: number) => v3h) & ((xyz: number) => v3h) & (() => v3h);
 /**
- * Interface representing its WGSL matrix type counterpart: mat2x2f or mat2x2<f32>
- * A matrix with 2 rows and 2 columns, with elements of type d.f32
+ *
+ * Schema representing vec3h - a vector with 3 elements of type f16.
+ * Also a constructor function for this vector value.
+ *
+ * @example
+ * const vector = d.vec3h(); // (0.0, 0.0, 0.0)
+ * const vector = d.vec3h(1); // (1.0, 1.0, 1.0)
+ * const vector = d.vec3h(1, 2, 3.5); // (1.0, 2.0, 3.5)
+ *
+ * @example
+ * const buffer = root.createBuffer(d.vec3h, d.vec3h(0, 1, 2)); // buffer holding a d.vec3h value, with an initial value of vec3h(0, 1, 2);
  */
-interface m2x2f extends mat2x2<v2f> {
-    readonly kind: 'mat2x2f';
-}
+declare const vec3h: NativeVec3h;
 /**
- * Interface representing its WGSL matrix type counterpart: mat3x3
- * A matrix with 3 rows and 3 columns, with elements of type `TColumn`
+ * Type of the `d.vec3i` object/function: vector data type schema/constructor
  */
-interface mat3x3<TColumn> extends matBase<TColumn> {
-    readonly length: 12;
-    [n: number]: number;
-}
+type NativeVec3i = Vec3i & {
+    '~exotic': Vec3i;
+} & ((x: number, y: number, z: number) => v3i) & ((xyz: number) => v3i) & (() => v3i);
 /**
- * Interface representing its WGSL matrix type counterpart: mat3x3f or mat3x3<f32>
- * A matrix with 3 rows and 3 columns, with elements of type d.f32
+ *
+ * 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);
  */
-interface m3x3f extends mat3x3<v3f> {
-    readonly kind: 'mat3x3f';
-}
+declare const vec3i: NativeVec3i;
 /**
- * Interface representing its WGSL matrix type counterpart: mat4x4
- * A matrix with 4 rows and 4 columns, with elements of type `TColumn`
+ * Type of the `d.vec3u` object/function: vector data type schema/constructor
  */
-interface mat4x4<TColumn> extends matBase<TColumn> {
-    readonly length: 16;
-    [n: number]: number;
-}
+type NativeVec3u = Vec3u & {
+    '~exotic': Vec3u;
+} & ((x: number, y: number, z: number) => v3u) & ((xyz: number) => v3u) & (() => v3u);
 /**
- * Interface representing its WGSL matrix type counterpart: mat4x4f or mat4x4<f32>
- * A matrix with 4 rows and 4 columns, with elements of type d.f32
+ *
+ * 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);
  */
-interface m4x4f extends mat4x4<v4f> {
-    readonly kind: 'mat4x4f';
-}
+declare const vec3u: NativeVec3u;
 /**
- * Boolean schema representing a single WGSL bool value.
- * Cannot be used inside buffers as it is not host-shareable.
+ * Type of the `d.vec4f` object/function: vector data type schema/constructor
  */
-interface Bool {
-    readonly type: 'bool';
-    readonly '~repr': boolean;
-}
-interface F32 {
-    readonly type: 'f32';
-    /** Type-token, not available at runtime */
-    readonly '~repr': number;
-}
-interface F16 {
-    readonly type: 'f16';
-    /** Type-token, not available at runtime */
-    readonly '~repr': number;
-}
-interface I32 {
-    readonly type: 'i32';
-    /** Type-token, not available at runtime */
-    readonly '~repr': number;
-}
-interface U32 {
-    readonly type: 'u32';
-    /** Type-token, not available at runtime */
-    readonly '~repr': number;
-}
-interface Vec2f {
-    readonly type: 'vec2f';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v2f;
-}
-interface Vec2h {
-    readonly type: 'vec2h';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v2h;
-}
-interface Vec2i {
-    readonly type: 'vec2i';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v2i;
-}
-interface Vec2u {
-    readonly type: 'vec2u';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v2u;
-}
-interface Vec3f {
-    readonly type: 'vec3f';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v3f;
-}
-interface Vec3h {
-    readonly type: 'vec3h';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v3h;
-}
-interface Vec3i {
-    readonly type: 'vec3i';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v3i;
-}
-interface Vec3u {
-    readonly type: 'vec3u';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v3u;
-}
-interface Vec4f {
-    readonly type: 'vec4f';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v4f;
-}
-interface Vec4h {
-    readonly type: 'vec4h';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v4h;
-}
-interface Vec4i {
-    readonly type: 'vec4i';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v4i;
-}
-interface Vec4u {
-    readonly type: 'vec4u';
-    /** Type-token, not available at runtime */
-    readonly '~repr': v4u;
-}
-interface Mat2x2f {
-    readonly type: 'mat2x2f';
-    /** Type-token, not available at runtime */
-    readonly '~repr': m2x2f;
-}
-interface Mat3x3f {
-    readonly type: 'mat3x3f';
-    /** Type-token, not available at runtime */
-    readonly '~repr': m3x3f;
-}
-interface Mat4x4f {
-    readonly type: 'mat4x4f';
-    /** Type-token, not available at runtime */
-    readonly '~repr': m4x4f;
-}
-interface WgslStruct<TProps extends Record<string, BaseWgslData> = Record<string, BaseWgslData>> {
-    readonly type: 'struct';
-    readonly label?: string | undefined;
-    readonly propTypes: TProps;
-    /** Type-token, not available at runtime */
-    readonly '~repr': InferRecord<TProps>;
-}
-interface WgslArray<TElement = BaseWgslData> {
-    readonly type: 'array';
-    readonly elementCount: number;
-    readonly elementType: TElement;
-    /** Type-token, not available at runtime */
-    readonly '~repr': Infer<TElement>[];
-}
-/**
- * Schema representing the `atomic<...>` WGSL data type.
- */
-interface Atomic<TInner extends U32 | I32 = U32 | I32> {
-    readonly type: 'atomic';
-    readonly inner: TInner;
-    /** Type-token, not available at runtime */
-    readonly '~repr': Infer<TInner>;
-}
-interface Align<T extends number> {
-    readonly type: '@align';
-    readonly value: T;
-}
-interface Size<T extends number> {
-    readonly type: '@size';
-    readonly value: T;
-}
-interface Location<T extends number> {
-    readonly type: '@location';
-    readonly value: T;
-}
-interface Builtin<T extends string> {
-    readonly type: '@builtin';
-    readonly value: T;
-}
-interface Decorated<TInner extends BaseWgslData = BaseWgslData, TAttribs extends unknown[] = unknown[]> {
-    readonly type: 'decorated';
-    readonly inner: TInner;
-    readonly attribs: TAttribs;
-    /** Type-token, not available at runtime */
-    readonly '~repr': Infer<TInner>;
-}
-declare const wgslTypeLiterals: readonly ["bool", "f32", "f16", "i32", "u32", "vec2f", "vec2h", "vec2i", "vec2u", "vec3f", "vec3h", "vec3i", "vec3u", "vec4f", "vec4h", "vec4i", "vec4u", "mat2x2f", "mat3x3f", "mat4x4f", "struct", "array", "atomic", "decorated"];
-type WgslTypeLiteral = (typeof wgslTypeLiterals)[number];
-type AnyWgslData = Bool | F32 | F16 | I32 | U32 | Vec2f | Vec2h | Vec2i | Vec2u | Vec3f | Vec3h | Vec3i | Vec3u | Vec4f | Vec4h | Vec4i | Vec4u | Mat2x2f | Mat3x3f | Mat4x4f | WgslStruct | WgslArray | Atomic | Decorated;
-declare function isWgslData(value: unknown): value is AnyWgslData;
-/**
- * Checks whether passed in value is an array schema,
- * as opposed to, e.g., a looseArray schema.
- *
- * Array schemas can be used to describe uniform and storage buffers,
- * whereas looseArray schemas cannot.
- *
- * @example
- * isWgslArray(d.arrayOf(d.u32, 4)) // true
- * isWgslArray(d.looseArrayOf(d.u32, 4)) // false
- * isWgslArray(d.vec3f) // false
- */
-declare function isWgslArray<T extends WgslArray>(schema: T | unknown): schema is T;
-/**
- * Checks whether passed in value is a struct schema,
- * as opposed to, e.g., a looseStruct schema.
- *
- * Struct schemas can be used to describe uniform and storage buffers,
- * whereas looseStruct schemas cannot.
- *
- * @example
- * isWgslStruct(d.struct({ a: d.u32 })) // true
- * isWgslStruct(d.looseStruct({ a: d.u32 })) // false
- * isWgslStruct(d.vec3f) // false
- */
-declare function isWgslStruct<T extends WgslStruct>(schema: T | unknown): schema is T;
-/**
- * Checks whether the passed in value is an atomic schema.
- *
- * @example
- * isAtomic(d.atomic(d.u32)) // true
- * isAtomic(d.u32) // false
- */
-declare function isAtomic<T extends Atomic<U32 | I32>>(schema: T | unknown): schema is T;
-declare function isAlignAttrib<T extends Align<number>>(value: unknown | T): value is T;
-declare function isSizeAttrib<T extends Size<number>>(value: unknown | T): value is T;
-declare function isLocationAttrib<T extends Location<number>>(value: unknown | T): value is T;
-declare function isBuiltinAttrib<T extends Builtin<string>>(value: unknown | T): value is T;
-declare function isDecorated<T extends Decorated>(value: unknown | T): value is T;
-
-/**
- * Type of the `d.vec2f` object/function: vector data type schema/constructor
- */
-type NativeVec2f = Vec2f & {
-    '~exotic': Vec2f;
-} & ((x: number, y: number) => v2f) & ((xy: number) => v2f) & (() => v2f);
-/**
- *
- * 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: NativeVec2f;
-/**
- * Type of the `d.vec2h` object/function: vector data type schema/constructor
- */
-type NativeVec2h = Vec2h & {
-    '~exotic': Vec2h;
-} & ((x: number, y: number) => v2h) & ((xy: number) => v2h) & (() => v2h);
-/**
- *
- * Schema representing vec2h - a vector with 2 elements of type f16.
- * Also a constructor function for this vector value.
- *
- * @example
- * const vector = d.vec2h(); // (0.0, 0.0)
- * const vector = d.vec2h(1); // (1.0, 1.0)
- * const vector = d.vec2h(0.5, 0.1); // (0.5, 0.1)
- *
- * @example
- * const buffer = root.createBuffer(d.vec2h, d.vec2h(0, 1)); // buffer holding a d.vec2h value, with an initial value of vec2h(0, 1);
- */
-declare const vec2h: NativeVec2h;
-/**
- * Type of the `d.vec2i` object/function: vector data type schema/constructor
- */
-type NativeVec2i = Vec2i & {
-    '~exotic': Vec2i;
-} & ((x: number, y: number) => v2i) & ((xy: number) => v2i) & (() => v2i);
-/**
- *
- * 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: NativeVec2i;
-/**
- * Type of the `d.vec2u` object/function: vector data type schema/constructor
- */
-type NativeVec2u = Vec2u & {
-    '~exotic': Vec2u;
-} & ((x: number, y: number) => v2u) & ((xy: number) => v2u) & (() => v2u);
-/**
- *
- * 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: NativeVec2u;
-/**
- * Type of the `d.vec3f` object/function: vector data type schema/constructor
- */
-type NativeVec3f = Vec3f & {
-    '~exotic': Vec3f;
-} & ((x: number, y: number, z: number) => v3f) & ((xyz: number) => v3f) & (() => v3f);
+type NativeVec4f = Vec4f & {
+    '~exotic': Vec4f;
+} & ((x: number, y: number, z: number, w: number) => v4f) & ((xyzw: number) => v4f) & (() => v4f);
 /**
  *
- * Schema representing vec3f - a vector with 3 elements of type f32.
+ * Schema representing vec4f - a vector with 4 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)
+ * 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.vec3f, d.vec3f(0, 1, 2)); // buffer holding a d.vec3f value, with an initial value of vec3f(0, 1, 2);
+ * 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 vec3f: NativeVec3f;
+declare const vec4f: NativeVec4f;
 /**
- * Type of the `d.vec3h` object/function: vector data type schema/constructor
+ * Type of the `d.vec4h` object/function: vector data type schema/constructor
  */
-type NativeVec3h = Vec3h & {
-    '~exotic': Vec3h;
-} & ((x: number, y: number, z: number) => v3h) & ((xyz: number) => v3h) & (() => v3h);
+type NativeVec4h = Vec4h & {
+    '~exotic': Vec4h;
+} & ((x: number, y: number, z: number, w: number) => v4h) & ((xyzw: number) => v4h) & (() => v4h);
 /**
  *
- * Schema representing vec3h - a vector with 3 elements of type f16.
+ * Schema representing vec4h - a vector with 4 elements of type f16.
  * Also a constructor function for this vector value.
  *
  * @example
- * const vector = d.vec3h(); // (0.0, 0.0, 0.0)
- * const vector = d.vec3h(1); // (1.0, 1.0, 1.0)
- * const vector = d.vec3h(1, 2, 3.5); // (1.0, 2.0, 3.5)
+ * const vector = d.vec4h(); // (0.0, 0.0, 0.0, 0.0)
+ * const vector = d.vec4h(1); // (1.0, 1.0, 1.0, 1.0)
+ * const vector = d.vec4h(1, 2, 3, 4.5); // (1.0, 2.0, 3.0, 4.5)
  *
  * @example
- * const buffer = root.createBuffer(d.vec3h, d.vec3h(0, 1, 2)); // buffer holding a d.vec3h value, with an initial value of vec3h(0, 1, 2);
+ * const buffer = root.createBuffer(d.vec4h, d.vec4h(0, 1, 2, 3)); // buffer holding a d.vec4h value, with an initial value of vec4h(0, 1, 2, 3);
  */
-declare const vec3h: NativeVec3h;
+declare const vec4h: NativeVec4h;
 /**
- * Type of the `d.vec3i` object/function: vector data type schema/constructor
+ * Type of the `d.vec4i` object/function: vector data type schema/constructor
  */
-type NativeVec3i = Vec3i & {
-    '~exotic': Vec3i;
-} & ((x: number, y: number, z: number) => v3i) & ((xyz: number) => v3i) & (() => v3i);
+type NativeVec4i = Vec4i & {
+    '~exotic': Vec4i;
+} & ((x: number, y: number, z: number, w: number) => v4i) & ((xyzw: number) => v4i) & (() => v4i);
 /**
  *
- * Schema representing vec3i - a vector with 3 elements of type i32.
+ * Schema representing vec4i - a vector with 4 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)
+ * 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.vec3i, d.vec3i(0, 1, 2)); // buffer holding a d.vec3i value, with an initial value of vec3i(0, 1, 2);
+ * 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 vec3i: NativeVec3i;
+declare const vec4i: NativeVec4i;
 /**
- * Type of the `d.vec3u` object/function: vector data type schema/constructor
+ * Type of the `d.vec4u` object/function: vector data type schema/constructor
  */
-type NativeVec3u = Vec3u & {
-    '~exotic': Vec3u;
-} & ((x: number, y: number, z: number) => v3u) & ((xyz: number) => v3u) & (() => v3u);
+type NativeVec4u = Vec4u & {
+    '~exotic': Vec4u;
+} & ((x: number, y: number, z: number, w: number) => v4u) & ((xyzw: number) => v4u) & (() => v4u);
 /**
  *
- * Schema representing vec3u - a vector with 3 elements of type u32.
+ * Schema representing vec4u - a vector with 4 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)
+ * 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.vec3u, d.vec3u(0, 1, 2)); // buffer holding a d.vec3u value, with an initial value of vec3u(0, 1, 2);
+ * 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 vec3u: NativeVec3u;
-/**
- * Type of the `d.vec4f` object/function: vector data type schema/constructor
- */
-type NativeVec4f = Vec4f & {
-    '~exotic': Vec4f;
-} & ((x: number, y: number, z: number, w: number) => v4f) & ((xyzw: number) => v4f) & (() => v4f);
+declare const vec4u: NativeVec4u;
+
+declare const vertexFormats: readonly ["uint8", "uint8x2", "uint8x4", "sint8", "sint8x2", "sint8x4", "unorm8", "unorm8x2", "unorm8x4", "snorm8", "snorm8x2", "snorm8x4", "uint16", "uint16x2", "uint16x4", "sint16", "sint16x2", "sint16x4", "unorm16", "unorm16x2", "unorm16x4", "snorm16", "snorm16x2", "snorm16x4", "float16", "float16x2", "float16x4", "float32", "float32x2", "float32x3", "float32x4", "uint32", "uint32x2", "uint32x3", "uint32x4", "sint32", "sint32x2", "sint32x3", "sint32x4", "unorm10-10-10-2", "unorm8x4-bgra"];
+type VertexFormat = (typeof vertexFormats)[number];
+
+type FormatToWGSLType<T extends VertexFormat> = (typeof formatToWGSLType)[T];
+interface TgpuVertexFormatData<T extends VertexFormat> {
+    readonly '~repr': Infer<FormatToWGSLType<T>>;
+    readonly type: T;
+}
+declare const formatToWGSLType: {
+    readonly uint8: NativeU32;
+    readonly uint8x2: NativeVec2u;
+    readonly uint8x4: NativeVec4u;
+    readonly sint8: NativeI32;
+    readonly sint8x2: NativeVec2i;
+    readonly sint8x4: NativeVec4i;
+    readonly unorm8: NativeF32;
+    readonly unorm8x2: NativeVec2f;
+    readonly unorm8x4: NativeVec4f;
+    readonly snorm8: NativeF32;
+    readonly snorm8x2: NativeVec2f;
+    readonly snorm8x4: NativeVec4f;
+    readonly uint16: NativeU32;
+    readonly uint16x2: NativeVec2u;
+    readonly uint16x4: NativeVec4u;
+    readonly sint16: NativeI32;
+    readonly sint16x2: NativeVec2i;
+    readonly sint16x4: NativeVec4i;
+    readonly unorm16: NativeF32;
+    readonly unorm16x2: NativeVec2f;
+    readonly unorm16x4: NativeVec4f;
+    readonly snorm16: NativeF32;
+    readonly snorm16x2: NativeVec2f;
+    readonly snorm16x4: NativeVec4f;
+    readonly float16: NativeF32;
+    readonly float16x2: NativeVec2f;
+    readonly float16x4: NativeVec4f;
+    readonly float32: NativeF32;
+    readonly float32x2: NativeVec2f;
+    readonly float32x3: NativeVec3f;
+    readonly float32x4: NativeVec4f;
+    readonly uint32: NativeU32;
+    readonly uint32x2: NativeVec2u;
+    readonly uint32x3: NativeVec3u;
+    readonly uint32x4: NativeVec4u;
+    readonly sint32: NativeI32;
+    readonly sint32x2: NativeVec2i;
+    readonly sint32x3: NativeVec3i;
+    readonly sint32x4: NativeVec4i;
+    readonly 'unorm10-10-10-2': NativeVec4f;
+    readonly 'unorm8x4-bgra': NativeVec4f;
+};
+declare const packedFormats: string[];
+type uint8 = TgpuVertexFormatData<'uint8'>;
+declare const uint8: uint8;
+type uint8x2 = TgpuVertexFormatData<'uint8x2'>;
+declare const uint8x2: uint8x2;
+type uint8x4 = TgpuVertexFormatData<'uint8x4'>;
+declare const uint8x4: uint8x4;
+type sint8 = TgpuVertexFormatData<'sint8'>;
+declare const sint8: sint8;
+type sint8x2 = TgpuVertexFormatData<'sint8x2'>;
+declare const sint8x2: sint8x2;
+type sint8x4 = TgpuVertexFormatData<'sint8x4'>;
+declare const sint8x4: sint8x4;
+type unorm8 = TgpuVertexFormatData<'unorm8'>;
+declare const unorm8: unorm8;
+type unorm8x2 = TgpuVertexFormatData<'unorm8x2'>;
+declare const unorm8x2: unorm8x2;
+type unorm8x4 = TgpuVertexFormatData<'unorm8x4'>;
+declare const unorm8x4: unorm8x4;
+type snorm8 = TgpuVertexFormatData<'snorm8'>;
+declare const snorm8: snorm8;
+type snorm8x2 = TgpuVertexFormatData<'snorm8x2'>;
+declare const snorm8x2: snorm8x2;
+type snorm8x4 = TgpuVertexFormatData<'snorm8x4'>;
+declare const snorm8x4: snorm8x4;
+type uint16 = TgpuVertexFormatData<'uint16'>;
+declare const uint16: uint16;
+type uint16x2 = TgpuVertexFormatData<'uint16x2'>;
+declare const uint16x2: uint16x2;
+type uint16x4 = TgpuVertexFormatData<'uint16x4'>;
+declare const uint16x4: uint16x4;
+type sint16 = TgpuVertexFormatData<'sint16'>;
+declare const sint16: sint16;
+type sint16x2 = TgpuVertexFormatData<'sint16x2'>;
+declare const sint16x2: sint16x2;
+type sint16x4 = TgpuVertexFormatData<'sint16x4'>;
+declare const sint16x4: sint16x4;
+type unorm16 = TgpuVertexFormatData<'unorm16'>;
+declare const unorm16: unorm16;
+type unorm16x2 = TgpuVertexFormatData<'unorm16x2'>;
+declare const unorm16x2: unorm16x2;
+type unorm16x4 = TgpuVertexFormatData<'unorm16x4'>;
+declare const unorm16x4: unorm16x4;
+type snorm16 = TgpuVertexFormatData<'snorm16'>;
+declare const snorm16: snorm16;
+type snorm16x2 = TgpuVertexFormatData<'snorm16x2'>;
+declare const snorm16x2: snorm16x2;
+type snorm16x4 = TgpuVertexFormatData<'snorm16x4'>;
+declare const snorm16x4: snorm16x4;
+type float16 = TgpuVertexFormatData<'float16'>;
+declare const float16: float16;
+type float16x2 = TgpuVertexFormatData<'float16x2'>;
+declare const float16x2: float16x2;
+type float16x4 = TgpuVertexFormatData<'float16x4'>;
+declare const float16x4: float16x4;
+type float32 = TgpuVertexFormatData<'float32'>;
+declare const float32: float32;
+type float32x2 = TgpuVertexFormatData<'float32x2'>;
+declare const float32x2: float32x2;
+type float32x3 = TgpuVertexFormatData<'float32x3'>;
+declare const float32x3: float32x3;
+type float32x4 = TgpuVertexFormatData<'float32x4'>;
+declare const float32x4: float32x4;
+type uint32 = TgpuVertexFormatData<'uint32'>;
+declare const uint32: uint32;
+type uint32x2 = TgpuVertexFormatData<'uint32x2'>;
+declare const uint32x2: uint32x2;
+type uint32x3 = TgpuVertexFormatData<'uint32x3'>;
+declare const uint32x3: uint32x3;
+type uint32x4 = TgpuVertexFormatData<'uint32x4'>;
+declare const uint32x4: uint32x4;
+type sint32 = TgpuVertexFormatData<'sint32'>;
+declare const sint32: sint32;
+type sint32x2 = TgpuVertexFormatData<'sint32x2'>;
+declare const sint32x2: sint32x2;
+type sint32x3 = TgpuVertexFormatData<'sint32x3'>;
+declare const sint32x3: sint32x3;
+type sint32x4 = TgpuVertexFormatData<'sint32x4'>;
+declare const sint32x4: sint32x4;
+type unorm10_10_10_2 = TgpuVertexFormatData<'unorm10-10-10-2'>;
+declare const unorm10_10_10_2: unorm10_10_10_2;
+type unorm8x4_bgra = TgpuVertexFormatData<'unorm8x4-bgra'>;
+declare const unorm8x4_bgra: unorm8x4_bgra;
+type PackedData = uint8 | uint8x2 | uint8x4 | sint8 | sint8x2 | sint8x4 | unorm8 | unorm8x2 | unorm8x4 | snorm8 | snorm8x2 | snorm8x4 | uint16 | uint16x2 | uint16x4 | sint16 | sint16x2 | sint16x4 | unorm16 | unorm16x2 | unorm16x4 | snorm16 | snorm16x2 | snorm16x4 | float16 | float16x2 | float16x4 | float32 | float32x2 | float32x3 | float32x4 | uint32 | uint32x2 | uint32x3 | uint32x4 | sint32 | sint32x2 | sint32x3 | sint32x4 | unorm10_10_10_2 | unorm8x4_bgra;
+
 /**
+ * Array schema constructed via `d.disarrayOf` function.
  *
- * 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);
+ * Useful for defining vertex buffers.
+ * Elements in the schema are not aligned in respect to their `byteAlignment`,
+ * unless they are explicitly decorated with the custom align attribute
+ * via `d.align` function.
  */
-declare const vec4f: NativeVec4f;
+interface Disarray<TElement extends BaseWgslData = BaseWgslData> {
+    readonly type: 'disarray';
+    readonly elementCount: number;
+    readonly elementType: TElement;
+    readonly '~repr': Infer<TElement>[];
+}
 /**
- * Type of the `d.vec4h` object/function: vector data type schema/constructor
+ * Struct schema constructed via `d.unstruct` function.
+ *
+ * Useful for defining vertex buffers, as the standard layout restrictions do not apply.
+ * Members are not aligned in respect to their `byteAlignment`,
+ * unless they are explicitly decorated with the custom align attribute
+ * via `d.align` function.
  */
-type NativeVec4h = Vec4h & {
-    '~exotic': Vec4h;
-} & ((x: number, y: number, z: number, w: number) => v4h) & ((xyzw: number) => v4h) & (() => v4h);
+interface Unstruct<TProps extends Record<string, BaseWgslData> = Record<string, BaseWgslData>> {
+    readonly type: 'unstruct';
+    readonly propTypes: TProps;
+    readonly '~repr': InferRecord<TProps>;
+}
+interface LooseDecorated<TInner extends BaseWgslData = BaseWgslData, TAttribs extends unknown[] = unknown[]> {
+    readonly type: 'loose-decorated';
+    readonly inner: TInner;
+    readonly attribs: TAttribs;
+    readonly '~repr': Infer<TInner>;
+}
+declare const looseTypeLiterals: readonly ["unstruct", "disarray", "loose-decorated", "uint8", "uint8x2", "uint8x4", "sint8", "sint8x2", "sint8x4", "unorm8", "unorm8x2", "unorm8x4", "snorm8", "snorm8x2", "snorm8x4", "uint16", "uint16x2", "uint16x4", "sint16", "sint16x2", "sint16x4", "unorm16", "unorm16x2", "unorm16x4", "snorm16", "snorm16x2", "snorm16x4", "float16", "float16x2", "float16x4", "float32", "float32x2", "float32x3", "float32x4", "uint32", "uint32x2", "uint32x3", "uint32x4", "sint32", "sint32x2", "sint32x3", "sint32x4", "unorm10-10-10-2", "unorm8x4-bgra"];
+type LooseTypeLiteral = (typeof looseTypeLiterals)[number];
+type AnyLooseData = Disarray | Unstruct | LooseDecorated | PackedData;
+declare function isLooseData(data: unknown): data is AnyLooseData;
 /**
+ * Checks whether the passed in value is a disarray schema,
+ * as opposed to, e.g., a regular array schema.
  *
- * Schema representing vec4h - a vector with 4 elements of type f16.
- * Also a constructor function for this vector value.
- *
- * @example
- * const vector = d.vec4h(); // (0.0, 0.0, 0.0, 0.0)
- * const vector = d.vec4h(1); // (1.0, 1.0, 1.0, 1.0)
- * const vector = d.vec4h(1, 2, 3, 4.5); // (1.0, 2.0, 3.0, 4.5)
+ * Array schemas can be used to describe uniform and storage buffers,
+ * whereas disarray schemas cannot. Disarrays are useful for
+ * defining vertex buffers instead.
  *
  * @example
- * const buffer = root.createBuffer(d.vec4h, d.vec4h(0, 1, 2, 3)); // buffer holding a d.vec4h value, with an initial value of vec4h(0, 1, 2, 3);
- */
-declare const vec4h: NativeVec4h;
-/**
- * Type of the `d.vec4i` object/function: vector data type schema/constructor
+ * isDisarray(d.arrayOf(d.u32, 4)) // false
+ * isDisarray(d.disarrayOf(d.u32, 4)) // true
+ * isDisarray(d.vec3f) // false
  */
-type NativeVec4i = Vec4i & {
-    '~exotic': Vec4i;
-} & ((x: number, y: number, z: number, w: number) => v4i) & ((xyzw: number) => v4i) & (() => v4i);
+declare function isDisarray<T extends Disarray>(schema: T | unknown): schema is T;
 /**
+ * Checks whether passed in value is a unstruct schema,
+ * as opposed to, e.g., a struct schema.
  *
- * 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)
+ * Struct schemas can be used to describe uniform and storage buffers,
+ * whereas unstruct schemas cannot. Unstructs are useful for
+ * defining vertex buffers instead.
  *
  * @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);
+ * isUnstruct(d.struct({ a: d.u32 })) // false
+ * isUnstruct(d.unstruct({ a: d.u32 })) // true
+ * isUnstruct(d.vec3f) // false
  */
-declare const vec4i: NativeVec4i;
+declare function isUnstruct<T extends Unstruct>(schema: T | unknown): schema is T;
+declare function isLooseDecorated<T extends LooseDecorated>(value: T | unknown): value is T;
+declare function isData(value: unknown): value is AnyData;
+type AnyData = AnyWgslData | AnyLooseData;
+
+interface Storage {
+    usableAsStorage: true;
+}
+declare const Storage: Storage;
+declare function isUsableAsStorage<T>(value: T): value is T & Storage;
+
+interface NameRegistry {
+    /**
+     * Creates a valid WGSL identifier, each guaranteed to be unique
+     * in the lifetime of a single resolution process.
+     * @param primer Used in the generation process, makes the identifier more recognizable.
+     */
+    makeUnique(primer?: string): string;
+}
+
+interface TgpuComputePipeline extends TgpuNamable {
+    readonly resourceType: 'compute-pipeline';
+    readonly label: string | undefined;
+    with(bindGroupLayout: TgpuBindGroupLayout, bindGroup: TgpuBindGroup): TgpuComputePipeline;
+    dispatchWorkgroups(x: number, y?: number | undefined, z?: number | undefined): void;
+}
+
+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';
+};
 /**
- * Type of the `d.vec4u` object/function: vector data type schema/constructor
- */
-type NativeVec4u = Vec4u & {
-    '~exotic': Vec4u;
-} & ((x: number, y: number, z: number, w: number) => v4u) & ((xyzw: number) => v4u) & (() => v4u);
+ * 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;
 /**
- *
- * 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);
+ * Represents what formats a storage view can choose from based on its owner texture's props.
  */
-declare const vec4u: NativeVec4u;
-
+type StorageFormatOptions<TProps extends TextureProps> = Extract<TProps['format'] | Default<TProps['viewFormats'], []>[number], StorageTextureTexelFormat>;
 /**
- * A schema that represents a boolean value. (equivalent to `bool` in WGSL)
+ * Represents what formats a sampled view can choose from based on its owner texture's props.
  */
-declare const bool: Bool;
+type SampledFormatOptions<TProps extends TextureProps> = TProps['format'] | Default<TProps['viewFormats'], []>[number];
+
+interface Sampled {
+    usableAsSampled: true;
+}
+interface Render {
+    usableAsRender: true;
+}
+type LiteralToExtensionMap = {
+    storage: Storage;
+    sampled: Sampled;
+    render: Render;
+};
+type AllowedUsages<TProps extends TextureProps> = 'sampled' | 'render' | (TProps['format'] extends StorageTextureTexelFormat ? 'storage' : never);
+
+type ResolveStorageDimension<TDimension extends GPUTextureViewDimension, TProps extends TextureProps> = StorageTextureDimension extends TDimension ? Default<TProps['dimension'], '2d'> : TDimension extends StorageTextureDimension ? TDimension : '2d';
+type ViewUsages<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<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>, TgpuResolvable {
+    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>, TgpuResolvable {
+    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>, TgpuResolvable {
+    readonly access: 'mutable';
+}
+/**
+ * A texture accessed as sampled on the GPU.
+ */
+interface TgpuSampledTexture<TDimension extends GPUTextureViewDimension = GPUTextureViewDimension, TData extends ChannelData = ChannelData> extends TgpuResolvable {
+    readonly resourceType: 'texture-sampled-view';
+    readonly dimension: TDimension;
+    readonly channelDataType: TData;
+}
+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;
+
+interface Unwrapper {
+    readonly device: GPUDevice;
+    unwrap(resource: TgpuComputePipeline): GPUComputePipeline;
+    unwrap(resource: TgpuBindGroupLayout): GPUBindGroupLayout;
+    unwrap(resource: TgpuBindGroup): GPUBindGroup;
+    unwrap(resource: TgpuBuffer<AnyData>): GPUBuffer;
+    unwrap(resource: TgpuTexture): GPUTexture;
+    unwrap(resource: TgpuReadonlyTexture | TgpuWriteonlyTexture | TgpuMutableTexture | TgpuSampledTexture): GPUTextureView;
+}
+
+interface Uniform {
+    usableAsUniform: true;
+}
+declare const Uniform: Uniform;
+interface Vertex {
+    usableAsVertex: true;
+}
+declare const Vertex: Vertex;
+type LiteralToUsageType<T extends 'uniform' | 'storage' | 'vertex'> = T extends 'uniform' ? Uniform : T extends 'storage' ? Storage : T extends 'vertex' ? Vertex : never;
+interface TgpuBuffer<TData extends AnyData> extends TgpuNamable {
+    readonly resourceType: 'buffer';
+    readonly dataType: TData;
+    readonly initial?: Infer<TData> | undefined;
+    readonly label: string | undefined;
+    readonly buffer: GPUBuffer;
+    readonly destroyed: boolean;
+    $usage<T extends RestrictVertexUsages<TData>>(...usages: T): this & UnionToIntersection<LiteralToUsageType<T[number]>>;
+    $addFlags(flags: GPUBufferUsageFlags): this;
+    write(data: Infer<TData>): void;
+    copyFrom(srcBuffer: TgpuBuffer<TData>): void;
+    read(): Promise<Infer<TData>>;
+    destroy(): void;
+}
+declare function isBuffer<T extends TgpuBuffer<AnyData>>(value: T | unknown): value is T;
+declare function isUsableAsUniform<T extends TgpuBuffer<AnyData>>(buffer: T): buffer is T & Uniform;
+declare function isUsableAsVertex<T extends TgpuBuffer<AnyData>>(buffer: T): buffer is T & Vertex;
+type RestrictVertexUsages<TData extends AnyData> = TData extends {
+    readonly type: WgslTypeLiteral;
+} ? ('uniform' | 'storage' | 'vertex')[] : 'vertex'[];
+
+interface TgpuSampler extends TgpuResolvable {
+    readonly resourceType: 'sampler';
+}
+interface TgpuComparisonSampler {
+    readonly resourceType: 'sampler-comparison';
+}
+declare function isSampler(resource: unknown): resource is TgpuSampler;
+declare function isComparisonSampler(resource: unknown): resource is TgpuComparisonSampler;
+
+type TgpuLayoutEntryBase = {
+    /**
+     * Limits this resource's visibility to specific shader stages.
+     *
+     * By default, each resource is visible to all shader stage types, but
+     * depending on the underlying implementation, this may have performance implications.
+     *
+     * @default ['compute'] for mutable resources
+     * @default ['compute','vertex','fragment'] for everything else
+     */
+    visibility?: TgpuShaderStage[];
+};
+type TgpuLayoutUniform = TgpuLayoutEntryBase & {
+    uniform: AnyWgslData;
+};
+type TgpuLayoutStorage = TgpuLayoutEntryBase & {
+    storage: AnyWgslData | ((arrayLength: number) => AnyWgslData);
+    /** @default 'readonly' */
+    access?: 'mutable' | 'readonly';
+};
+type TgpuLayoutSampler = TgpuLayoutEntryBase & {
+    sampler: GPUSamplerBindingType;
+};
+type TgpuLayoutTexture<TSampleType extends GPUTextureSampleType = GPUTextureSampleType> = TgpuLayoutEntryBase & {
+    /**
+     * - 'float' - f32
+     * - 'unfilterable-float' - f32, cannot be used with filtering samplers
+     * - 'depth' - f32
+     * - 'sint' - i32
+     * - 'uint' - u32
+     */
+    texture: TSampleType;
+    /**
+     * @default '2d'
+     */
+    viewDimension?: GPUTextureViewDimension;
+    /**
+     * @default false
+     */
+    multisampled?: boolean;
+};
+type TgpuLayoutStorageTexture<TFormat extends StorageTextureTexelFormat = StorageTextureTexelFormat> = TgpuLayoutEntryBase & {
+    storageTexture: TFormat;
+    /** @default 'writeonly' */
+    access?: 'readonly' | 'writeonly' | 'mutable';
+    /** @default '2d' */
+    viewDimension?: StorageTextureDimension;
+};
+type TgpuLayoutExternalTexture = TgpuLayoutEntryBase & {
+    externalTexture: Record<string, never>;
+};
+type TgpuLayoutEntry = TgpuLayoutUniform | TgpuLayoutStorage | TgpuLayoutSampler | TgpuLayoutTexture | TgpuLayoutStorageTexture | TgpuLayoutExternalTexture;
+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';
+    readonly label: string | undefined;
+    readonly entries: Entries;
+    readonly bound: {
+        [K in keyof Entries]: BindLayoutEntry<Entries[K]>;
+    };
+    /**
+     * An explicit numeric index assigned to this bind group layout. If undefined, a unique
+     * index is assigned automatically during resolution. This can be changed with the
+     * `.$idx()` method.
+     */
+    readonly index: number | undefined;
+    /**
+     * Associates this bind group layout with an explicit numeric index. When a call to this
+     * method is omitted, a unique numeric index is assigned to it automatically.
+     *
+     * 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.
+     * @param unwrapper Used to unwrap any resources that this resource depends on.
+     */
+    unwrap(unwrapper: Unwrapper): GPUBindGroupLayout;
+}
+type StorageUsageForEntry<T extends TgpuLayoutStorage> = T extends {
+    access?: infer Access;
+} ? 'mutable' | 'readonly' extends Access ? TgpuBufferReadonly<UnwrapRuntimeConstructor<T['storage']>> | TgpuBufferMutable<UnwrapRuntimeConstructor<T['storage']>> : 'readonly' extends Access ? TgpuBufferReadonly<UnwrapRuntimeConstructor<T['storage']>> : 'mutable' extends Access ? TgpuBufferMutable<UnwrapRuntimeConstructor<T['storage']>> : TgpuBufferReadonly<UnwrapRuntimeConstructor<T['storage']>> | TgpuBufferMutable<UnwrapRuntimeConstructor<T['storage']>> : TgpuBufferReadonly<UnwrapRuntimeConstructor<T['storage']>>;
+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<UnwrapRuntimeConstructor<T['uniform']>> & Uniform) | GPUBuffer : T extends TgpuLayoutStorage ? (TgpuBuffer<UnwrapRuntimeConstructor<T['storage']>> & Storage) | GPUBuffer : T extends TgpuLayoutSampler ? GPUSampler : T extends TgpuLayoutTexture ? GPUTextureView | (Sampled & TgpuTexture<Prettify<TextureProps & GetTextureRestriction<T>>>) : T extends TgpuLayoutStorageTexture ? GPUTextureView | (Storage & TgpuTexture<Prettify<TextureProps & GetStorageTextureRestriction<T>>>) : T extends TgpuLayoutExternalTexture ? GPUExternalTexture : never;
+type BindLayoutEntry<T extends TgpuLayoutEntry | null> = T extends TgpuLayoutUniform ? TgpuBufferUniform<UnwrapRuntimeConstructor<T['uniform']>> : T extends TgpuLayoutStorage ? StorageUsageForEntry<T> : T extends TgpuLayoutSampler ? TgpuSampler : T extends 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>;
+    unwrap(unwrapper: Unwrapper): GPUBindGroup;
+};
+type ExoticEntry<T> = T extends Record<string | number | symbol, unknown> ? {
+    [Key in keyof T]: T[Key] extends BaseWgslData ? Exotic<T[Key]> : T[Key] extends (...args: infer TArgs) => infer TReturn ? (...args: TArgs) => Exotic<TReturn> : T[Key];
+} : T;
+type ExoticEntries<T extends Record<string, TgpuLayoutEntry | null>> = {
+    [BindingKey in keyof T]: ExoticEntry<T[BindingKey]>;
+};
+declare function bindGroupLayout<Entries extends Record<string, TgpuLayoutEntry | null>>(entries: Entries): TgpuBindGroupLayout<Prettify<ExoticEntries<Entries>>>;
+
+interface TgpuBufferUsage<TData extends BaseWgslData, TUsage extends BindableBufferUsage = BindableBufferUsage> extends TgpuResolvable {
+    readonly resourceType: 'buffer-usage';
+    readonly usage: TUsage;
+    readonly '~repr': Infer<TData>;
+    value: Infer<TData>;
+}
+interface TgpuBufferUniform<TData extends BaseWgslData> extends TgpuBufferUsage<TData, 'uniform'> {
+    readonly value: Infer<TData>;
+}
+interface TgpuBufferReadonly<TData extends BaseWgslData> extends TgpuBufferUsage<TData, 'readonly'> {
+    readonly value: Infer<TData>;
+}
+interface TgpuBufferMutable<TData extends BaseWgslData> extends TgpuBufferUsage<TData, 'mutable'> {
+}
+
+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];
+
+type Wgsl = Eventual<string | number | boolean | TgpuResolvable | AnyWgslData>;
+declare const UnknownData: unique symbol;
+type UnknownData = typeof UnknownData;
+type Resource = {
+    value: unknown;
+    dataType: AnyWgslData | UnknownData;
+};
+type TgpuShaderStage = 'compute' | 'vertex' | 'fragment';
+interface FnToWgslOptions {
+    args: Resource[];
+    returnType: AnyWgslData;
+    body: Block;
+    externalMap: Record<string, unknown>;
+}
+/**
+ * Passed into each resolvable item. All items in a tree share a resolution ctx,
+ * but there can be layers added and removed from the item stack when going down
+ * and up the tree.
+ */
+interface ResolutionCtx {
+    readonly names: NameRegistry;
+    addDeclaration(declaration: string): void;
+    /**
+     * Reserves a bind group number, and returns a placeholder that will be replaced
+     * with a concrete number at the end of the resolution process.
+     */
+    allocateLayoutEntry(layout: TgpuBindGroupLayout): string;
+    /**
+     * Reserves a spot in the catch-all bind group, without the indirection of a bind-group.
+     * This means the resource is 'fixed', and cannot be swapped between code execution.
+     */
+    allocateFixedEntry(layoutEntry: TgpuLayoutEntry, resource: object): {
+        group: string;
+        binding: number;
+    };
+    withSlots<T>(pairs: SlotValuePair<unknown>[], callback: () => T): T;
+    /**
+     * 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): string;
+    resolveValue<T extends BaseWgslData>(value: Infer<T>, schema: T): string;
+    transpileFn(fn: string): {
+        argNames: string[];
+        body: Block;
+        externalNames: string[];
+    };
+    fnToWgsl(options: FnToWgslOptions): {
+        head: Wgsl;
+        body: Wgsl;
+    };
+}
+interface TgpuResolvable {
+    readonly label?: string | undefined;
+    resolve(ctx: ResolutionCtx): string;
+    toString(): string;
+}
+type BindableBufferUsage = 'uniform' | 'readonly' | 'mutable';
+
+interface NumberArrayView {
+    readonly length: number;
+    [n: number]: number;
+}
+interface BaseWgslData {
+    type: string;
+    /** Type-token, not available at runtime */
+    readonly '~repr': unknown;
+}
+interface Swizzle2<T2, T3, T4> {
+    readonly xx: T2;
+    readonly xy: T2;
+    readonly yx: T2;
+    readonly yy: T2;
+    readonly xxx: T3;
+    readonly xxy: T3;
+    readonly xyx: T3;
+    readonly xyy: T3;
+    readonly yxx: T3;
+    readonly yxy: T3;
+    readonly yyx: T3;
+    readonly yyy: T3;
+    readonly xxxx: T4;
+    readonly xxxy: T4;
+    readonly xxyx: T4;
+    readonly xxyy: T4;
+    readonly xyxx: T4;
+    readonly xyxy: T4;
+    readonly xyyx: T4;
+    readonly xyyy: T4;
+    readonly yxxx: T4;
+    readonly yxxy: T4;
+    readonly yxyx: T4;
+    readonly yxyy: T4;
+    readonly yyxx: T4;
+    readonly yyxy: T4;
+    readonly yyyx: T4;
+    readonly yyyy: T4;
+}
+interface Swizzle3<T2, T3, T4> extends Swizzle2<T2, T3, T4> {
+    readonly xz: T2;
+    readonly yz: T2;
+    readonly zx: T2;
+    readonly zy: T2;
+    readonly zz: T2;
+    readonly xxz: T3;
+    readonly xyz: T3;
+    readonly xzx: T3;
+    readonly xzy: T3;
+    readonly xzz: T3;
+    readonly yxz: T3;
+    readonly yyz: T3;
+    readonly yzx: T3;
+    readonly yzy: T3;
+    readonly yzz: T3;
+    readonly zxx: T3;
+    readonly zxy: T3;
+    readonly zxz: T3;
+    readonly zyx: T3;
+    readonly zyy: T3;
+    readonly zyz: T3;
+    readonly zzx: T3;
+    readonly zzy: T3;
+    readonly zzz: T3;
+    readonly xxxz: T4;
+    readonly xxyz: T4;
+    readonly xxzx: T4;
+    readonly xxzy: T4;
+    readonly xxzz: T4;
+    readonly xyxz: T4;
+    readonly xyyz: T4;
+    readonly xyzx: T4;
+    readonly xyzy: T4;
+    readonly xyzz: T4;
+    readonly xzxx: T4;
+    readonly xzxy: T4;
+    readonly xzxz: T4;
+    readonly xzyx: T4;
+    readonly xzyy: T4;
+    readonly xzyz: T4;
+    readonly xzzx: T4;
+    readonly xzzy: T4;
+    readonly xzzz: T4;
+    readonly yxxz: T4;
+    readonly yxyz: T4;
+    readonly yxzx: T4;
+    readonly yxzy: T4;
+    readonly yxzz: T4;
+    readonly yyxz: T4;
+    readonly yyyz: T4;
+    readonly yyzx: T4;
+    readonly yyzy: T4;
+    readonly yyzz: T4;
+    readonly yzxx: T4;
+    readonly yzxy: T4;
+    readonly yzxz: T4;
+    readonly yzyx: T4;
+    readonly yzyy: T4;
+    readonly yzyz: T4;
+    readonly yzzx: T4;
+    readonly yzzy: T4;
+    readonly yzzz: T4;
+    readonly zxxx: T4;
+    readonly zxxy: T4;
+    readonly zxxz: T4;
+    readonly zxyx: T4;
+    readonly zxyy: T4;
+    readonly zxyz: T4;
+    readonly zxzx: T4;
+    readonly zxzy: T4;
+    readonly zxzz: T4;
+    readonly zyxx: T4;
+    readonly zyxy: T4;
+    readonly zyxz: T4;
+    readonly zyyx: T4;
+    readonly zyyy: T4;
+    readonly zyyz: T4;
+    readonly zyzx: T4;
+    readonly zyzy: T4;
+    readonly zyzz: T4;
+    readonly zzxx: T4;
+    readonly zzxy: T4;
+    readonly zzxz: T4;
+    readonly zzyx: T4;
+    readonly zzyy: T4;
+    readonly zzyz: T4;
+    readonly zzzx: T4;
+    readonly zzzy: T4;
+    readonly zzzz: T4;
+}
+interface Swizzle4<T2, T3, T4> extends Swizzle3<T2, T3, T4> {
+    readonly yw: T2;
+    readonly zw: T2;
+    readonly wx: T2;
+    readonly wy: T2;
+    readonly wz: T2;
+    readonly ww: T2;
+    readonly xxw: T3;
+    readonly xyw: T3;
+    readonly xzw: T3;
+    readonly xwx: T3;
+    readonly xwy: T3;
+    readonly xwz: T3;
+    readonly xww: T3;
+    readonly yxw: T3;
+    readonly yyw: T3;
+    readonly yzw: T3;
+    readonly ywx: T3;
+    readonly ywy: T3;
+    readonly ywz: T3;
+    readonly yww: T3;
+    readonly zxw: T3;
+    readonly zyw: T3;
+    readonly zzw: T3;
+    readonly zwx: T3;
+    readonly zwy: T3;
+    readonly zwz: T3;
+    readonly zww: T3;
+    readonly wxx: T3;
+    readonly wxz: T3;
+    readonly wxy: T3;
+    readonly wyy: T3;
+    readonly wyz: T3;
+    readonly wzz: T3;
+    readonly wwx: T3;
+    readonly wwy: T3;
+    readonly wwz: T3;
+    readonly www: T3;
+    readonly xxxw: T4;
+    readonly xxyw: T4;
+    readonly xxzw: T4;
+    readonly xxwx: T4;
+    readonly xxwy: T4;
+    readonly xxwz: T4;
+    readonly xxww: T4;
+    readonly xyxw: T4;
+    readonly xyyw: T4;
+    readonly xyzw: T4;
+    readonly xywx: T4;
+    readonly xywy: T4;
+    readonly xywz: T4;
+    readonly xyww: T4;
+    readonly xzxw: T4;
+    readonly xzyw: T4;
+    readonly xzzw: T4;
+    readonly xzwx: T4;
+    readonly xzwy: T4;
+    readonly xzwz: T4;
+    readonly xzww: T4;
+    readonly xwxx: T4;
+    readonly xwxy: T4;
+    readonly xwxz: T4;
+    readonly xwyy: T4;
+    readonly xwyz: T4;
+    readonly xwzz: T4;
+    readonly xwwx: T4;
+    readonly xwwy: T4;
+    readonly xwwz: T4;
+    readonly xwww: T4;
+    readonly yxxw: T4;
+    readonly yxyw: T4;
+    readonly yxzw: T4;
+    readonly yxwx: T4;
+    readonly yxwy: T4;
+    readonly yxwz: T4;
+    readonly yxww: T4;
+    readonly yyxw: T4;
+    readonly yyyw: T4;
+    readonly yyzw: T4;
+    readonly yywx: T4;
+    readonly yywy: T4;
+    readonly yywz: T4;
+    readonly yyww: T4;
+    readonly yzxw: T4;
+    readonly yzyw: T4;
+    readonly yzzw: T4;
+    readonly yzwx: T4;
+    readonly yzwy: T4;
+    readonly yzwz: T4;
+    readonly yzww: T4;
+    readonly ywxx: T4;
+    readonly ywxy: T4;
+    readonly ywxz: T4;
+    readonly ywxw: T4;
+    readonly ywyy: T4;
+    readonly ywyz: T4;
+    readonly ywzz: T4;
+    readonly ywwx: T4;
+    readonly ywwy: T4;
+    readonly ywwz: T4;
+    readonly ywww: T4;
+    readonly zxxw: T4;
+    readonly zxyw: T4;
+    readonly zxzw: T4;
+    readonly zxwx: T4;
+    readonly zxwy: T4;
+    readonly zxwz: T4;
+    readonly zxww: T4;
+    readonly zyxw: T4;
+    readonly zyyw: T4;
+    readonly zyzw: T4;
+    readonly zywx: T4;
+    readonly zywy: T4;
+    readonly zywz: T4;
+    readonly zyww: T4;
+    readonly zzxw: T4;
+    readonly zzyw: T4;
+    readonly zzzw: T4;
+    readonly zzwx: T4;
+    readonly zzwy: T4;
+    readonly zzwz: T4;
+    readonly zzww: T4;
+    readonly zwxx: T4;
+    readonly zwxy: T4;
+    readonly zwxz: T4;
+    readonly zwxw: T4;
+    readonly zwyy: T4;
+    readonly zwyz: T4;
+    readonly zwzz: T4;
+    readonly zwwx: T4;
+    readonly zwwy: T4;
+    readonly zwwz: T4;
+    readonly zwww: T4;
+    readonly wxxx: T4;
+    readonly wxxy: T4;
+    readonly wxxz: T4;
+    readonly wxxw: T4;
+    readonly wxyx: T4;
+    readonly wxyy: T4;
+    readonly wxyz: T4;
+    readonly wxyw: T4;
+    readonly wxzx: T4;
+    readonly wxzy: T4;
+    readonly wxzz: T4;
+    readonly wxzw: T4;
+    readonly wxwx: T4;
+    readonly wxwy: T4;
+    readonly wxwz: T4;
+    readonly wxww: T4;
+    readonly wyxx: T4;
+    readonly wyxy: T4;
+    readonly wyxz: T4;
+    readonly wyxw: T4;
+    readonly wyyy: T4;
+    readonly wyyz: T4;
+    readonly wyzw: T4;
+    readonly wywx: T4;
+    readonly wywy: T4;
+    readonly wywz: T4;
+    readonly wyww: T4;
+    readonly wzxx: T4;
+    readonly wzxy: T4;
+    readonly wzxz: T4;
+    readonly wzxw: T4;
+    readonly wzyy: T4;
+    readonly wzyz: T4;
+    readonly wzzy: T4;
+    readonly wzzw: T4;
+    readonly wzwx: T4;
+    readonly wzwy: T4;
+    readonly wzwz: T4;
+    readonly wzww: T4;
+    readonly wwxx: T4;
+    readonly wwxy: T4;
+    readonly wwxz: T4;
+    readonly wwxw: T4;
+    readonly wwyy: T4;
+    readonly wwyz: T4;
+    readonly wwzz: T4;
+    readonly wwwx: T4;
+    readonly wwwy: T4;
+    readonly wwwz: T4;
+    readonly wwww: T4;
+}
+/**
+ * Interface representing its WGSL vector type counterpart: vec2f or vec2<f32>.
+ * A vector with 2 elements of type f32
+ */
+interface v2f extends NumberArrayView, Swizzle2<v2f, v3f, v4f>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec2f';
+    x: number;
+    y: number;
+}
+/**
+ * Interface representing its WGSL vector type counterpart: vec2h or vec2<f16>.
+ * A vector with 2 elements of type f16
+ */
+interface v2h extends NumberArrayView, Swizzle2<v2h, v3h, v4h>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec2h';
+    x: number;
+    y: number;
+}
+/**
+ * Interface representing its WGSL vector type counterpart: vec2i or vec2<i32>.
+ * A vector with 2 elements of type i32
+ */
+interface v2i extends NumberArrayView, Swizzle2<v2i, v3i, v4i>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec2i';
+    x: number;
+    y: number;
+}
+/**
+ * Interface representing its WGSL vector type counterpart: vec2u or vec2<u32>.
+ * A vector with 2 elements of type u32
+ */
+interface v2u extends NumberArrayView, Swizzle2<v2u, v3u, v4u>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec2u';
+    x: number;
+    y: number;
+}
+/**
+ * Interface representing its WGSL vector type counterpart: vec3f or vec3<f32>.
+ * A vector with 3 elements of type f32
+ */
+interface v3f extends NumberArrayView, Swizzle3<v2f, v3f, v4f>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec3f';
+    x: number;
+    y: number;
+    z: number;
+}
 /**
- * Unsigned 32-bit integer schema representing a single WGSL u32 value.
+ * Interface representing its WGSL vector type counterpart: vec3h or vec3<f16>.
+ * A vector with 3 elements of type f16
  */
-type NativeU32 = U32 & {
-    '~exotic': U32;
-} & ((v: number | boolean) => number);
+interface v3h extends NumberArrayView, Swizzle3<v2h, v3h, v4h>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec3h';
+    x: number;
+    y: number;
+    z: 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
+ * Interface representing its WGSL vector type counterpart: vec3i or vec3<i32>.
+ * A vector with 3 elements of type i32
  */
-declare const u32: NativeU32;
+interface v3i extends NumberArrayView, Swizzle3<v2i, v3i, v4i>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec3i';
+    x: number;
+    y: number;
+    z: number;
+}
 /**
- * Signed 32-bit integer schema representing a single WGSL i32 value.
+ * Interface representing its WGSL vector type counterpart: vec3u or vec3<u32>.
+ * A vector with 3 elements of type u32
  */
-type NativeI32 = I32 & {
-    '~exotic': I32;
-} & ((v: number | boolean) => number);
+interface v3u extends NumberArrayView, Swizzle3<v2u, v3u, v4u>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec3u';
+    x: number;
+    y: number;
+    z: 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
+ * Interface representing its WGSL vector type counterpart: vec4f or vec4<f32>.
+ * A vector with 4 elements of type f32
  */
-declare const i32: NativeI32;
+interface v4f extends NumberArrayView, Swizzle4<v2f, v3f, v4f>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec4f';
+    x: number;
+    y: number;
+    z: number;
+    w: number;
+}
 /**
- * 32-bit float schema representing a single WGSL f32 value.
+ * Interface representing its WGSL vector type counterpart: vec4h or vec4<f16>.
+ * A vector with 4 elements of type f16
  */
-type NativeF32 = F32 & {
-    '~exotic': F32;
-} & ((v: number | boolean) => number);
+interface v4h extends NumberArrayView, Swizzle4<v2h, v3h, v4h>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec4h';
+    x: number;
+    y: number;
+    z: number;
+    w: 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
+ * Interface representing its WGSL vector type counterpart: vec4i or vec4<i32>.
+ * A vector with 4 elements of type i32
  */
-declare const f32: NativeF32;
+interface v4i extends NumberArrayView, Swizzle4<v2i, v3i, v4i>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec4i';
+    x: number;
+    y: number;
+    z: number;
+    w: number;
+}
 /**
- * 16-bit float schema representing a single WGSL f16 value.
+ * Interface representing its WGSL vector type counterpart: vec4u or vec4<u32>.
+ * A vector with 4 elements of type u32
  */
-type NativeF16 = F16 & {
-    '~exotic': F16;
-} & ((v: number | boolean) => number);
+interface v4u extends NumberArrayView, Swizzle4<v2u, v3u, v4u>, TgpuResolvable {
+    /** use to distinguish between vectors of the same size on the type level */
+    readonly kind: 'vec4u';
+    x: number;
+    y: number;
+    z: number;
+    w: number;
+}
+interface matBase<TColumn> extends NumberArrayView {
+    readonly columns: readonly TColumn[];
+}
 /**
- * A schema that represents a 16-bit float value. (equivalent to `f16` in WGSL)
- *
- * Can also be called to cast a value to an f16.
- *
- * @example
- * const value = f16(true); // 1
- * @example
- * const value = f16(21877.5); // 21872
+ * Interface representing its WGSL matrix type counterpart: mat2x2
+ * A matrix with 2 rows and 2 columns, with elements of type `TColumn`
  */
-declare const f16: NativeF16;
-
-declare const vertexFormats: readonly ["uint8", "uint8x2", "uint8x4", "sint8", "sint8x2", "sint8x4", "unorm8", "unorm8x2", "unorm8x4", "snorm8", "snorm8x2", "snorm8x4", "uint16", "uint16x2", "uint16x4", "sint16", "sint16x2", "sint16x4", "unorm16", "unorm16x2", "unorm16x4", "snorm16", "snorm16x2", "snorm16x4", "float16", "float16x2", "float16x4", "float32", "float32x2", "float32x3", "float32x4", "uint32", "uint32x2", "uint32x3", "uint32x4", "sint32", "sint32x2", "sint32x3", "sint32x4", "unorm10-10-10-2", "unorm8x4-bgra"];
-type VertexFormat = (typeof vertexFormats)[number];
-
-type FormatToWGSLType<T extends VertexFormat> = (typeof formatToWGSLType)[T];
-interface TgpuVertexFormatData<T extends VertexFormat> {
-    readonly '~repr': Infer<FormatToWGSLType<T>>;
-    readonly type: T;
-}
-declare const formatToWGSLType: {
-    readonly uint8: NativeU32;
-    readonly uint8x2: NativeVec2u;
-    readonly uint8x4: NativeVec4u;
-    readonly sint8: NativeI32;
-    readonly sint8x2: NativeVec2i;
-    readonly sint8x4: NativeVec4i;
-    readonly unorm8: NativeF32;
-    readonly unorm8x2: NativeVec2f;
-    readonly unorm8x4: NativeVec4f;
-    readonly snorm8: NativeF32;
-    readonly snorm8x2: NativeVec2f;
-    readonly snorm8x4: NativeVec4f;
-    readonly uint16: NativeU32;
-    readonly uint16x2: NativeVec2u;
-    readonly uint16x4: NativeVec4u;
-    readonly sint16: NativeI32;
-    readonly sint16x2: NativeVec2i;
-    readonly sint16x4: NativeVec4i;
-    readonly unorm16: NativeF32;
-    readonly unorm16x2: NativeVec2f;
-    readonly unorm16x4: NativeVec4f;
-    readonly snorm16: NativeF32;
-    readonly snorm16x2: NativeVec2f;
-    readonly snorm16x4: NativeVec4f;
-    readonly float16: NativeF32;
-    readonly float16x2: NativeVec2f;
-    readonly float16x4: NativeVec4f;
-    readonly float32: NativeF32;
-    readonly float32x2: NativeVec2f;
-    readonly float32x3: NativeVec3f;
-    readonly float32x4: NativeVec4f;
-    readonly uint32: NativeU32;
-    readonly uint32x2: NativeVec2u;
-    readonly uint32x3: NativeVec3u;
-    readonly uint32x4: NativeVec4u;
-    readonly sint32: NativeI32;
-    readonly sint32x2: NativeVec2i;
-    readonly sint32x3: NativeVec3i;
-    readonly sint32x4: NativeVec4i;
-    readonly 'unorm10-10-10-2': NativeVec4f;
-    readonly 'unorm8x4-bgra': NativeVec4f;
-};
-declare const packedFormats: string[];
-type uint8 = TgpuVertexFormatData<'uint8'>;
-declare const uint8: uint8;
-type uint8x2 = TgpuVertexFormatData<'uint8x2'>;
-declare const uint8x2: uint8x2;
-type uint8x4 = TgpuVertexFormatData<'uint8x4'>;
-declare const uint8x4: uint8x4;
-type sint8 = TgpuVertexFormatData<'sint8'>;
-declare const sint8: sint8;
-type sint8x2 = TgpuVertexFormatData<'sint8x2'>;
-declare const sint8x2: sint8x2;
-type sint8x4 = TgpuVertexFormatData<'sint8x4'>;
-declare const sint8x4: sint8x4;
-type unorm8 = TgpuVertexFormatData<'unorm8'>;
-declare const unorm8: unorm8;
-type unorm8x2 = TgpuVertexFormatData<'unorm8x2'>;
-declare const unorm8x2: unorm8x2;
-type unorm8x4 = TgpuVertexFormatData<'unorm8x4'>;
-declare const unorm8x4: unorm8x4;
-type snorm8 = TgpuVertexFormatData<'snorm8'>;
-declare const snorm8: snorm8;
-type snorm8x2 = TgpuVertexFormatData<'snorm8x2'>;
-declare const snorm8x2: snorm8x2;
-type snorm8x4 = TgpuVertexFormatData<'snorm8x4'>;
-declare const snorm8x4: snorm8x4;
-type uint16 = TgpuVertexFormatData<'uint16'>;
-declare const uint16: uint16;
-type uint16x2 = TgpuVertexFormatData<'uint16x2'>;
-declare const uint16x2: uint16x2;
-type uint16x4 = TgpuVertexFormatData<'uint16x4'>;
-declare const uint16x4: uint16x4;
-type sint16 = TgpuVertexFormatData<'sint16'>;
-declare const sint16: sint16;
-type sint16x2 = TgpuVertexFormatData<'sint16x2'>;
-declare const sint16x2: sint16x2;
-type sint16x4 = TgpuVertexFormatData<'sint16x4'>;
-declare const sint16x4: sint16x4;
-type unorm16 = TgpuVertexFormatData<'unorm16'>;
-declare const unorm16: unorm16;
-type unorm16x2 = TgpuVertexFormatData<'unorm16x2'>;
-declare const unorm16x2: unorm16x2;
-type unorm16x4 = TgpuVertexFormatData<'unorm16x4'>;
-declare const unorm16x4: unorm16x4;
-type snorm16 = TgpuVertexFormatData<'snorm16'>;
-declare const snorm16: snorm16;
-type snorm16x2 = TgpuVertexFormatData<'snorm16x2'>;
-declare const snorm16x2: snorm16x2;
-type snorm16x4 = TgpuVertexFormatData<'snorm16x4'>;
-declare const snorm16x4: snorm16x4;
-type float16 = TgpuVertexFormatData<'float16'>;
-declare const float16: float16;
-type float16x2 = TgpuVertexFormatData<'float16x2'>;
-declare const float16x2: float16x2;
-type float16x4 = TgpuVertexFormatData<'float16x4'>;
-declare const float16x4: float16x4;
-type float32 = TgpuVertexFormatData<'float32'>;
-declare const float32: float32;
-type float32x2 = TgpuVertexFormatData<'float32x2'>;
-declare const float32x2: float32x2;
-type float32x3 = TgpuVertexFormatData<'float32x3'>;
-declare const float32x3: float32x3;
-type float32x4 = TgpuVertexFormatData<'float32x4'>;
-declare const float32x4: float32x4;
-type uint32 = TgpuVertexFormatData<'uint32'>;
-declare const uint32: uint32;
-type uint32x2 = TgpuVertexFormatData<'uint32x2'>;
-declare const uint32x2: uint32x2;
-type uint32x3 = TgpuVertexFormatData<'uint32x3'>;
-declare const uint32x3: uint32x3;
-type uint32x4 = TgpuVertexFormatData<'uint32x4'>;
-declare const uint32x4: uint32x4;
-type sint32 = TgpuVertexFormatData<'sint32'>;
-declare const sint32: sint32;
-type sint32x2 = TgpuVertexFormatData<'sint32x2'>;
-declare const sint32x2: sint32x2;
-type sint32x3 = TgpuVertexFormatData<'sint32x3'>;
-declare const sint32x3: sint32x3;
-type sint32x4 = TgpuVertexFormatData<'sint32x4'>;
-declare const sint32x4: sint32x4;
-type unorm10_10_10_2 = TgpuVertexFormatData<'unorm10-10-10-2'>;
-declare const unorm10_10_10_2: unorm10_10_10_2;
-type unorm8x4_bgra = TgpuVertexFormatData<'unorm8x4-bgra'>;
-declare const unorm8x4_bgra: unorm8x4_bgra;
-type PackedData = uint8 | uint8x2 | uint8x4 | sint8 | sint8x2 | sint8x4 | unorm8 | unorm8x2 | unorm8x4 | snorm8 | snorm8x2 | snorm8x4 | uint16 | uint16x2 | uint16x4 | sint16 | sint16x2 | sint16x4 | unorm16 | unorm16x2 | unorm16x4 | snorm16 | snorm16x2 | snorm16x4 | float16 | float16x2 | float16x4 | float32 | float32x2 | float32x3 | float32x4 | uint32 | uint32x2 | uint32x3 | uint32x4 | sint32 | sint32x2 | sint32x3 | sint32x4 | unorm10_10_10_2 | unorm8x4_bgra;
-
+interface mat2x2<TColumn> extends matBase<TColumn> {
+    readonly length: 4;
+    [n: number]: number;
+}
 /**
- * Array schema constructed via `d.looseArrayOf` function.
- *
- * Useful for defining vertex buffers.
- * Elements in the schema are not aligned in respect to their `byteAlignment`,
- * unless they are explicitly decorated with the custom align attribute
- * via `d.align` function.
+ * Interface representing its WGSL matrix type counterpart: mat2x2f or mat2x2<f32>
+ * A matrix with 2 rows and 2 columns, with elements of type d.f32
+ */
+interface m2x2f extends mat2x2<v2f> {
+    readonly kind: 'mat2x2f';
+}
+/**
+ * Interface representing its WGSL matrix type counterpart: mat3x3
+ * A matrix with 3 rows and 3 columns, with elements of type `TColumn`
+ */
+interface mat3x3<TColumn> extends matBase<TColumn> {
+    readonly length: 12;
+    [n: number]: number;
+}
+/**
+ * Interface representing its WGSL matrix type counterpart: mat3x3f or mat3x3<f32>
+ * A matrix with 3 rows and 3 columns, with elements of type d.f32
+ */
+interface m3x3f extends mat3x3<v3f> {
+    readonly kind: 'mat3x3f';
+}
+/**
+ * Interface representing its WGSL matrix type counterpart: mat4x4
+ * A matrix with 4 rows and 4 columns, with elements of type `TColumn`
+ */
+interface mat4x4<TColumn> extends matBase<TColumn> {
+    readonly length: 16;
+    [n: number]: number;
+}
+/**
+ * Interface representing its WGSL matrix type counterpart: mat4x4f or mat4x4<f32>
+ * A matrix with 4 rows and 4 columns, with elements of type d.f32
+ */
+interface m4x4f extends mat4x4<v4f> {
+    readonly kind: 'mat4x4f';
+}
+/**
+ * Boolean schema representing a single WGSL bool value.
+ * Cannot be used inside buffers as it is not host-shareable.
  */
-interface LooseArray<TElement extends BaseWgslData = BaseWgslData> {
-    readonly type: 'loose-array';
+interface Bool {
+    readonly type: 'bool';
+    readonly '~repr': boolean;
+}
+interface F32 {
+    readonly type: 'f32';
+    /** Type-token, not available at runtime */
+    readonly '~repr': number;
+}
+interface F16 {
+    readonly type: 'f16';
+    /** Type-token, not available at runtime */
+    readonly '~repr': number;
+}
+interface I32 {
+    readonly type: 'i32';
+    /** Type-token, not available at runtime */
+    readonly '~repr': number;
+}
+interface U32 {
+    readonly type: 'u32';
+    /** Type-token, not available at runtime */
+    readonly '~repr': number;
+}
+interface Vec2f {
+    readonly type: 'vec2f';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v2f;
+}
+interface Vec2h {
+    readonly type: 'vec2h';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v2h;
+}
+interface Vec2i {
+    readonly type: 'vec2i';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v2i;
+}
+interface Vec2u {
+    readonly type: 'vec2u';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v2u;
+}
+interface Vec3f {
+    readonly type: 'vec3f';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v3f;
+}
+interface Vec3h {
+    readonly type: 'vec3h';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v3h;
+}
+interface Vec3i {
+    readonly type: 'vec3i';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v3i;
+}
+interface Vec3u {
+    readonly type: 'vec3u';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v3u;
+}
+interface Vec4f {
+    readonly type: 'vec4f';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v4f;
+}
+interface Vec4h {
+    readonly type: 'vec4h';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v4h;
+}
+interface Vec4i {
+    readonly type: 'vec4i';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v4i;
+}
+interface Vec4u {
+    readonly type: 'vec4u';
+    /** Type-token, not available at runtime */
+    readonly '~repr': v4u;
+}
+interface Mat2x2f {
+    readonly type: 'mat2x2f';
+    /** Type-token, not available at runtime */
+    readonly '~repr': m2x2f;
+}
+interface Mat3x3f {
+    readonly type: 'mat3x3f';
+    /** Type-token, not available at runtime */
+    readonly '~repr': m3x3f;
+}
+interface Mat4x4f {
+    readonly type: 'mat4x4f';
+    /** Type-token, not available at runtime */
+    readonly '~repr': m4x4f;
+}
+interface WgslStruct<TProps extends Record<string, BaseWgslData> = Record<string, BaseWgslData>> {
+    readonly type: 'struct';
+    readonly label?: string | undefined;
+    readonly propTypes: TProps;
+    /** Type-token, not available at runtime */
+    readonly '~repr': InferRecord<TProps>;
+}
+interface WgslArray<TElement = BaseWgslData> {
+    readonly type: 'array';
     readonly elementCount: number;
     readonly elementType: TElement;
+    /** Type-token, not available at runtime */
     readonly '~repr': Infer<TElement>[];
 }
 /**
- * Struct schema constructed via `d.looseStruct` function.
- *
- * Useful for defining vertex buffers, as the standard layout restrictions do not apply.
- * Members are not aligned in respect to their `byteAlignment`,
- * unless they are explicitly decorated with the custom align attribute
- * via `d.align` function.
+ * Schema representing the `atomic<...>` WGSL data type.
  */
-interface LooseStruct<TProps extends Record<string, BaseWgslData> = Record<string, BaseWgslData>> {
-    readonly type: 'loose-struct';
-    readonly propTypes: TProps;
-    readonly '~repr': InferRecord<TProps>;
+interface Atomic<TInner extends U32 | I32 = U32 | I32> {
+    readonly type: 'atomic';
+    readonly inner: TInner;
+    /** Type-token, not available at runtime */
+    readonly '~repr': Infer<TInner>;
 }
-interface LooseDecorated<TInner extends BaseWgslData = BaseWgslData, TAttribs extends unknown[] = unknown[]> {
-    readonly type: 'loose-decorated';
+interface Align<T extends number> {
+    readonly type: '@align';
+    readonly value: T;
+}
+interface Size<T extends number> {
+    readonly type: '@size';
+    readonly value: T;
+}
+interface Location<T extends number> {
+    readonly type: '@location';
+    readonly value: T;
+}
+interface Builtin<T extends string> {
+    readonly type: '@builtin';
+    readonly value: T;
+}
+interface Decorated<TInner extends BaseWgslData = BaseWgslData, TAttribs extends unknown[] = unknown[]> {
+    readonly type: 'decorated';
     readonly inner: TInner;
     readonly attribs: TAttribs;
+    /** Type-token, not available at runtime */
     readonly '~repr': Infer<TInner>;
 }
-declare const looseTypeLiterals: readonly ["loose-struct", "loose-array", "loose-decorated", "uint8", "uint8x2", "uint8x4", "sint8", "sint8x2", "sint8x4", "unorm8", "unorm8x2", "unorm8x4", "snorm8", "snorm8x2", "snorm8x4", "uint16", "uint16x2", "uint16x4", "sint16", "sint16x2", "sint16x4", "unorm16", "unorm16x2", "unorm16x4", "snorm16", "snorm16x2", "snorm16x4", "float16", "float16x2", "float16x4", "float32", "float32x2", "float32x3", "float32x4", "uint32", "uint32x2", "uint32x3", "uint32x4", "sint32", "sint32x2", "sint32x3", "sint32x4", "unorm10-10-10-2", "unorm8x4-bgra"];
-type LooseTypeLiteral = (typeof looseTypeLiterals)[number];
-type AnyLooseData = LooseArray | LooseStruct | LooseDecorated | PackedData;
-declare function isLooseData(data: unknown): data is AnyLooseData;
+declare const wgslTypeLiterals: readonly ["bool", "f32", "f16", "i32", "u32", "vec2f", "vec2h", "vec2i", "vec2u", "vec3f", "vec3h", "vec3i", "vec3u", "vec4f", "vec4h", "vec4i", "vec4u", "mat2x2f", "mat3x3f", "mat4x4f", "struct", "array", "atomic", "decorated"];
+type WgslTypeLiteral = (typeof wgslTypeLiterals)[number];
+type AnyWgslData = Bool | F32 | F16 | I32 | U32 | Vec2f | Vec2h | Vec2i | Vec2u | Vec3f | Vec3h | Vec3i | Vec3u | Vec4f | Vec4h | Vec4i | Vec4u | Mat2x2f | Mat3x3f | Mat4x4f | WgslStruct | WgslArray | Atomic | Decorated;
+declare function isWgslData(value: unknown): value is AnyWgslData;
 /**
- * Checks whether the passed in value is a loose-array schema,
- * as opposed to, e.g., a regular array schema.
+ * Checks whether passed in value is an array schema,
+ * as opposed to, e.g., a disarray schema.
  *
  * Array schemas can be used to describe uniform and storage buffers,
- * whereas looseArray schemas cannot. Loose arrays are useful for
- * defining vertex buffers instead.
+ * whereas disarray schemas cannot.
  *
  * @example
- * isLooseArray(d.arrayOf(d.u32, 4)) // false
- * isLooseArray(d.looseArrayOf(d.u32, 4)) // true
- * isLooseArray(d.vec3f) // false
+ * isWgslArray(d.arrayOf(d.u32, 4)) // true
+ * isWgslArray(d.disarray(d.u32, 4)) // false
+ * isWgslArray(d.vec3f) // false
  */
-declare function isLooseArray<T extends LooseArray>(schema: T | unknown): schema is T;
+declare function isWgslArray<T extends WgslArray>(schema: T | unknown): schema is T;
 /**
- * Checks whether passed in value is a looseStruct schema,
- * as opposed to, e.g., a struct schema.
+ * Checks whether passed in value is a struct schema,
+ * as opposed to, e.g., an unstruct schema.
  *
  * Struct schemas can be used to describe uniform and storage buffers,
- * whereas looseStruct schemas cannot. Loose structs are useful for
- * defining vertex buffers instead.
+ * whereas unstruct schemas cannot.
  *
  * @example
- * isLooseStruct(d.struct({ a: d.u32 })) // false
- * isLooseStruct(d.looseStruct({ a: d.u32 })) // true
- * isLooseStruct(d.vec3f) // false
- */
-declare function isLooseStruct<T extends LooseStruct>(schema: T | unknown): schema is T;
-declare function isLooseDecorated<T extends LooseDecorated>(value: T | unknown): value is T;
-declare function isData(value: unknown): value is AnyData;
-type AnyData = AnyWgslData | AnyLooseData;
-
-/**
- * Strips schema types down to their most basic forms. (native -> exotic)
- * This is used by schema constructors to be able to ingest native schemas (created by TypeGPU), and
- * spit out a type that matches non-native schemas as well.
- */
-type Exotic<T> = T extends {
-    readonly '~exotic': infer TExotic;
-} ? TExotic : T;
-type ExoticRecord<T> = T extends Record<string | number | symbol, unknown> ? {
-    [Key in keyof T]: Exotic<T[Key]>;
-} : T;
-
-/**
- * Can be assigned a name. Not to be confused with
- * being able to HAVE a name.
- */
-interface TgpuNamable {
-    $name(label?: string | undefined): this;
-}
-
-type Default<T, TDefault> = unknown extends T ? TDefault : T extends undefined ? TDefault : T;
-type UnionToIntersection<U> = (U extends any ? (x: U) => void : never) extends (x: infer I) => void ? I : never;
-type Prettify<T> = {
-    [K in keyof T]: T[K];
-} & {};
-/**
- * Removes properties from record type that extend `Prop`
+ * isWgslStruct(d.struct({ a: d.u32 })) // true
+ * isWgslStruct(d.unstruct({ a: d.u32 })) // false
+ * isWgslStruct(d.vec3f) // false
  */
-type OmitProps<T extends Record<string, unknown>, Prop> = Pick<T, {
-    [Key in keyof T]: T[Key] extends Prop ? never : Key;
-}[keyof T]>;
+declare function isWgslStruct<T extends WgslStruct>(schema: T | unknown): schema is T;
 /**
- * The opposite of Readonly<T>
+ * Checks whether the passed in value is an atomic schema.
+ *
+ * @example
+ * isAtomic(d.atomic(d.u32)) // true
+ * isAtomic(d.u32) // false
  */
-type Mutable<T> = {
-    -readonly [P in keyof T]: T[P];
-};
+declare function isAtomic<T extends Atomic<U32 | I32>>(schema: T | unknown): schema is T;
+declare function isAlignAttrib<T extends Align<number>>(value: unknown | T): value is T;
+declare function isSizeAttrib<T extends Size<number>>(value: unknown | T): value is T;
+declare function isLocationAttrib<T extends Location<number>>(value: unknown | T): value is T;
+declare function isBuiltinAttrib<T extends Builtin<string>>(value: unknown | T): value is T;
+declare function isDecorated<T extends Decorated>(value: unknown | T): value is T;
 
-export { isBuiltinAttrib as $, type AnyData as A, type BaseWgslData as B, type Atomic as C, type Default as D, type Exotic as E, type F32 as F, bool as G, f32 as H, type Infer as I, f16 as J, i32 as K, type Location as L, type Mutable as M, u32 as N, type OmitProps as O, type Prettify as P, isWgslData as Q, isWgslArray as R, type Size as S, type TgpuNamable as T, type U32 as U, type Vec4f as V, type WgslTypeLiteral as W, isWgslStruct as X, isAtomic as Y, isDecorated as Z, isAlignAttrib as _, type I32 as a, float16x2 as a$, isLocationAttrib as a0, isSizeAttrib as a1, type Bool as a2, type F16 as a3, type Vec2f as a4, type Vec2h as a5, type Vec2i as a6, type Vec2u as a7, type Vec3f as a8, type Vec3h as a9, type TgpuVertexFormatData as aA, packedFormats as aB, uint8 as aC, uint8x2 as aD, uint8x4 as aE, sint8 as aF, sint8x2 as aG, sint8x4 as aH, unorm8 as aI, unorm8x2 as aJ, unorm8x4 as aK, snorm8 as aL, snorm8x2 as aM, snorm8x4 as aN, uint16 as aO, uint16x2 as aP, uint16x4 as aQ, sint16 as aR, sint16x2 as aS, sint16x4 as aT, unorm16 as aU, unorm16x2 as aV, unorm16x4 as aW, snorm16 as aX, snorm16x2 as aY, snorm16x4 as aZ, float16 as a_, type Vec3i as aa, type Vec4h as ab, type v2i as ac, type v2u as ad, type v3i as ae, type v3u as af, type v4i as ag, type v4u as ah, vec2f as ai, vec2h as aj, vec2i as ak, vec2u as al, vec3f as am, vec3h as an, vec3i as ao, vec3u as ap, vec4f as aq, vec4h as ar, vec4i as as, vec4u as at, isLooseArray as au, isLooseStruct as av, isLooseDecorated as aw, isData as ax, isLooseData as ay, type FormatToWGSLType as az, type Vec4u as b, float16x4 as b0, float32 as b1, float32x2 as b2, float32x3 as b3, float32x4 as b4, uint32 as b5, uint32x2 as b6, uint32x3 as b7, uint32x4 as b8, sint32 as b9, sint32x2 as ba, sint32x3 as bb, sint32x4 as bc, unorm10_10_10_2 as bd, unorm8x4_bgra as be, type PackedData as bf, type Vec4i as c, type UnionToIntersection as d, type AnyWgslData as e, type Align as f, type Builtin as g, type Decorated as h, type LooseDecorated as i, type AnyLooseData as j, type LooseTypeLiteral as k, type WgslArray as l, type Vec3u as m, type WgslStruct as n, type ExoticRecord as o, type LooseArray as p, type LooseStruct as q, type m2x2f as r, type m3x3f as s, type m4x4f as t, type Mat2x2f as u, type v2f as v, type Mat3x3f as w, type v3f as x, type Mat4x4f as y, type v4f as z };
+export { type v2f as $, type AnyData as A, type TgpuLayoutTexture as B, type TgpuLayoutStorage as C, type TgpuLayoutStorageTexture as D, type Exotic as E, type TgpuLayoutExternalTexture as F, type TgpuLayoutUniform as G, type BindLayoutEntry as H, type Infer as I, type BaseWgslData as J, type TgpuNamable as K, type LayoutEntryToInput as L, type ExoticRecord as M, type WgslArray as N, type OmitProps as O, type Prettify as P, type Disarray as Q, type Unstruct as R, Storage as S, type TgpuBuffer as T, type Unwrapper as U, Vertex as V, type WgslStruct as W, type m2x2f as X, type m3x3f as Y, type m4x4f as Z, type Mat2x2f as _, type TgpuLayoutEntry as a, isDisarray as a$, type Mat3x3f as a0, type v3f as a1, type Mat4x4f as a2, type v4f as a3, type U32 as a4, type I32 as a5, type Atomic as a6, type Align as a7, type Size as a8, type Location as a9, type Vec2h as aA, type Vec2i as aB, type Vec2u as aC, type Vec3f as aD, type Vec3h as aE, type Vec3i as aF, type Vec4h as aG, type Vec4i as aH, type Vec4u as aI, type v2i as aJ, type v2u as aK, type v3i as aL, type v3u as aM, type v4i as aN, type v4u as aO, vec2f as aP, vec2h as aQ, vec2i as aR, vec2u as aS, vec3f as aT, vec3h as aU, vec3i as aV, vec3u as aW, vec4f as aX, vec4h as aY, vec4i as aZ, vec4u as a_, type Builtin as aa, type Decorated as ab, type LooseDecorated as ac, type AnyLooseData as ad, type WgslTypeLiteral as ae, type LooseTypeLiteral as af, type Vec4f as ag, type F32 as ah, type Vec3u as ai, bool as aj, f32 as ak, f16 as al, i32 as am, u32 as an, isWgslData as ao, isWgslArray as ap, isWgslStruct as aq, isAtomic as ar, isDecorated as as, isAlignAttrib as at, isBuiltinAttrib as au, isLocationAttrib as av, isSizeAttrib as aw, type Bool as ax, type F16 as ay, type Vec2f as az, type TgpuBindGroupLayout as b, isUnstruct as b0, isLooseDecorated as b1, isData as b2, isLooseData as b3, type FormatToWGSLType as b4, type TgpuVertexFormatData as b5, packedFormats as b6, uint8 as b7, uint8x2 as b8, uint8x4 as b9, float32x3 as bA, float32x4 as bB, uint32 as bC, uint32x2 as bD, uint32x3 as bE, uint32x4 as bF, sint32 as bG, sint32x2 as bH, sint32x3 as bI, sint32x4 as bJ, unorm10_10_10_2 as bK, unorm8x4_bgra as bL, type PackedData as bM, sint8 as ba, sint8x2 as bb, sint8x4 as bc, unorm8 as bd, unorm8x2 as be, unorm8x4 as bf, snorm8 as bg, snorm8x2 as bh, snorm8x4 as bi, uint16 as bj, uint16x2 as bk, uint16x4 as bl, sint16 as bm, sint16x2 as bn, sint16x4 as bo, unorm16 as bp, unorm16x2 as bq, unorm16x4 as br, snorm16 as bs, snorm16x2 as bt, snorm16x4 as bu, float16 as bv, float16x2 as bw, float16x4 as bx, float32 as by, float32x2 as bz, type TgpuBindGroup as c, type TgpuResolvable as d, type AnyWgslData as e, type TgpuBufferMutable as f, type TgpuBufferReadonly as g, type TgpuBufferUniform as h, bindGroupLayout as i, isBuffer as j, isUsableAsUniform as k, isUsableAsVertex as l, isSampler as m, isComparisonSampler as n, isSampledTextureView as o, isStorageTextureView as p, isUsableAsStorage as q, Uniform as r, type TgpuTexture as s, type TgpuReadonlyTexture as t, type TgpuWriteonlyTexture as u, type TgpuMutableTexture as v, type TgpuSampledTexture as w, type TgpuAnyTextureView as x, type TgpuSampler as y, type TgpuLayoutSampler as z };