typegpu 0.2.0-alpha.0 → 0.3.0-alpha.1

package/data/index.d.cts

@@ -1,116 +1,98 @@
-import { AnySchema, Schema, Unwrap, ISerialOutput, ParseUnwrapped, ISerialInput, MaxValue, IMeasurer, ISchema, UnwrapRecord } from 'typed-binary';
-export { Parsed, Unwrap } from 'typed-binary';
-import { r as TgpuData, R as ResolutionCtx, A as AnyTgpuData, a as TgpuNamable, x as AnyTgpuLooseData, y as TgpuLooseData, z as vec2f, o as vec3f, C as vec4f, N as NumberArrayView, D as Vec2u, V as Vec4u, G as Vec2i, i as Vec4i, H as Vec2f, j as Vec4f, F as F32, J as Vec3f, h as U32, K as Vec3u, I as I32, L as Vec3i, M as TgpuPointer } from '../types-qmW7FFqN.cjs';
-export { P as Bool, Z as VecKind, Q as bool, Y as f32, X as i32, W as u32, _ as vec2i, $ as vec2u, p as vec3i, q as vec3u, a0 as vec4i, a1 as vec4u, v as vecBase } from '../types-qmW7FFqN.cjs';
+import { f as Align, S as Size, L as Location, g as Builtin, A as AnyData, E as Exotic, h as Decorated, e as AnyWgslData, i as LooseDecorated, j as AnyLooseData, B as BaseWgslData, W as WgslTypeLiteral, k as LooseTypeLiteral, l as WgslStruct, T as TgpuNamable, m as ExoticRecord, P as Prettify, n as WgslArray, o as LooseArray, p as LooseStruct, q as m2x2f, r as m3x3f, s as m4x4f, t as Mat2x2f, v as v2f, u as Mat3x3f, w as v3f, x as Mat4x4f, y as v4f, U as U32, I as I32, z as Atomic, d as Infer$1 } from '../utilityTypes-0b50gROn.cjs';
+export { a1 as Bool, a2 as F16, F as F32, at as FormatToWGSLType, a$ as PackedData, au as TgpuVertexFormatData, a3 as Vec2f, a4 as Vec2i, a5 as Vec2u, a6 as Vec3f, a7 as Vec3i, a8 as Vec3u, V as Vec4f, b as Vec4i, a as Vec4u, C as bool, H as f16, G as f32, aM as float16x2, aN as float16x4, aO as float32, aP as float32x2, aQ as float32x3, aR as float32x4, J as i32, Z as isAlignAttrib, X as isAtomic, _ as isBuiltinAttrib, ar as isData, Y as isDecorated, $ as isLocationAttrib, ao as isLooseArray, as as isLooseData, aq as isLooseDecorated, ap as isLooseStruct, a0 as isSizeAttrib, Q as isWgslArray, N as isWgslData, R as isWgslStruct, av as packedFormats, aG as sint16x2, aH as sint16x4, aW as sint32, aX as sint32x2, aY as sint32x3, aZ as sint32x4, ay as sint8x2, az as sint8x4, aK as snorm16x2, aL as snorm16x4, aC as snorm8x2, aD as snorm8x4, K as u32, aE as uint16x2, aF as uint16x4, aS as uint32, aT as uint32x2, aU as uint32x3, aV as uint32x4, aw as uint8x2, ax as uint8x4, a_ as unorm10_10_10_2, aI as unorm16x2, aJ as unorm16x4, aA as unorm8x2, aB as unorm8x4, a9 as v2i, aa as v2u, ab as v3i, ac as v3u, ad as v4i, ae as v4u, af as vec2f, ag as vec2i, ah as vec2u, ai as vec3f, aj as vec3i, ak as vec3u, al as vec4f, am as vec4i, an as vec4u } from '../utilityTypes-0b50gROn.cjs';
 
