typegpu 0.3.1 → 0.3.3

package/index.d.cts

@@ -1,5 +1,5 @@
-import { A as AnyWgslData, I as Infer, D as Decorated, F as F32, a as F16, b as I32, U as U32, V as Vec2f, c as Vec3f, d as Vec4f, e as Vec2h, f as Vec3h, g as Vec4h, h as Vec2i, i as Vec3i, j as Vec4i, k as Vec2u, l as Vec3u, m as Vec4u, B as BaseWgslData, L as Location, W as WgslArray, n as WgslStruct, o as WgslTypeLiteral, p as AnyVecInstance, q as AnyMatInstance } from './vector-BSez01sn.cjs';
-import { T as TgpuNamable, E as Exotic, A as AnyBuiltin, a as AnyAttribute, D as Default, U as UnionToIntersection, b as AnyData, c as Decorate, d as TgpuStruct, I as IsBuiltin, H as HasCustomLocation, O as OmitBuiltins, e as Disarray, K as KindToAcceptedAttribMap, f as Unstruct, V as VertexFormat, g as TgpuVertexAttrib, h as KindToDefaultFormatMap, i as OmitProps, P as Prettify, M as Mutable, j as Infer$1, k as ExoticArray } from './index-CopjPGJg.cjs';
+import { A as AnyWgslData, I as Infer, D as Decorated, F as F32, a as F16, b as I32, U as U32, V as Vec2f, c as Vec3f, d as Vec4f, e as Vec2h, f as Vec3h, g as Vec4h, h as Vec2i, i as Vec3i, j as Vec4i, k as Vec2u, l as Vec3u, m as Vec4u, B as BaseWgslData, L as Location, n as AnyWgslStruct, W as WgslArray, o as WgslTypeLiteral, p as AnyVecInstance, q as AnyMatInstance } from './vector-CDD2FV2v.cjs';
+import { T as TgpuNamable, E as Exotic, A as AnyBuiltin, a as AnyAttribute, D as Default, U as UnionToIntersection, b as AnyData, c as Decorate, d as TgpuStruct, I as IsBuiltin, H as HasCustomLocation, O as OmitBuiltins, e as Disarray, K as KindToAcceptedAttribMap, f as Unstruct, V as VertexFormat, g as TgpuVertexAttrib, h as KindToDefaultFormatMap, i as OmitProps, P as Prettify, M as Mutable, j as Infer$1, k as ExoticArray } from './index-CuzbyKXg.cjs';
 import * as smol from 'tinyest';
 import { Block } from 'tinyest';
 
