typegpu 0.4.3 → 0.4.5

package/{wgslTypes-D0JqCGnw.d.ts → wgslTypes-VtSRoe90.d.cts}

@@ -6,6 +6,24 @@ 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`
+ */
+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];
+};
+
 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];
 declare const kindToDefaultFormatMap: {
@@ -236,8 +254,8 @@ interface Unstruct<TProps extends Record<string, BaseData> = Record<string, Base
     readonly label?: string | undefined;
     readonly type: 'unstruct';
     readonly propTypes: TProps;
-    readonly '~repr': InferRecord<TProps>;
-    readonly '~reprPartial': Partial<InferPartialRecord<TProps>>;
+    readonly '~repr': Prettify<InferRecord<TProps>>;
+    readonly '~reprPartial': Prettify<Partial<InferPartialRecord<TProps>>>;
 }
 interface LooseDecorated<TInner extends BaseData = BaseData, TAttribs extends unknown[] = unknown[]> {
     readonly type: 'loose-decorated';
@@ -295,12 +313,18 @@ type InferPartial<T> = T extends {
 } ? TRepr : T extends {
     readonly '~repr': infer TRepr;
 } ? TRepr | undefined : T extends Record<string | number | symbol, unknown> ? InferPartialRecord<T> : T;
+type InferGPU<T> = T extends {
+    readonly '~gpuRepr': infer TRepr;
+} ? TRepr : Infer<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 InferGPURecord<T extends Record<string | number | symbol, unknown>> = {
+    [Key in keyof T]: InferGPU<T[Key]>;
+};
 type MemIdentity<T> = T extends {
     readonly '~memIdent': infer TMemIdent extends AnyData;
 } ? TMemIdent : T;
@@ -308,24 +332,6 @@ type MemIdentityRecord<T extends Record<string | number | symbol, unknown>> = {
     [Key in keyof T]: MemIdentity<T[Key]>;
 };
 
-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.
  *
@@ -339,11 +345,13 @@ interface WgslStruct<TProps extends Record<string, BaseData> = Record<string, Ba
     readonly label?: string | undefined;
     readonly propTypes: TProps;
     /** Type-token, not available at runtime */
-    readonly '~repr': InferRecord<TProps>;
+    readonly '~repr': Prettify<InferRecord<TProps>>;
+    /** Type-token, not available at runtime */
+    readonly '~gpuRepr': InferGPURecord<TProps>;
     /** Type-token, not available at runtime */
     readonly '~memIdent': WgslStruct<MemIdentityRecord<TProps>>;
     /** Type-token, not available at runtime */
-    readonly '~reprPartial': Partial<InferPartialRecord<TProps>>;
+    readonly '~reprPartial': Prettify<Partial<InferPartialRecord<TProps>>>;
 }
 type AnyWgslStruct = WgslStruct<any>;
 /**
@@ -369,6 +377,20 @@ interface BaseData {
     /** Type-token, not available at runtime */
     readonly '~repr': unknown;
 }
+/**
+ * Represents a 64-bit integer.
+ */
+interface AbstractInt {
+    readonly type: 'abstractInt';
+    readonly '~repr': number;
+}
+/**
+ * Represents a 64-bit IEEE 754 floating point number.
+ */
+interface AbstractFloat {
+    readonly type: 'abstractFloat';
+    readonly '~repr': number;
+}
 interface Swizzle2<T2, T3, T4> {
     readonly xx: T2;
     readonly xy: T2;
@@ -807,6 +829,9 @@ interface v4u extends NumberArrayView, Swizzle4<v2u, v3u, v4u> {
     w: number;
 }
 type AnyVecInstance = v2f | v2h | v2i | v2u | v3f | v3h | v3i | v3u | v4f | v4h | v4i | v4u;
+type AnyVec2Instance = v2f | v2h | v2i | v2u;
+type AnyVec3Instance = v3f | v3h | v3i | v3u;
+type AnyVec4Instance = v4f | v4h | v4i | v4u;
 type VecKind = AnyVecInstance['kind'];
 interface matBase<TColumn> extends NumberArrayView {
     readonly columns: readonly TColumn[];
@@ -917,6 +942,7 @@ interface Vec2f {
     (x: number, y: number): v2f;
     (xy: number): v2f;
     (): v2f;
+    (v: AnyVec2Instance): v2f;
 }
 /**
  * Type of the `d.vec2h` object/function: vector data type schema/constructor
@@ -928,6 +954,7 @@ interface Vec2h {
     (x: number, y: number): v2h;
     (xy: number): v2h;
     (): v2h;
+    (v: AnyVec2Instance): v2h;
 }
 /**
  * Type of the `d.vec2i` object/function: vector data type schema/constructor
@@ -939,6 +966,7 @@ interface Vec2i {
     (x: number, y: number): v2i;
     (xy: number): v2i;
     (): v2i;
+    (v: AnyVec2Instance): v2i;
 }
 /**
  * Type of the `d.vec2u` object/function: vector data type schema/constructor
@@ -950,6 +978,7 @@ interface Vec2u {
     (x: number, y: number): v2u;
     (xy: number): v2u;
     (): v2u;
+    (v: AnyVec2Instance): v2u;
 }
 /**
  * Type of the `d.vec3f` object/function: vector data type schema/constructor
@@ -961,6 +990,9 @@ interface Vec3f {
     (x: number, y: number, z: number): v3f;
     (xyz: number): v3f;
     (): v3f;
+    (v: AnyVec3Instance): v3f;
+    (v0: AnyVec2Instance, z: number): v3f;
+    (x: number, v0: AnyVec2Instance): v3f;
 }
 /**
  * Type of the `d.vec3h` object/function: vector data type schema/constructor
@@ -972,6 +1004,9 @@ interface Vec3h {
     (x: number, y: number, z: number): v3h;
     (xyz: number): v3h;
     (): v3h;
+    (v: AnyVec3Instance): v3h;
+    (v0: AnyVec2Instance, z: number): v3h;
+    (x: number, v0: AnyVec2Instance): v3h;
 }
 /**
  * Type of the `d.vec3i` object/function: vector data type schema/constructor
@@ -983,6 +1018,9 @@ interface Vec3i {
     (x: number, y: number, z: number): v3i;
     (xyz: number): v3i;
     (): v3i;
+    (v: AnyVec3Instance): v3i;
+    (v0: AnyVec2Instance, z: number): v3i;
+    (x: number, v0: AnyVec2Instance): v3i;
 }
 /**
  * Type of the `d.vec3u` object/function: vector data type schema/constructor
@@ -994,6 +1032,9 @@ interface Vec3u {
     (x: number, y: number, z: number): v3u;
     (xyz: number): v3u;
     (): v3u;
+    (v: AnyVec3Instance): v3u;
+    (v0: AnyVec2Instance, z: number): v3u;
+    (x: number, v0: AnyVec2Instance): v3u;
 }
 /**
  * Type of the `d.vec4f` object/function: vector data type schema/constructor
@@ -1005,6 +1046,13 @@ interface Vec4f {
     (x: number, y: number, z: number, w: number): v4f;
     (xyzw: number): v4f;
     (): v4f;
+    (v: AnyVec4Instance): v4f;
+    (v0: AnyVec3Instance, w: number): v4f;
+    (x: number, v0: AnyVec3Instance): v4f;
+    (v0: AnyVec2Instance, v1: AnyVec2Instance): v4f;
+    (v0: AnyVec2Instance, z: number, w: number): v4f;
+    (x: number, v0: AnyVec2Instance, z: number): v4f;
+    (x: number, y: number, v0: AnyVec2Instance): v4f;
 }
 /**
  * Type of the `d.vec4h` object/function: vector data type schema/constructor
@@ -1016,6 +1064,13 @@ interface Vec4h {
     (x: number, y: number, z: number, w: number): v4h;
     (xyzw: number): v4h;
     (): v4h;
+    (v: AnyVec4Instance): v4h;
+    (v0: AnyVec3Instance, w: number): v4h;
+    (x: number, v0: AnyVec3Instance): v4h;
+    (v0: AnyVec2Instance, v1: AnyVec2Instance): v4h;
+    (v0: AnyVec2Instance, z: number, w: number): v4h;
+    (x: number, v0: AnyVec2Instance, z: number): v4h;
+    (x: number, y: number, v0: AnyVec2Instance): v4h;
 }
 /**
  * Type of the `d.vec4i` object/function: vector data type schema/constructor
@@ -1027,6 +1082,13 @@ interface Vec4i {
     (x: number, y: number, z: number, w: number): v4i;
     (xyzw: number): v4i;
     (): v4i;
+    (v: AnyVec4Instance): v4i;
+    (v0: AnyVec3Instance, w: number): v4i;
+    (x: number, v0: AnyVec3Instance): v4i;
+    (v0: AnyVec2Instance, v1: AnyVec2Instance): v4i;
+    (v0: AnyVec2Instance, z: number, w: number): v4i;
+    (x: number, v0: AnyVec2Instance, z: number): v4i;
+    (x: number, y: number, v0: AnyVec2Instance): v4i;
 }
 /**
  * Type of the `d.vec4u` object/function: vector data type schema/constructor
@@ -1038,6 +1100,13 @@ interface Vec4u {
     (x: number, y: number, z: number, w: number): v4u;
     (xyzw: number): v4u;
     (): v4u;
+    (v: AnyVec4Instance): v4u;
+    (v0: AnyVec3Instance, w: number): v4u;
+    (x: number, v0: AnyVec3Instance): v4u;
+    (v0: AnyVec2Instance, v1: AnyVec2Instance): v4u;
+    (v0: AnyVec2Instance, z: number, w: number): v4u;
+    (x: number, v0: AnyVec2Instance, z: number): v4u;
+    (x: number, y: number, v0: AnyVec2Instance): v4u;
 }
 /**
  * Type of the `d.mat2x2f` object/function: matrix data type schema/constructor
@@ -1085,15 +1154,21 @@ interface WgslArray<TElement extends BaseData = BaseData> {
     readonly elementType: TElement;
     /** Type-token, not available at runtime */
     readonly '~repr': Infer<TElement>[];
+    readonly '~gpuRepr': InferGPU<TElement>[];
     readonly '~reprPartial': {
         idx: number;
         value: InferPartial<TElement>;
     }[];
     readonly '~memIdent': WgslArray<MemIdentity<TElement>>;
 }
-interface PtrFn<TInner = BaseData> {
-    readonly type: 'ptrFn';
+type AddressSpace = 'uniform' | 'storage' | 'workgroup' | 'private' | 'function' | 'handle';
+type Access = 'read' | 'write' | 'read-write';
+interface Ptr<TAddr extends AddressSpace = AddressSpace, TInner extends BaseData = BaseData, // can also be sampler or texture (╯'□')╯︵ ┻━┻
+TAccess extends Access = Access> {
+    readonly type: 'ptr';
     readonly inner: TInner;
+    readonly addressSpace: TAddr;
+    readonly access: TAccess;
     /** Type-token, not available at runtime */
     readonly '~repr': Infer<TInner>;
 }
@@ -1105,8 +1180,15 @@ interface Atomic<TInner extends U32 | I32 = U32 | I32> {
     readonly inner: TInner;
     /** Type-token, not available at runtime */
     readonly '~repr': Infer<TInner>;
+    readonly '~gpuRepr': TInner extends U32 ? atomicU32 : atomicI32;
     readonly '~memIdent': MemIdentity<TInner>;
 }
+interface atomicU32 {
+    type: 'atomicU32';
+}
+interface atomicI32 {
+    type: 'atomicI32';
+}
 interface Align<T extends number> {
     readonly type: '@align';
     readonly value: T;
@@ -1136,13 +1218,15 @@ interface Decorated<TInner extends BaseData = BaseData, TAttribs extends unknown
     readonly attribs: TAttribs;
     /** Type-token, not available at runtime */
     readonly '~repr': Infer<TInner>;
+    readonly '~gpuRepr': InferGPU<TInner>;
+    readonly '~reprPartial': InferPartial<TInner>;
     readonly '~memIdent': TAttribs extends Location<number>[] ? MemIdentity<TInner> | Decorated<MemIdentity<TInner>, TAttribs> : Decorated<MemIdentity<TInner>, TAttribs>;
 }
-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", "ptrFn", "atomic", "decorated"];
+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", "ptr", "atomic", "decorated", "abstractInt", "abstractFloat"];
 type WgslTypeLiteral = (typeof wgslTypeLiterals)[number];
 type PerspectiveOrLinearInterpolatableData = F32 | F16 | Vec2f | Vec2h | Vec3f | Vec3h | Vec4f | Vec4h;
 type FlatInterpolatableData = PerspectiveOrLinearInterpolatableData | I32 | U32 | Vec2i | Vec2u | Vec3i | Vec3u | Vec4i | Vec4u;
-type AnyWgslData = Bool | F32 | F16 | I32 | U32 | Vec2f | Vec2h | Vec2i | Vec2u | Vec3f | Vec3h | Vec3i | Vec3u | Vec4f | Vec4h | Vec4i | Vec4u | Mat2x2f | Mat3x3f | Mat4x4f | AnyWgslStruct | WgslArray | PtrFn | Atomic | Decorated;
+type AnyWgslData = Bool | F32 | F16 | I32 | U32 | Vec2f | Vec2h | Vec2i | Vec2u | Vec3f | Vec3h | Vec3i | Vec3u | Vec4f | Vec4h | Vec4i | Vec4u | Mat2x2f | Mat3x3f | Mat4x4f | AnyWgslStruct | WgslArray | Ptr | Atomic | Decorated | AbstractInt | AbstractFloat;
 declare function isWgslData(value: unknown): value is AnyWgslData;
 /**
  * Checks whether passed in value is an array schema,
@@ -1177,7 +1261,7 @@ declare function isWgslStruct<T extends WgslStruct>(schema: T | unknown): schema
  * isPtrFn(d.ptrFn(d.f32)) // true
  * isPtrFn(d.f32) // false
  */
-declare function isPtrFn<T extends PtrFn>(schema: T | unknown): schema is T;
+declare function isPtr<T extends Ptr>(schema: T | unknown): schema is T;
 /**
  * Checks whether the passed in value is an atomic schema.
  *
@@ -1193,4 +1277,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 { 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 KindToDefaultFormatMap 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 WgslStruct 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 LooseTypeLiteral as bc, type PerspectiveOrLinearInterpolationType as bd, type PerspectiveOrLinearInterpolatableData as be, type FlatInterpolationType as bf, type FlatInterpolatableData as bg, type VecKind as bh, type vBaseForMat as bi, type v2h as bj, type v3h as bk, type v4h as bl, 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 WgslArray as q, type Disarray as r, type Unstruct as s, type VertexFormat as t, type TgpuVertexAttrib as u, type KindToAcceptedAttribMap as v, type AnyData as w, type WgslTypeLiteral as x, type InferPartial as y, type MemIdentity as z };
+export { type Atomic as $, type AnyWgslData as A, type BaseData as B, type InferGPU as C, type Decorated as D, type AbstractInt as E, type F32 as F, type AbstractFloat as G, type AnyVecInstance as H, type Infer as I, type AnyMatInstance as J, type KindToDefaultFormatMap as K, type Location as L, type Mutable as M, type Bool as N, type OmitProps as O, type Prettify as P, type Ptr as Q, type Mat2x2f as R, type Mat3x3f as S, type TgpuNamable as T, type U32 as U, type Vec2f as V, type WgslStruct as W, type Mat4x4f as X, type m2x2f as Y, type m3x3f as Z, type m4x4f as _, type F16 as a, float32 as a$, isWgslData as a0, isWgslArray as a1, isWgslStruct as a2, isPtr as a3, isAtomic as a4, isDecorated as a5, isAlignAttrib as a6, isBuiltinAttrib as a7, isLocationAttrib as a8, isInterpolateAttrib as a9, uint8 as aA, uint8x2 as aB, uint8x4 as aC, sint8 as aD, sint8x2 as aE, sint8x4 as aF, unorm8 as aG, unorm8x2 as aH, unorm8x4 as aI, snorm8 as aJ, snorm8x2 as aK, snorm8x4 as aL, uint16 as aM, uint16x2 as aN, uint16x4 as aO, sint16 as aP, sint16x2 as aQ, sint16x4 as aR, unorm16 as aS, unorm16x2 as aT, unorm16x4 as aU, snorm16 as aV, snorm16x2 as aW, snorm16x4 as aX, float16 as aY, float16x2 as aZ, float16x4 as a_, isSizeAttrib as aa, type Size as ab, type Align as ac, type Builtin as ad, type Interpolate as ae, type v2f as af, type v2i as ag, type v2u as ah, type v3f as ai, type v3i as aj, type v3u as ak, type v4f as al, type v4i as am, type v4u as an, struct as ao, type LooseDecorated as ap, type AnyLooseData as aq, isDisarray as ar, isUnstruct as as, isLooseDecorated as at, isData as au, isLooseData as av, type FormatToWGSLType as aw, type TgpuVertexFormatData as ax, formatToWGSLType as ay, packedFormats as az, type I32 as b, float32x2 as b0, float32x3 as b1, float32x4 as b2, uint32 as b3, uint32x2 as b4, uint32x3 as b5, uint32x4 as b6, sint32 as b7, sint32x2 as b8, sint32x3 as b9, sint32x4 as ba, unorm10_10_10_2 as bb, unorm8x4_bgra as bc, type PackedData as bd, type InterpolationType as be, type LooseTypeLiteral as bf, type PerspectiveOrLinearInterpolationType as bg, type PerspectiveOrLinearInterpolatableData as bh, type FlatInterpolationType as bi, type FlatInterpolatableData as bj, type VecKind as bk, type vBaseForMat as bl, type v2h as bm, type v3h as bn, type v4h as bo, type atomicI32 as bp, type atomicU32 as bq, 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 WgslArray as q, type Disarray as r, type Unstruct as s, type VertexFormat as t, type TgpuVertexAttrib as u, type KindToAcceptedAttribMap as v, type AnyData as w, type WgslTypeLiteral as x, type InferPartial as y, type MemIdentity as z };

package/{wgslTypes-D0JqCGnw.d.cts → wgslTypes-VtSRoe90.d.ts}

@@ -6,6 +6,24 @@ 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`
+ */
+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];
+};
+
 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];
 declare const kindToDefaultFormatMap: {
@@ -236,8 +254,8 @@ interface Unstruct<TProps extends Record<string, BaseData> = Record<string, Base
     readonly label?: string | undefined;
     readonly type: 'unstruct';
     readonly propTypes: TProps;
-    readonly '~repr': InferRecord<TProps>;
-    readonly '~reprPartial': Partial<InferPartialRecord<TProps>>;
+    readonly '~repr': Prettify<InferRecord<TProps>>;
+    readonly '~reprPartial': Prettify<Partial<InferPartialRecord<TProps>>>;
 }
 interface LooseDecorated<TInner extends BaseData = BaseData, TAttribs extends unknown[] = unknown[]> {
     readonly type: 'loose-decorated';
@@ -295,12 +313,18 @@ type InferPartial<T> = T extends {
 } ? TRepr : T extends {
     readonly '~repr': infer TRepr;
 } ? TRepr | undefined : T extends Record<string | number | symbol, unknown> ? InferPartialRecord<T> : T;
+type InferGPU<T> = T extends {
+    readonly '~gpuRepr': infer TRepr;
+} ? TRepr : Infer<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 InferGPURecord<T extends Record<string | number | symbol, unknown>> = {
+    [Key in keyof T]: InferGPU<T[Key]>;
+};
 type MemIdentity<T> = T extends {
     readonly '~memIdent': infer TMemIdent extends AnyData;
 } ? TMemIdent : T;
@@ -308,24 +332,6 @@ type MemIdentityRecord<T extends Record<string | number | symbol, unknown>> = {
     [Key in keyof T]: MemIdentity<T[Key]>;
 };
 
-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.
  *
@@ -339,11 +345,13 @@ interface WgslStruct<TProps extends Record<string, BaseData> = Record<string, Ba
     readonly label?: string | undefined;
     readonly propTypes: TProps;
     /** Type-token, not available at runtime */
-    readonly '~repr': InferRecord<TProps>;
+    readonly '~repr': Prettify<InferRecord<TProps>>;
+    /** Type-token, not available at runtime */
+    readonly '~gpuRepr': InferGPURecord<TProps>;
     /** Type-token, not available at runtime */
     readonly '~memIdent': WgslStruct<MemIdentityRecord<TProps>>;
     /** Type-token, not available at runtime */
-    readonly '~reprPartial': Partial<InferPartialRecord<TProps>>;
+    readonly '~reprPartial': Prettify<Partial<InferPartialRecord<TProps>>>;
 }
 type AnyWgslStruct = WgslStruct<any>;
 /**
@@ -369,6 +377,20 @@ interface BaseData {
     /** Type-token, not available at runtime */
     readonly '~repr': unknown;
 }
