Vulkan.Utils.Pipeline.Specialization

Provide a SpecializationInfo describing spec to the callback.

The info (and the buffer its data' pointer references) is valid only for the duration of the callback, which is exactly the window in which it needs to live: pipeline creation copies the constant values out. Build and create the pipeline inside the continuation.

An empty specialization (e.g. () or an empty list) yields Nothing, so the shader stage's specializationInfo stays unset.

Pack a specialization into a buffer tied to the current resource scope, yielding the SpecializationInfo to embed in a shader stage's specializationInfo.

Unlike withSpecialization this is not continuation-scoped: the backing buffer lives until the surrounding ResourceT block ends, so it survives a later pipeline creation. An empty specialization (e.g. ()) yields Nothing.

A value that flattens to a stack of 32-bit specialization constants, in constant_id order starting from zero.

A single scalar specialization constant, reinterpreted into its 32-bit representation.

Per the GL_KHR_vulkan_glsl spec a constant_id may only decorate a scalar int, float or bool; uint works in practice too. All of these are 32 bits wide.