typegpu 0.5.3 → 0.5.5

package/std/index.d.cts

@@ -1,117 +1,260 @@
-import { bk as VecKind, J as AnyMatInstance, bl as vBaseForMat, ai as v3f, aj as v3i, ak as v3u, af as v2f, al as v4f, bm as v2h, bn as v3h, bo as v4h, bp as atomicI32, bq as atomicU32 } from '../wgslTypes-VtSRoe90.cjs';
+import { bn as TgpuDualFn, bo as AnyNumericVecInstance, H as AnyMatInstance, bp as vBaseForMat, bq as AnyFloatVecInstance, am as v3f, br as v3h, G as AnyVecInstance, bs as AnyVec2Instance, bt as v2b, bu as AnyVec3Instance, bv as v3b, bw as v4b, bx as AnyBooleanVecInstance, by as ScalarData, bz as atomicI32, bA as atomicU32, ap as v4f, aj as v2f, ak as v2i, an as v3i } from '../dataTypes-ts2Ccted.cjs';
+import { d as TgpuSampledTexture, e as TgpuSampler } from '../sampler-DeX4AnIZ.cjs';
 
-declare const discard: () => never;
+declare const discard: TgpuDualFn<() => never>;
 
-type vBase = {
-    kind: VecKind;
-};
-declare const add: <T extends vBase>(lhs: T, rhs: T) => T;
-declare const sub: <T extends vBase>(lhs: T, rhs: T) => T;
+declare const add: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T)>;
+declare const sub: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T)>;
 type MulOverload = {
     <T extends AnyMatInstance, TVec extends vBaseForMat<T>>(s: T, v: TVec): TVec;
     <T extends AnyMatInstance, TVec extends vBaseForMat<T>>(s: TVec, v: T): TVec;
-    <T extends vBase | AnyMatInstance>(s: number | T, v: T): T;
+    <T extends AnyNumericVecInstance | AnyMatInstance>(s: number | T, v: T): T;
 };
 declare const mul: MulOverload;
-declare const abs: <T extends vBase | number>(value: T) => T;
-declare const atan2: <T extends vBase | number>(y: T, x: T) => T;
-declare const acos: <T extends vBase | number>(value: T) => T;
-declare const asin: <T extends vBase | number>(value: T) => T;
+declare const abs: TgpuDualFn<(<T extends AnyNumericVecInstance | number>(value: T) => T)>;
+declare const atan2: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(y: T, x: T) => T)>;
+declare const acos: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
+declare const asin: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#ceil-builtin
  */
-declare const ceil: <T extends vBase | number>(value: T) => T;
+declare const ceil: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#clamp
  */