-declare class SimpleTgpuData<TSchema extends AnySchema> extends Schema<Unwrap<TSchema>> implements TgpuData<Unwrap<TSchema>> {
-    readonly size: number;
-    readonly byteAlignment: number;
-    readonly expressionCode: string;
-    private readonly _innerSchema;
-    readonly isLoose: false;
-    readonly label?: string | undefined;
-    /**
-     * byteAlignment has to be a power of 2
-     */
-    constructor({ schema, byteAlignment, code, }: {
-        schema: TSchema;
-        byteAlignment: number;
-        code: string;
-    });
-    resolveReferences(): void;
-    write(output: ISerialOutput, value: ParseUnwrapped<TSchema>): void;
-    read(input: ISerialInput): ParseUnwrapped<TSchema>;
-    measure(value: ParseUnwrapped<TSchema> | MaxValue, measurer?: IMeasurer): IMeasurer;
-    resolve(ctx: ResolutionCtx): string;
-}
-
-interface TgpuBaseStruct<TProps extends Record<string, unknown>> extends ISchema<UnwrapRecord<TProps>> {
-    readonly properties: TProps;
-}
+declare const builtinNames: readonly ["vertex_index", "instance_index", "position", "clip_distances", "front_facing", "frag_depth", "sample_index", "sample_mask", "fragment", "local_invocation_id", "local_invocation_index", "global_invocation_id", "workgroup_id", "num_workgroups"];
+type BuiltinName = (typeof builtinNames)[number];
+type AnyAttribute = Align<number> | Size<number> | Location<number> | Builtin<BuiltinName>;
+type ExtractAttributes<T> = T extends {
+    readonly attribs: unknown[];
+} ? T['attribs'] : [];
+type Undecorate<T> = T extends {
+    readonly inner: infer TInner;
+} ? TInner : T;
 /**
- * Struct schema constructed via `d.struct` function.
+ * Decorates a data-type `TData` with an attribute `TAttrib`.
  *
- * Responsible for handling reading and writing struct values
- * between binary and JS representation. Takes into account
- * the `byteAlignment` requirement of its members.
+ * - if `TData` is loose
+ *   - if `TData` is already `LooseDecorated`
+ *     - Prepend `TAttrib` to the existing attribute tuple.
+ *   - else
+ *     - Wrap `TData` with `LooseDecorated` and a single attribute `[TAttrib]`
+ * - else
+ *   - if `TData` is already `Decorated`
+ *     - Prepend `TAttrib` to the existing attribute tuple.
+ *   - else
+ *     - Wrap `TData` with `Decorated` and a single attribute `[TAttrib]`
  */
-interface TgpuStruct<TProps extends Record<string, AnyTgpuData>> extends TgpuBaseStruct<TProps>, TgpuData<UnwrapRecord<TProps>>, TgpuNamable {
-}
+type Decorate<TData extends BaseWgslData, TAttrib extends AnyAttribute> = TData['type'] extends WgslTypeLiteral ? Decorated<Undecorate<TData>, [TAttrib, ...ExtractAttributes<TData>]> : TData['type'] extends LooseTypeLiteral ? LooseDecorated<Undecorate<TData>, [TAttrib, ...ExtractAttributes<TData>]> : never;
+type IsBuiltin<T> = ExtractAttributes<T>[number] extends [] ? false : ExtractAttributes<T>[number] extends Builtin<BuiltinName> ? true : false;
 /**
- * Creates a struct schema that can be used to construct GPU buffers.
- * Ensures proper alignment and padding of properties (as opposed to a `d.looseStruct` schema).
- * The order of members matches the passed in properties object.
+ * Gives the wrapped data-type a custom byte alignment. Useful in order to
+ * fulfill uniform alignment requirements.
  *
  * @example
- * const CircleStruct = d.struct({ radius: d.f32, pos: d.vec3f });
+ * const Data = d.struct({
+ *   a: u32, // takes up 4 bytes
+ *   // 12 bytes of padding, because `b` is custom aligned to multiples of 16 bytes
+ *   b: d.align(16, u32),
+ * });
  *
- * @param properties Record with `string` keys and `TgpuData` values,
- * each entry describing one struct member.
+ * @param alignment The multiple of bytes this data should align itself to.
+ * @param data The data-type to align.
  */
-declare const struct: <TProps extends Record<string, AnyTgpuData>>(properties: TProps) => TgpuStruct<TProps>;
+declare function align<TAlign extends number, TData extends AnyData>(alignment: TAlign, data: TData): Decorate<Exotic<TData>, Align<TAlign>>;
 /**
- * Struct schema constructed via `d.looseStruct` function.
+ * Adds padding bytes after the wrapped data-type, until the whole value takes up `size` bytes.
  *
- * Useful for defining vertex buffers, as the standard layout restrictions do not apply.
- * Members are not aligned in respect to their `byteAlignment`,
- * unless they are explicitly decorated with the custom align attribute
- * via `d.align` function.
+ * @example
+ * const Data = d.struct({
+ *   a: d.size(16, u32), // takes up 16 bytes, instead of 4
+ *   b: u32, // starts at byte 16, because `a` has a custom size
+ * });
+ *
+ * @param size The amount of bytes that should be reserved for this data-type.
+ * @param data The data-type to wrap.
  */
