typegpu 0.5.4 → 0.5.5

package/std/index.d.cts

@@ -1,76 +1,77 @@
-import { as as AnyNumericVecInstance, y as AnyMatInstance, at as vBaseForMat, au as AnyFloatVecInstance, af as v3f, av as v3h, x as AnyVecInstance, aw as AnyVec2Instance, ax as v2b, ay as AnyVec3Instance, az as v3b, aA as v4b, aB as AnyBooleanVecInstance, aC as ScalarData, aD as atomicI32, aE as atomicU32 } from '../wgslTypes-Bh2dG5qv.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>;
 
-declare const add: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T;
-declare const sub: <T extends AnyNumericVecInstance>(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 AnyNumericVecInstance | AnyMatInstance>(s: number | T, v: T): T;
 };
 declare const mul: MulOverload;
-declare const abs: <T extends AnyNumericVecInstance | number>(value: T) => T;
-declare const atan2: <T extends AnyFloatVecInstance | number>(y: T, x: T) => T;
-declare const acos: <T extends AnyFloatVecInstance | number>(value: T) => T;
-declare const asin: <T extends AnyFloatVecInstance | 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 AnyFloatVecInstance | 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 AnyNumericVecInstance | 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 AnyFloatVecInstance | 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 | v3h>(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 AnyNumericVecInstance>(lhs: T, rhs: T) => number;
-declare const normalize: <T extends AnyFloatVecInstance>(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 AnyFloatVecInstance | number>(value: T) => T;
-declare const fract: <T extends AnyFloatVecInstance | 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 AnyFloatVecInstance | 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 AnyNumericVecInstance | 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 AnyNumericVecInstance | 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 AnyFloatVecInstance | 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 AnyFloatVecInstance | number>(value: T) => T;
+declare const exp: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 type PowOverload = {
     (base: number, exponent: number): number;
     <T extends AnyFloatVecInstance>(base: T, exponent: T): T;
@@ -82,8 +83,9 @@ type MixOverload = {
     <T extends AnyFloatVecInstance>(e1: T, e2: T, e3: T): T;
 };
 declare const mix: MixOverload;
-declare const reflect: <T extends AnyFloatVecInstance>(e1: T, e2: T) => T;
-declare const distance: <T extends AnyFloatVecInstance | 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.
@@ -92,7 +94,7 @@ declare const distance: <T extends AnyFloatVecInstance | number>(a: T, b: T) =>
  * 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: <T extends AnyVecInstance>(lhs: T, rhs: T) => boolean;
+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`.
@@ -102,7 +104,7 @@ declare const allEq: <T extends AnyVecInstance>(lhs: T, rhs: T) => boolean;
  * 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: <T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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`.
@@ -111,7 +113,7 @@ declare const eq: <T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec
  * 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: <T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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`.
@@ -120,7 +122,7 @@ declare const ne: <T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec
  * 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: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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`.
@@ -129,7 +131,7 @@ declare const lt: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends
  * 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: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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`.
@@ -138,7 +140,7 @@ declare const le: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends
  * 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: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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`.
@@ -147,42 +149,42 @@ declare const gt: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends
  * 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: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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: <T extends AnyBooleanVecInstance>(value: T) => T;
+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: <T extends AnyBooleanVecInstance>(lhs: T, rhs: T) => T;
+declare const or: TgpuDualFn<(<T extends AnyBooleanVecInstance>(lhs: T, rhs: T) => T)>;
 /**
  * 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: <T extends AnyBooleanVecInstance>(lhs: T, rhs: T) => T;
+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: (value: AnyBooleanVecInstance) => boolean;
+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: (value: AnyBooleanVecInstance) => boolean;
+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.
@@ -192,7 +194,7 @@ declare const any: (value: AnyBooleanVecInstance) => boolean;
  *
  * @param {number} precision argument that specifies the maximum allowed difference, 0.01 by default.
  */
-declare const isCloseTo: <T extends AnyFloatVecInstance | number>(lhs: T, rhs: 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;
@@ -207,19 +209,52 @@ type SelectOverload = {
 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: (a: unknown[]) => number;
+declare const arrayLength: TgpuDualFn<(a: unknown[]) => number>;
 
-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, normalize, not, or, pow, reflect, select, sin, storageBarrier, sub, textureBarrier, workgroupBarrier };
+/**
+ * @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, 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,76 +1,77 @@
-import { as as AnyNumericVecInstance, y as AnyMatInstance, at as vBaseForMat, au as AnyFloatVecInstance, af as v3f, av as v3h, x as AnyVecInstance, aw as AnyVec2Instance, ax as v2b, ay as AnyVec3Instance, az as v3b, aA as v4b, aB as AnyBooleanVecInstance, aC as ScalarData, aD as atomicI32, aE as atomicU32 } from '../wgslTypes-Bh2dG5qv.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>;
 
-declare const add: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T;
-declare const sub: <T extends AnyNumericVecInstance>(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 AnyNumericVecInstance | AnyMatInstance>(s: number | T, v: T): T;
 };
 declare const mul: MulOverload;
-declare const abs: <T extends AnyNumericVecInstance | number>(value: T) => T;
-declare const atan2: <T extends AnyFloatVecInstance | number>(y: T, x: T) => T;
-declare const acos: <T extends AnyFloatVecInstance | number>(value: T) => T;
-declare const asin: <T extends AnyFloatVecInstance | 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 AnyFloatVecInstance | 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 AnyNumericVecInstance | 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 AnyFloatVecInstance | 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 | v3h>(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 AnyNumericVecInstance>(lhs: T, rhs: T) => number;
-declare const normalize: <T extends AnyFloatVecInstance>(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 AnyFloatVecInstance | number>(value: T) => T;
-declare const fract: <T extends AnyFloatVecInstance | 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 AnyFloatVecInstance | 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 AnyNumericVecInstance | 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 AnyNumericVecInstance | 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 AnyFloatVecInstance | 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 AnyFloatVecInstance | number>(value: T) => T;
+declare const exp: TgpuDualFn<(<T extends AnyFloatVecInstance | number>(value: T) => T)>;
 type PowOverload = {
     (base: number, exponent: number): number;
     <T extends AnyFloatVecInstance>(base: T, exponent: T): T;
@@ -82,8 +83,9 @@ type MixOverload = {
     <T extends AnyFloatVecInstance>(e1: T, e2: T, e3: T): T;
 };
 declare const mix: MixOverload;
-declare const reflect: <T extends AnyFloatVecInstance>(e1: T, e2: T) => T;
-declare const distance: <T extends AnyFloatVecInstance | 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.
@@ -92,7 +94,7 @@ declare const distance: <T extends AnyFloatVecInstance | number>(a: T, b: T) =>
  * 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: <T extends AnyVecInstance>(lhs: T, rhs: T) => boolean;
+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`.
@@ -102,7 +104,7 @@ declare const allEq: <T extends AnyVecInstance>(lhs: T, rhs: T) => boolean;
  * 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: <T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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`.
@@ -111,7 +113,7 @@ declare const eq: <T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec
  * 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: <T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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`.
@@ -120,7 +122,7 @@ declare const ne: <T extends AnyVecInstance>(lhs: T, rhs: T) => T extends AnyVec
  * 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: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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`.
@@ -129,7 +131,7 @@ declare const lt: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends
  * 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: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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`.
@@ -138,7 +140,7 @@ declare const le: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends
  * 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: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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`.
@@ -147,42 +149,42 @@ declare const gt: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends
  * 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: <T extends AnyNumericVecInstance>(lhs: T, rhs: T) => T extends AnyVec2Instance ? v2b : T extends AnyVec3Instance ? v3b : v4b;
+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: <T extends AnyBooleanVecInstance>(value: T) => T;
+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: <T extends AnyBooleanVecInstance>(lhs: T, rhs: T) => T;
+declare const or: TgpuDualFn<(<T extends AnyBooleanVecInstance>(lhs: T, rhs: T) => T)>;
 /**
  * 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: <T extends AnyBooleanVecInstance>(lhs: T, rhs: T) => T;
+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: (value: AnyBooleanVecInstance) => boolean;
+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: (value: AnyBooleanVecInstance) => boolean;
+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.
@@ -192,7 +194,7 @@ declare const any: (value: AnyBooleanVecInstance) => boolean;
  *
  * @param {number} precision argument that specifies the maximum allowed difference, 0.01 by default.
  */
-declare const isCloseTo: <T extends AnyFloatVecInstance | number>(lhs: T, rhs: 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;
@@ -207,19 +209,52 @@ type SelectOverload = {
 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: (a: unknown[]) => number;
+declare const arrayLength: TgpuDualFn<(a: unknown[]) => number>;
 
-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, normalize, not, or, pow, reflect, select, sin, storageBarrier, sub, textureBarrier, workgroupBarrier };
+/**
+ * @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, 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 };