+/**
+ * Represents a 64-bit integer.
+ */
+interface AbstractInt {
+    readonly type: 'abstractInt';
+    readonly '~repr': number;
+}
+/**
+ * Represents a 64-bit IEEE 754 floating point number.
+ */
+interface AbstractFloat {
+    readonly type: 'abstractFloat';
+    readonly '~repr': number;
+}
 interface Swizzle2<T2, T3, T4> {
     readonly xx: T2;
     readonly xy: T2;
@@ -807,6 +829,9 @@ interface v4u extends NumberArrayView, Swizzle4<v2u, v3u, v4u> {
     w: number;
 }
 type AnyVecInstance = v2f | v2h | v2i | v2u | v3f | v3h | v3i | v3u | v4f | v4h | v4i | v4u;
+type AnyVec2Instance = v2f | v2h | v2i | v2u;
+type AnyVec3Instance = v3f | v3h | v3i | v3u;
+type AnyVec4Instance = v4f | v4h | v4i | v4u;
 type VecKind = AnyVecInstance['kind'];
 interface matBase<TColumn> extends NumberArrayView {
     readonly columns: readonly TColumn[];
@@ -917,6 +942,7 @@ interface Vec2f {
     (x: number, y: number): v2f;
     (xy: number): v2f;
     (): v2f;
+    (v: AnyVec2Instance): v2f;
 }
 /**
  * Type of the `d.vec2h` object/function: vector data type schema/constructor
@@ -928,6 +954,7 @@ interface Vec2h {
     (x: number, y: number): v2h;
     (xy: number): v2h;
     (): v2h;
+    (v: AnyVec2Instance): v2h;
 }
 /**
  * Type of the `d.vec2i` object/function: vector data type schema/constructor
@@ -939,6 +966,7 @@ interface Vec2i {
     (x: number, y: number): v2i;
     (xy: number): v2i;
     (): v2i;
+    (v: AnyVec2Instance): v2i;
 }
 /**
  * Type of the `d.vec2u` object/function: vector data type schema/constructor
@@ -950,6 +978,7 @@ interface Vec2u {
     (x: number, y: number): v2u;
     (xy: number): v2u;
     (): v2u;
+    (v: AnyVec2Instance): v2u;
 }
 /**
  * Type of the `d.vec3f` object/function: vector data type schema/constructor
@@ -961,6 +990,9 @@ interface Vec3f {
     (x: number, y: number, z: number): v3f;
     (xyz: number): v3f;
     (): v3f;
+    (v: AnyVec3Instance): v3f;
+    (v0: AnyVec2Instance, z: number): v3f;
+    (x: number, v0: AnyVec2Instance): v3f;
 }
 /**
  * Type of the `d.vec3h` object/function: vector data type schema/constructor
@@ -972,6 +1004,9 @@ interface Vec3h {
     (x: number, y: number, z: number): v3h;
     (xyz: number): v3h;
     (): v3h;
+    (v: AnyVec3Instance): v3h;
+    (v0: AnyVec2Instance, z: number): v3h;
+    (x: number, v0: AnyVec2Instance): v3h;
 }
 /**
  * Type of the `d.vec3i` object/function: vector data type schema/constructor
@@ -983,6 +1018,9 @@ interface Vec3i {
     (x: number, y: number, z: number): v3i;
     (xyz: number): v3i;
     (): v3i;
+    (v: AnyVec3Instance): v3i;
+    (v0: AnyVec2Instance, z: number): v3i;
+    (x: number, v0: AnyVec2Instance): v3i;
 }
 /**
  * Type of the `d.vec3u` object/function: vector data type schema/constructor
@@ -994,6 +1032,9 @@ interface Vec3u {
     (x: number, y: number, z: number): v3u;
     (xyz: number): v3u;
     (): v3u;
+    (v: AnyVec3Instance): v3u;
+    (v0: AnyVec2Instance, z: number): v3u;
+    (x: number, v0: AnyVec2Instance): v3u;
 }
 /**
  * Type of the `d.vec4f` object/function: vector data type schema/constructor
@@ -1005,6 +1046,13 @@ interface Vec4f {
     (x: number, y: number, z: number, w: number): v4f;
     (xyzw: number): v4f;
     (): v4f;
+    (v: AnyVec4Instance): v4f;
+    (v0: AnyVec3Instance, w: number): v4f;
+    (x: number, v0: AnyVec3Instance): v4f;
+    (v0: AnyVec2Instance, v1: AnyVec2Instance): v4f;
+    (v0: AnyVec2Instance, z: number, w: number): v4f;
+    (x: number, v0: AnyVec2Instance, z: number): v4f;
+    (x: number, y: number, v0: AnyVec2Instance): v4f;
 }
 /**
  * Type of the `d.vec4h` object/function: vector data type schema/constructor
@@ -1016,6 +1064,13 @@ interface Vec4h {
     (x: number, y: number, z: number, w: number): v4h;
     (xyzw: number): v4h;
     (): v4h;
+    (v: AnyVec4Instance): v4h;
+    (v0: AnyVec3Instance, w: number): v4h;
+    (x: number, v0: AnyVec3Instance): v4h;
+    (v0: AnyVec2Instance, v1: AnyVec2Instance): v4h;
+    (v0: AnyVec2Instance, z: number, w: number): v4h;
+    (x: number, v0: AnyVec2Instance, z: number): v4h;
+    (x: number, y: number, v0: AnyVec2Instance): v4h;
 }
 /**
  * Type of the `d.vec4i` object/function: vector data type schema/constructor
@@ -1027,6 +1082,13 @@ interface Vec4i {
     (x: number, y: number, z: number, w: number): v4i;
     (xyzw: number): v4i;
     (): v4i;
+    (v: AnyVec4Instance): v4i;
+    (v0: AnyVec3Instance, w: number): v4i;
+    (x: number, v0: AnyVec3Instance): v4i;
+    (v0: AnyVec2Instance, v1: AnyVec2Instance): v4i;
+    (v0: AnyVec2Instance, z: number, w: number): v4i;
+    (x: number, v0: AnyVec2Instance, z: number): v4i;
+    (x: number, y: number, v0: AnyVec2Instance): v4i;
 }
 /**
  * Type of the `d.vec4u` object/function: vector data type schema/constructor
@@ -1038,6 +1100,13 @@ interface Vec4u {
     (x: number, y: number, z: number, w: number): v4u;
     (xyzw: number): v4u;
     (): v4u;
+    (v: AnyVec4Instance): v4u;
+    (v0: AnyVec3Instance, w: number): v4u;
+    (x: number, v0: AnyVec3Instance): v4u;
+    (v0: AnyVec2Instance, v1: AnyVec2Instance): v4u;
+    (v0: AnyVec2Instance, z: number, w: number): v4u;
+    (x: number, v0: AnyVec2Instance, z: number): v4u;
+    (x: number, y: number, v0: AnyVec2Instance): v4u;
 }
 /**
  * Type of the `d.mat2x2f` object/function: matrix data type schema/constructor
@@ -1085,15 +1154,21 @@ interface WgslArray<TElement extends BaseData = BaseData> {
     readonly elementType: TElement;
     /** Type-token, not available at runtime */
     readonly '~repr': Infer<TElement>[];
+    readonly '~gpuRepr': InferGPU<TElement>[];
     readonly '~reprPartial': {
         idx: number;
         value: InferPartial<TElement>;
     }[];
     readonly '~memIdent': WgslArray<MemIdentity<TElement>>;
 }
-interface PtrFn<TInner = BaseData> {
-    readonly type: 'ptrFn';
+type AddressSpace = 'uniform' | 'storage' | 'workgroup' | 'private' | 'function' | 'handle';
+type Access = 'read' | 'write' | 'read-write';
+interface Ptr<TAddr extends AddressSpace = AddressSpace, TInner extends BaseData = BaseData, // can also be sampler or texture (╯'□')╯︵ ┻━┻
+TAccess extends Access = Access> {
+    readonly type: 'ptr';
     readonly inner: TInner;
+    readonly addressSpace: TAddr;
+    readonly access: TAccess;
     /** Type-token, not available at runtime */
     readonly '~repr': Infer<TInner>;
 }
@@ -1105,8 +1180,15 @@ interface Atomic<TInner extends U32 | I32 = U32 | I32> {
     readonly inner: TInner;
     /** Type-token, not available at runtime */
     readonly '~repr': Infer<TInner>;
+    readonly '~gpuRepr': TInner extends U32 ? atomicU32 : atomicI32;
     readonly '~memIdent': MemIdentity<TInner>;
 }
+interface atomicU32 {
+    type: 'atomicU32';
+}
+interface atomicI32 {
+    type: 'atomicI32';
+}
 interface Align<T extends number> {
     readonly type: '@align';
     readonly value: T;
@@ -1136,13 +1218,15 @@ interface Decorated<TInner extends BaseData = BaseData, TAttribs extends unknown
     readonly attribs: TAttribs;
     /** Type-token, not available at runtime */
     readonly '~repr': Infer<TInner>;
+    readonly '~gpuRepr': InferGPU<TInner>;
+    readonly '~reprPartial': InferPartial<TInner>;
     readonly '~memIdent': TAttribs extends Location<number>[] ? MemIdentity<TInner> | Decorated<MemIdentity<TInner>, TAttribs> : Decorated<MemIdentity<TInner>, TAttribs>;
 }
-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", "ptrFn", "atomic", "decorated"];
+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", "ptr", "atomic", "decorated", "abstractInt", "abstractFloat"];
 type WgslTypeLiteral = (typeof wgslTypeLiterals)[number];
 type PerspectiveOrLinearInterpolatableData = F32 | F16 | Vec2f | Vec2h | Vec3f | Vec3h | Vec4f | Vec4h;
 type FlatInterpolatableData = PerspectiveOrLinearInterpolatableData | I32 | U32 | Vec2i | Vec2u | Vec3i | Vec3u | Vec4i | Vec4u;
-type AnyWgslData = Bool | F32 | F16 | I32 | U32 | Vec2f | Vec2h | Vec2i | Vec2u | Vec3f | Vec3h | Vec3i | Vec3u | Vec4f | Vec4h | Vec4i | Vec4u | Mat2x2f | Mat3x3f | Mat4x4f | AnyWgslStruct | WgslArray | PtrFn | Atomic | Decorated;
+type AnyWgslData = Bool | F32 | F16 | I32 | U32 | Vec2f | Vec2h | Vec2i | Vec2u | Vec3f | Vec3h | Vec3i | Vec3u | Vec4f | Vec4h | Vec4i | Vec4u | Mat2x2f | Mat3x3f | Mat4x4f | AnyWgslStruct | WgslArray | Ptr | Atomic | Decorated | AbstractInt | AbstractFloat;
 declare function isWgslData(value: unknown): value is AnyWgslData;
 /**
  * Checks whether passed in value is an array schema,
@@ -1177,7 +1261,7 @@ declare function isWgslStruct<T extends WgslStruct>(schema: T | unknown): schema
  * isPtrFn(d.ptrFn(d.f32)) // true
  * isPtrFn(d.f32) // false
  */
-declare function isPtrFn<T extends PtrFn>(schema: T | unknown): schema is T;
+declare function isPtr<T extends Ptr>(schema: T | unknown): schema is T;
 /**
  * Checks whether the passed in value is an atomic schema.
  *
@@ -1193,4 +1277,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 { 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 KindToDefaultFormatMap 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 WgslStruct 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 LooseTypeLiteral as bc, type PerspectiveOrLinearInterpolationType as bd, type PerspectiveOrLinearInterpolatableData as be, type FlatInterpolationType as bf, type FlatInterpolatableData as bg, type VecKind as bh, type vBaseForMat as bi, type v2h as bj, type v3h as bk, type v4h as bl, 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 WgslArray as q, type Disarray as r, type Unstruct as s, type VertexFormat as t, type TgpuVertexAttrib as u, type KindToAcceptedAttribMap as v, type AnyData as w, type WgslTypeLiteral as x, type InferPartial as y, type MemIdentity as z };
+export { type Atomic as $, type AnyWgslData as A, type BaseData as B, type InferGPU as C, type Decorated as D, type AbstractInt as E, type F32 as F, type AbstractFloat as G, type AnyVecInstance as H, type Infer as I, type AnyMatInstance as J, type KindToDefaultFormatMap as K, type Location as L, type Mutable as M, type Bool as N, type OmitProps as O, type Prettify as P, type Ptr as Q, type Mat2x2f as R, type Mat3x3f as S, type TgpuNamable as T, type U32 as U, type Vec2f as V, type WgslStruct as W, type Mat4x4f as X, type m2x2f as Y, type m3x3f as Z, type m4x4f as _, type F16 as a, float32 as a$, isWgslData as a0, isWgslArray as a1, isWgslStruct as a2, isPtr as a3, isAtomic as a4, isDecorated as a5, isAlignAttrib as a6, isBuiltinAttrib as a7, isLocationAttrib as a8, isInterpolateAttrib as a9, uint8 as aA, uint8x2 as aB, uint8x4 as aC, sint8 as aD, sint8x2 as aE, sint8x4 as aF, unorm8 as aG, unorm8x2 as aH, unorm8x4 as aI, snorm8 as aJ, snorm8x2 as aK, snorm8x4 as aL, uint16 as aM, uint16x2 as aN, uint16x4 as aO, sint16 as aP, sint16x2 as aQ, sint16x4 as aR, unorm16 as aS, unorm16x2 as aT, unorm16x4 as aU, snorm16 as aV, snorm16x2 as aW, snorm16x4 as aX, float16 as aY, float16x2 as aZ, float16x4 as a_, isSizeAttrib as aa, type Size as ab, type Align as ac, type Builtin as ad, type Interpolate as ae, type v2f as af, type v2i as ag, type v2u as ah, type v3f as ai, type v3i as aj, type v3u as ak, type v4f as al, type v4i as am, type v4u as an, struct as ao, type LooseDecorated as ap, type AnyLooseData as aq, isDisarray as ar, isUnstruct as as, isLooseDecorated as at, isData as au, isLooseData as av, type FormatToWGSLType as aw, type TgpuVertexFormatData as ax, formatToWGSLType as ay, packedFormats as az, type I32 as b, float32x2 as b0, float32x3 as b1, float32x4 as b2, uint32 as b3, uint32x2 as b4, uint32x3 as b5, uint32x4 as b6, sint32 as b7, sint32x2 as b8, sint32x3 as b9, sint32x4 as ba, unorm10_10_10_2 as bb, unorm8x4_bgra as bc, type PackedData as bd, type InterpolationType as be, type LooseTypeLiteral as bf, type PerspectiveOrLinearInterpolationType as bg, type PerspectiveOrLinearInterpolatableData as bh, type FlatInterpolationType as bi, type FlatInterpolatableData as bj, type VecKind as bk, type vBaseForMat as bl, type v2h as bm, type v3h as bn, type v4h as bo, type atomicI32 as bp, type atomicU32 as bq, 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 WgslArray as q, type Disarray as r, type Unstruct as s, type VertexFormat as t, type TgpuVertexAttrib as u, type KindToAcceptedAttribMap as v, type AnyData as w, type WgslTypeLiteral as x, type InferPartial as y, type MemIdentity as z };