-interface TgpuLooseStruct<TProps extends Record<string, AnyTgpuData | AnyTgpuLooseData>> extends TgpuBaseStruct<TProps>, TgpuLooseData<UnwrapRecord<TProps>> {
-}
+declare function size<TSize extends number, TData extends AnyData>(size: TSize, data: TData): Decorate<Exotic<TData>, Size<TSize>>;
 /**
- * Creates a loose struct schema that can be used to construct vertex buffers.
- * Describes structs with members of both loose and non-loose types.
- *
- * The order of members matches the passed in properties object.
- * Members are not aligned in respect to their `byteAlignment`,
- * unless they are explicitly decorated with the custom align attribute
- * via `d.align` function.
- *
- * @example
- * const CircleStruct = d.looseStruct({ radius: d.f32, pos: d.vec3f }); // packed struct with no padding
+ * Assigns an explicit numeric location to a struct member or a parameter that has this type.
  *
  * @example
- * const CircleStruct = d.looseStruct({ radius: d.f32, pos: d.align(16, d.vec3f) });
+ * const Data = d.ioStruct({
+ *   a: d.u32, // has implicit location 0
+ *   b: d.location(5, d.u32),
+ *   c: d.u32, // has implicit location 6
+ * });
  *
- * @param properties Record with `string` keys and `TgpuData` or `TgpuLooseData` values,
- * each entry describing one struct member.
+ * @param location The explicit numeric location.
+ * @param data The data-type to wrap.
  */
-declare const looseStruct: <TProps extends Record<string, AnyTgpuData | AnyTgpuLooseData>>(properties: TProps) => TgpuLooseStruct<TProps>;
+declare function location<TLocation extends number, TData extends AnyData>(location: TLocation, data: TData): Decorate<Exotic<TData>, Location<TLocation>>;
+declare function isBuiltin<T extends Decorated<AnyWgslData, AnyAttribute[]> | LooseDecorated<AnyLooseData, AnyAttribute[]>>(value: T | unknown): value is T;
+
 /**
- * Checks whether passed in value is a struct schema,
- * as opposed to, e.g., a looseStruct schema.
- *
- * Struct schemas can be used to describe uniform and storage buffers,
- * whereas looseStruct schemas cannot.
+ * Struct schema constructed via `d.struct` function.
  *
- * @example
- * isStructSchema(d.struct({ a: d.u32 })) // true
- * isStructSchema(d.looseStruct({ a: d.u32 })) // false
- * isStructSchema(d.vec3f) // false
+ * Responsible for handling reading and writing struct values
+ * between binary and JS representation. Takes into account
+ * the `byteAlignment` requirement of its members.
  */
-declare function isStructSchema<T extends TgpuStruct<Record<string, AnyTgpuData>>>(schema: T | unknown): schema is T;
+interface TgpuStruct<TProps extends Record<string, BaseWgslData>> extends WgslStruct<TProps>, TgpuNamable {
+    readonly '~exotic': WgslStruct<ExoticRecord<TProps>>;
+}
 /**
- * Checks whether passed in value is a looseStruct schema,
- * as opposed to, e.g., a struct schema.
- *
- * Struct schemas can be used to describe uniform and storage buffers,
- * whereas looseStruct schemas cannot. Loose structs are useful for
- * defining vertex buffers instead.
+ * Creates a struct schema that can be used to construct GPU buffers.
+ * Ensures proper alignment and padding of properties (as opposed to a `d.looseStruct` schema).
+ * The order of members matches the passed in properties object.
  *
  * @example
- * isLooseStructSchema(d.struct({ a: d.u32 })) // false
- * isLooseStructSchema(d.looseStruct({ a: d.u32 })) // true
- * isLooseStructSchema(d.vec3f) // false
+ * const CircleStruct = d.struct({ radius: d.f32, pos: d.vec3f });
+ *
+ * @param props Record with `string` keys and `TgpuData` values,
+ * each entry describing one struct member.
  */
-declare function isLooseStructSchema<T extends TgpuLooseStruct<Record<string, AnyTgpuData | AnyTgpuLooseData>>>(schema: T | unknown): schema is T;
+declare const struct: <TProps extends Record<string, AnyWgslData>>(props: TProps) => TgpuStruct<Prettify<ExoticRecord<TProps>>>;
 
-interface TgpuBaseArray<TElement extends AnyTgpuData | AnyTgpuLooseData = AnyTgpuData | AnyTgpuLooseData> {
-    readonly elementType: TElement;
-    readonly elementCount: number;
-    readonly stride: number;
-}
 /**
  * Array schema constructed via `d.arrayOf` function.
  *
@@ -118,7 +100,8 @@ interface TgpuBaseArray<TElement extends AnyTgpuData | AnyTgpuLooseData = AnyTgp
  * between binary and JS representation. Takes into account
  * the `byteAlignment` requirement of its elementType.
  */