@@ -133,6 +133,7 @@ declare class StrictNameRegistry implements NameRegistry {
 
 interface TgpuSlot<T> extends TgpuNamable, Labelled {
     readonly resourceType: 'slot';
+    '~repr': Infer<T>;
     readonly defaultValue: T | undefined;
     /**
      * Used to determine if code generated using either value `a` or `b` in place
@@ -144,6 +145,8 @@ interface TgpuSlot<T> extends TgpuNamable, Labelled {
 interface TgpuDerived<T> {
     readonly resourceType: 'derived';
     readonly value: Infer<T>;
+    '~repr': Infer<T>;
+    readonly '~providing'?: Providing | undefined;
     with<TValue>(slot: TgpuSlot<TValue>, value: Eventual<TValue>): TgpuDerived<T>;
     /**
      * @internal
@@ -152,6 +155,7 @@ interface TgpuDerived<T> {
 }
 interface TgpuAccessor<T extends AnyWgslData = AnyWgslData> extends TgpuNamable, Labelled {
     readonly resourceType: 'accessor';
+    '~repr': Infer<T>;
     readonly schema: T;
     readonly defaultValue: TgpuFn<[], T> | TgpuBufferUsage<T> | Infer<T> | undefined;
     readonly slot: TgpuSlot<TgpuFn<[], T> | TgpuBufferUsage<T> | Infer<T>>;
@@ -162,6 +166,10 @@ interface TgpuAccessor<T extends AnyWgslData = AnyWgslData> extends TgpuNamable,
  */
 type Eventual<T> = T | TgpuSlot<T> | TgpuDerived<T>;
 type SlotValuePair<T = unknown> = [TgpuSlot<T>, T];
+type Providing = {
+    inner: unknown;
+    pairs: SlotValuePair[];
+};
 declare function isSlot<T>(value: unknown | TgpuSlot<T>): value is TgpuSlot<T>;
 declare function isDerived<T extends TgpuDerived<unknown>>(value: T | unknown): value is T;
 
@@ -448,7 +456,7 @@ interface Unwrapper {
 type WithLocations<T extends IORecord> = {
     [Key in keyof T]: IsBuiltin<T[Key]> extends true ? T[Key] : HasCustomLocation<T[Key]> extends true ? T[Key] : Decorate<T[Key], Location<number>>;
 };
-type IOLayoutToOutputSchema<T extends IOLayout> = T extends BaseWgslData ? Decorate<T, Location<0>> : T extends IORecord ? TgpuStruct<WithLocations<T>> : never;
+type IOLayoutToSchema<T extends IOLayout> = T extends BaseWgslData ? Decorate<T, Location<0>> : T extends IORecord ? TgpuStruct<WithLocations<T>> : never;
 
 /**
  * Describes a fragment entry function signature (its arguments and return type)
@@ -470,7 +478,7 @@ interface TgpuFragmentFnShell<FragmentIn extends IOLayout, FragmentOut extends I
 }
 interface TgpuFragmentFn<Varying extends IOLayout = IOLayout, Output extends IOLayout<Vec4f> = IOLayout<Vec4f>> extends TgpuNamable {
     readonly shell: TgpuFragmentFnShell<Varying, Output>;
-    readonly outputType: IOLayoutToOutputSchema<Output>;
+    readonly outputType: IOLayoutToSchema<Output>;
     $uses(dependencyMap: Record<string, unknown>): this;
 }
 /**
@@ -491,8 +499,9 @@ declare function fragmentFn<FragmentIn extends IORecord, FragmentOut extends IOL
  * Describes a vertex entry function signature (its arguments and return type)
  */
 interface TgpuVertexFnShell<VertexIn extends IOLayout, VertexOut extends IOLayout> {
-    readonly argTypes: [VertexIn];
+    readonly argTypes: [AnyWgslStruct];
     readonly returnType: VertexOut;
+    readonly attributes: [VertexIn];
     /**
      * Creates a type-safe implementation of this signature
      */
@@ -507,7 +516,8 @@ interface TgpuVertexFnShell<VertexIn extends IOLayout, VertexOut extends IOLayou
 }
 interface TgpuVertexFn<VertexIn extends IOLayout = IOLayout, VertexOut extends IOLayout = IOLayout> extends TgpuNamable {
     readonly shell: TgpuVertexFnShell<VertexIn, VertexOut>;
-    readonly outputType: IOLayoutToOutputSchema<VertexOut>;
+    readonly outputType: IOLayoutToSchema<VertexOut>;
+    readonly inputType: IOLayoutToSchema<VertexIn>;
     $uses(dependencyMap: Record<string, unknown>): this;
 }
 /**
@@ -521,7 +531,7 @@ interface TgpuVertexFn<VertexIn extends IOLayout = IOLayout, VertexOut extends I
  *   A struct type containing the final position of the vertex, and any information
  *   passed onto the fragment shader stage.
  */
-declare function vertexFn<VertexIn extends IOLayout, VertexOut extends IORecord>(inputType: VertexIn, outputType: VertexOut): TgpuVertexFnShell<ExoticIO<VertexIn>, ExoticIO<VertexOut>>;
+declare function vertexFn<VertexIn extends IORecord, VertexOut extends IORecord>(inputType: VertexIn, outputType: VertexOut): TgpuVertexFnShell<ExoticIO<VertexIn>, ExoticIO<VertexOut>>;
 
 /**
  * The array can hold T, where T is a single/multi-component numeric, or a struct with members of type T.
@@ -531,7 +541,7 @@ declare function vertexFn<VertexIn extends IOLayout, VertexOut extends IORecord>
  * - TgpuStruct<{ a: Vec3f, b: unorm8x2 }>
  * - TgpuStruct<{ nested: TgpuStruct<{ a: Vec3f }> }>
  */
-type DataToContainedAttribs<T> = T extends WgslStruct | Unstruct ? {
+type DataToContainedAttribs<T> = T extends AnyWgslStruct | Unstruct ? {
     [Key in keyof T['propTypes']]: DataToContainedAttribs<T['propTypes'][Key]>;
 } : T extends {
     type: VertexFormat;
@@ -563,6 +573,7 @@ interface TgpuRenderPipeline<Output extends IOLayout = IOLayout> extends TgpuNam
     with<TData extends WgslArray | Disarray>(vertexLayout: TgpuVertexLayout<TData>, buffer: TgpuBuffer$1<TData> & Vertex): TgpuRenderPipeline<IOLayout>;
     with<Entries extends Record<string, TgpuLayoutEntry | null>>(bindGroupLayout: TgpuBindGroupLayout<Entries>, bindGroup: TgpuBindGroup<Entries>): TgpuRenderPipeline<IOLayout>;
     withColorAttachment(attachment: FragmentOutToColorAttachment<Output>): TgpuRenderPipeline<IOLayout>;
+    withDepthStencilAttachment(attachment: DepthStencilAttachment): TgpuRenderPipeline<IOLayout>;
     draw(vertexCount: number, instanceCount?: number, firstVertex?: number, firstInstance?: number): void;
 }
 type FragmentOutToTargets<T extends IOLayout> = T extends IOData ? GPUColorTargetState : T extends Record<string, unknown> ? {
@@ -609,6 +620,59 @@ interface ColorAttachment {
      */
     storeOp: GPUStoreOp;
 }
+interface DepthStencilAttachment {
+    /**
+     * A {@link GPUTextureView} | ({@link TgpuTexture} & {@link Render}) describing the texture subresource that will be output to
+     * and read from for this depth/stencil attachment.
+     */
+    view: (TgpuTexture & Render) | GPUTextureView;
+    /**
+     * Indicates the value to clear {@link GPURenderPassDepthStencilAttachment#view}'s depth component
+     * to prior to executing the render pass. Ignored if {@link GPURenderPassDepthStencilAttachment#depthLoadOp}
+     * is not {@link GPULoadOp#"clear"}. Must be between 0.0 and 1.0, inclusive (unless unrestricted depth is enabled).
+     */
+    depthClearValue?: number;
+    /**
+     * Indicates the load operation to perform on {@link GPURenderPassDepthStencilAttachment#view}'s
+     * depth component prior to executing the render pass.
+     * Note: It is recommended to prefer clearing; see {@link GPULoadOp#"clear"} for details.
+     */
+    depthLoadOp?: GPULoadOp;
+    /**
+     * The store operation to perform on {@link GPURenderPassDepthStencilAttachment#view}'s
+     * depth component after executing the render pass.
+     */
+    depthStoreOp?: GPUStoreOp;
+    /**
+     * Indicates that the depth component of {@link GPURenderPassDepthStencilAttachment#view}
+     * is read only.
+     */
+    depthReadOnly?: boolean;
+    /**
+     * Indicates the value to clear {@link GPURenderPassDepthStencilAttachment#view}'s stencil component
+     * to prior to executing the render pass. Ignored if {@link GPURenderPassDepthStencilAttachment#stencilLoadOp}
+     * is not {@link GPULoadOp#"clear"}.
+     * The value will be converted to the type of the stencil aspect of `view` by taking the same
+     * number of LSBs as the number of bits in the stencil aspect of one texel block|texel of `view`.
+     */
+    stencilClearValue?: GPUStencilValue;
+    /**
+     * Indicates the load operation to perform on {@link GPURenderPassDepthStencilAttachment#view}'s
+     * stencil component prior to executing the render pass.
+     * Note: It is recommended to prefer clearing; see {@link GPULoadOp#"clear"} for details.
+     */
+    stencilLoadOp?: GPULoadOp;
+    /**
+     * The store operation to perform on {@link GPURenderPassDepthStencilAttachment#view}'s
+     * stencil component after executing the render pass.
+     */
+    stencilStoreOp?: GPUStoreOp;
+    /**
+     * Indicates that the stencil component of {@link GPURenderPassDepthStencilAttachment#view}
+     * is read only.
+     */
+    stencilReadOnly?: boolean;
+}
 
 interface WithCompute {
     createPipeline(): TgpuComputePipeline;
@@ -634,6 +698,7 @@ interface WithVertex<VertexOut extends IORecord = IORecord> {
 }
 interface WithFragment<Output extends IOLayout<Vec4f> = IOLayout<Vec4f>> {
     withPrimitive(primitiveState: GPUPrimitiveState | undefined): WithFragment<Output>;
+    withDepthStencil(depthStencilState: GPUDepthStencilState | undefined): WithFragment<Output>;
     createPipeline(): TgpuRenderPipeline<Output>;
 }
 interface WithBinding {
@@ -1142,6 +1207,7 @@ interface TgpuFnShell<Args extends AnyWgslData[] = AnyWgslData[], Return extends
 interface TgpuFnBase<Args extends AnyWgslData[], Return extends AnyWgslData | undefined = undefined> extends TgpuNamable, Labelled {
     readonly resourceType: 'function';
     readonly shell: TgpuFnShell<Args, Return>;
+    readonly '~providing'?: Providing | undefined;
     $uses(dependencyMap: Record<string, unknown>): this;
     with<T>(slot: TgpuSlot<T>, value: Eventual<T>): TgpuFn<Args, Return>;
     with<T extends AnyWgslData>(accessor: TgpuAccessor<T>, value: TgpuFn<[], T> | TgpuBufferUsage<T> | Infer$1<T>): TgpuFn<Args, Return>;
@@ -1293,8 +1359,11 @@ declare class NotUniformError extends Error {
 declare class MissingLinksError extends Error {
     constructor(fnLabel: string | undefined, externalNames: string[]);
 }
-declare class MissingBindGroupError extends Error {
-    constructor(layoutLabel: string | undefined);
+declare class MissingBindGroupsError extends Error {
+    constructor(layouts: Iterable<TgpuBindGroupLayout>);
+}
+declare class MissingVertexBuffersError extends Error {
+    constructor(layouts: Iterable<TgpuVertexLayout<WgslArray | Disarray>>);
 }
 
 type TgpuBuffer<TData extends AnyData> = TgpuBuffer$1<Exotic<TData>>;
@@ -1329,4 +1398,4 @@ declare const tgpu: {
     };
 };
 
-export { type BindLayoutEntry, type Eventual, type InitFromDeviceOptions, type InitOptions, type LayoutEntryToInput, MissingBindGroupError, MissingLinksError, MissingSlotValueError, NotUniformError, RandomNameRegistry, type Render, ResolutionError, type Sampled, Storage, StrictNameRegistry, type TextureProps, type TgpuAccessor, type TgpuAnyTextureView, type TgpuBindGroup, type TgpuBindGroupLayout, type TgpuBuffer, type TgpuBufferMutable, type TgpuBufferReadonly, type TgpuBufferUniform, type TgpuComputeFn, type TgpuComputeFnShell, type TgpuComputePipeline, type TgpuConst, type TgpuDeclare, type TgpuDerived, type TgpuFn, type TgpuFnShell, type TgpuFragmentFn, type TgpuFragmentFnShell, type TgpuLayoutComparisonSampler, type TgpuLayoutEntry, type TgpuLayoutExternalTexture, type TgpuLayoutSampler, type TgpuLayoutStorage, type TgpuLayoutStorageTexture, type TgpuLayoutTexture, type TgpuLayoutUniform, type TgpuMutableTexture, type TgpuReadonlyTexture, type TgpuRenderPipeline, type TgpuRoot, type TgpuSampledTexture, type TgpuSampler, type TgpuSlot, type TgpuTexture, type TgpuVar, type TgpuVertexFn, type TgpuVertexFnShell, type TgpuVertexLayout, type TgpuWriteonlyTexture, Uniform, type VariableScope, Vertex, type WithBinding, type WithCompute, type WithFragment, type WithVertex, tgpu as default, isBuffer, isComparisonSampler, isDerived, isSampledTextureView, isSampler, isSlot, isStorageTextureView, isTexture, isTgpuFn, isUsableAsRender, isUsableAsSampled, isUsableAsStorage, isUsableAsUniform, isUsableAsVertex, tgpu, asMutable as unstable_asMutable, asReadonly as unstable_asReadonly, asUniform as unstable_asUniform };
+export { type BindLayoutEntry, type Eventual, type InitFromDeviceOptions, type InitOptions, type LayoutEntryToInput, MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, NotUniformError, RandomNameRegistry, type Render, ResolutionError, type Sampled, Storage, StrictNameRegistry, type TextureProps, type TgpuAccessor, type TgpuAnyTextureView, type TgpuBindGroup, type TgpuBindGroupLayout, type TgpuBuffer, type TgpuBufferMutable, type TgpuBufferReadonly, type TgpuBufferUniform, type TgpuComputeFn, type TgpuComputeFnShell, type TgpuComputePipeline, type TgpuConst, type TgpuDeclare, type TgpuDerived, type TgpuFn, type TgpuFnShell, type TgpuFragmentFn, type TgpuFragmentFnShell, type TgpuLayoutComparisonSampler, type TgpuLayoutEntry, type TgpuLayoutExternalTexture, type TgpuLayoutSampler, type TgpuLayoutStorage, type TgpuLayoutStorageTexture, type TgpuLayoutTexture, type TgpuLayoutUniform, type TgpuMutableTexture, type TgpuReadonlyTexture, type TgpuRenderPipeline, type TgpuRoot, type TgpuSampledTexture, type TgpuSampler, type TgpuSlot, type TgpuTexture, type TgpuVar, type TgpuVertexFn, type TgpuVertexFnShell, type TgpuVertexLayout, type TgpuWriteonlyTexture, Uniform, type VariableScope, Vertex, type WithBinding, type WithCompute, type WithFragment, type WithVertex, tgpu as default, isBuffer, isComparisonSampler, isDerived, isSampledTextureView, isSampler, isSlot, isStorageTextureView, isTexture, isTgpuFn, isUsableAsRender, isUsableAsSampled, isUsableAsStorage, isUsableAsUniform, isUsableAsVertex, tgpu, asMutable as unstable_asMutable, asReadonly as unstable_asReadonly, asUniform as unstable_asUniform };

package/index.d.ts

@@ -1,5 +1,5 @@
-import { A as AnyWgslData, I as Infer, D as Decorated, F as F32, a as F16, b as I32, U as U32, V as Vec2f, c as Vec3f, d as Vec4f, e as Vec2h, f as Vec3h, g as Vec4h, h as Vec2i, i as Vec3i, j as Vec4i, k as Vec2u, l as Vec3u, m as Vec4u, B as BaseWgslData, L as Location, W as WgslArray, n as WgslStruct, o as WgslTypeLiteral, p as AnyVecInstance, q as AnyMatInstance } from './vector-BSez01sn.js';
-import { T as TgpuNamable, E as Exotic, A as AnyBuiltin, a as AnyAttribute, D as Default, U as UnionToIntersection, b as AnyData, c as Decorate, d as TgpuStruct, I as IsBuiltin, H as HasCustomLocation, O as OmitBuiltins, e as Disarray, K as KindToAcceptedAttribMap, f as Unstruct, V as VertexFormat, g as TgpuVertexAttrib, h as KindToDefaultFormatMap, i as OmitProps, P as Prettify, M as Mutable, j as Infer$1, k as ExoticArray } from './index-BM7ZTN7E.js';
+import { A as AnyWgslData, I as Infer, D as Decorated, F as F32, a as F16, b as I32, U as U32, V as Vec2f, c as Vec3f, d as Vec4f, e as Vec2h, f as Vec3h, g as Vec4h, h as Vec2i, i as Vec3i, j as Vec4i, k as Vec2u, l as Vec3u, m as Vec4u, B as BaseWgslData, L as Location, n as AnyWgslStruct, W as WgslArray, o as WgslTypeLiteral, p as AnyVecInstance, q as AnyMatInstance } from './vector-CDD2FV2v.js';
+import { T as TgpuNamable, E as Exotic, A as AnyBuiltin, a as AnyAttribute, D as Default, U as UnionToIntersection, b as AnyData, c as Decorate, d as TgpuStruct, I as IsBuiltin, H as HasCustomLocation, O as OmitBuiltins, e as Disarray, K as KindToAcceptedAttribMap, f as Unstruct, V as VertexFormat, g as TgpuVertexAttrib, h as KindToDefaultFormatMap, i as OmitProps, P as Prettify, M as Mutable, j as Infer$1, k as ExoticArray } from './index-FHKuURMs.js';
 import * as smol from 'tinyest';
 import { Block } from 'tinyest';
 
@@ -133,6 +133,7 @@ declare class StrictNameRegistry implements NameRegistry {
 
 interface TgpuSlot<T> extends TgpuNamable, Labelled {
     readonly resourceType: 'slot';
+    '~repr': Infer<T>;
     readonly defaultValue: T | undefined;
     /**
      * Used to determine if code generated using either value `a` or `b` in place
@@ -144,6 +145,8 @@ interface TgpuSlot<T> extends TgpuNamable, Labelled {
 interface TgpuDerived<T> {
     readonly resourceType: 'derived';
     readonly value: Infer<T>;
+    '~repr': Infer<T>;
+    readonly '~providing'?: Providing | undefined;
     with<TValue>(slot: TgpuSlot<TValue>, value: Eventual<TValue>): TgpuDerived<T>;
     /**
      * @internal
@@ -152,6 +155,7 @@ interface TgpuDerived<T> {
 }
 interface TgpuAccessor<T extends AnyWgslData = AnyWgslData> extends TgpuNamable, Labelled {
     readonly resourceType: 'accessor';
+    '~repr': Infer<T>;
     readonly schema: T;
     readonly defaultValue: TgpuFn<[], T> | TgpuBufferUsage<T> | Infer<T> | undefined;
     readonly slot: TgpuSlot<TgpuFn<[], T> | TgpuBufferUsage<T> | Infer<T>>;
@@ -162,6 +166,10 @@ interface TgpuAccessor<T extends AnyWgslData = AnyWgslData> extends TgpuNamable,
  */
 type Eventual<T> = T | TgpuSlot<T> | TgpuDerived<T>;
 type SlotValuePair<T = unknown> = [TgpuSlot<T>, T];
+type Providing = {
+    inner: unknown;
+    pairs: SlotValuePair[];
+};
 declare function isSlot<T>(value: unknown | TgpuSlot<T>): value is TgpuSlot<T>;
 declare function isDerived<T extends TgpuDerived<unknown>>(value: T | unknown): value is T;
 
@@ -448,7 +456,7 @@ interface Unwrapper {
 type WithLocations<T extends IORecord> = {
     [Key in keyof T]: IsBuiltin<T[Key]> extends true ? T[Key] : HasCustomLocation<T[Key]> extends true ? T[Key] : Decorate<T[Key], Location<number>>;
 };
-type IOLayoutToOutputSchema<T extends IOLayout> = T extends BaseWgslData ? Decorate<T, Location<0>> : T extends IORecord ? TgpuStruct<WithLocations<T>> : never;
+type IOLayoutToSchema<T extends IOLayout> = T extends BaseWgslData ? Decorate<T, Location<0>> : T extends IORecord ? TgpuStruct<WithLocations<T>> : never;
 
 /**
  * Describes a fragment entry function signature (its arguments and return type)
@@ -470,7 +478,7 @@ interface TgpuFragmentFnShell<FragmentIn extends IOLayout, FragmentOut extends I
 }
 interface TgpuFragmentFn<Varying extends IOLayout = IOLayout, Output extends IOLayout<Vec4f> = IOLayout<Vec4f>> extends TgpuNamable {
     readonly shell: TgpuFragmentFnShell<Varying, Output>;
-    readonly outputType: IOLayoutToOutputSchema<Output>;
+    readonly outputType: IOLayoutToSchema<Output>;
     $uses(dependencyMap: Record<string, unknown>): this;
 }
 /**
@@ -491,8 +499,9 @@ declare function fragmentFn<FragmentIn extends IORecord, FragmentOut extends IOL
  * Describes a vertex entry function signature (its arguments and return type)
  */
 interface TgpuVertexFnShell<VertexIn extends IOLayout, VertexOut extends IOLayout> {
-    readonly argTypes: [VertexIn];
+    readonly argTypes: [AnyWgslStruct];
     readonly returnType: VertexOut;
+    readonly attributes: [VertexIn];
     /**
      * Creates a type-safe implementation of this signature
      */
@@ -507,7 +516,8 @@ interface TgpuVertexFnShell<VertexIn extends IOLayout, VertexOut extends IOLayou
 }
 interface TgpuVertexFn<VertexIn extends IOLayout = IOLayout, VertexOut extends IOLayout = IOLayout> extends TgpuNamable {
     readonly shell: TgpuVertexFnShell<VertexIn, VertexOut>;
-    readonly outputType: IOLayoutToOutputSchema<VertexOut>;
+    readonly outputType: IOLayoutToSchema<VertexOut>;
+    readonly inputType: IOLayoutToSchema<VertexIn>;
     $uses(dependencyMap: Record<string, unknown>): this;
 }
 /**
@@ -521,7 +531,7 @@ interface TgpuVertexFn<VertexIn extends IOLayout = IOLayout, VertexOut extends I
  *   A struct type containing the final position of the vertex, and any information
  *   passed onto the fragment shader stage.
  */
-declare function vertexFn<VertexIn extends IOLayout, VertexOut extends IORecord>(inputType: VertexIn, outputType: VertexOut): TgpuVertexFnShell<ExoticIO<VertexIn>, ExoticIO<VertexOut>>;
+declare function vertexFn<VertexIn extends IORecord, VertexOut extends IORecord>(inputType: VertexIn, outputType: VertexOut): TgpuVertexFnShell<ExoticIO<VertexIn>, ExoticIO<VertexOut>>;
 
 /**
  * The array can hold T, where T is a single/multi-component numeric, or a struct with members of type T.
@@ -531,7 +541,7 @@ declare function vertexFn<VertexIn extends IOLayout, VertexOut extends IORecord>
  * - TgpuStruct<{ a: Vec3f, b: unorm8x2 }>
  * - TgpuStruct<{ nested: TgpuStruct<{ a: Vec3f }> }>
  */
-type DataToContainedAttribs<T> = T extends WgslStruct | Unstruct ? {
+type DataToContainedAttribs<T> = T extends AnyWgslStruct | Unstruct ? {
     [Key in keyof T['propTypes']]: DataToContainedAttribs<T['propTypes'][Key]>;
 } : T extends {
     type: VertexFormat;
@@ -563,6 +573,7 @@ interface TgpuRenderPipeline<Output extends IOLayout = IOLayout> extends TgpuNam
     with<TData extends WgslArray | Disarray>(vertexLayout: TgpuVertexLayout<TData>, buffer: TgpuBuffer$1<TData> & Vertex): TgpuRenderPipeline<IOLayout>;
     with<Entries extends Record<string, TgpuLayoutEntry | null>>(bindGroupLayout: TgpuBindGroupLayout<Entries>, bindGroup: TgpuBindGroup<Entries>): TgpuRenderPipeline<IOLayout>;
     withColorAttachment(attachment: FragmentOutToColorAttachment<Output>): TgpuRenderPipeline<IOLayout>;
+    withDepthStencilAttachment(attachment: DepthStencilAttachment): TgpuRenderPipeline<IOLayout>;
     draw(vertexCount: number, instanceCount?: number, firstVertex?: number, firstInstance?: number): void;
 }
 type FragmentOutToTargets<T extends IOLayout> = T extends IOData ? GPUColorTargetState : T extends Record<string, unknown> ? {
@@ -609,6 +620,59 @@ interface ColorAttachment {
      */
     storeOp: GPUStoreOp;
 }
+interface DepthStencilAttachment {
+    /**
+     * A {@link GPUTextureView} | ({@link TgpuTexture} & {@link Render}) describing the texture subresource that will be output to
+     * and read from for this depth/stencil attachment.
+     */
+    view: (TgpuTexture & Render) | GPUTextureView;
+    /**
+     * Indicates the value to clear {@link GPURenderPassDepthStencilAttachment#view}'s depth component
+     * to prior to executing the render pass. Ignored if {@link GPURenderPassDepthStencilAttachment#depthLoadOp}
+     * is not {@link GPULoadOp#"clear"}. Must be between 0.0 and 1.0, inclusive (unless unrestricted depth is enabled).
+     */
+    depthClearValue?: number;
+    /**
+     * Indicates the load operation to perform on {@link GPURenderPassDepthStencilAttachment#view}'s
+     * depth component prior to executing the render pass.
+     * Note: It is recommended to prefer clearing; see {@link GPULoadOp#"clear"} for details.
+     */
+    depthLoadOp?: GPULoadOp;
+    /**
+     * The store operation to perform on {@link GPURenderPassDepthStencilAttachment#view}'s
+     * depth component after executing the render pass.
+     */
+    depthStoreOp?: GPUStoreOp;
+    /**
+     * Indicates that the depth component of {@link GPURenderPassDepthStencilAttachment#view}
+     * is read only.
+     */
+    depthReadOnly?: boolean;
+    /**
+     * Indicates the value to clear {@link GPURenderPassDepthStencilAttachment#view}'s stencil component
+     * to prior to executing the render pass. Ignored if {@link GPURenderPassDepthStencilAttachment#stencilLoadOp}
+     * is not {@link GPULoadOp#"clear"}.
+     * The value will be converted to the type of the stencil aspect of `view` by taking the same
+     * number of LSBs as the number of bits in the stencil aspect of one texel block|texel of `view`.
+     */
+    stencilClearValue?: GPUStencilValue;
+    /**
+     * Indicates the load operation to perform on {@link GPURenderPassDepthStencilAttachment#view}'s
+     * stencil component prior to executing the render pass.
+     * Note: It is recommended to prefer clearing; see {@link GPULoadOp#"clear"} for details.
+     */
+    stencilLoadOp?: GPULoadOp;
+    /**
+     * The store operation to perform on {@link GPURenderPassDepthStencilAttachment#view}'s
+     * stencil component after executing the render pass.
+     */
+    stencilStoreOp?: GPUStoreOp;
+    /**
+     * Indicates that the stencil component of {@link GPURenderPassDepthStencilAttachment#view}
+     * is read only.
+     */
+    stencilReadOnly?: boolean;
+}
 
 interface WithCompute {
     createPipeline(): TgpuComputePipeline;
@@ -634,6 +698,7 @@ interface WithVertex<VertexOut extends IORecord = IORecord> {
 }
 interface WithFragment<Output extends IOLayout<Vec4f> = IOLayout<Vec4f>> {
     withPrimitive(primitiveState: GPUPrimitiveState | undefined): WithFragment<Output>;
+    withDepthStencil(depthStencilState: GPUDepthStencilState | undefined): WithFragment<Output>;
     createPipeline(): TgpuRenderPipeline<Output>;
 }
 interface WithBinding {
@@ -1142,6 +1207,7 @@ interface TgpuFnShell<Args extends AnyWgslData[] = AnyWgslData[], Return extends
 interface TgpuFnBase<Args extends AnyWgslData[], Return extends AnyWgslData | undefined = undefined> extends TgpuNamable, Labelled {
     readonly resourceType: 'function';
     readonly shell: TgpuFnShell<Args, Return>;
+    readonly '~providing'?: Providing | undefined;
     $uses(dependencyMap: Record<string, unknown>): this;
     with<T>(slot: TgpuSlot<T>, value: Eventual<T>): TgpuFn<Args, Return>;
     with<T extends AnyWgslData>(accessor: TgpuAccessor<T>, value: TgpuFn<[], T> | TgpuBufferUsage<T> | Infer$1<T>): TgpuFn<Args, Return>;
@@ -1293,8 +1359,11 @@ declare class NotUniformError extends Error {
 declare class MissingLinksError extends Error {
     constructor(fnLabel: string | undefined, externalNames: string[]);
 }
-declare class MissingBindGroupError extends Error {
-    constructor(layoutLabel: string | undefined);
+declare class MissingBindGroupsError extends Error {
+    constructor(layouts: Iterable<TgpuBindGroupLayout>);
+}
+declare class MissingVertexBuffersError extends Error {
+    constructor(layouts: Iterable<TgpuVertexLayout<WgslArray | Disarray>>);
 }
 
 type TgpuBuffer<TData extends AnyData> = TgpuBuffer$1<Exotic<TData>>;
@@ -1329,4 +1398,4 @@ declare const tgpu: {
     };
 };
 
-export { type BindLayoutEntry, type Eventual, type InitFromDeviceOptions, type InitOptions, type LayoutEntryToInput, MissingBindGroupError, MissingLinksError, MissingSlotValueError, NotUniformError, RandomNameRegistry, type Render, ResolutionError, type Sampled, Storage, StrictNameRegistry, type TextureProps, type TgpuAccessor, type TgpuAnyTextureView, type TgpuBindGroup, type TgpuBindGroupLayout, type TgpuBuffer, type TgpuBufferMutable, type TgpuBufferReadonly, type TgpuBufferUniform, type TgpuComputeFn, type TgpuComputeFnShell, type TgpuComputePipeline, type TgpuConst, type TgpuDeclare, type TgpuDerived, type TgpuFn, type TgpuFnShell, type TgpuFragmentFn, type TgpuFragmentFnShell, type TgpuLayoutComparisonSampler, type TgpuLayoutEntry, type TgpuLayoutExternalTexture, type TgpuLayoutSampler, type TgpuLayoutStorage, type TgpuLayoutStorageTexture, type TgpuLayoutTexture, type TgpuLayoutUniform, type TgpuMutableTexture, type TgpuReadonlyTexture, type TgpuRenderPipeline, type TgpuRoot, type TgpuSampledTexture, type TgpuSampler, type TgpuSlot, type TgpuTexture, type TgpuVar, type TgpuVertexFn, type TgpuVertexFnShell, type TgpuVertexLayout, type TgpuWriteonlyTexture, Uniform, type VariableScope, Vertex, type WithBinding, type WithCompute, type WithFragment, type WithVertex, tgpu as default, isBuffer, isComparisonSampler, isDerived, isSampledTextureView, isSampler, isSlot, isStorageTextureView, isTexture, isTgpuFn, isUsableAsRender, isUsableAsSampled, isUsableAsStorage, isUsableAsUniform, isUsableAsVertex, tgpu, asMutable as unstable_asMutable, asReadonly as unstable_asReadonly, asUniform as unstable_asUniform };
+export { type BindLayoutEntry, type Eventual, type InitFromDeviceOptions, type InitOptions, type LayoutEntryToInput, MissingBindGroupsError, MissingLinksError, MissingSlotValueError, MissingVertexBuffersError, NotUniformError, RandomNameRegistry, type Render, ResolutionError, type Sampled, Storage, StrictNameRegistry, type TextureProps, type TgpuAccessor, type TgpuAnyTextureView, type TgpuBindGroup, type TgpuBindGroupLayout, type TgpuBuffer, type TgpuBufferMutable, type TgpuBufferReadonly, type TgpuBufferUniform, type TgpuComputeFn, type TgpuComputeFnShell, type TgpuComputePipeline, type TgpuConst, type TgpuDeclare, type TgpuDerived, type TgpuFn, type TgpuFnShell, type TgpuFragmentFn, type TgpuFragmentFnShell, type TgpuLayoutComparisonSampler, type TgpuLayoutEntry, type TgpuLayoutExternalTexture, type TgpuLayoutSampler, type TgpuLayoutStorage, type TgpuLayoutStorageTexture, type TgpuLayoutTexture, type TgpuLayoutUniform, type TgpuMutableTexture, type TgpuReadonlyTexture, type TgpuRenderPipeline, type TgpuRoot, type TgpuSampledTexture, type TgpuSampler, type TgpuSlot, type TgpuTexture, type TgpuVar, type TgpuVertexFn, type TgpuVertexFnShell, type TgpuVertexLayout, type TgpuWriteonlyTexture, Uniform, type VariableScope, Vertex, type WithBinding, type WithCompute, type WithFragment, type WithVertex, tgpu as default, isBuffer, isComparisonSampler, isDerived, isSampledTextureView, isSampler, isSlot, isStorageTextureView, isTexture, isTgpuFn, isUsableAsRender, isUsableAsSampled, isUsableAsStorage, isUsableAsUniform, isUsableAsVertex, tgpu, asMutable as unstable_asMutable, asReadonly as unstable_asReadonly, asUniform as unstable_asUniform };