typegpu 0.3.4 → 0.4.0

package/{wgslTypes-DHAmU620.d.cts → wgslTypes-BNsjCP--.d.cts}

@@ -1,322 +1,10 @@
 /**
- * Type encompassing all available kinds of vector.
+ * Can be assigned a name. Not to be confused with
+ * being able to HAVE a name.
  */
-type VecKind = 'vec2f' | 'vec2i' | 'vec2u' | 'vec2h' | 'vec3f' | 'vec3i' | 'vec3u' | 'vec3h' | 'vec4f' | 'vec4i' | 'vec4u' | 'vec4h';
-/**
- * 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);
-/**
- *
- * Schema representing vec3f - a vector with 3 elements of type f32.
- * Also a constructor function for this vector value.
- *
- * @example
- * const vector = d.vec3f(); // (0.0, 0.0, 0.0)
- * const vector = d.vec3f(1); // (1.0, 1.0, 1.0)
- * const vector = d.vec3f(1, 2, 3.5); // (1.0, 2.0, 3.5)
- *
- * @example
- * const buffer = root.createBuffer(d.vec3f, d.vec3f(0, 1, 2)); // buffer holding a d.vec3f value, with an initial value of vec3f(0, 1, 2);
- */
-declare const vec3f: NativeVec3f;
-/**
- * Type of the `d.vec3h` object/function: vector data type schema/constructor
- */
-type NativeVec3h = Vec3h & {
-    '~exotic': Vec3h;
-} & ((x: number, y: number, z: number) => v3h) & ((xyz: number) => v3h) & (() => v3h);
-/**
- *
- * 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);
- */
-declare const vec3h: NativeVec3h;
-/**
- * Type of the `d.vec3i` object/function: vector data type schema/constructor
- */
-type NativeVec3i = Vec3i & {
-    '~exotic': Vec3i;
-} & ((x: number, y: number, z: number) => v3i) & ((xyz: number) => v3i) & (() => v3i);
-/**
- *
- * Schema representing vec3i - a vector with 3 elements of type i32.
- * Also a constructor function for this vector value.
- *
- * @example
- * const vector = d.vec3i(); // (0, 0, 0)
- * const vector = d.vec3i(1); // (1, 1, 1)
- * const vector = d.vec3i(1, 2, -3); // (1, 2, -3)
- *
- * @example
- * const buffer = root.createBuffer(d.vec3i, d.vec3i(0, 1, 2)); // buffer holding a d.vec3i value, with an initial value of vec3i(0, 1, 2);
- */
-declare const vec3i: NativeVec3i;
-/**
- * Type of the `d.vec3u` object/function: vector data type schema/constructor
- */
-type NativeVec3u = Vec3u & {
-    '~exotic': Vec3u;
-} & ((x: number, y: number, z: number) => v3u) & ((xyz: number) => v3u) & (() => v3u);
-/**
- *
- * Schema representing vec3u - a vector with 3 elements of type u32.
- * Also a constructor function for this vector value.
- *
- * @example
- * const vector = d.vec3u(); // (0, 0, 0)
- * const vector = d.vec3u(1); // (1, 1, 1)
- * const vector = d.vec3u(1, 2, 3); // (1, 2, 3)
- *
- * @example
- * const buffer = root.createBuffer(d.vec3u, d.vec3u(0, 1, 2)); // buffer holding a d.vec3u value, with an initial value of vec3u(0, 1, 2);
- */
-declare const vec3u: 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);
-/**
- *
- * Schema representing vec4f - a vector with 4 elements of type f32.
- * Also a constructor function for this vector value.
- *
- * @example
- * const vector = d.vec4f(); // (0.0, 0.0, 0.0, 0.0)
- * const vector = d.vec4f(1); // (1.0, 1.0, 1.0, 1.0)
- * const vector = d.vec4f(1, 2, 3, 4.5); // (1.0, 2.0, 3.0, 4.5)
- *
- * @example
- * const buffer = root.createBuffer(d.vec4f, d.vec4f(0, 1, 2, 3)); // buffer holding a d.vec4f value, with an initial value of vec4f(0, 1, 2, 3);
- */
-declare const vec4f: NativeVec4f;
-/**
- * Type of the `d.vec4h` object/function: vector data type schema/constructor
- */
-type NativeVec4h = Vec4h & {
-    '~exotic': Vec4h;
-} & ((x: number, y: number, z: number, w: number) => v4h) & ((xyzw: number) => v4h) & (() => v4h);
-/**
- *
- * 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)
- *
- * @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
- */
-type NativeVec4i = Vec4i & {
-    '~exotic': Vec4i;
-} & ((x: number, y: number, z: number, w: number) => v4i) & ((xyzw: number) => v4i) & (() => v4i);
-/**
- *
- * Schema representing vec4i - a vector with 4 elements of type i32.
- * Also a constructor function for this vector value.
- *
- * @example
- * const vector = d.vec4i(); // (0, 0, 0, 0)
- * const vector = d.vec4i(1); // (1, 1, 1, 1)
- * const vector = d.vec4i(1, 2, 3, -4); // (1, 2, 3, -4)
- *
- * @example
- * const buffer = root.createBuffer(d.vec4i, d.vec4i(0, 1, 2, 3)); // buffer holding a d.vec4i value, with an initial value of vec4i(0, 1, 2, 3);
- */
-declare const vec4i: NativeVec4i;
-/**
- * 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);
-/**
- *
- * Schema representing vec4u - a vector with 4 elements of type u32.
- * Also a constructor function for this vector value.
- *
- * @example
- * const vector = d.vec4u(); // (0, 0, 0, 0)
- * const vector = d.vec4u(1); // (1, 1, 1, 1)
- * const vector = d.vec4u(1, 2, 3, 4); // (1, 2, 3, 4)
- *
- * @example
- * const buffer = root.createBuffer(d.vec4u, d.vec4u(0, 1, 2, 3)); // buffer holding a d.vec4u value, with an initial value of vec4u(0, 1, 2, 3);
- */
-declare const vec4u: NativeVec4u;
-
-/**
- * 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;
+interface TgpuNamable {
+    $name(label?: string | undefined): this;
+}
 
 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];
@@ -391,47 +79,47 @@ interface TgpuVertexFormatData<T extends VertexFormat> {
     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;
+    readonly uint8: U32;
+    readonly uint8x2: Vec2u;
+    readonly uint8x4: Vec4u;
+    readonly sint8: I32;
+    readonly sint8x2: Vec2i;
+    readonly sint8x4: Vec4i;
+    readonly unorm8: F32;
+    readonly unorm8x2: Vec2f;
+    readonly unorm8x4: Vec4f;
+    readonly snorm8: F32;
+    readonly snorm8x2: Vec2f;
+    readonly snorm8x4: Vec4f;
+    readonly uint16: U32;
+    readonly uint16x2: Vec2u;
+    readonly uint16x4: Vec4u;
+    readonly sint16: I32;
+    readonly sint16x2: Vec2i;
+    readonly sint16x4: Vec4i;
+    readonly unorm16: F32;
+    readonly unorm16x2: Vec2f;
+    readonly unorm16x4: Vec4f;
+    readonly snorm16: F32;
+    readonly snorm16x2: Vec2f;
+    readonly snorm16x4: Vec4f;
+    readonly float16: F32;
+    readonly float16x2: Vec2f;
+    readonly float16x4: Vec4f;
+    readonly float32: F32;
+    readonly float32x2: Vec2f;
+    readonly float32x3: Vec3f;
+    readonly float32x4: Vec4f;
+    readonly uint32: U32;
+    readonly uint32x2: Vec2u;
+    readonly uint32x3: Vec3u;
+    readonly uint32x4: Vec4u;
+    readonly sint32: I32;
+    readonly sint32x2: Vec2i;
+    readonly sint32x3: Vec3i;
+    readonly sint32x4: Vec4i;
+    readonly 'unorm10-10-10-2': Vec4f;
+    readonly 'unorm8x4-bgra': Vec4f;
 };
 declare const packedFormats: string[];
 type uint8 = TgpuVertexFormatData<'uint8'>;
@@ -526,11 +214,15 @@ type PackedData = uint8 | uint8x2 | uint8x4 | sint8 | sint8x2 | sint8x4 | unorm8
  * unless they are explicitly decorated with the custom align attribute
  * via `d.align` function.
  */