-interface TgpuArray<TElement extends AnyTgpuData> extends TgpuBaseArray<TElement>, TgpuData<Unwrap<TElement>[]> {
+interface TgpuArray<TElement extends AnyWgslData> extends WgslArray<TElement> {
+    readonly '~exotic': WgslArray<Exotic<TElement>>;
 }
 /**
  * Creates an array schema that can be used to construct gpu buffers.
@@ -129,19 +112,10 @@ interface TgpuArray<TElement extends AnyTgpuData> extends TgpuBaseArray<TElement
  * const array = d.arrayOf(d.u32, LENGTH);
  *
  * @param elementType The type of elements in the array.
- * @param count The number of elements in the array.
+ * @param elementCount The number of elements in the array.
  */
-declare const arrayOf: <TElement extends AnyTgpuData>(elementType: TElement, count: number) => TgpuArray<TElement>;
-/**
- * Array schema constructed via `d.looseArrayOf` function.
- *
- * Useful for defining vertex buffers.
- * Elements in the schema are not aligned in respect to their `byteAlignment`,
- * unless they are explicitly decorated with the custom align attribute
- * via `d.align` function.
- */
-interface TgpuLooseArray<TElement extends AnyTgpuData | AnyTgpuLooseData> extends TgpuBaseArray<TElement>, TgpuLooseData<Unwrap<TElement>[]> {
-}
+declare const arrayOf: <TElement extends AnyWgslData>(elementType: TElement, elementCount: number) => TgpuArray<Exotic<TElement>>;
+
 /**
  * Creates an array schema that can be used to construct vertex buffers.
  * Describes arrays with fixed-size length, storing elements of the same type.
@@ -159,57 +133,34 @@ interface TgpuLooseArray<TElement extends AnyTgpuData | AnyTgpuLooseData> extend
  * @param elementType The type of elements in the array.
  * @param count The number of elements in the array.
  */
-declare const looseArrayOf: <TElement extends AnyTgpuData | AnyTgpuLooseData>(elementType: TElement, count: number) => TgpuLooseArray<TElement>;
+declare const looseArrayOf: <TElement extends AnyData>(elementType: TElement, count: number) => LooseArray<Exotic<TElement>>;
+
 /**
- * Checks whether passed in value is an array schema,
- * as opposed to, e.g., a looseArray schema.
+ * Creates a loose struct schema that can be used to construct vertex buffers.
+ * Describes structs with members of both loose and non-loose types.
  *
- * Array schemas can be used to describe uniform and storage buffers,
- * whereas looseArray schemas cannot.
+ * The order of members matches the passed in properties object.
+ * Members are not aligned in respect to their `byteAlignment`,
+ * unless they are explicitly decorated with the custom align attribute
+ * via `d.align` function.
  *
  * @example
- * isArraySchema(d.arrayOf(d.u32, 4)) // true
- * isArraySchema(d.looseArrayOf(d.u32, 4)) // false
- * isArraySchema(d.vec3f) // false
- */
-declare function isArraySchema<T extends TgpuArray<AnyTgpuData>>(schema: T | unknown): schema is T;
-/**
- * Checks whether the passed in value is a looseArray schema,
- * as opposed to, e.g., a regular array schema.
- *
- * Array schemas can be used to describe uniform and storage buffers,
- * whereas looseArray schemas cannot. Loose arrays are useful for
- * defining vertex buffers instead.
+ * const CircleStruct = d.looseStruct({ radius: d.f32, pos: d.vec3f }); // packed struct with no padding
  *
  * @example
- * isLooseArraySchema(d.arrayOf(d.u32, 4)) // false
- * isLooseArraySchema(d.looseArrayOf(d.u32, 4)) // true
- * isLooseArraySchema(d.vec3f) // false
+ * const CircleStruct = d.looseStruct({ radius: d.f32, pos: d.align(16, d.vec3f) });
+ *
+ * @param properties Record with `string` keys and `TgpuData` or `TgpuLooseData` values,
+ * each entry describing one struct member.
  */
-declare function isLooseArraySchema<T extends TgpuLooseArray<AnyTgpuData>>(schema: T | unknown): schema is T;
+declare const looseStruct: <TProps extends Record<string, BaseWgslData>>(properties: TProps) => LooseStruct<ExoticRecord<TProps>>;
 
-interface matBase<TColumn> extends NumberArrayView {
-    readonly columns: readonly TColumn[];
-    elements(): Iterable<number>;
-}
-/**
- * Interface representing its WGSL matrix type counterpart: mat2x2
- * A matrix with 2 rows and 2 columns, with elements of type `TColumn`
- */
-interface mat2x2<TColumn> extends matBase<TColumn> {
-    readonly length: 4;
-    [n: number]: number;
-}
 /**
  * Type of the `d.mat2x2f` object/function: matrix data type schema/constructor
  */
-type Mat2x2f = TgpuData<mat2x2f> & ((...elements: number[]) => mat2x2f) & ((...columns: vec2f[]) => mat2x2f) & (() => mat2x2f);
-/**
- * Interface representing its WGSL matrix type counterpart: mat2x2f or mat2x2<f32>
- * A matrix with 2 rows and 2 columns, with elements of type d.f32
- */
-interface mat2x2f extends mat2x2<vec2f> {
-}
+type NativeMat2x2f = Mat2x2f & {
+    '~exotic': Mat2x2f;
+} & ((...elements: number[]) => m2x2f) & ((...columns: v2f[]) => m2x2f) & (() => m2x2f);
 /**
  *
  * Schema representing mat2x2f - a matrix with 2 rows and 2 columns, with elements of type f32.
@@ -232,25 +183,13 @@ interface mat2x2f extends mat2x2<vec2f> {
  * @example
  * const buffer = root.createBuffer(d.mat2x2f, d.mat2x2f(0, 1, 2, 3)); // buffer holding a d.mat2x2f value, with an initial value of ((0, 1), (2, 3))
  */
-declare const mat2x2f: Mat2x2f;
-/**
- * Interface representing its WGSL matrix type counterpart: mat3x3
- * A matrix with 3 rows and 3 columns, with elements of type `TColumn`
- */
-interface mat3x3<TColumn> extends matBase<TColumn> {
-    readonly length: 12;
-    [n: number]: number;
-}
+declare const mat2x2f: NativeMat2x2f;
 /**
  * Type of the `d.mat3x3f` object/function: matrix data type schema/constructor
  */
-type Mat3x3f = TgpuData<mat3x3f> & ((...elements: number[]) => mat3x3f) & ((...columns: vec3f[]) => mat3x3f) & (() => mat3x3f);
-/**
- * Interface representing its WGSL matrix type counterpart: mat3x3f or mat3x3<f32>
- * A matrix with 3 rows and 3 columns, with elements of type d.f32
- */
-interface mat3x3f extends mat3x3<vec3f> {
-}
+type NativeMat3x3f = Mat3x3f & {
+    '~exotic': Mat3x3f;
+} & ((...elements: number[]) => m3x3f) & ((...columns: v3f[]) => m3x3f) & (() => m3x3f);
 /**
  *
  * Schema representing mat3x3f - a matrix with 3 rows and 3 columns, with elements of type f32.
@@ -275,25 +214,13 @@ interface mat3x3f extends mat3x3<vec3f> {
  * @example
  * const buffer = root.createBuffer(d.mat3x3f, d.mat3x3f()); // buffer holding a d.mat3x3f value, with an initial value of mat3x3f filled with zeros
  */
-declare const mat3x3f: Mat3x3f;
-/**
- * Interface representing its WGSL matrix type counterpart: mat4x4
- * A matrix with 4 rows and 4 columns, with elements of type `TColumn`
- */
-interface mat4x4<TColumn> extends matBase<TColumn> {
-    readonly length: 16;
-    [n: number]: number;
-}
+declare const mat3x3f: NativeMat3x3f;
 /**
  * Type of the `d.mat4x4f` object/function: matrix data type schema/constructor
  */
-type Mat4x4f = TgpuData<mat4x4f> & ((...elements: number[]) => mat4x4f) & ((...columns: vec4f[]) => mat4x4f) & (() => mat4x4f);
-/**
- * Interface representing its WGSL matrix type counterpart: mat4x4f or mat4x4<f32>
- * A matrix with 4 rows and 4 columns, with elements of type d.f32
- */
-interface mat4x4f extends mat4x4<vec4f> {
-}
+type NativeMat4x4f = Mat4x4f & {
+    '~exotic': Mat4x4f;
+} & ((...elements: number[]) => m4x4f) & ((...columns: v4f[]) => m4x4f) & (() => m4x4f);
 /**
  *
  * Schema representing mat4x4f - a matrix with 4 rows and 4 columns, with elements of type f32.
@@ -320,112 +247,8 @@ interface mat4x4f extends mat4x4<vec4f> {
  * @example
  * const buffer = root.createBuffer(d.mat4x4f, d.mat4x4f()); // buffer holding a d.mat4x4f value, with an initial value of mat4x4f filled with zeros
  */
-declare const mat4x4f: Mat4x4f;
-
-declare const vertexFormats: readonly ["uint8x2", "uint8x4", "sint8x2", "sint8x4", "unorm8x2", "unorm8x4", "snorm8x2", "snorm8x4", "uint16x2", "uint16x4", "sint16x2", "sint16x4", "unorm16x2", "unorm16x4", "snorm16x2", "snorm16x4", "float16x2", "float16x4", "float32", "float32x2", "float32x3", "float32x4", "uint32", "uint32x2", "uint32x3", "uint32x4", "sint32", "sint32x2", "sint32x3", "sint32x4", "unorm10_10_10_2"];
-type VertexFormat = (typeof vertexFormats)[number];
-
-type FormatToWGSLType<T extends VertexFormat> = (typeof formatToWGSLType)[T];
-interface TgpuVertexFormatData<T extends VertexFormat> extends TgpuLooseData<FormatToWGSLType<T>> {
-    readonly kind: T;
-}
-declare const formatToWGSLType: {
-    readonly uint8x2: Vec2u;
-    readonly uint8x4: Vec4u;
-    readonly sint8x2: Vec2i;
-    readonly sint8x4: Vec4i;
-    readonly unorm8x2: Vec2f;
-    readonly unorm8x4: Vec4f;
-    readonly snorm8x2: Vec2f;
-    readonly snorm8x4: Vec4f;
-    readonly uint16x2: Vec2u;
-    readonly uint16x4: Vec4u;
-    readonly sint16x2: Vec2i;
-    readonly sint16x4: Vec4i;
-    readonly unorm16x2: Vec2f;
-    readonly unorm16x4: Vec4f;
-    readonly snorm16x2: Vec2f;
-    readonly snorm16x4: Vec4f;
-    readonly float16x2: Vec2f;
-    readonly float16x4: Vec4f;
-    readonly float32: F32;
-    readonly float32x2: Vec2f;
-    readonly float32x3: Vec3f;
-    readonly float32x4: Vec4f;
-    readonly uint32: U32;
-    readonly uint32x2: Vec2u;
-    readonly uint32x3: Vec3u;
-    readonly uint32x4: Vec4u;
-    readonly sint32: I32;
-    readonly sint32x2: Vec2i;
-    readonly sint32x3: Vec3i;
-    readonly sint32x4: Vec4i;
-    readonly unorm10_10_10_2: Vec4f;
-};
-type uint8x2 = TgpuVertexFormatData<'uint8x2'>;
-declare const uint8x2: uint8x2;
-type uint8x4 = TgpuVertexFormatData<'uint8x4'>;
-declare const uint8x4: uint8x4;
-type sint8x2 = TgpuVertexFormatData<'sint8x2'>;
-declare const sint8x2: sint8x2;
-type sint8x4 = TgpuVertexFormatData<'sint8x4'>;
-declare const sint8x4: sint8x4;
-type unorm8x2 = TgpuVertexFormatData<'unorm8x2'>;
-declare const unorm8x2: unorm8x2;
-type unorm8x4 = TgpuVertexFormatData<'unorm8x4'>;
-declare const unorm8x4: unorm8x4;
-type snorm8x2 = TgpuVertexFormatData<'snorm8x2'>;
-declare const snorm8x2: snorm8x2;
-type snorm8x4 = TgpuVertexFormatData<'snorm8x4'>;
-declare const snorm8x4: snorm8x4;
-type uint16x2 = TgpuVertexFormatData<'uint16x2'>;
-declare const uint16x2: uint16x2;
-type uint16x4 = TgpuVertexFormatData<'uint16x4'>;
-declare const uint16x4: uint16x4;
-type sint16x2 = TgpuVertexFormatData<'sint16x2'>;
-declare const sint16x2: sint16x2;
-type sint16x4 = TgpuVertexFormatData<'sint16x4'>;
-declare const sint16x4: sint16x4;
-type unorm16x2 = TgpuVertexFormatData<'unorm16x2'>;
-declare const unorm16x2: unorm16x2;
-type unorm16x4 = TgpuVertexFormatData<'unorm16x4'>;
-declare const unorm16x4: unorm16x4;
-type snorm16x2 = TgpuVertexFormatData<'snorm16x2'>;
-declare const snorm16x2: snorm16x2;
-type snorm16x4 = TgpuVertexFormatData<'snorm16x4'>;
-declare const snorm16x4: snorm16x4;
-type float16x2 = TgpuVertexFormatData<'float16x2'>;
-declare const float16x2: float16x2;
-type float16x4 = TgpuVertexFormatData<'float16x4'>;
-declare const float16x4: float16x4;
-type float32 = TgpuVertexFormatData<'float32'>;
-declare const float32: float32;
-type float32x2 = TgpuVertexFormatData<'float32x2'>;
-declare const float32x2: float32x2;
-type float32x3 = TgpuVertexFormatData<'float32x3'>;
-declare const float32x3: float32x3;
-type float32x4 = TgpuVertexFormatData<'float32x4'>;
-declare const float32x4: float32x4;
-type uint32 = TgpuVertexFormatData<'uint32'>;
-declare const uint32: uint32;
-type uint32x2 = TgpuVertexFormatData<'uint32x2'>;
-declare const uint32x2: uint32x2;
-type uint32x3 = TgpuVertexFormatData<'uint32x3'>;
-declare const uint32x3: uint32x3;
-type uint32x4 = TgpuVertexFormatData<'uint32x4'>;
-declare const uint32x4: uint32x4;
-type sint32 = TgpuVertexFormatData<'sint32'>;
-declare const sint32: sint32;
-type sint32x2 = TgpuVertexFormatData<'sint32x2'>;
-declare const sint32x2: sint32x2;
-type sint32x3 = TgpuVertexFormatData<'sint32x3'>;
-declare const sint32x3: sint32x3;
-type sint32x4 = TgpuVertexFormatData<'sint32x4'>;
-declare const sint32x4: sint32x4;
-type unorm10_10_10_2 = TgpuVertexFormatData<'unorm10_10_10_2'>;
-declare const unorm10_10_10_2: unorm10_10_10_2;
-
-declare function ptr<TDataType extends AnyTgpuData>(pointsTo: TDataType): TgpuPointer<'function', TDataType>;
+declare const mat4x4f: NativeMat4x4f;
+declare function matToArray(mat: m2x2f | m3x3f | m4x4f): number[];
 
 /**
  * Marks a concrete integer scalar type schema (u32 or i32) as a WGSL atomic.
@@ -436,108 +259,28 @@ declare function ptr<TDataType extends AnyTgpuData>(pointsTo: TDataType): TgpuPo
  *
  * @param data Underlying type schema.
  */
-declare function atomic<TSchema extends U32 | I32>(data: TSchema): Atomic<TSchema>;
-/**
- * Atomic schema constructed via `d.atomic` function.
- */
-interface Atomic<TSchema extends U32 | I32> extends TgpuData<Unwrap<TSchema>> {
-}
-/**
- * Checks whether the passed in value is a d.atomic schema.
- *
- * @example
- * isAtomicSchema(d.atomic(d.u32)) // true
- * isAtomicSchema(d.u32) // false
- */
-declare function isAtomicSchema<T extends Atomic<U32 | I32>>(schema: T | unknown): schema is T;
+declare function atomic<TSchema extends U32 | I32>(data: TSchema): Atomic<Exotic<TSchema>>;
 
-interface Align<T extends number> {
-    type: 'align';
-    alignment: T;
-}
-interface Size<T extends number> {
-    type: 'size';
-    size: T;
-}
-interface Location<T extends number> {
-    type: 'location';
-    location: T;
-}
-type AnyAttribute = Align<number> | Size<number> | Location<number>;
-interface BaseDecorated<TInner extends AnyTgpuData | AnyTgpuLooseData = AnyTgpuData | AnyTgpuLooseData, TAttribs extends AnyAttribute[] = AnyAttribute[]> {
-    readonly inner: TInner;
-    readonly attributes: TAttribs;
-    readonly alignAttrib: number | undefined;
-    readonly sizeAttrib: number | undefined;
-    readonly locationAttrib: number | undefined;
-}
-interface Decorated<TInner extends AnyTgpuData, TAttribs extends AnyAttribute[]> extends BaseDecorated<TInner, TAttribs>, TgpuData<Unwrap<TInner>> {
-}
-interface LooseDecorated<TInner extends AnyTgpuLooseData, TAttribs extends AnyAttribute[]> extends BaseDecorated<TInner, TAttribs>, TgpuLooseData<Unwrap<TInner>> {
-}
-type ExtractAttributes<T> = T extends BaseDecorated<AnyTgpuData, infer Attribs> ? Attribs : [];
-type UnwrapDecorated<T> = T extends BaseDecorated<infer Inner> ? Inner : T;
 /**
- * Decorates a data-type `TData` with an attribute `TAttrib`.
- *
- * - if `TData` is loose
- *   - if `TData` is already `LooseDecorated`
- *     - Prepend `TAttrib` to the existing attribute tuple.
- *   - else
- *     - Wrap `TData` with `LooseDecorated` and a single attribute `[TAttrib]`
- * - else
- *   - if `TData` is already `Decorated`
- *     - Prepend `TAttrib` to the existing attribute tuple.
- *   - else
- *     - Wrap `TData` with `Decorated` and a single attribute `[TAttrib]`
+ * Returns the size (in bytes) of data represented by the `schema`.
  */
-type Decorate<TData extends AnyTgpuData | AnyTgpuLooseData, TAttrib extends AnyAttribute> = TData extends AnyTgpuData ? Decorated<UnwrapDecorated<TData>, [TAttrib, ...ExtractAttributes<TData>]> : TData extends AnyTgpuLooseData ? LooseDecorated<UnwrapDecorated<TData>, [
-    TAttrib,
-    ...ExtractAttributes<TData>
-]> : never;
+declare function PUBLIC_sizeOf(schema: AnyData): number;
+
 /**
- * Gives the wrapped data-type a custom byte alignment. Useful in order to
- * fulfill uniform alignment requirements.
- *
- * @example
- * const Data = d.struct({
- *   a: u32, // takes up 4 bytes
- *   // 12 bytes of padding, because `b` is custom aligned to multiples of 16 bytes
- *   b: d.align(16, u32),
- * });
- *
- * @param alignment The multiple of bytes this data should align itself to.
- * @param data The data-type to align.
+ * Returns the alignment (in bytes) of data represented by the `schema`.
  */
-declare function align<TAlign extends number, TData extends AnyTgpuData | AnyTgpuLooseData>(alignment: TAlign, data: TData): Decorate<TData, Align<TAlign>>;
+declare function PUBLIC_alignmentOf(schema: AnyData): number;
+
 /**
- * Adds padding bytes after the wrapped data-type, until the whole value takes up `size` bytes.
- *
- * @example
- * const Data = d.struct({
- *   a: d.size(16, u32), // takes up 16 bytes, instead of 4
- *   b: u32, // starts at byte 16, because `a` has a custom size
- * });
- *
- * @param size The amount of bytes that should be reserved for this data-type.
- * @param data The data-type to wrap.
+ * @module typegpu/data
  */
-declare function size<TSize extends number, TData extends AnyTgpuData | AnyTgpuLooseData>(size: TSize, data: TData): Decorate<TData, Size<TSize>>;
+
 /**
- * Assigns an explicit numeric location to a struct member or a parameter that has this type.
- *
+ * Extracts the inferred representation of a resource.
  * @example
- * const Data = d.ioStruct({
- *   a: d.u32, // has implicit location 0
- *   b: d.location(5, d.u32),
- *   c: d.u32, // has implicit location 6
- * });
- *
- * @param location The explicit numeric location.
- * @param data The data-type to wrap.
+ * type A = Infer<F32> // => number
+ * type B = Infer<TgpuArray<F32>> // => number[]
  */
-declare function location<TLocation extends number, TData extends AnyTgpuData | AnyTgpuLooseData>(location: TLocation, data: TData): Decorate<TData, Location<TLocation>>;
-declare function isDecorated<T extends Decorated<AnyTgpuData, AnyAttribute[]>>(value: T | unknown): value is T;
-declare function isLooseDecorated<T extends LooseDecorated<AnyTgpuLooseData, AnyAttribute[]>>(value: T | unknown): value is T;
+type Infer<T> = Infer$1<Exotic<T>>;
 
-export { type Align, type AnyAttribute, type Atomic, type BaseDecorated, type Decorated, F32, type FormatToWGSLType, I32, type Location, type LooseDecorated, type Mat2x2f, type Mat3x3f, type Mat4x4f, SimpleTgpuData, type Size, type TgpuArray, type TgpuBaseArray, type TgpuBaseStruct, type TgpuLooseArray, type TgpuLooseStruct, type TgpuStruct, type TgpuVertexFormatData, U32, Vec2f, Vec2i, Vec2u, Vec3f, Vec3i, Vec3u, Vec4f, Vec4i, Vec4u, align, arrayOf, atomic, float16x2, float16x4, float32, float32x2, float32x3, float32x4, isArraySchema, isAtomicSchema, isDecorated, isLooseArraySchema, isLooseDecorated, isLooseStructSchema, isStructSchema, location, looseArrayOf, looseStruct, mat2x2f, mat3x3f, mat4x4f, ptr, sint16x2, sint16x4, sint32, sint32x2, sint32x3, sint32x4, sint8x2, sint8x4, size, snorm16x2, snorm16x4, snorm8x2, snorm8x4, struct, uint16x2, uint16x4, uint32, uint32x2, uint32x3, uint32x4, uint8x2, uint8x4, unorm10_10_10_2, unorm16x2, unorm16x4, unorm8x2, unorm8x4, vec2f, vec3f, vec4f };
+export { Align, type AnyAttribute, AnyData, AnyLooseData, AnyWgslData, Atomic, Builtin, Decorated, I32, type Infer, type IsBuiltin, Location, LooseArray, LooseDecorated, LooseStruct, Mat2x2f, Mat3x3f, Mat4x4f, Size, type TgpuArray, type TgpuStruct, U32, WgslArray, WgslStruct, align, PUBLIC_alignmentOf as alignmentOf, arrayOf, atomic, isBuiltin, location, looseArrayOf, looseStruct, m2x2f, m3x3f, m4x4f, mat2x2f, mat3x3f, mat4x4f, matToArray, size, PUBLIC_sizeOf as sizeOf, struct, v2f, v3f, v4f };