-declare const clamp: <T extends vBase | number>(value: T, low: T, high: T) => T;
+declare const clamp: TgpuDualFn<(<T extends AnyNumericVecInstance | number>(value: T, low: T, high: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#cos-builtin
  */
-declare const cos: <T extends vBase | number>(value: T) => T;
+declare const cos: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#cross-builtin
  */
-declare const cross: <T extends v3f | v3i | v3u>(a: T, b: T) => T;
+declare const cross: TgpuDualFn<(<T extends v3f | v3h>(a: T, b: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#dot-builtin
  */
-declare const dot: <T extends vBase>(lhs: T, rhs: T) => number;
-declare const normalize: <T extends vBase>(v: T) => T;
+declare const dot: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => number)>;
+declare const normalize: TgpuDualFn<(<T extends AnyFloatVecInstance>(v: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#floor-builtin
  */
-declare const floor: <T extends vBase | number>(value: T) => T;
-declare const fract: <T extends vBase | number>(a: T) => T;
+declare const floor: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
+declare const fract: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(a: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#length-builtin
  */
-declare const length: <T extends vBase | number>(value: T) => number;
+declare const length: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => number)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#max-float-builtin
  */
-declare const max: <T extends vBase | number>(a: T, b: T) => T;
+declare const max: TgpuDualFn<(<T extends AnyNumericVecInstance | number>(a: T, b: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#min-float-builtin
  */
-declare const min: <T extends vBase | number>(a: T, b: T) => T;
+declare const min: TgpuDualFn<(<T extends AnyNumericVecInstance | number>(a: T, b: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#sin-builtin
  */
-declare const sin: <T extends vBase | number>(value: T) => T;
+declare const sin: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#exp-builtin
  */
-declare const exp: <T extends vBase | number>(value: T) => T;
+declare const exp: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 type PowOverload = {
     (base: number, exponent: number): number;
-    <T extends v2f | v3f | v4f | v2h | v3h | v4h>(base: T, exponent: T): T;
+    <T extends AnyFloatVecInstance>(base: T, exponent: T): T;
 };
 declare const pow: PowOverload;
 type MixOverload = {
     (e1: number, e2: number, e3: number): number;
-    <T extends v2f | v3f | v4f | v2h | v3h | v4h>(e1: T, e2: T, e3: number): T;
-    <T extends v2f | v3f | v4f | v2h | v3h | v4h>(e1: T, e2: T, e3: T): T;
+    <T extends AnyFloatVecInstance>(e1: T, e2: T, e3: number): T;
+    <T extends AnyFloatVecInstance>(e1: T, e2: T, e3: T): T;
 };
 declare const mix: MixOverload;
-declare const reflect: <T extends vBase>(e1: T, e2: T) => T;
-declare const distance: <T extends vBase | number>(a: T, b: T) => number;
+declare const reflect: TgpuDualFn<(<T extends AnyFloatVecInstance>(e1: T, e2: T) => T)>;
+declare const distance: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(a: T, b: T) => number)>;
+declare const neg: TgpuDualFn<(<T extends AnyNumericVecInstance | number>(value: T) => T)>;
+
+/**
+ * Checks whether `lhs == rhs` on all components.
+ * Equivalent to `all(eq(lhs, rhs))`.
+ * @example
+ * allEq(vec2f(0.0, 1.0), vec2f(0.0, 2.0)) // returns false
+ * allEq(vec3u(0, 1, 2), vec3u(0, 1, 2)) // returns true
+ */
+declare const allEq: TgpuDualFn<(<T extends AnyVecInstance>(lhs: T, rhs: T) => boolean)>;
+/**
+ * Checks **component-wise** whether `lhs == rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `all`, or use `allEq`.
+ * @example
+ * eq(vec2f(0.0, 1.0), vec2f(0.0, 2.0)) // returns vec2b(true, false)
+ * eq(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(false, true, false)
+ * all(eq(vec4i(4, 3, 2, 1), vec4i(4, 3, 2, 1))) // returns true
+ * allEq(vec4i(4, 3, 2, 1), vec4i(4, 3, 2, 1)) // returns true
+ */
+declare const eq: TgpuDualFn<(<T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Checks **component-wise** whether `lhs != rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `any`.
+ * @example
+ * ne(vec2f(0.0, 1.0), vec2f(0.0, 2.0)) // returns vec2b(false, true)
+ * ne(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(true, false, true)
+ * any(ne(vec4i(4, 3, 2, 1), vec4i(4, 2, 2, 1))) // returns true
+ */
+declare const ne: TgpuDualFn<(<T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Checks **component-wise** whether `lhs < rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `all`.
+ * @example
+ * lt(vec2f(0.0, 0.0), vec2f(0.0, 1.0)) // returns vec2b(false, true)
+ * lt(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(true, false, false)
+ * all(lt(vec4i(1, 2, 3, 4), vec4i(2, 3, 4, 5))) // returns true
+ */
+declare const lt: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Checks **component-wise** whether `lhs <= rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `all`.
+ * @example
+ * le(vec2f(0.0, 0.0), vec2f(0.0, 1.0)) // returns vec2b(true, true)
+ * le(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(true, true, false)
+ * all(le(vec4i(1, 2, 3, 4), vec4i(2, 3, 3, 5))) // returns true
+ */
+declare const le: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Checks **component-wise** whether `lhs > rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `all`.
+ * @example
+ * gt(vec2f(0.0, 0.0), vec2f(0.0, 1.0)) // returns vec2b(false, false)
+ * gt(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(false, false, true)
+ * all(gt(vec4i(2, 3, 4, 5), vec4i(1, 2, 3, 4))) // returns true
+ */
+declare const gt: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Checks **component-wise** whether `lhs >= rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `all`.
+ * @example
+ * ge(vec2f(0.0, 0.0), vec2f(0.0, 1.0)) // returns vec2b(true, false)
+ * ge(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(false, true, true)
+ * all(ge(vec4i(2, 2, 4, 5), vec4i(1, 2, 3, 4))) // returns true
+ */
+declare const ge: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Returns **component-wise** `!value`.
+ * @example
+ * not(vec2b(false, true)) // returns vec2b(true, false)
+ * not(vec3b(true, true, false)) // returns vec3b(false, false, true)
+ */
+declare const not: TgpuDualFn<(<T extends AnyBooleanVecInstance>(value: T) => T)>;
+/**
+ * Returns **component-wise** logical `or` result.
+ * @example
+ * or(vec2b(false, true), vec2b(false, false)) // returns vec2b(false, true)
+ * or(vec3b(true, true, false), vec3b(false, true, false)) // returns vec3b(true, true, false)
+ */
+declare const or: TgpuDualFn<(<T extends AnyBooleanVecInstance>(lhs: T, rhs: T) => T)>;
 /**
- * Checks whether the given elements differ by at most 0.01.
- * Component-wise if arguments are vectors.
+ * Returns **component-wise** logical `and` result.
+ * @example
+ * and(vec2b(false, true), vec2b(true, true)) // returns vec2b(false, true)
+ * and(vec3b(true, true, false), vec3b(false, true, false)) // returns vec3b(false, true, false)
+ */
+declare const and: TgpuDualFn<(<T extends AnyBooleanVecInstance>(lhs: T, rhs: T) => T)>;
+/**
+ * Returns `true` if each component of `value` is true.
+ * @example
+ * all(vec2b(false, true)) // returns false
+ * all(vec3b(true, true, true)) // returns true
+ */
+declare const all: TgpuDualFn<(value: AnyBooleanVecInstance) => boolean>;
+/**
+ * Returns `true` if any component of `value` is true.
+ * @example
+ * any(vec2b(false, true)) // returns true
+ * any(vec3b(false, false, false)) // returns false
+ */
+declare const any: TgpuDualFn<(value: AnyBooleanVecInstance) => boolean>;
+/**
+ * Checks whether the given elements differ by at most the `precision` value.
+ * Checks all elements of `lhs` and `rhs` if arguments are vectors.
  * @example
  * isCloseTo(0, 0.1) // returns false
  * isCloseTo(vec3f(0, 0, 0), vec3f(0.002, -0.009, 0)) // returns true
  *
  * @param {number} precision argument that specifies the maximum allowed difference, 0.01 by default.
  */
-declare const isCloseTo: <T extends v2f | v3f | v4f | v2h | v3h | v4h | number>(e1: T, e2: T, precision?: number) => boolean;
+declare const isCloseTo: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(lhs: T, rhs: T, precision?: number) => boolean)>;
+type SelectOverload = {
+    <T extends ScalarData | AnyVecInstance>(f: T, t: T, cond: boolean): T;
+    <T extends AnyVecInstance>(f: T, t: T, cond: T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b): T;
+};
+/**
+ * Returns `t` if `cond` is `true`, and `f` otherwise.
+ * Component-wise if `cond` is a vector.
+ * @example
+ * select(vec2i(1, 2), vec2i(3, 4), true) // returns vec2i(3, 4)
+ * select(vec2i(1, 2), vec2i(3, 4), vec2b(false, true)) // returns vec2i(1, 4)
+ */
+declare const select: SelectOverload;
 
 type AnyAtomic = atomicI32 | atomicU32;
-declare const workgroupBarrier: () => void;
-declare const storageBarrier: () => void;
-declare const textureBarrier: () => void;
-declare const atomicLoad: <T extends AnyAtomic>(a: T) => number;
-declare const atomicStore: <T extends AnyAtomic>(a: T, value: number) => void;
-declare const atomicAdd: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicSub: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicMax: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicMin: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicAnd: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicOr: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicXor: <T extends AnyAtomic>(a: T, value: number) => number;
+declare const workgroupBarrier: TgpuDualFn<() => void>;
+declare const storageBarrier: TgpuDualFn<() => void>;
+declare const textureBarrier: TgpuDualFn<() => void>;
+declare const atomicLoad: TgpuDualFn<(<T extends AnyAtomic>(a: T) => number)>;
+declare const atomicStore: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => void)>;
+declare const atomicAdd: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicSub: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicMax: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicMin: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicAnd: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicOr: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicXor: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+
+declare const arrayLength: TgpuDualFn<(a: unknown[]) => number>;
 
-declare const arrayLength: (a: unknown[]) => number;
+/**
+ * @privateRemarks
+ * https://gpuweb.github.io/gpuweb/wgsl/#unpack2x16float-builtin
+ */
+declare const unpack2x16float: TgpuDualFn<(e: number) => v2f>;
+/**
+ * @privateRemarks
+ * https://gpuweb.github.io/gpuweb/wgsl/#pack2x16float-builtin
+ */
+declare const pack2x16float: TgpuDualFn<(e: v2f) => number>;
+/**
+ * @privateRemarks
+ * https://gpuweb.github.io/gpuweb/wgsl/#unpack4x8unorm-builtin
+ */
+declare const unpack4x8unorm: TgpuDualFn<(e: number) => v4f>;
+/**
+ * @privateRemarks
+ * https://gpuweb.github.io/gpuweb/wgsl/#pack4x8unorm-builtin
+ */
+declare const pack4x8unorm: TgpuDualFn<(e: v4f) => number>;
+
+type TextureSampleOverload = {
+    <T extends TgpuSampledTexture<'1d'>>(texture: T, sampler: TgpuSampler, coords: number): v4f;
+    <T extends TgpuSampledTexture<'2d'>>(texture: T, sampler: TgpuSampler, coords: v2f): v4f;
+    <T extends TgpuSampledTexture<'2d'>>(texture: T, sampler: TgpuSampler, coords: v2f, offset: v2i): v4f;
+    <T extends TgpuSampledTexture<'2d-array'>>(texture: T, sampler: TgpuSampler, coords: v2f, arrayIndex: number): v4f;
+    <T extends TgpuSampledTexture<'2d-array'>>(texture: T, sampler: TgpuSampler, coords: v2f, arrayIndex: number, offset: v2i): v4f;
+    <T extends TgpuSampledTexture<'3d' | 'cube'>>(texture: T, sampler: TgpuSampler, coords: v3f): v4f;
+    <T extends TgpuSampledTexture<'3d'>>(texture: T, sampler: TgpuSampler, coords: v3f, offset: v3i): v4f;
+    <T extends TgpuSampledTexture<'cube-array'>>(texture: T, sampler: TgpuSampler, coords: v3f, arrayIndex: number): v4f;
+};
+declare const textureSample: TextureSampleOverload;
 
-export { abs, acos, add, arrayLength, asin, atan2, atomicAdd, atomicAnd, atomicLoad, atomicMax, atomicMin, atomicOr, atomicStore, atomicSub, atomicXor, ceil, clamp, cos, cross, discard, distance, dot, exp, floor, fract, isCloseTo, length, max, min, mix, mul, normalize, pow, reflect, sin, storageBarrier, sub, textureBarrier, workgroupBarrier };
+export { abs, acos, add, all, allEq, and, any, arrayLength, asin, atan2, atomicAdd, atomicAnd, atomicLoad, atomicMax, atomicMin, atomicOr, atomicStore, atomicSub, atomicXor, ceil, clamp, cos, cross, discard, distance, dot, eq, exp, floor, fract, ge, gt, isCloseTo, le, length, lt, max, min, mix, mul, ne, neg, normalize, not, or, pack2x16float, pack4x8unorm, pow, reflect, select, sin, storageBarrier, sub, textureBarrier, textureSample, unpack2x16float, unpack4x8unorm, workgroupBarrier };

package/std/index.d.ts

@@ -1,117 +1,260 @@
-import { bk as VecKind, J as AnyMatInstance, bl as vBaseForMat, ai as v3f, aj as v3i, ak as v3u, af as v2f, al as v4f, bm as v2h, bn as v3h, bo as v4h, bp as atomicI32, bq as atomicU32 } from '../wgslTypes-VtSRoe90.js';
+import { bn as TgpuDualFn, bo as AnyNumericVecInstance, H as AnyMatInstance, bp as vBaseForMat, bq as AnyFloatVecInstance, am as v3f, br as v3h, G as AnyVecInstance, bs as AnyVec2Instance, bt as v2b, bu as AnyVec3Instance, bv as v3b, bw as v4b, bx as AnyBooleanVecInstance, by as ScalarData, bz as atomicI32, bA as atomicU32, ap as v4f, aj as v2f, ak as v2i, an as v3i } from '../dataTypes-ts2Ccted.js';
+import { d as TgpuSampledTexture, e as TgpuSampler } from '../sampler-CPNwYXSH.js';
 
-declare const discard: () => never;
+declare const discard: TgpuDualFn<() => never>;
 
-type vBase = {
-    kind: VecKind;
-};
-declare const add: <T extends vBase>(lhs: T, rhs: T) => T;
-declare const sub: <T extends vBase>(lhs: T, rhs: T) => T;
+declare const add: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T)>;
+declare const sub: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T)>;
 type MulOverload = {
     <T extends AnyMatInstance, TVec extends vBaseForMat<T>>(s: T, v: TVec): TVec;
     <T extends AnyMatInstance, TVec extends vBaseForMat<T>>(s: TVec, v: T): TVec;
-    <T extends vBase | AnyMatInstance>(s: number | T, v: T): T;
+    <T extends AnyNumericVecInstance | AnyMatInstance>(s: number | T, v: T): T;
 };
 declare const mul: MulOverload;
-declare const abs: <T extends vBase | number>(value: T) => T;
-declare const atan2: <T extends vBase | number>(y: T, x: T) => T;
-declare const acos: <T extends vBase | number>(value: T) => T;
-declare const asin: <T extends vBase | number>(value: T) => T;
+declare const abs: TgpuDualFn<(<T extends AnyNumericVecInstance | number>(value: T) => T)>;
+declare const atan2: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(y: T, x: T) => T)>;
+declare const acos: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
+declare const asin: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#ceil-builtin
  */
-declare const ceil: <T extends vBase | number>(value: T) => T;
+declare const ceil: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#clamp
  */
-declare const clamp: <T extends vBase | number>(value: T, low: T, high: T) => T;
+declare const clamp: TgpuDualFn<(<T extends AnyNumericVecInstance | number>(value: T, low: T, high: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#cos-builtin
  */
-declare const cos: <T extends vBase | number>(value: T) => T;
+declare const cos: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#cross-builtin
  */
-declare const cross: <T extends v3f | v3i | v3u>(a: T, b: T) => T;
+declare const cross: TgpuDualFn<(<T extends v3f | v3h>(a: T, b: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#dot-builtin
  */
-declare const dot: <T extends vBase>(lhs: T, rhs: T) => number;
-declare const normalize: <T extends vBase>(v: T) => T;
+declare const dot: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => number)>;
+declare const normalize: TgpuDualFn<(<T extends AnyFloatVecInstance>(v: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#floor-builtin
  */
-declare const floor: <T extends vBase | number>(value: T) => T;
-declare const fract: <T extends vBase | number>(a: T) => T;
+declare const floor: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
+declare const fract: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(a: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#length-builtin
  */
-declare const length: <T extends vBase | number>(value: T) => number;
+declare const length: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => number)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#max-float-builtin
  */
-declare const max: <T extends vBase | number>(a: T, b: T) => T;
+declare const max: TgpuDualFn<(<T extends AnyNumericVecInstance | number>(a: T, b: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#min-float-builtin
  */
-declare const min: <T extends vBase | number>(a: T, b: T) => T;
+declare const min: TgpuDualFn<(<T extends AnyNumericVecInstance | number>(a: T, b: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#sin-builtin
  */
-declare const sin: <T extends vBase | number>(value: T) => T;
+declare const sin: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 /**
  * @privateRemarks
  * https://www.w3.org/TR/WGSL/#exp-builtin
  */
-declare const exp: <T extends vBase | number>(value: T) => T;
+declare const exp: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 type PowOverload = {
     (base: number, exponent: number): number;
-    <T extends v2f | v3f | v4f | v2h | v3h | v4h>(base: T, exponent: T): T;
+    <T extends AnyFloatVecInstance>(base: T, exponent: T): T;
 };
 declare const pow: PowOverload;
 type MixOverload = {
     (e1: number, e2: number, e3: number): number;
-    <T extends v2f | v3f | v4f | v2h | v3h | v4h>(e1: T, e2: T, e3: number): T;
-    <T extends v2f | v3f | v4f | v2h | v3h | v4h>(e1: T, e2: T, e3: T): T;
+    <T extends AnyFloatVecInstance>(e1: T, e2: T, e3: number): T;
+    <T extends AnyFloatVecInstance>(e1: T, e2: T, e3: T): T;
 };
 declare const mix: MixOverload;
-declare const reflect: <T extends vBase>(e1: T, e2: T) => T;
-declare const distance: <T extends vBase | number>(a: T, b: T) => number;
+declare const reflect: TgpuDualFn<(<T extends AnyFloatVecInstance>(e1: T, e2: T) => T)>;
+declare const distance: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(a: T, b: T) => number)>;
+declare const neg: TgpuDualFn<(<T extends AnyNumericVecInstance | number>(value: T) => T)>;
+
+/**
+ * Checks whether `lhs == rhs` on all components.
+ * Equivalent to `all(eq(lhs, rhs))`.
+ * @example
+ * allEq(vec2f(0.0, 1.0), vec2f(0.0, 2.0)) // returns false
+ * allEq(vec3u(0, 1, 2), vec3u(0, 1, 2)) // returns true
+ */
+declare const allEq: TgpuDualFn<(<T extends AnyVecInstance>(lhs: T, rhs: T) => boolean)>;
+/**
+ * Checks **component-wise** whether `lhs == rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `all`, or use `allEq`.
+ * @example
+ * eq(vec2f(0.0, 1.0), vec2f(0.0, 2.0)) // returns vec2b(true, false)
+ * eq(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(false, true, false)
+ * all(eq(vec4i(4, 3, 2, 1), vec4i(4, 3, 2, 1))) // returns true
+ * allEq(vec4i(4, 3, 2, 1), vec4i(4, 3, 2, 1)) // returns true
+ */
+declare const eq: TgpuDualFn<(<T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Checks **component-wise** whether `lhs != rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `any`.
+ * @example
+ * ne(vec2f(0.0, 1.0), vec2f(0.0, 2.0)) // returns vec2b(false, true)
+ * ne(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(true, false, true)
+ * any(ne(vec4i(4, 3, 2, 1), vec4i(4, 2, 2, 1))) // returns true
+ */
+declare const ne: TgpuDualFn<(<T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Checks **component-wise** whether `lhs < rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `all`.
+ * @example
+ * lt(vec2f(0.0, 0.0), vec2f(0.0, 1.0)) // returns vec2b(false, true)
+ * lt(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(true, false, false)
+ * all(lt(vec4i(1, 2, 3, 4), vec4i(2, 3, 4, 5))) // returns true
+ */
+declare const lt: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Checks **component-wise** whether `lhs <= rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `all`.
+ * @example
+ * le(vec2f(0.0, 0.0), vec2f(0.0, 1.0)) // returns vec2b(true, true)
+ * le(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(true, true, false)
+ * all(le(vec4i(1, 2, 3, 4), vec4i(2, 3, 3, 5))) // returns true
+ */
+declare const le: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Checks **component-wise** whether `lhs > rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `all`.
+ * @example
+ * gt(vec2f(0.0, 0.0), vec2f(0.0, 1.0)) // returns vec2b(false, false)
+ * gt(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(false, false, true)
+ * all(gt(vec4i(2, 3, 4, 5), vec4i(1, 2, 3, 4))) // returns true
+ */
+declare const gt: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Checks **component-wise** whether `lhs >= rhs`.
+ * This function does **not** return `bool`, for that use-case, wrap the result in `all`.
+ * @example
+ * ge(vec2f(0.0, 0.0), vec2f(0.0, 1.0)) // returns vec2b(true, false)
+ * ge(vec3u(0, 1, 2), vec3u(2, 1, 0)) // returns vec3b(false, true, true)
+ * all(ge(vec4i(2, 2, 4, 5), vec4i(1, 2, 3, 4))) // returns true
+ */
+declare const ge: TgpuDualFn<(<T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b)>;
+/**
+ * Returns **component-wise** `!value`.
+ * @example
+ * not(vec2b(false, true)) // returns vec2b(true, false)
+ * not(vec3b(true, true, false)) // returns vec3b(false, false, true)
+ */
+declare const not: TgpuDualFn<(<T extends AnyBooleanVecInstance>(value: T) => T)>;
+/**
+ * Returns **component-wise** logical `or` result.
+ * @example
+ * or(vec2b(false, true), vec2b(false, false)) // returns vec2b(false, true)
+ * or(vec3b(true, true, false), vec3b(false, true, false)) // returns vec3b(true, true, false)
+ */
+declare const or: TgpuDualFn<(<T extends AnyBooleanVecInstance>(lhs: T, rhs: T) => T)>;
 /**
- * Checks whether the given elements differ by at most 0.01.
- * Component-wise if arguments are vectors.
+ * Returns **component-wise** logical `and` result.
+ * @example
+ * and(vec2b(false, true), vec2b(true, true)) // returns vec2b(false, true)
+ * and(vec3b(true, true, false), vec3b(false, true, false)) // returns vec3b(false, true, false)
+ */
+declare const and: TgpuDualFn<(<T extends AnyBooleanVecInstance>(lhs: T, rhs: T) => T)>;
+/**
+ * Returns `true` if each component of `value` is true.
+ * @example
+ * all(vec2b(false, true)) // returns false
+ * all(vec3b(true, true, true)) // returns true
+ */
+declare const all: TgpuDualFn<(value: AnyBooleanVecInstance) => boolean>;
+/**
+ * Returns `true` if any component of `value` is true.
+ * @example
+ * any(vec2b(false, true)) // returns true
+ * any(vec3b(false, false, false)) // returns false
+ */
+declare const any: TgpuDualFn<(value: AnyBooleanVecInstance) => boolean>;
+/**
+ * Checks whether the given elements differ by at most the `precision` value.
+ * Checks all elements of `lhs` and `rhs` if arguments are vectors.
  * @example
  * isCloseTo(0, 0.1) // returns false
  * isCloseTo(vec3f(0, 0, 0), vec3f(0.002, -0.009, 0)) // returns true
  *
  * @param {number} precision argument that specifies the maximum allowed difference, 0.01 by default.
  */
-declare const isCloseTo: <T extends v2f | v3f | v4f | v2h | v3h | v4h | number>(e1: T, e2: T, precision?: number) => boolean;
+declare const isCloseTo: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(lhs: T, rhs: T, precision?: number) => boolean)>;
+type SelectOverload = {
+    <T extends ScalarData | AnyVecInstance>(f: T, t: T, cond: boolean): T;
+    <T extends AnyVecInstance>(f: T, t: T, cond: T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b): T;
+};
+/**
+ * Returns `t` if `cond` is `true`, and `f` otherwise.
+ * Component-wise if `cond` is a vector.
+ * @example
+ * select(vec2i(1, 2), vec2i(3, 4), true) // returns vec2i(3, 4)
+ * select(vec2i(1, 2), vec2i(3, 4), vec2b(false, true)) // returns vec2i(1, 4)
+ */
+declare const select: SelectOverload;
 
 type AnyAtomic = atomicI32 | atomicU32;
-declare const workgroupBarrier: () => void;
-declare const storageBarrier: () => void;
-declare const textureBarrier: () => void;
-declare const atomicLoad: <T extends AnyAtomic>(a: T) => number;
-declare const atomicStore: <T extends AnyAtomic>(a: T, value: number) => void;
-declare const atomicAdd: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicSub: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicMax: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicMin: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicAnd: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicOr: <T extends AnyAtomic>(a: T, value: number) => number;
-declare const atomicXor: <T extends AnyAtomic>(a: T, value: number) => number;
+declare const workgroupBarrier: TgpuDualFn<() => void>;
+declare const storageBarrier: TgpuDualFn<() => void>;
+declare const textureBarrier: TgpuDualFn<() => void>;
+declare const atomicLoad: TgpuDualFn<(<T extends AnyAtomic>(a: T) => number)>;
+declare const atomicStore: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => void)>;
+declare const atomicAdd: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicSub: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicMax: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicMin: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicAnd: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicOr: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+declare const atomicXor: TgpuDualFn<(<T extends AnyAtomic>(a: T, value: number) => number)>;
+
+declare const arrayLength: TgpuDualFn<(a: unknown[]) => number>;
 
-declare const arrayLength: (a: unknown[]) => number;
+/**
+ * @privateRemarks
+ * https://gpuweb.github.io/gpuweb/wgsl/#unpack2x16float-builtin
+ */
+declare const unpack2x16float: TgpuDualFn<(e: number) => v2f>;
+/**
+ * @privateRemarks
+ * https://gpuweb.github.io/gpuweb/wgsl/#pack2x16float-builtin
+ */
+declare const pack2x16float: TgpuDualFn<(e: v2f) => number>;
+/**
+ * @privateRemarks
+ * https://gpuweb.github.io/gpuweb/wgsl/#unpack4x8unorm-builtin
+ */
+declare const unpack4x8unorm: TgpuDualFn<(e: number) => v4f>;
+/**
+ * @privateRemarks
+ * https://gpuweb.github.io/gpuweb/wgsl/#pack4x8unorm-builtin
+ */
+declare const pack4x8unorm: TgpuDualFn<(e: v4f) => number>;
+
+type TextureSampleOverload = {
+    <T extends TgpuSampledTexture<'1d'>>(texture: T, sampler: TgpuSampler, coords: number): v4f;
+    <T extends TgpuSampledTexture<'2d'>>(texture: T, sampler: TgpuSampler, coords: v2f): v4f;
+    <T extends TgpuSampledTexture<'2d'>>(texture: T, sampler: TgpuSampler, coords: v2f, offset: v2i): v4f;
+    <T extends TgpuSampledTexture<'2d-array'>>(texture: T, sampler: TgpuSampler, coords: v2f, arrayIndex: number): v4f;
+    <T extends TgpuSampledTexture<'2d-array'>>(texture: T, sampler: TgpuSampler, coords: v2f, arrayIndex: number, offset: v2i): v4f;
+    <T extends TgpuSampledTexture<'3d' | 'cube'>>(texture: T, sampler: TgpuSampler, coords: v3f): v4f;
+    <T extends TgpuSampledTexture<'3d'>>(texture: T, sampler: TgpuSampler, coords: v3f, offset: v3i): v4f;
+    <T extends TgpuSampledTexture<'cube-array'>>(texture: T, sampler: TgpuSampler, coords: v3f, arrayIndex: number): v4f;
+};
+declare const textureSample: TextureSampleOverload;
 
-export { abs, acos, add, arrayLength, asin, atan2, atomicAdd, atomicAnd, atomicLoad, atomicMax, atomicMin, atomicOr, atomicStore, atomicSub, atomicXor, ceil, clamp, cos, cross, discard, distance, dot, exp, floor, fract, isCloseTo, length, max, min, mix, mul, normalize, pow, reflect, sin, storageBarrier, sub, textureBarrier, workgroupBarrier };
+export { abs, acos, add, all, allEq, and, any, arrayLength, asin, atan2, atomicAdd, atomicAnd, atomicLoad, atomicMax, atomicMin, atomicOr, atomicStore, atomicSub, atomicXor, ceil, clamp, cos, cross, discard, distance, dot, eq, exp, floor, fract, ge, gt, isCloseTo, le, length, lt, max, min, mix, mul, ne, neg, normalize, not, or, pack2x16float, pack4x8unorm, pow, reflect, select, sin, storageBarrier, sub, textureBarrier, textureSample, unpack2x16float, unpack4x8unorm, workgroupBarrier };