-interface Disarray<TElement extends BaseWgslData = BaseWgslData> {
+interface Disarray<TElement extends BaseData = BaseData> {
     readonly type: 'disarray';
     readonly elementCount: number;
     readonly elementType: TElement;
     readonly '~repr': Infer<TElement>[];
+    readonly '~reprPartial': {
+        idx: number;
+        value: InferPartial<TElement>;
+    }[];
 }
 /**
  * Struct schema constructed via `d.unstruct` function.
@@ -540,12 +232,14 @@ interface Disarray<TElement extends BaseWgslData = BaseWgslData> {
  * unless they are explicitly decorated with the custom align attribute
  * via `d.align` function.
  */
-interface Unstruct<TProps extends Record<string, BaseWgslData> = Record<string, BaseWgslData>> {
+interface Unstruct<TProps extends Record<string, BaseData> = Record<string, BaseData>> extends TgpuNamable {
+    readonly label?: string | undefined;
     readonly type: 'unstruct';
     readonly propTypes: TProps;
     readonly '~repr': InferRecord<TProps>;
+    readonly '~reprPartial': Partial<InferPartialRecord<TProps>>;
 }
-interface LooseDecorated<TInner extends BaseWgslData = BaseWgslData, TAttribs extends unknown[] = unknown[]> {
+interface LooseDecorated<TInner extends BaseData = BaseData, TAttribs extends unknown[] = unknown[]> {
     readonly type: 'loose-decorated';
     readonly inner: TInner;
     readonly attribs: TAttribs;
@@ -591,14 +285,22 @@ type AnyData = AnyWgslData | AnyLooseData;
  * Extracts the inferred representation of a resource.
  * @example
  * type A = Infer<F32> // => number
- * type B = Infer<TgpuArray<F32>> // => number[]
+ * type B = Infer<WgslArray<F32>> // => number[]
  */
 type Infer<T> = T extends {
     readonly '~repr': infer TRepr;
 } ? TRepr : T;
+type InferPartial<T> = T extends {
+    readonly '~reprPartial': infer TRepr;
+} ? TRepr : T extends {
+    readonly '~repr': infer TRepr;
+} ? TRepr | undefined : T extends Record<string | number | symbol, unknown> ? InferPartialRecord<T> : T;
 type InferRecord<T extends Record<string | number | symbol, unknown>> = {
     [Key in keyof T]: Infer<T[Key]>;
 };
+type InferPartialRecord<T extends Record<string | number | symbol, unknown>> = {
+    [Key in keyof T]: InferPartial<T[Key]>;
+};
 type MemIdentity<T> = T extends {
     readonly '~memIdent': infer TMemIdent extends AnyData;
 } ? TMemIdent : T;
@@ -606,12 +308,63 @@ type MemIdentityRecord<T extends Record<string | number | symbol, unknown>> = {
     [Key in keyof T]: MemIdentity<T[Key]>;
 };
 
-type DecoratedLocation<T extends BaseWgslData> = Decorated<T, Location<number>[]>;
+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`
+ */
+type OmitProps<T extends Record<string, unknown>, Prop> = Pick<T, {
+    [Key in keyof T]: T[Key] extends Prop ? never : Key;
+}[keyof T]>;
+/**
+ * The opposite of Readonly<T>
+ */
+type Mutable<T> = {
+    -readonly [P in keyof T]: T[P];
+};
+
+/**
+ * Struct schema constructed via `d.struct` function.
+ *
+ * Responsible for handling reading and writing struct values
+ * between binary and JS representation. Takes into account
+ * the `byteAlignment` requirement of its members.
+ */
+interface WgslStruct<TProps extends Record<string, BaseData> = Record<string, BaseData>> extends TgpuNamable {
+    (props: InferRecord<TProps>): InferRecord<TProps>;
+    readonly type: 'struct';
+    readonly label?: string | undefined;
+    readonly propTypes: TProps;
+    /** Type-token, not available at runtime */
+    readonly '~repr': InferRecord<TProps>;
+    /** Type-token, not available at runtime */
+    readonly '~memIdent': WgslStruct<MemIdentityRecord<TProps>>;
+    /** Type-token, not available at runtime */
+    readonly '~reprPartial': Partial<InferPartialRecord<TProps>>;
+}
+type AnyWgslStruct = WgslStruct<any>;
+/**
+ * Creates a struct schema that can be used to construct GPU buffers.
+ * Ensures proper alignment and padding of properties (as opposed to a `d.unstruct` schema).
+ * The order of members matches the passed in properties object.
+ *
+ * @example
+ * const CircleStruct = d.struct({ radius: d.f32, pos: d.vec3f });
+ *
+ * @param props Record with `string` keys and `TgpuData` values,
+ * each entry describing one struct member.
+ */
+declare function struct<TProps extends Record<string, AnyWgslData>>(props: TProps): WgslStruct<Prettify<TProps>>;
+
+type DecoratedLocation<T extends BaseData> = Decorated<T, Location<number>[]>;
 interface NumberArrayView {
     readonly length: number;
     [n: number]: number;
 }
-interface BaseWgslData {
+interface BaseData {
     type: string;
     /** Type-token, not available at runtime */
     readonly '~repr': unknown;
@@ -1114,122 +867,229 @@ interface Bool {
     readonly type: 'bool';
     readonly '~repr': boolean;
 }
+/**
+ * 32-bit float schema representing a single WGSL f32 value.
+ */
 interface F32 {
     readonly type: 'f32';
     /** Type-token, not available at runtime */
     readonly '~repr': number;
+    (v: number | boolean): number;
 }
+/**
+ * 16-bit float schema representing a single WGSL f16 value.
+ */
 interface F16 {
     readonly type: 'f16';
     /** Type-token, not available at runtime */
     readonly '~repr': number;
+    (v: number | boolean): number;
 }
+/**
+ * Signed 32-bit integer schema representing a single WGSL i32 value.
+ */
 interface I32 {
     readonly type: 'i32';
     /** Type-token, not available at runtime */
     readonly '~repr': number;
     readonly '~memIdent': I32 | Atomic<I32> | DecoratedLocation<I32>;
+    (v: number | boolean): number;
 }
+/**
+ * Unsigned 32-bit integer schema representing a single WGSL u32 value.
+ */
 interface U32 {
     readonly type: 'u32';
     /** Type-token, not available at runtime */
     readonly '~repr': number;
     readonly '~memIdent': U32 | Atomic<U32> | DecoratedLocation<U32>;
+    (v: number | boolean): number;
 }
+/**
+ * Type of the `d.vec2f` object/function: vector data type schema/constructor
+ */
 interface Vec2f {
     readonly type: 'vec2f';
     /** Type-token, not available at runtime */
     readonly '~repr': v2f;
+    (x: number, y: number): v2f;
+    (xy: number): v2f;
+    (): v2f;
 }
+/**
+ * Type of the `d.vec2h` object/function: vector data type schema/constructor
+ */
 interface Vec2h {
     readonly type: 'vec2h';
     /** Type-token, not available at runtime */
     readonly '~repr': v2h;
+    (x: number, y: number): v2h;
+    (xy: number): v2h;
+    (): v2h;
 }
+/**
+ * Type of the `d.vec2i` object/function: vector data type schema/constructor
+ */
 interface Vec2i {
     readonly type: 'vec2i';
     /** Type-token, not available at runtime */
     readonly '~repr': v2i;
+    (x: number, y: number): v2i;
+    (xy: number): v2i;
+    (): v2i;
 }
+/**
+ * Type of the `d.vec2u` object/function: vector data type schema/constructor
+ */
 interface Vec2u {
     readonly type: 'vec2u';
     /** Type-token, not available at runtime */
     readonly '~repr': v2u;
+    (x: number, y: number): v2u;
+    (xy: number): v2u;
+    (): v2u;
 }
+/**
+ * Type of the `d.vec3f` object/function: vector data type schema/constructor
+ */
 interface Vec3f {
     readonly type: 'vec3f';
     /** Type-token, not available at runtime */
     readonly '~repr': v3f;
+    (x: number, y: number, z: number): v3f;
+    (xyz: number): v3f;
+    (): v3f;
 }
+/**
+ * Type of the `d.vec3h` object/function: vector data type schema/constructor
+ */
 interface Vec3h {
     readonly type: 'vec3h';
     /** Type-token, not available at runtime */
     readonly '~repr': v3h;
+    (x: number, y: number, z: number): v3h;
+    (xyz: number): v3h;
+    (): v3h;
 }
+/**
+ * Type of the `d.vec3i` object/function: vector data type schema/constructor
+ */
 interface Vec3i {
     readonly type: 'vec3i';
     /** Type-token, not available at runtime */
     readonly '~repr': v3i;
+    (x: number, y: number, z: number): v3i;
+    (xyz: number): v3i;
+    (): v3i;
 }
+/**
+ * Type of the `d.vec3u` object/function: vector data type schema/constructor
+ */
 interface Vec3u {
     readonly type: 'vec3u';
     /** Type-token, not available at runtime */
     readonly '~repr': v3u;
+    (x: number, y: number, z: number): v3u;
+    (xyz: number): v3u;
+    (): v3u;
 }
+/**
+ * Type of the `d.vec4f` object/function: vector data type schema/constructor
+ */
 interface Vec4f {
     readonly type: 'vec4f';
     /** Type-token, not available at runtime */
     readonly '~repr': v4f;
+    (x: number, y: number, z: number, w: number): v4f;
+    (xyzw: number): v4f;
+    (): v4f;
 }
+/**
+ * Type of the `d.vec4h` object/function: vector data type schema/constructor
+ */
 interface Vec4h {
     readonly type: 'vec4h';
     /** Type-token, not available at runtime */
     readonly '~repr': v4h;
+    (x: number, y: number, z: number, w: number): v4h;
+    (xyzw: number): v4h;
+    (): v4h;
 }
+/**
+ * Type of the `d.vec4i` object/function: vector data type schema/constructor
+ */
 interface Vec4i {
     readonly type: 'vec4i';
     /** Type-token, not available at runtime */
     readonly '~repr': v4i;
+    (x: number, y: number, z: number, w: number): v4i;
+    (xyzw: number): v4i;
+    (): v4i;
 }
+/**
+ * Type of the `d.vec4u` object/function: vector data type schema/constructor
+ */
 interface Vec4u {
     readonly type: 'vec4u';
     /** Type-token, not available at runtime */
     readonly '~repr': v4u;
+    (x: number, y: number, z: number, w: number): v4u;
+    (xyzw: number): v4u;
+    (): v4u;
 }
+/**
+ * Type of the `d.mat2x2f` object/function: matrix data type schema/constructor
+ */
 interface Mat2x2f {
     readonly type: 'mat2x2f';
     /** Type-token, not available at runtime */
     readonly '~repr': m2x2f;
+    (...elements: number[]): m2x2f;
+    (...columns: v2f[]): m2x2f;
+    (): m2x2f;
 }
+/**
+ * Type of the `d.mat3x3f` object/function: matrix data type schema/constructor
+ */
 interface Mat3x3f {
     readonly type: 'mat3x3f';
     /** Type-token, not available at runtime */
     readonly '~repr': m3x3f;
+    (...elements: number[]): m3x3f;
+    (...columns: v3f[]): m3x3f;
+    (): m3x3f;
 }
+/**
+ * Type of the `d.mat4x4f` object/function: matrix data type schema/constructor
+ */
 interface Mat4x4f {
     readonly type: 'mat4x4f';
     /** Type-token, not available at runtime */
     readonly '~repr': m4x4f;
+    (...elements: number[]): m4x4f;
+    (...columns: v4f[]): m4x4f;
+    (): m4x4f;
 }
-interface WgslStruct<TProps extends Record<string, BaseWgslData> = Record<string, BaseWgslData>> {
-    (props: InferRecord<TProps>): InferRecord<TProps>;
-    readonly type: 'struct';
-    readonly label?: string | undefined;
-    readonly propTypes: TProps;
-    /** Type-token, not available at runtime */
-    readonly '~repr': InferRecord<TProps>;
-    readonly '~memIdent': WgslStruct<MemIdentityRecord<TProps>>;
-}
-type AnyWgslStruct = WgslStruct<any>;
-interface WgslArray<TElement = BaseWgslData> {
+/**
+ * Array schema constructed via `d.arrayOf` function.
+ *
+ * Responsible for handling reading and writing array values
+ * between binary and JS representation. Takes into account
+ * the `byteAlignment` requirement of its elementType.
+ */
+interface WgslArray<TElement extends BaseData = BaseData> {
     readonly type: 'array';
     readonly elementCount: number;
     readonly elementType: TElement;
     /** Type-token, not available at runtime */
     readonly '~repr': Infer<TElement>[];
+    readonly '~reprPartial': {
+        idx: number;
+        value: InferPartial<TElement>;
+    }[];
     readonly '~memIdent': WgslArray<MemIdentity<TElement>>;
 }
-interface PtrFn<TInner = BaseWgslData> {
+interface PtrFn<TInner = BaseData> {
     readonly type: 'ptrFn';
     readonly inner: TInner;
     /** Type-token, not available at runtime */
@@ -1268,7 +1128,7 @@ interface Builtin<T extends string> {
     readonly type: '@builtin';
     readonly value: T;
 }
-interface Decorated<TInner extends BaseWgslData = BaseWgslData, TAttribs extends unknown[] = unknown[]> {
+interface Decorated<TInner extends BaseData = BaseData, TAttribs extends unknown[] = unknown[]> {
     readonly type: 'decorated';
     readonly inner: TInner;
     readonly attribs: TAttribs;
@@ -1331,4 +1191,4 @@ declare function isInterpolateAttrib<T extends Interpolate<InterpolationType>>(v
 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 { type Mat3x3f as $, type AnyWgslData as A, type BaseWgslData as B, type PerspectiveOrLinearInterpolatableData as C, type Decorated as D, type FlatInterpolationType as E, type F32 as F, type FlatInterpolatableData as G, type LooseDecorated as H, type Infer as I, type AnyLooseData as J, type KindToAcceptedAttribMap as K, type Location as L, type MemIdentity as M, type LooseTypeLiteral as N, type WgslStruct as O, type PerspectiveOrLinearInterpolationType as P, type PtrFn as Q, type m2x2f as R, type Size as S, type TgpuVertexAttrib as T, type U32 as U, type Vec2f as V, type WgslArray as W, type m3x3f as X, type m4x4f as Y, type Mat2x2f as Z, type v2f as _, type F16 as a, sint16x2 as a$, type v3f as a0, type Mat4x4f as a1, type v4f as a2, type Atomic as a3, bool as a4, f32 as a5, f16 as a6, i32 as a7, u32 as a8, isWgslData as a9, vec4h as aA, vec4i as aB, vec4u as aC, isDisarray as aD, isUnstruct as aE, isLooseDecorated as aF, isData as aG, isLooseData as aH, type FormatToWGSLType as aI, type TgpuVertexFormatData as aJ, packedFormats as aK, uint8 as aL, uint8x2 as aM, uint8x4 as aN, sint8 as aO, sint8x2 as aP, sint8x4 as aQ, unorm8 as aR, unorm8x2 as aS, unorm8x4 as aT, snorm8 as aU, snorm8x2 as aV, snorm8x4 as aW, uint16 as aX, uint16x2 as aY, uint16x4 as aZ, sint16 as a_, isWgslArray as aa, isWgslStruct as ab, isPtrFn as ac, isAtomic as ad, isDecorated as ae, isAlignAttrib as af, isBuiltinAttrib as ag, isLocationAttrib as ah, isInterpolateAttrib as ai, isSizeAttrib as aj, type Bool as ak, type v2i as al, type v2u as am, type v3i as an, type v3u as ao, type v4i as ap, type v4u as aq, vec2f as ar, vec2h as as, vec2i as at, vec2u as au, vec3f as av, vec3h as aw, vec3i as ax, vec3u as ay, vec4f as az, type I32 as b, sint16x4 as b0, unorm16 as b1, unorm16x2 as b2, unorm16x4 as b3, snorm16 as b4, snorm16x2 as b5, snorm16x4 as b6, float16 as b7, float16x2 as b8, float16x4 as b9, float32 as ba, float32x2 as bb, float32x3 as bc, float32x4 as bd, uint32 as be, uint32x2 as bf, uint32x3 as bg, uint32x4 as bh, sint32 as bi, sint32x2 as bj, sint32x3 as bk, sint32x4 as bl, unorm10_10_10_2 as bm, unorm8x4_bgra as bn, type PackedData as bo, type VecKind as bp, type Vec3f as c, type Vec4f as d, type Vec2h as e, type Vec3h as f, type Vec4h as g, type Vec2i as h, type Vec3i as i, type Vec4i as j, type Vec2u as k, type Vec3u as l, type Vec4u as m, type AnyWgslStruct as n, type AnyData as o, type Disarray as p, type Unstruct as q, type VertexFormat as r, type KindToDefaultFormatMap as s, type WgslTypeLiteral as t, type AnyVecInstance as u, type AnyMatInstance as v, type Builtin as w, type Align as x, type Interpolate as y, type InterpolationType as z };
+export { isWgslStruct as $, type AnyWgslData as A, type BaseData as B, type AnyVecInstance as C, type Decorated as D, type AnyMatInstance as E, type F32 as F, type Bool as G, type PtrFn as H, type Infer as I, type Mat2x2f as J, type KindToAcceptedAttribMap as K, type Location as L, type Mutable as M, type Mat3x3f as N, type OmitProps as O, type Prettify as P, type Mat4x4f as Q, type m2x2f as R, type m3x3f as S, type TgpuNamable as T, type U32 as U, type Vec2f as V, type WgslArray as W, type m4x4f as X, type Atomic as Y, isWgslData as Z, isWgslArray as _, type F16 as a, float32x4 as a$, isPtrFn as a0, isAtomic as a1, isDecorated as a2, isAlignAttrib as a3, isBuiltinAttrib as a4, isLocationAttrib as a5, isInterpolateAttrib as a6, isSizeAttrib as a7, type Size as a8, type Align as a9, sint8 as aA, sint8x2 as aB, sint8x4 as aC, unorm8 as aD, unorm8x2 as aE, unorm8x4 as aF, snorm8 as aG, snorm8x2 as aH, snorm8x4 as aI, uint16 as aJ, uint16x2 as aK, uint16x4 as aL, sint16 as aM, sint16x2 as aN, sint16x4 as aO, unorm16 as aP, unorm16x2 as aQ, unorm16x4 as aR, snorm16 as aS, snorm16x2 as aT, snorm16x4 as aU, float16 as aV, float16x2 as aW, float16x4 as aX, float32 as aY, float32x2 as aZ, float32x3 as a_, type Builtin as aa, type Interpolate as ab, type v2f as ac, type v2i as ad, type v2u as ae, type v3f as af, type v3i as ag, type v3u as ah, type v4f as ai, type v4i as aj, type v4u as ak, struct as al, type LooseDecorated as am, type AnyLooseData as an, isDisarray as ao, isUnstruct as ap, isLooseDecorated as aq, isData as ar, isLooseData as as, type FormatToWGSLType as at, type TgpuVertexFormatData as au, formatToWGSLType as av, packedFormats as aw, uint8 as ax, uint8x2 as ay, uint8x4 as az, type I32 as b, uint32 as b0, uint32x2 as b1, uint32x3 as b2, uint32x4 as b3, sint32 as b4, sint32x2 as b5, sint32x3 as b6, sint32x4 as b7, unorm10_10_10_2 as b8, unorm8x4_bgra as b9, type PackedData as ba, type InterpolationType as bb, type PerspectiveOrLinearInterpolationType as bc, type PerspectiveOrLinearInterpolatableData as bd, type FlatInterpolationType as be, type FlatInterpolatableData as bf, type LooseTypeLiteral as bg, type v2h as bh, type v3h as bi, type v4h as bj, type Vec3f as c, type Vec4f as d, type Vec2h as e, type Vec3h as f, type Vec4h as g, type Vec2i as h, type Vec3i as i, type Vec4i as j, type Vec2u as k, type Vec3u as l, type Vec4u as m, type AnyWgslStruct as n, type Default as o, type UnionToIntersection as p, type Disarray as q, type Unstruct as r, type VertexFormat as s, type TgpuVertexAttrib as t, type KindToDefaultFormatMap as u, type AnyData as v, type WgslStruct as w, type InferPartial as x, type MemIdentity as y, type WgslTypeLiteral as z };