vulkan 3.6.13 → 3.6.14

raw patch · 119 files changed

+313/−171 lines, 119 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• changelog.md +6/−0
• package.yaml +1/−1
• readme.md +8/−0
• src/Vulkan/Core10/Enums/AccessFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/AttachmentDescriptionFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/BufferCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/BufferUsageFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/BufferViewCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/ColorComponentFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/CommandBufferResetFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/CommandBufferUsageFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/CommandPoolCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/CommandPoolResetFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/CullModeFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/DependencyFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/DescriptorPoolCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/DescriptorPoolResetFlags.hs +2/−1
• src/Vulkan/Core10/Enums/DescriptorSetLayoutCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/DeviceCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/DeviceQueueCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/EventCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/FenceCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/FormatFeatureFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/FramebufferCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/ImageAspectFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/ImageCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/ImageUsageFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/ImageViewCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/InstanceCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/MemoryHeapFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/MemoryMapFlags.hs +2/−1
• src/Vulkan/Core10/Enums/MemoryPropertyFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineCacheCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineColorBlendStateCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineDepthStencilStateCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineDynamicStateCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineInputAssemblyStateCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineLayoutCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineMultisampleStateCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineRasterizationStateCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineShaderStageCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineStageFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineTessellationStateCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineVertexInputStateCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/PipelineViewportStateCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/QueryControlFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/QueryPipelineStatisticFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/QueryPoolCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/QueryResultFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/QueueFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/RenderPassCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/SampleCountFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/SamplerCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/SemaphoreCreateFlags.hs +2/−1
• src/Vulkan/Core10/Enums/ShaderModuleCreateFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/ShaderStageFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/SparseImageFormatFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/SparseMemoryBindFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/StencilFaceFlagBits.hs +2/−1
• src/Vulkan/Core10/Enums/SubpassDescriptionFlagBits.hs +2/−1
• src/Vulkan/Core11/Enums/CommandPoolTrimFlags.hs +2/−1
• src/Vulkan/Core11/Enums/DescriptorUpdateTemplateCreateFlags.hs +2/−1
• src/Vulkan/Core11/Enums/ExternalFenceFeatureFlagBits.hs +2/−1
• src/Vulkan/Core11/Enums/ExternalFenceHandleTypeFlagBits.hs +2/−1
• src/Vulkan/Core11/Enums/ExternalMemoryFeatureFlagBits.hs +2/−1
• src/Vulkan/Core11/Enums/ExternalMemoryHandleTypeFlagBits.hs +2/−1
• src/Vulkan/Core11/Enums/ExternalSemaphoreFeatureFlagBits.hs +2/−1
• src/Vulkan/Core11/Enums/ExternalSemaphoreHandleTypeFlagBits.hs +2/−1
• src/Vulkan/Core11/Enums/FenceImportFlagBits.hs +2/−1
• src/Vulkan/Core11/Enums/MemoryAllocateFlagBits.hs +2/−1
• src/Vulkan/Core11/Enums/PeerMemoryFeatureFlagBits.hs +2/−1
• src/Vulkan/Core11/Enums/SemaphoreImportFlagBits.hs +2/−1
• src/Vulkan/Core11/Enums/SubgroupFeatureFlagBits.hs +2/−1
• src/Vulkan/Core12/Enums/DescriptorBindingFlagBits.hs +2/−1
• src/Vulkan/Core12/Enums/ResolveModeFlagBits.hs +2/−1
• src/Vulkan/Core12/Enums/SemaphoreWaitFlagBits.hs +2/−1
• src/Vulkan/Dynamic.hs +57/−43
• src/Vulkan/Extensions/VK_AMD_pipeline_compiler_control.hs +2/−1
• src/Vulkan/Extensions/VK_AMD_shader_core_properties2.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_conditional_rendering.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_conservative_rasterization.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_debug_report.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_debug_utils.hs +5/−4
• src/Vulkan/Extensions/VK_EXT_depth_clip_enable.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_device_memory_report.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_directfb_surface.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_discard_rectangles.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_display_surface_counter.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_headless_surface.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_metal_surface.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_pipeline_creation_feedback.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_private_data.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_tooling_info.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_transform_feedback.hs +2/−1
• src/Vulkan/Extensions/VK_EXT_validation_cache.hs +2/−1
• src/Vulkan/Extensions/VK_FUCHSIA_imagepipe_surface.hs +2/−1
• src/Vulkan/Extensions/VK_GGP_stream_descriptor_surface.hs +2/−1
• src/Vulkan/Extensions/VK_KHR_android_surface.hs +2/−1
• src/Vulkan/Extensions/VK_KHR_display.hs +4/−3
• src/Vulkan/Extensions/VK_KHR_performance_query.hs +3/−2
• src/Vulkan/Extensions/VK_KHR_ray_tracing.hs +4/−3
• src/Vulkan/Extensions/VK_KHR_surface.hs +3/−2
• src/Vulkan/Extensions/VK_KHR_swapchain.hs +3/−2
• src/Vulkan/Extensions/VK_KHR_wayland_surface.hs +2/−1
• src/Vulkan/Extensions/VK_KHR_win32_surface.hs +2/−1
• src/Vulkan/Extensions/VK_KHR_xcb_surface.hs +2/−1
• src/Vulkan/Extensions/VK_KHR_xlib_surface.hs +2/−1
• src/Vulkan/Extensions/VK_MVK_ios_surface.hs +2/−1
• src/Vulkan/Extensions/VK_MVK_macos_surface.hs +2/−1
• src/Vulkan/Extensions/VK_NN_vi_surface.hs +2/−1
• src/Vulkan/Extensions/VK_NV_coverage_reduction_mode.hs +2/−1
• src/Vulkan/Extensions/VK_NV_device_diagnostics_config.hs +2/−1
• src/Vulkan/Extensions/VK_NV_device_generated_commands.hs +3/−2
• src/Vulkan/Extensions/VK_NV_external_memory_capabilities.hs +3/−2
• src/Vulkan/Extensions/VK_NV_fragment_coverage_to_color.hs +2/−1
• src/Vulkan/Extensions/VK_NV_framebuffer_mixed_samples.hs +2/−1
• src/Vulkan/Extensions/VK_NV_viewport_swizzle.hs +2/−1
• vulkan.cabal +1/−1

@@ -2,6 +2,12 @@  ## WIP +## [3.6.14] - 2020-11-15++- Add `FiniteBits` instance for Flags+- Fix getting function pointers for functions which have aliases (those which+  have been promoted to core versions mostly)+ ## [3.6.13] - 2020-11-09   - Bump API version to v1.2.160 

@@ -1,5 +1,5 @@ name: vulkan-version: "3.6.13"+version: "3.6.14" synopsis: Bindings to the Vulkan graphics API. category: Graphics maintainer: Joe Hermaszewski <live.long.and.prosper@monoid.al>

@@ -272,6 +272,14 @@   _ ::& PhysicalDeviceTimelineSemaphoreFeatures hasTimelineSemaphores :& () <-     getPhysicalDeviceFeatures2 phys   pure hasTimelineSemaphores++-- If you don't have a MonadFail instance you'll have to avoid pattern matching+-- using do notation because of https://gitlab.haskell.org/ghc/ghc/-/issues/15681+hasTimelineSemaphores phys = do+  feats <- getPhysicalDeviceFeatures2 phys+  let _ ::& PhysicalDeviceTimelineSemaphoreFeatures hasTimelineSemaphores :& ()+       = feats+  pure hasTimelineSemaphores ```  ## Building

@@ -42,6 +42,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -156,7 +157,7 @@ -- -- 'AccessFlags' newtype AccessFlagBits = AccessFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'ACCESS_INDIRECT_COMMAND_READ_BIT' specifies read access to indirect -- command data read as part of an indirect drawing or dispatch command.

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'AttachmentDescriptionFlags' newtype AttachmentDescriptionFlagBits = AttachmentDescriptionFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'ATTACHMENT_DESCRIPTION_MAY_ALIAS_BIT' specifies that the attachment -- aliases the same device memory as other attachments.

@@ -19,6 +19,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -39,7 +40,7 @@ -- -- 'BufferCreateFlags' newtype BufferCreateFlagBits = BufferCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'BUFFER_CREATE_SPARSE_BINDING_BIT' specifies that the buffer will be -- backed using sparse memory binding.

@@ -28,6 +28,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -39,7 +40,7 @@ -- -- 'BufferUsageFlags' newtype BufferUsageFlagBits = BufferUsageFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'BUFFER_USAGE_TRANSFER_SRC_BIT' specifies that the buffer /can/ be used -- as the source of a /transfer command/ (see the definition of

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.BufferView.BufferViewCreateInfo' newtype BufferViewCreateFlags = BufferViewCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -18,6 +18,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -35,7 +36,7 @@ -- -- 'ColorComponentFlags' newtype ColorComponentFlagBits = ColorComponentFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'COLOR_COMPONENT_R_BIT' specifies that the R value is written to the -- color attachment for the appropriate sample. Otherwise, the value in

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'CommandBufferResetFlags' newtype CommandBufferResetFlagBits = CommandBufferResetFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'COMMAND_BUFFER_RESET_RELEASE_RESOURCES_BIT' specifies that most or all -- memory resources currently owned by the command buffer /should/ be

@@ -17,6 +17,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -29,7 +30,7 @@ -- -- 'CommandBufferUsageFlags' newtype CommandBufferUsageFlagBits = CommandBufferUsageFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'COMMAND_BUFFER_USAGE_ONE_TIME_SUBMIT_BIT' specifies that each recording -- of the command buffer will only be submitted once, and the command

@@ -17,6 +17,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -29,7 +30,7 @@ -- -- 'CommandPoolCreateFlags' newtype CommandPoolCreateFlagBits = CommandPoolCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'COMMAND_POOL_CREATE_TRANSIENT_BIT' specifies that command buffers -- allocated from the pool will be short-lived, meaning that they will be

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'CommandPoolResetFlags' newtype CommandPoolResetFlagBits = CommandPoolResetFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'COMMAND_POOL_RESET_RELEASE_RESOURCES_BIT' specifies that resetting a -- command pool recycles all of the resources from the command pool back to

@@ -18,6 +18,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -34,7 +35,7 @@ -- -- 'CullModeFlags' newtype CullModeFlagBits = CullModeFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'CULL_MODE_NONE' specifies that no triangles are discarded pattern CULL_MODE_NONE = CullModeFlagBits 0x00000000

@@ -17,6 +17,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -29,7 +30,7 @@ -- -- 'DependencyFlags' newtype DependencyFlagBits = DependencyFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'DEPENDENCY_BY_REGION_BIT' specifies that dependencies will be -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#synchronization-framebuffer-regions framebuffer-local>.

@@ -16,6 +16,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -28,7 +29,7 @@ -- -- 'DescriptorPoolCreateFlags' newtype DescriptorPoolCreateFlagBits = DescriptorPoolCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'DESCRIPTOR_POOL_CREATE_FREE_DESCRIPTOR_SET_BIT' specifies that -- descriptor sets /can/ return their individual allocations to the pool,

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.DescriptorSet.resetDescriptorPool' newtype DescriptorPoolResetFlags = DescriptorPoolResetFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -16,6 +16,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -28,7 +29,7 @@ -- -- 'DescriptorSetLayoutCreateFlags' newtype DescriptorSetLayoutCreateFlagBits = DescriptorSetLayoutCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'DESCRIPTOR_SET_LAYOUT_CREATE_PUSH_DESCRIPTOR_BIT_KHR' specifies that -- descriptor sets /must/ not be allocated using this layout, and

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Device.DeviceCreateInfo' newtype DeviceCreateFlags = DeviceCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -26,7 +27,7 @@ -- -- 'DeviceQueueCreateFlags' newtype DeviceQueueCreateFlagBits = DeviceQueueCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'DEVICE_QUEUE_CREATE_PROTECTED_BIT' specifies that the device queue is a -- protected-capable queue.

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Event.EventCreateInfo' newtype EventCreateFlags = EventCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'FenceCreateFlags' newtype FenceCreateFlagBits = FenceCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'FENCE_CREATE_SIGNALED_BIT' specifies that the fence object is created -- in the signaled state. Otherwise, it is created in the unsignaled state.

@@ -41,6 +41,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -246,7 +247,7 @@ -- -- 'FormatFeatureFlags' newtype FormatFeatureFlagBits = FormatFeatureFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'FORMAT_FEATURE_SAMPLED_IMAGE_BIT' specifies that an image view /can/ be -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#descriptorsets-sampledimage sampled from>.

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -26,7 +27,7 @@ -- -- 'FramebufferCreateFlags' newtype FramebufferCreateFlagBits = FramebufferCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'FRAMEBUFFER_CREATE_IMAGELESS_BIT' specifies that image views are not -- specified, and only attachment compatibility information will be

@@ -25,6 +25,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -39,7 +40,7 @@ -- 'ImageAspectFlags', -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.ImagePlaneMemoryRequirementsInfo' newtype ImageAspectFlagBits = ImageAspectFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'IMAGE_ASPECT_COLOR_BIT' specifies the color aspect. pattern IMAGE_ASPECT_COLOR_BIT = ImageAspectFlagBits 0x00000001

@@ -29,6 +29,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -49,7 +50,7 @@ -- -- 'ImageCreateFlags' newtype ImageCreateFlagBits = ImageCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'IMAGE_CREATE_SPARSE_BINDING_BIT' specifies that the image will be -- backed using sparse memory binding.

@@ -24,6 +24,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -35,7 +36,7 @@ -- -- 'ImageUsageFlags' newtype ImageUsageFlagBits = ImageUsageFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'IMAGE_USAGE_TRANSFER_SRC_BIT' specifies that the image /can/ be used as -- the source of a transfer command.

@@ -16,6 +16,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -28,7 +29,7 @@ -- -- 'ImageViewCreateFlags' newtype ImageViewCreateFlagBits = ImageViewCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'IMAGE_VIEW_CREATE_FRAGMENT_DENSITY_MAP_DEFERRED_BIT_EXT' specifies that -- the fragment density map will be read by the host during

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.DeviceInitialization.InstanceCreateInfo' newtype InstanceCreateFlags = InstanceCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -16,6 +16,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'MemoryHeapFlags' newtype MemoryHeapFlagBits = MemoryHeapFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'MEMORY_HEAP_DEVICE_LOCAL_BIT' specifies that the heap corresponds to -- device local memory. Device local memory /may/ have different

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Memory.mapMemory' newtype MemoryMapFlags = MemoryMapFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -22,6 +22,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -56,7 +57,7 @@ -- -- 'MemoryPropertyFlags' newtype MemoryPropertyFlagBits = MemoryPropertyFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'MEMORY_PROPERTY_DEVICE_LOCAL_BIT' bit specifies that memory allocated -- with this type is the most efficient for device access. This property

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'PipelineCacheCreateFlags' newtype PipelineCacheCreateFlagBits = PipelineCacheCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'PIPELINE_CACHE_CREATE_EXTERNALLY_SYNCHRONIZED_BIT_EXT' specifies that -- all commands that modify the created

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Pipeline.PipelineColorBlendStateCreateInfo' newtype PipelineColorBlendStateCreateFlags = PipelineColorBlendStateCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -32,6 +32,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -142,7 +143,7 @@ -- -- 'PipelineCreateFlags' newtype PipelineCreateFlagBits = PipelineCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- No documentation found for Nested "VkPipelineCreateFlagBits" "VK_PIPELINE_CREATE_DISABLE_OPTIMIZATION_BIT" pattern PIPELINE_CREATE_DISABLE_OPTIMIZATION_BIT = PipelineCreateFlagBits 0x00000001

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Pipeline.PipelineDepthStencilStateCreateInfo' newtype PipelineDepthStencilStateCreateFlags = PipelineDepthStencilStateCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Pipeline.PipelineDynamicStateCreateInfo' newtype PipelineDynamicStateCreateFlags = PipelineDynamicStateCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Pipeline.PipelineInputAssemblyStateCreateInfo' newtype PipelineInputAssemblyStateCreateFlags = PipelineInputAssemblyStateCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.PipelineLayout.PipelineLayoutCreateInfo' newtype PipelineLayoutCreateFlags = PipelineLayoutCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Pipeline.PipelineMultisampleStateCreateInfo' newtype PipelineMultisampleStateCreateFlags = PipelineMultisampleStateCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Pipeline.PipelineRasterizationStateCreateInfo' newtype PipelineRasterizationStateCreateFlags = PipelineRasterizationStateCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -16,6 +16,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -46,7 +47,7 @@ -- -- 'PipelineShaderStageCreateFlags' newtype PipelineShaderStageCreateFlagBits = PipelineShaderStageCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'PIPELINE_SHADER_STAGE_CREATE_REQUIRE_FULL_SUBGROUPS_BIT_EXT' specifies -- that the subgroup sizes /must/ be launched with all invocations active

@@ -40,6 +40,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -54,7 +55,7 @@ -- 'Vulkan.Extensions.VK_AMD_buffer_marker.cmdWriteBufferMarkerAMD', -- 'Vulkan.Core10.CommandBufferBuilding.cmdWriteTimestamp' newtype PipelineStageFlagBits = PipelineStageFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'PIPELINE_STAGE_TOP_OF_PIPE_BIT' is equivalent to -- 'PIPELINE_STAGE_ALL_COMMANDS_BIT' with

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Pipeline.PipelineTessellationStateCreateInfo' newtype PipelineTessellationStateCreateFlags = PipelineTessellationStateCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Pipeline.PipelineVertexInputStateCreateInfo' newtype PipelineVertexInputStateCreateFlags = PipelineVertexInputStateCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Pipeline.PipelineViewportStateCreateInfo' newtype PipelineViewportStateCreateFlags = PipelineViewportStateCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -26,7 +27,7 @@ -- -- 'QueryControlFlags' newtype QueryControlFlagBits = QueryControlFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'QUERY_CONTROL_PRECISE_BIT' specifies the precision of -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#queries-occlusion occlusion queries>.

@@ -25,6 +25,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -61,7 +62,7 @@ -- -- 'QueryPipelineStatisticFlags' newtype QueryPipelineStatisticFlagBits = QueryPipelineStatisticFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'QUERY_PIPELINE_STATISTIC_INPUT_ASSEMBLY_VERTICES_BIT' specifies that -- queries managed by the pool will count the number of vertices processed

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.Query.QueryPoolCreateInfo' newtype QueryPoolCreateFlags = QueryPoolCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -18,6 +18,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -30,7 +31,7 @@ -- -- 'QueryResultFlags' newtype QueryResultFlagBits = QueryResultFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'QUERY_RESULT_64_BIT' specifies the results will be written as an array -- of 64-bit unsigned integer values. If this bit is not set, the results

@@ -19,6 +19,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -78,7 +79,7 @@ -- -- 'QueueFlags' newtype QueueFlagBits = QueueFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- No documentation found for Nested "VkQueueFlagBits" "VK_QUEUE_GRAPHICS_BIT" pattern QUEUE_GRAPHICS_BIT = QueueFlagBits 0x00000001

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'RenderPassCreateFlags' newtype RenderPassCreateFlagBits = RenderPassCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'RENDER_PASS_CREATE_TRANSFORM_BIT_QCOM' specifies that the created -- renderpass is compatible with

@@ -21,6 +21,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -44,7 +45,7 @@ -- 'Vulkan.Extensions.VK_EXT_sample_locations.getPhysicalDeviceMultisamplePropertiesEXT', -- 'Vulkan.Core10.SparseResourceMemoryManagement.getPhysicalDeviceSparseImageFormatProperties' newtype SampleCountFlagBits = SampleCountFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'SAMPLE_COUNT_1_BIT' specifies an image with one sample per pixel. pattern SAMPLE_COUNT_1_BIT = SampleCountFlagBits 0x00000001

@@ -16,6 +16,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -39,7 +40,7 @@ -- -- 'SamplerCreateFlags' newtype SamplerCreateFlagBits = SamplerCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'SAMPLER_CREATE_SUBSAMPLED_COARSE_RECONSTRUCTION_BIT_EXT' specifies that -- the implementation /may/ use approximations when reconstructing a full

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core10.QueueSemaphore.SemaphoreCreateInfo' newtype SemaphoreCreateFlags = SemaphoreCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -13,6 +13,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -20,7 +21,7 @@ import Vulkan.Zero (Zero) -- No documentation found for TopLevel "VkShaderModuleCreateFlagBits" newtype ShaderModuleCreateFlagBits = ShaderModuleCreateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -30,6 +30,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -51,7 +52,7 @@ -- 'ShaderStageFlags', -- 'Vulkan.Extensions.VK_AMD_shader_info.getShaderInfoAMD' newtype ShaderStageFlagBits = ShaderStageFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'SHADER_STAGE_VERTEX_BIT' specifies the vertex stage. pattern SHADER_STAGE_VERTEX_BIT = ShaderStageFlagBits 0x00000001

@@ -17,6 +17,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -29,7 +30,7 @@ -- -- 'SparseImageFormatFlags' newtype SparseImageFormatFlagBits = SparseImageFormatFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'SPARSE_IMAGE_FORMAT_SINGLE_MIPTAIL_BIT' specifies that the image uses a -- single mip tail region for all array layers.

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'SparseMemoryBindFlags' newtype SparseMemoryBindFlagBits = SparseMemoryBindFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'SPARSE_MEMORY_BIND_METADATA_BIT' specifies that the memory being bound -- is only for the metadata aspect.

@@ -18,6 +18,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -34,7 +35,7 @@ -- -- 'StencilFaceFlags' newtype StencilFaceFlagBits = StencilFaceFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'STENCIL_FACE_FRONT_BIT' specifies that only the front set of stencil -- state is updated.

@@ -18,6 +18,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -40,7 +41,7 @@ -- -- 'SubpassDescriptionFlags' newtype SubpassDescriptionFlagBits = SubpassDescriptionFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'SUBPASS_DESCRIPTION_SHADER_RESOLVE_BIT_QCOM' specifies that the subpass -- performs shader resolve operations.

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -28,7 +29,7 @@ -- 'Vulkan.Core11.Promoted_From_VK_KHR_maintenance1.trimCommandPool', -- 'Vulkan.Extensions.VK_KHR_maintenance1.trimCommandPoolKHR' newtype CommandPoolTrimFlags = CommandPoolTrimFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -11,6 +11,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'Vulkan.Core11.Promoted_From_VK_KHR_descriptor_update_template.DescriptorUpdateTemplateCreateInfo' newtype DescriptorUpdateTemplateCreateFlags = DescriptorUpdateTemplateCreateFlags Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -16,6 +16,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -28,7 +29,7 @@ -- -- 'ExternalFenceFeatureFlags' newtype ExternalFenceFeatureFlagBits = ExternalFenceFeatureFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'EXTERNAL_FENCE_FEATURE_EXPORTABLE_BIT' specifies handles of this type -- /can/ be exported from Vulkan fence objects.

@@ -18,6 +18,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -55,7 +56,7 @@ -- 'Vulkan.Extensions.VK_KHR_external_fence_win32.ImportFenceWin32HandleInfoKHR', -- 'Vulkan.Core11.Promoted_From_VK_KHR_external_fence_capabilities.PhysicalDeviceExternalFenceInfo' newtype ExternalFenceHandleTypeFlagBits = ExternalFenceHandleTypeFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'EXTERNAL_FENCE_HANDLE_TYPE_OPAQUE_FD_BIT' specifies a POSIX file -- descriptor handle that has only limited valid usage outside of Vulkan

@@ -17,6 +17,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -47,7 +48,7 @@ -- -- 'ExternalMemoryFeatureFlags' newtype ExternalMemoryFeatureFlagBits = ExternalMemoryFeatureFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'EXTERNAL_MEMORY_FEATURE_DEDICATED_ONLY_BIT' specifies that images or -- buffers created with the specified parameters and handle type /must/ use

@@ -25,6 +25,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -102,7 +103,7 @@ -- 'Vulkan.Extensions.VK_EXT_external_memory_host.getMemoryHostPointerPropertiesEXT', -- 'Vulkan.Extensions.VK_KHR_external_memory_win32.getMemoryWin32HandlePropertiesKHR' newtype ExternalMemoryHandleTypeFlagBits = ExternalMemoryHandleTypeFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'EXTERNAL_MEMORY_HANDLE_TYPE_OPAQUE_FD_BIT' specifies a POSIX file -- descriptor handle that has only limited valid usage outside of Vulkan

@@ -16,6 +16,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -28,7 +29,7 @@ -- -- 'ExternalSemaphoreFeatureFlags' newtype ExternalSemaphoreFeatureFlagBits = ExternalSemaphoreFeatureFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'EXTERNAL_SEMAPHORE_FEATURE_EXPORTABLE_BIT' specifies that handles of -- this type /can/ be exported from Vulkan semaphore objects.

@@ -20,6 +20,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -73,7 +74,7 @@ -- 'Vulkan.Extensions.VK_KHR_external_semaphore_fd.SemaphoreGetFdInfoKHR', -- 'Vulkan.Extensions.VK_KHR_external_semaphore_win32.SemaphoreGetWin32HandleInfoKHR' newtype ExternalSemaphoreHandleTypeFlagBits = ExternalSemaphoreHandleTypeFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'EXTERNAL_SEMAPHORE_HANDLE_TYPE_OPAQUE_FD_BIT' specifies a POSIX file -- descriptor handle that has only limited valid usage outside of Vulkan

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'FenceImportFlags' newtype FenceImportFlagBits = FenceImportFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'FENCE_IMPORT_TEMPORARY_BIT' specifies that the fence payload will be -- imported only temporarily, as described in

@@ -17,6 +17,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -29,7 +30,7 @@ -- -- 'MemoryAllocateFlags' newtype MemoryAllocateFlagBits = MemoryAllocateFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'MEMORY_ALLOCATE_DEVICE_MASK_BIT' specifies that memory will be -- allocated for the devices in

@@ -18,6 +18,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -49,7 +50,7 @@ -- -- 'PeerMemoryFeatureFlags' newtype PeerMemoryFeatureFlagBits = PeerMemoryFeatureFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'PEER_MEMORY_FEATURE_COPY_SRC_BIT' specifies that the memory /can/ be -- accessed as the source of any @vkCmdCopy*@ command.

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -31,7 +32,7 @@ -- -- 'SemaphoreImportFlags' newtype SemaphoreImportFlagBits = SemaphoreImportFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'SEMAPHORE_IMPORT_TEMPORARY_BIT' specifies that the semaphore payload -- will be imported only temporarily, as described in

@@ -23,6 +23,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -35,7 +36,7 @@ -- -- 'SubgroupFeatureFlags' newtype SubgroupFeatureFlagBits = SubgroupFeatureFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | #features-subgroup-basic# 'SUBGROUP_FEATURE_BASIC_BIT' specifies the -- device will accept SPIR-V shader modules containing the

@@ -18,6 +18,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -42,7 +43,7 @@ -- -- 'DescriptorBindingFlags' newtype DescriptorBindingFlagBits = DescriptorBindingFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'DESCRIPTOR_BINDING_UPDATE_AFTER_BIND_BIT' indicates that if descriptors -- in this binding are updated between when the descriptor set is bound in

@@ -19,6 +19,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -32,7 +33,7 @@ -- 'ResolveModeFlags', -- 'Vulkan.Core12.Promoted_From_VK_KHR_depth_stencil_resolve.SubpassDescriptionDepthStencilResolve' newtype ResolveModeFlagBits = ResolveModeFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'RESOLVE_MODE_NONE' indicates that no resolve operation is done. pattern RESOLVE_MODE_NONE = ResolveModeFlagBits 0x00000000

@@ -15,6 +15,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Foreign.Storable (Storable) import GHC.Read (Read(readPrec)) import Text.Read.Lex (Lexeme(Ident))@@ -27,7 +28,7 @@ -- -- 'SemaphoreWaitFlags' newtype SemaphoreWaitFlagBits = SemaphoreWaitFlagBits Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'SEMAPHORE_WAIT_ANY_BIT' specifies that the semaphore wait condition is -- that at least one of the semaphores in

@@ -455,6 +455,13 @@  initInstanceCmds :: Ptr Instance_T -> IO InstanceCmds initInstanceCmds handle = do+  let getFirstInstanceProcAddr = \case+        []   -> pure nullFunPtr+        x:xs -> do+          p <- getInstanceProcAddr' handle x+          if p /= nullFunPtr+            then pure p+            else getFirstInstanceProcAddr xs   vkDestroyInstance <- getInstanceProcAddr' handle (Ptr "vkDestroyInstance"#)   vkEnumeratePhysicalDevices <- getInstanceProcAddr' handle (Ptr "vkEnumeratePhysicalDevices"#)   vkGetInstanceProcAddr <- getInstanceProcAddr' handle (Ptr "vkGetInstanceProcAddr"#)@@ -498,21 +505,21 @@   vkDestroyDebugReportCallbackEXT <- getInstanceProcAddr' handle (Ptr "vkDestroyDebugReportCallbackEXT"#)   vkDebugReportMessageEXT <- getInstanceProcAddr' handle (Ptr "vkDebugReportMessageEXT"#)   vkGetPhysicalDeviceExternalImageFormatPropertiesNV <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceExternalImageFormatPropertiesNV"#)-  vkGetPhysicalDeviceFeatures2 <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceFeatures2"#)-  vkGetPhysicalDeviceProperties2 <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceProperties2"#)-  vkGetPhysicalDeviceFormatProperties2 <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceFormatProperties2"#)-  vkGetPhysicalDeviceImageFormatProperties2 <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceImageFormatProperties2"#)-  vkGetPhysicalDeviceQueueFamilyProperties2 <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceQueueFamilyProperties2"#)-  vkGetPhysicalDeviceMemoryProperties2 <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceMemoryProperties2"#)-  vkGetPhysicalDeviceSparseImageFormatProperties2 <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceSparseImageFormatProperties2"#)-  vkGetPhysicalDeviceExternalBufferProperties <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceExternalBufferProperties"#)-  vkGetPhysicalDeviceExternalSemaphoreProperties <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceExternalSemaphoreProperties"#)-  vkGetPhysicalDeviceExternalFenceProperties <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceExternalFenceProperties"#)+  vkGetPhysicalDeviceFeatures2 <- getFirstInstanceProcAddr [(Ptr "vkGetPhysicalDeviceFeatures2KHR"#), (Ptr "vkGetPhysicalDeviceFeatures2"#)]+  vkGetPhysicalDeviceProperties2 <- getFirstInstanceProcAddr [(Ptr "vkGetPhysicalDeviceProperties2KHR"#), (Ptr "vkGetPhysicalDeviceProperties2"#)]+  vkGetPhysicalDeviceFormatProperties2 <- getFirstInstanceProcAddr [(Ptr "vkGetPhysicalDeviceFormatProperties2KHR"#), (Ptr "vkGetPhysicalDeviceFormatProperties2"#)]+  vkGetPhysicalDeviceImageFormatProperties2 <- getFirstInstanceProcAddr [(Ptr "vkGetPhysicalDeviceImageFormatProperties2KHR"#), (Ptr "vkGetPhysicalDeviceImageFormatProperties2"#)]+  vkGetPhysicalDeviceQueueFamilyProperties2 <- getFirstInstanceProcAddr [(Ptr "vkGetPhysicalDeviceQueueFamilyProperties2KHR"#), (Ptr "vkGetPhysicalDeviceQueueFamilyProperties2"#)]+  vkGetPhysicalDeviceMemoryProperties2 <- getFirstInstanceProcAddr [(Ptr "vkGetPhysicalDeviceMemoryProperties2KHR"#), (Ptr "vkGetPhysicalDeviceMemoryProperties2"#)]+  vkGetPhysicalDeviceSparseImageFormatProperties2 <- getFirstInstanceProcAddr [(Ptr "vkGetPhysicalDeviceSparseImageFormatProperties2KHR"#), (Ptr "vkGetPhysicalDeviceSparseImageFormatProperties2"#)]+  vkGetPhysicalDeviceExternalBufferProperties <- getFirstInstanceProcAddr [(Ptr "vkGetPhysicalDeviceExternalBufferPropertiesKHR"#), (Ptr "vkGetPhysicalDeviceExternalBufferProperties"#)]+  vkGetPhysicalDeviceExternalSemaphoreProperties <- getFirstInstanceProcAddr [(Ptr "vkGetPhysicalDeviceExternalSemaphorePropertiesKHR"#), (Ptr "vkGetPhysicalDeviceExternalSemaphoreProperties"#)]+  vkGetPhysicalDeviceExternalFenceProperties <- getFirstInstanceProcAddr [(Ptr "vkGetPhysicalDeviceExternalFencePropertiesKHR"#), (Ptr "vkGetPhysicalDeviceExternalFenceProperties"#)]   vkReleaseDisplayEXT <- getInstanceProcAddr' handle (Ptr "vkReleaseDisplayEXT"#)   vkAcquireXlibDisplayEXT <- getInstanceProcAddr' handle (Ptr "vkAcquireXlibDisplayEXT"#)   vkGetRandROutputDisplayEXT <- getInstanceProcAddr' handle (Ptr "vkGetRandROutputDisplayEXT"#)   vkGetPhysicalDeviceSurfaceCapabilities2EXT <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDeviceSurfaceCapabilities2EXT"#)-  vkEnumeratePhysicalDeviceGroups <- getInstanceProcAddr' handle (Ptr "vkEnumeratePhysicalDeviceGroups"#)+  vkEnumeratePhysicalDeviceGroups <- getFirstInstanceProcAddr [(Ptr "vkEnumeratePhysicalDeviceGroupsKHR"#), (Ptr "vkEnumeratePhysicalDeviceGroups"#)]   vkGetPhysicalDevicePresentRectanglesKHR <- getInstanceProcAddr' handle (Ptr "vkGetPhysicalDevicePresentRectanglesKHR"#)   vkCreateIOSSurfaceMVK <- getInstanceProcAddr' handle (Ptr "vkCreateIOSSurfaceMVK"#)   vkCreateMacOSSurfaceMVK <- getInstanceProcAddr' handle (Ptr "vkCreateMacOSSurfaceMVK"#)@@ -992,6 +999,13 @@   pGetDeviceProcAddr <- castFunPtr @_ @(Ptr Device_T -> ("pName" ::: Ptr CChar) -> IO PFN_vkVoidFunction)       <$> getInstanceProcAddr' (instanceCmdsHandle instanceCmds) (GHC.Ptr.Ptr "vkGetDeviceProcAddr"#)   let getDeviceProcAddr' = mkVkGetDeviceProcAddr pGetDeviceProcAddr+      getFirstDeviceProcAddr = \case+        []   -> pure nullFunPtr+        x:xs -> do+          p <- getDeviceProcAddr' handle x+          if p /= nullFunPtr+            then pure p+            else getFirstDeviceProcAddr xs   vkGetDeviceProcAddr <- getDeviceProcAddr' handle (Ptr "vkGetDeviceProcAddr"#)   vkDestroyDevice <- getDeviceProcAddr' handle (Ptr "vkDestroyDevice"#)   vkGetDeviceQueue <- getDeviceProcAddr' handle (Ptr "vkGetDeviceQueue"#)@@ -1026,7 +1040,7 @@   vkCreateQueryPool <- getDeviceProcAddr' handle (Ptr "vkCreateQueryPool"#)   vkDestroyQueryPool <- getDeviceProcAddr' handle (Ptr "vkDestroyQueryPool"#)   vkGetQueryPoolResults <- getDeviceProcAddr' handle (Ptr "vkGetQueryPoolResults"#)-  vkResetQueryPool <- getDeviceProcAddr' handle (Ptr "vkResetQueryPool"#)+  vkResetQueryPool <- getFirstDeviceProcAddr [(Ptr "vkResetQueryPoolEXT"#), (Ptr "vkResetQueryPool"#)]   vkCreateBuffer <- getDeviceProcAddr' handle (Ptr "vkCreateBuffer"#)   vkDestroyBuffer <- getDeviceProcAddr' handle (Ptr "vkDestroyBuffer"#)   vkCreateBufferView <- getDeviceProcAddr' handle (Ptr "vkCreateBufferView"#)@@ -1135,7 +1149,7 @@   vkCreateIndirectCommandsLayoutNV <- getDeviceProcAddr' handle (Ptr "vkCreateIndirectCommandsLayoutNV"#)   vkDestroyIndirectCommandsLayoutNV <- getDeviceProcAddr' handle (Ptr "vkDestroyIndirectCommandsLayoutNV"#)   vkCmdPushDescriptorSetKHR <- getDeviceProcAddr' handle (Ptr "vkCmdPushDescriptorSetKHR"#)-  vkTrimCommandPool <- getDeviceProcAddr' handle (Ptr "vkTrimCommandPool"#)+  vkTrimCommandPool <- getFirstDeviceProcAddr [(Ptr "vkTrimCommandPoolKHR"#), (Ptr "vkTrimCommandPool"#)]   vkGetMemoryWin32HandleKHR <- getDeviceProcAddr' handle (Ptr "vkGetMemoryWin32HandleKHR"#)   vkGetMemoryWin32HandlePropertiesKHR <- getDeviceProcAddr' handle (Ptr "vkGetMemoryWin32HandlePropertiesKHR"#)   vkGetMemoryFdKHR <- getDeviceProcAddr' handle (Ptr "vkGetMemoryFdKHR"#)@@ -1152,17 +1166,17 @@   vkRegisterDeviceEventEXT <- getDeviceProcAddr' handle (Ptr "vkRegisterDeviceEventEXT"#)   vkRegisterDisplayEventEXT <- getDeviceProcAddr' handle (Ptr "vkRegisterDisplayEventEXT"#)   vkGetSwapchainCounterEXT <- getDeviceProcAddr' handle (Ptr "vkGetSwapchainCounterEXT"#)-  vkGetDeviceGroupPeerMemoryFeatures <- getDeviceProcAddr' handle (Ptr "vkGetDeviceGroupPeerMemoryFeatures"#)-  vkBindBufferMemory2 <- getDeviceProcAddr' handle (Ptr "vkBindBufferMemory2"#)-  vkBindImageMemory2 <- getDeviceProcAddr' handle (Ptr "vkBindImageMemory2"#)-  vkCmdSetDeviceMask <- getDeviceProcAddr' handle (Ptr "vkCmdSetDeviceMask"#)+  vkGetDeviceGroupPeerMemoryFeatures <- getFirstDeviceProcAddr [(Ptr "vkGetDeviceGroupPeerMemoryFeaturesKHR"#), (Ptr "vkGetDeviceGroupPeerMemoryFeatures"#)]+  vkBindBufferMemory2 <- getFirstDeviceProcAddr [(Ptr "vkBindBufferMemory2KHR"#), (Ptr "vkBindBufferMemory2"#)]+  vkBindImageMemory2 <- getFirstDeviceProcAddr [(Ptr "vkBindImageMemory2KHR"#), (Ptr "vkBindImageMemory2"#)]+  vkCmdSetDeviceMask <- getFirstDeviceProcAddr [(Ptr "vkCmdSetDeviceMaskKHR"#), (Ptr "vkCmdSetDeviceMask"#)]   vkGetDeviceGroupPresentCapabilitiesKHR <- getDeviceProcAddr' handle (Ptr "vkGetDeviceGroupPresentCapabilitiesKHR"#)   vkGetDeviceGroupSurfacePresentModesKHR <- getDeviceProcAddr' handle (Ptr "vkGetDeviceGroupSurfacePresentModesKHR"#)   vkAcquireNextImage2KHR <- getDeviceProcAddr' handle (Ptr "vkAcquireNextImage2KHR"#)-  vkCmdDispatchBase <- getDeviceProcAddr' handle (Ptr "vkCmdDispatchBase"#)-  vkCreateDescriptorUpdateTemplate <- getDeviceProcAddr' handle (Ptr "vkCreateDescriptorUpdateTemplate"#)-  vkDestroyDescriptorUpdateTemplate <- getDeviceProcAddr' handle (Ptr "vkDestroyDescriptorUpdateTemplate"#)-  vkUpdateDescriptorSetWithTemplate <- getDeviceProcAddr' handle (Ptr "vkUpdateDescriptorSetWithTemplate"#)+  vkCmdDispatchBase <- getFirstDeviceProcAddr [(Ptr "vkCmdDispatchBaseKHR"#), (Ptr "vkCmdDispatchBase"#)]+  vkCreateDescriptorUpdateTemplate <- getFirstDeviceProcAddr [(Ptr "vkCreateDescriptorUpdateTemplateKHR"#), (Ptr "vkCreateDescriptorUpdateTemplate"#)]+  vkDestroyDescriptorUpdateTemplate <- getFirstDeviceProcAddr [(Ptr "vkDestroyDescriptorUpdateTemplateKHR"#), (Ptr "vkDestroyDescriptorUpdateTemplate"#)]+  vkUpdateDescriptorSetWithTemplate <- getFirstDeviceProcAddr [(Ptr "vkUpdateDescriptorSetWithTemplateKHR"#), (Ptr "vkUpdateDescriptorSetWithTemplate"#)]   vkCmdPushDescriptorSetWithTemplateKHR <- getDeviceProcAddr' handle (Ptr "vkCmdPushDescriptorSetWithTemplateKHR"#)   vkSetHdrMetadataEXT <- getDeviceProcAddr' handle (Ptr "vkSetHdrMetadataEXT"#)   vkGetSwapchainStatusKHR <- getDeviceProcAddr' handle (Ptr "vkGetSwapchainStatusKHR"#)@@ -1171,17 +1185,17 @@   vkCmdSetViewportWScalingNV <- getDeviceProcAddr' handle (Ptr "vkCmdSetViewportWScalingNV"#)   vkCmdSetDiscardRectangleEXT <- getDeviceProcAddr' handle (Ptr "vkCmdSetDiscardRectangleEXT"#)   vkCmdSetSampleLocationsEXT <- getDeviceProcAddr' handle (Ptr "vkCmdSetSampleLocationsEXT"#)-  vkGetBufferMemoryRequirements2 <- getDeviceProcAddr' handle (Ptr "vkGetBufferMemoryRequirements2"#)-  vkGetImageMemoryRequirements2 <- getDeviceProcAddr' handle (Ptr "vkGetImageMemoryRequirements2"#)-  vkGetImageSparseMemoryRequirements2 <- getDeviceProcAddr' handle (Ptr "vkGetImageSparseMemoryRequirements2"#)-  vkCreateSamplerYcbcrConversion <- getDeviceProcAddr' handle (Ptr "vkCreateSamplerYcbcrConversion"#)-  vkDestroySamplerYcbcrConversion <- getDeviceProcAddr' handle (Ptr "vkDestroySamplerYcbcrConversion"#)+  vkGetBufferMemoryRequirements2 <- getFirstDeviceProcAddr [(Ptr "vkGetBufferMemoryRequirements2KHR"#), (Ptr "vkGetBufferMemoryRequirements2"#)]+  vkGetImageMemoryRequirements2 <- getFirstDeviceProcAddr [(Ptr "vkGetImageMemoryRequirements2KHR"#), (Ptr "vkGetImageMemoryRequirements2"#)]+  vkGetImageSparseMemoryRequirements2 <- getFirstDeviceProcAddr [(Ptr "vkGetImageSparseMemoryRequirements2KHR"#), (Ptr "vkGetImageSparseMemoryRequirements2"#)]+  vkCreateSamplerYcbcrConversion <- getFirstDeviceProcAddr [(Ptr "vkCreateSamplerYcbcrConversionKHR"#), (Ptr "vkCreateSamplerYcbcrConversion"#)]+  vkDestroySamplerYcbcrConversion <- getFirstDeviceProcAddr [(Ptr "vkDestroySamplerYcbcrConversionKHR"#), (Ptr "vkDestroySamplerYcbcrConversion"#)]   vkGetDeviceQueue2 <- getDeviceProcAddr' handle (Ptr "vkGetDeviceQueue2"#)   vkCreateValidationCacheEXT <- getDeviceProcAddr' handle (Ptr "vkCreateValidationCacheEXT"#)   vkDestroyValidationCacheEXT <- getDeviceProcAddr' handle (Ptr "vkDestroyValidationCacheEXT"#)   vkGetValidationCacheDataEXT <- getDeviceProcAddr' handle (Ptr "vkGetValidationCacheDataEXT"#)   vkMergeValidationCachesEXT <- getDeviceProcAddr' handle (Ptr "vkMergeValidationCachesEXT"#)-  vkGetDescriptorSetLayoutSupport <- getDeviceProcAddr' handle (Ptr "vkGetDescriptorSetLayoutSupport"#)+  vkGetDescriptorSetLayoutSupport <- getFirstDeviceProcAddr [(Ptr "vkGetDescriptorSetLayoutSupportKHR"#), (Ptr "vkGetDescriptorSetLayoutSupport"#)]   vkGetShaderInfoAMD <- getDeviceProcAddr' handle (Ptr "vkGetShaderInfoAMD"#)   vkSetLocalDimmingAMD <- getDeviceProcAddr' handle (Ptr "vkSetLocalDimmingAMD"#)   vkGetCalibratedTimestampsEXT <- getDeviceProcAddr' handle (Ptr "vkGetCalibratedTimestampsEXT"#)@@ -1195,17 +1209,17 @@   vkCmdInsertDebugUtilsLabelEXT <- getDeviceProcAddr' handle (Ptr "vkCmdInsertDebugUtilsLabelEXT"#)   vkGetMemoryHostPointerPropertiesEXT <- getDeviceProcAddr' handle (Ptr "vkGetMemoryHostPointerPropertiesEXT"#)   vkCmdWriteBufferMarkerAMD <- getDeviceProcAddr' handle (Ptr "vkCmdWriteBufferMarkerAMD"#)-  vkCreateRenderPass2 <- getDeviceProcAddr' handle (Ptr "vkCreateRenderPass2"#)-  vkCmdBeginRenderPass2 <- getDeviceProcAddr' handle (Ptr "vkCmdBeginRenderPass2"#)-  vkCmdNextSubpass2 <- getDeviceProcAddr' handle (Ptr "vkCmdNextSubpass2"#)-  vkCmdEndRenderPass2 <- getDeviceProcAddr' handle (Ptr "vkCmdEndRenderPass2"#)-  vkGetSemaphoreCounterValue <- getDeviceProcAddr' handle (Ptr "vkGetSemaphoreCounterValue"#)-  vkWaitSemaphores <- getDeviceProcAddr' handle (Ptr "vkWaitSemaphores"#)-  vkSignalSemaphore <- getDeviceProcAddr' handle (Ptr "vkSignalSemaphore"#)+  vkCreateRenderPass2 <- getFirstDeviceProcAddr [(Ptr "vkCreateRenderPass2KHR"#), (Ptr "vkCreateRenderPass2"#)]+  vkCmdBeginRenderPass2 <- getFirstDeviceProcAddr [(Ptr "vkCmdBeginRenderPass2KHR"#), (Ptr "vkCmdBeginRenderPass2"#)]+  vkCmdNextSubpass2 <- getFirstDeviceProcAddr [(Ptr "vkCmdNextSubpass2KHR"#), (Ptr "vkCmdNextSubpass2"#)]+  vkCmdEndRenderPass2 <- getFirstDeviceProcAddr [(Ptr "vkCmdEndRenderPass2KHR"#), (Ptr "vkCmdEndRenderPass2"#)]+  vkGetSemaphoreCounterValue <- getFirstDeviceProcAddr [(Ptr "vkGetSemaphoreCounterValueKHR"#), (Ptr "vkGetSemaphoreCounterValue"#)]+  vkWaitSemaphores <- getFirstDeviceProcAddr [(Ptr "vkWaitSemaphoresKHR"#), (Ptr "vkWaitSemaphores"#)]+  vkSignalSemaphore <- getFirstDeviceProcAddr [(Ptr "vkSignalSemaphoreKHR"#), (Ptr "vkSignalSemaphore"#)]   vkGetAndroidHardwareBufferPropertiesANDROID <- getDeviceProcAddr' handle (Ptr "vkGetAndroidHardwareBufferPropertiesANDROID"#)   vkGetMemoryAndroidHardwareBufferANDROID <- getDeviceProcAddr' handle (Ptr "vkGetMemoryAndroidHardwareBufferANDROID"#)-  vkCmdDrawIndirectCount <- getDeviceProcAddr' handle (Ptr "vkCmdDrawIndirectCount"#)-  vkCmdDrawIndexedIndirectCount <- getDeviceProcAddr' handle (Ptr "vkCmdDrawIndexedIndirectCount"#)+  vkCmdDrawIndirectCount <- getFirstDeviceProcAddr [(Ptr "vkCmdDrawIndirectCountAMD"#), (Ptr "vkCmdDrawIndirectCountKHR"#), (Ptr "vkCmdDrawIndirectCount"#)]+  vkCmdDrawIndexedIndirectCount <- getFirstDeviceProcAddr [(Ptr "vkCmdDrawIndexedIndirectCountAMD"#), (Ptr "vkCmdDrawIndexedIndirectCountKHR"#), (Ptr "vkCmdDrawIndexedIndirectCount"#)]   vkCmdSetCheckpointNV <- getDeviceProcAddr' handle (Ptr "vkCmdSetCheckpointNV"#)   vkGetQueueCheckpointDataNV <- getDeviceProcAddr' handle (Ptr "vkGetQueueCheckpointDataNV"#)   vkCmdBindTransformFeedbackBuffersEXT <- getDeviceProcAddr' handle (Ptr "vkCmdBindTransformFeedbackBuffersEXT"#)@@ -1223,10 +1237,10 @@   vkCmdDrawMeshTasksIndirectCountNV <- getDeviceProcAddr' handle (Ptr "vkCmdDrawMeshTasksIndirectCountNV"#)   vkCompileDeferredNV <- getDeviceProcAddr' handle (Ptr "vkCompileDeferredNV"#)   vkCreateAccelerationStructureNV <- getDeviceProcAddr' handle (Ptr "vkCreateAccelerationStructureNV"#)-  vkDestroyAccelerationStructureKHR <- getDeviceProcAddr' handle (Ptr "vkDestroyAccelerationStructureKHR"#)+  vkDestroyAccelerationStructureKHR <- getFirstDeviceProcAddr [(Ptr "vkDestroyAccelerationStructureNV"#), (Ptr "vkDestroyAccelerationStructureKHR"#)]   vkGetAccelerationStructureMemoryRequirementsKHR <- getDeviceProcAddr' handle (Ptr "vkGetAccelerationStructureMemoryRequirementsKHR"#)   vkGetAccelerationStructureMemoryRequirementsNV <- getDeviceProcAddr' handle (Ptr "vkGetAccelerationStructureMemoryRequirementsNV"#)-  vkBindAccelerationStructureMemoryKHR <- getDeviceProcAddr' handle (Ptr "vkBindAccelerationStructureMemoryKHR"#)+  vkBindAccelerationStructureMemoryKHR <- getFirstDeviceProcAddr [(Ptr "vkBindAccelerationStructureMemoryNV"#), (Ptr "vkBindAccelerationStructureMemoryKHR"#)]   vkCmdCopyAccelerationStructureNV <- getDeviceProcAddr' handle (Ptr "vkCmdCopyAccelerationStructureNV"#)   vkCmdCopyAccelerationStructureKHR <- getDeviceProcAddr' handle (Ptr "vkCmdCopyAccelerationStructureKHR"#)   vkCopyAccelerationStructureKHR <- getDeviceProcAddr' handle (Ptr "vkCopyAccelerationStructureKHR"#)@@ -1234,12 +1248,12 @@   vkCopyAccelerationStructureToMemoryKHR <- getDeviceProcAddr' handle (Ptr "vkCopyAccelerationStructureToMemoryKHR"#)   vkCmdCopyMemoryToAccelerationStructureKHR <- getDeviceProcAddr' handle (Ptr "vkCmdCopyMemoryToAccelerationStructureKHR"#)   vkCopyMemoryToAccelerationStructureKHR <- getDeviceProcAddr' handle (Ptr "vkCopyMemoryToAccelerationStructureKHR"#)-  vkCmdWriteAccelerationStructuresPropertiesKHR <- getDeviceProcAddr' handle (Ptr "vkCmdWriteAccelerationStructuresPropertiesKHR"#)+  vkCmdWriteAccelerationStructuresPropertiesKHR <- getFirstDeviceProcAddr [(Ptr "vkCmdWriteAccelerationStructuresPropertiesNV"#), (Ptr "vkCmdWriteAccelerationStructuresPropertiesKHR"#)]   vkCmdBuildAccelerationStructureNV <- getDeviceProcAddr' handle (Ptr "vkCmdBuildAccelerationStructureNV"#)   vkWriteAccelerationStructuresPropertiesKHR <- getDeviceProcAddr' handle (Ptr "vkWriteAccelerationStructuresPropertiesKHR"#)   vkCmdTraceRaysKHR <- getDeviceProcAddr' handle (Ptr "vkCmdTraceRaysKHR"#)   vkCmdTraceRaysNV <- getDeviceProcAddr' handle (Ptr "vkCmdTraceRaysNV"#)-  vkGetRayTracingShaderGroupHandlesKHR <- getDeviceProcAddr' handle (Ptr "vkGetRayTracingShaderGroupHandlesKHR"#)+  vkGetRayTracingShaderGroupHandlesKHR <- getFirstDeviceProcAddr [(Ptr "vkGetRayTracingShaderGroupHandlesNV"#), (Ptr "vkGetRayTracingShaderGroupHandlesKHR"#)]   vkGetRayTracingCaptureReplayShaderGroupHandlesKHR <- getDeviceProcAddr' handle (Ptr "vkGetRayTracingCaptureReplayShaderGroupHandlesKHR"#)   vkGetAccelerationStructureHandleNV <- getDeviceProcAddr' handle (Ptr "vkGetAccelerationStructureHandleNV"#)   vkCreateRayTracingPipelinesNV <- getDeviceProcAddr' handle (Ptr "vkCreateRayTracingPipelinesNV"#)@@ -1254,8 +1268,8 @@   vkAcquireProfilingLockKHR <- getDeviceProcAddr' handle (Ptr "vkAcquireProfilingLockKHR"#)   vkReleaseProfilingLockKHR <- getDeviceProcAddr' handle (Ptr "vkReleaseProfilingLockKHR"#)   vkGetImageDrmFormatModifierPropertiesEXT <- getDeviceProcAddr' handle (Ptr "vkGetImageDrmFormatModifierPropertiesEXT"#)-  vkGetBufferOpaqueCaptureAddress <- getDeviceProcAddr' handle (Ptr "vkGetBufferOpaqueCaptureAddress"#)-  vkGetBufferDeviceAddress <- getDeviceProcAddr' handle (Ptr "vkGetBufferDeviceAddress"#)+  vkGetBufferOpaqueCaptureAddress <- getFirstDeviceProcAddr [(Ptr "vkGetBufferOpaqueCaptureAddressKHR"#), (Ptr "vkGetBufferOpaqueCaptureAddress"#)]+  vkGetBufferDeviceAddress <- getFirstDeviceProcAddr [(Ptr "vkGetBufferDeviceAddressEXT"#), (Ptr "vkGetBufferDeviceAddressKHR"#), (Ptr "vkGetBufferDeviceAddress"#)]   vkInitializePerformanceApiINTEL <- getDeviceProcAddr' handle (Ptr "vkInitializePerformanceApiINTEL"#)   vkUninitializePerformanceApiINTEL <- getDeviceProcAddr' handle (Ptr "vkUninitializePerformanceApiINTEL"#)   vkCmdSetPerformanceMarkerINTEL <- getDeviceProcAddr' handle (Ptr "vkCmdSetPerformanceMarkerINTEL"#)@@ -1265,7 +1279,7 @@   vkReleasePerformanceConfigurationINTEL <- getDeviceProcAddr' handle (Ptr "vkReleasePerformanceConfigurationINTEL"#)   vkQueueSetPerformanceConfigurationINTEL <- getDeviceProcAddr' handle (Ptr "vkQueueSetPerformanceConfigurationINTEL"#)   vkGetPerformanceParameterINTEL <- getDeviceProcAddr' handle (Ptr "vkGetPerformanceParameterINTEL"#)-  vkGetDeviceMemoryOpaqueCaptureAddress <- getDeviceProcAddr' handle (Ptr "vkGetDeviceMemoryOpaqueCaptureAddress"#)+  vkGetDeviceMemoryOpaqueCaptureAddress <- getFirstDeviceProcAddr [(Ptr "vkGetDeviceMemoryOpaqueCaptureAddressKHR"#), (Ptr "vkGetDeviceMemoryOpaqueCaptureAddress"#)]   vkGetPipelineExecutablePropertiesKHR <- getDeviceProcAddr' handle (Ptr "vkGetPipelineExecutablePropertiesKHR"#)   vkGetPipelineExecutableStatisticsKHR <- getDeviceProcAddr' handle (Ptr "vkGetPipelineExecutableStatisticsKHR"#)   vkGetPipelineExecutableInternalRepresentationsKHR <- getDeviceProcAddr' handle (Ptr "vkGetPipelineExecutableInternalRepresentationsKHR"#)

@@ -21,6 +21,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -102,7 +103,7 @@ -- -- 'PipelineCompilerControlFlagsAMD' newtype PipelineCompilerControlFlagBitsAMD = PipelineCompilerControlFlagBitsAMD Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -21,6 +21,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -122,7 +123,7 @@ -- -- 'PhysicalDeviceShaderCoreProperties2AMD', 'ShaderCorePropertiesFlagsAMD' newtype ShaderCorePropertiesFlagBitsAMD = ShaderCorePropertiesFlagBitsAMD Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -35,6 +35,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -495,7 +496,7 @@ -- -- 'ConditionalRenderingFlagsEXT' newtype ConditionalRenderingFlagBitsEXT = ConditionalRenderingFlagBitsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'CONDITIONAL_RENDERING_INVERTED_BIT_EXT' specifies the condition used to -- determine whether to discard rendering commands or not. That is, if the

@@ -27,6 +27,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.C.Types (CFloat)@@ -317,7 +318,7 @@ -- -- 'PipelineRasterizationConservativeStateCreateInfoEXT' newtype PipelineRasterizationConservativeStateCreateFlagsEXT = PipelineRasterizationConservativeStateCreateFlagsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -89,6 +89,7 @@ import Foreign.C.Types (CSize(..)) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.C.Types (CChar)@@ -491,7 +492,7 @@ -- -- 'DebugReportFlagsEXT' newtype DebugReportFlagBitsEXT = DebugReportFlagBitsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'DEBUG_REPORT_INFORMATION_BIT_EXT' specifies an informational message -- such as resource details that may be handy when debugging an

@@ -72,6 +72,7 @@ import qualified Data.Vector (length) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.C.Types (CChar)@@ -1487,7 +1488,7 @@ -- -- 'DebugUtilsMessengerCreateInfoEXT' newtype DebugUtilsMessengerCreateFlagsEXT = DebugUtilsMessengerCreateFlagsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   @@ -1515,7 +1516,7 @@ -- -- 'DebugUtilsMessengerCallbackDataEXT' newtype DebugUtilsMessengerCallbackDataFlagsEXT = DebugUtilsMessengerCallbackDataFlagsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   @@ -1539,7 +1540,7 @@ -- -- 'DebugUtilsMessageSeverityFlagsEXT', 'submitDebugUtilsMessageEXT' newtype DebugUtilsMessageSeverityFlagBitsEXT = DebugUtilsMessageSeverityFlagBitsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'DEBUG_UTILS_MESSAGE_SEVERITY_VERBOSE_BIT_EXT' specifies the most -- verbose output indicating all diagnostic messages from the Vulkan@@ -1590,7 +1591,7 @@ -- -- 'DebugUtilsMessageTypeFlagsEXT' newtype DebugUtilsMessageTypeFlagBitsEXT = DebugUtilsMessageTypeFlagBitsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'DEBUG_UTILS_MESSAGE_TYPE_GENERAL_BIT_EXT' specifies that some general -- event has occurred. This is typically a non-specification,

@@ -21,6 +21,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -189,7 +190,7 @@ -- -- 'PipelineRasterizationDepthClipStateCreateInfoEXT' newtype PipelineRasterizationDepthClipStateCreateFlagsEXT = PipelineRasterizationDepthClipStateCreateFlagsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -32,6 +32,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -359,7 +360,7 @@  -- No documentation found for TopLevel "VkDeviceMemoryReportFlagsEXT" newtype DeviceMemoryReportFlagsEXT = DeviceMemoryReportFlagsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -36,6 +36,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -288,7 +289,7 @@ -- -- 'DirectFBSurfaceCreateInfoEXT' newtype DirectFBSurfaceCreateFlagsEXT = DirectFBSurfaceCreateFlagsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -37,6 +37,7 @@ import qualified Data.Vector (length) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -344,7 +345,7 @@ -- -- 'PipelineDiscardRectangleStateCreateInfoEXT' newtype PipelineDiscardRectangleStateCreateFlagsEXT = PipelineDiscardRectangleStateCreateFlagsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -39,6 +39,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -292,7 +293,7 @@ -- 'SurfaceCounterFlagsEXT', -- 'Vulkan.Extensions.VK_EXT_display_control.getSwapchainCounterEXT' newtype SurfaceCounterFlagBitsEXT = SurfaceCounterFlagBitsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'SURFACE_COUNTER_VBLANK_BIT_EXT' specifies a counter incrementing once -- every time a vertical blanking period occurs on the display associated

@@ -33,6 +33,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -207,7 +208,7 @@ -- -- 'HeadlessSurfaceCreateInfoEXT' newtype HeadlessSurfaceCreateFlagsEXT = HeadlessSurfaceCreateFlagsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -34,6 +34,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -216,7 +217,7 @@ -- -- 'MetalSurfaceCreateInfoEXT' newtype MetalSurfaceCreateFlagsEXT = MetalSurfaceCreateFlagsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -26,6 +26,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -258,7 +259,7 @@ -- 'PipelineCreationFeedbackCreateInfoEXT', 'PipelineCreationFeedbackEXT', -- 'PipelineCreationFeedbackFlagsEXT' newtype PipelineCreationFeedbackFlagBitsEXT = PipelineCreationFeedbackFlagBitsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'PIPELINE_CREATION_FEEDBACK_VALID_BIT_EXT' indicates that the feedback -- information is valid.

@@ -40,6 +40,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -563,7 +564,7 @@ -- -- 'PrivateDataSlotCreateFlagsEXT' newtype PrivateDataSlotCreateFlagBitsEXT = PrivateDataSlotCreateFlagBitsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -44,6 +44,7 @@ import Data.Vector (generateM) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.C.Types (CChar)@@ -254,7 +255,7 @@ -- -- 'ToolPurposeFlagsEXT' newtype ToolPurposeFlagBitsEXT = ToolPurposeFlagBitsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'TOOL_PURPOSE_VALIDATION_BIT_EXT' specifies that the tool provides -- validation of API usage.

@@ -40,6 +40,7 @@ import qualified Data.Vector (null) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -1775,7 +1776,7 @@ -- -- 'PipelineRasterizationStateStreamCreateInfoEXT' newtype PipelineRasterizationStateStreamCreateFlagsEXT = PipelineRasterizationStateStreamCreateFlagsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -47,6 +47,7 @@ import Foreign.C.Types (CSize(..)) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.C.Types (CChar)@@ -662,7 +663,7 @@ -- -- 'ValidationCacheCreateInfoEXT' newtype ValidationCacheCreateFlagsEXT = ValidationCacheCreateFlagsEXT Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -34,6 +34,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -221,7 +222,7 @@ -- -- 'ImagePipeSurfaceCreateInfoFUCHSIA' newtype ImagePipeSurfaceCreateFlagsFUCHSIA = ImagePipeSurfaceCreateFlagsFUCHSIA Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -34,6 +34,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -225,7 +226,7 @@ -- -- 'StreamDescriptorSurfaceCreateInfoGGP' newtype StreamDescriptorSurfaceCreateFlagsGGP = StreamDescriptorSurfaceCreateFlagsGGP Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -34,6 +34,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -247,7 +248,7 @@ -- -- 'AndroidSurfaceCreateInfoKHR' newtype AndroidSurfaceCreateFlagsKHR = AndroidSurfaceCreateFlagsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -60,6 +60,7 @@ import Data.Vector (generateM) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.C.Types (CChar)@@ -1335,7 +1336,7 @@ -- -- 'DisplayModeCreateInfoKHR' newtype DisplayModeCreateFlagsKHR = DisplayModeCreateFlagsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   @@ -1363,7 +1364,7 @@ -- -- 'DisplaySurfaceCreateInfoKHR' newtype DisplaySurfaceCreateFlagsKHR = DisplaySurfaceCreateFlagsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   @@ -1386,7 +1387,7 @@ -- -- 'DisplayPlaneAlphaFlagsKHR', 'DisplaySurfaceCreateInfoKHR' newtype DisplayPlaneAlphaFlagBitsKHR = DisplayPlaneAlphaFlagBitsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'DISPLAY_PLANE_ALPHA_OPAQUE_BIT_KHR' specifies that the source image -- will be treated as opaque.

@@ -87,6 +87,7 @@ import qualified Data.Vector (length) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.C.Types (CChar)@@ -1124,7 +1125,7 @@ -- -- 'PerformanceCounterDescriptionFlagsKHR' newtype PerformanceCounterDescriptionFlagBitsKHR = PerformanceCounterDescriptionFlagBitsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'PERFORMANCE_COUNTER_DESCRIPTION_PERFORMANCE_IMPACTING_BIT_KHR' -- specifies that recording the counter /may/ have a noticeable performance@@ -1159,7 +1160,7 @@ -- -- 'AcquireProfilingLockFlagsKHR' newtype AcquireProfilingLockFlagBitsKHR = AcquireProfilingLockFlagBitsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -155,6 +155,7 @@ import Foreign.C.Types (CSize(..)) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Type.Equality ((:~:)(Refl)) import Data.Typeable (Typeable)@@ -6582,7 +6583,7 @@ -- -- 'GeometryInstanceFlagsKHR' newtype GeometryInstanceFlagBitsKHR = GeometryInstanceFlagBitsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'GEOMETRY_INSTANCE_TRIANGLE_FACING_CULL_DISABLE_BIT_KHR' disables face -- culling for this instance.@@ -6633,7 +6634,7 @@ -- -- 'GeometryFlagsKHR' newtype GeometryFlagBitsKHR = GeometryFlagBitsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'GEOMETRY_OPAQUE_BIT_KHR' indicates that this geometry does not invoke -- the any-hit shaders even if present in a hit group.@@ -6678,7 +6679,7 @@ -- -- 'BuildAccelerationStructureFlagsKHR' newtype BuildAccelerationStructureFlagBitsKHR = BuildAccelerationStructureFlagBitsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'BUILD_ACCELERATION_STRUCTURE_ALLOW_UPDATE_BIT_KHR' indicates that the -- specified acceleration structure /can/ be updated with @update@ of

@@ -85,6 +85,7 @@ import Data.Vector (generateM) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -1141,7 +1142,7 @@ -- 'CompositeAlphaFlagsKHR', -- 'Vulkan.Extensions.VK_KHR_swapchain.SwapchainCreateInfoKHR' newtype CompositeAlphaFlagBitsKHR = CompositeAlphaFlagBitsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'COMPOSITE_ALPHA_OPAQUE_BIT_KHR': The alpha channel, if it exists, of -- the images is ignored in the compositing process. Instead, the image is@@ -1202,7 +1203,7 @@ -- 'SurfaceCapabilitiesKHR', 'SurfaceTransformFlagsKHR', -- 'Vulkan.Extensions.VK_KHR_swapchain.SwapchainCreateInfoKHR' newtype SurfaceTransformFlagBitsKHR = SurfaceTransformFlagBitsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'SURFACE_TRANSFORM_IDENTITY_BIT_KHR' specifies that image content is -- presented without being transformed.

@@ -76,6 +76,7 @@ import qualified Data.Vector (length) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Type.Equality ((:~:)(Refl)) import Data.Typeable (Typeable)@@ -2533,7 +2534,7 @@ -- -- 'DeviceGroupPresentInfoKHR', 'DeviceGroupPresentModeFlagsKHR' newtype DeviceGroupPresentModeFlagBitsKHR = DeviceGroupPresentModeFlagBitsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'DEVICE_GROUP_PRESENT_MODE_LOCAL_BIT_KHR' specifies that any physical -- device with a presentation engine /can/ present its own swapchain@@ -2580,7 +2581,7 @@ -- -- 'SwapchainCreateFlagsKHR' newtype SwapchainCreateFlagBitsKHR = SwapchainCreateFlagBitsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'SWAPCHAIN_CREATE_MUTABLE_FORMAT_BIT_KHR' specifies that the images of -- the swapchain /can/ be used to create a

@@ -36,6 +36,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -287,7 +288,7 @@ -- -- 'WaylandSurfaceCreateInfoKHR' newtype WaylandSurfaceCreateFlagsKHR = WaylandSurfaceCreateFlagsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -36,6 +36,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -282,7 +283,7 @@ -- -- 'Win32SurfaceCreateInfoKHR' newtype Win32SurfaceCreateFlagsKHR = Win32SurfaceCreateFlagsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -37,6 +37,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -288,7 +289,7 @@ -- -- 'XcbSurfaceCreateInfoKHR' newtype XcbSurfaceCreateFlagsKHR = XcbSurfaceCreateFlagsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -37,6 +37,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -290,7 +291,7 @@ -- -- 'XlibSurfaceCreateInfoKHR' newtype XlibSurfaceCreateFlagsKHR = XlibSurfaceCreateFlagsKHR Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -33,6 +33,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -254,7 +255,7 @@ -- -- 'IOSSurfaceCreateInfoMVK' newtype IOSSurfaceCreateFlagsMVK = IOSSurfaceCreateFlagsMVK Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -33,6 +33,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -258,7 +259,7 @@ -- -- 'MacOSSurfaceCreateInfoMVK' newtype MacOSSurfaceCreateFlagsMVK = MacOSSurfaceCreateFlagsMVK Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -33,6 +33,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -232,7 +233,7 @@ -- -- 'ViSurfaceCreateInfoNN' newtype ViSurfaceCreateFlagsNN = ViSurfaceCreateFlagsNN Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -40,6 +40,7 @@ import Data.Vector (generateM) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -409,7 +410,7 @@ -- -- 'PipelineCoverageReductionStateCreateInfoNV' newtype PipelineCoverageReductionStateCreateFlagsNV = PipelineCoverageReductionStateCreateFlagsNV Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -26,6 +26,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -179,7 +180,7 @@ -- -- 'DeviceDiagnosticsConfigFlagsNV' newtype DeviceDiagnosticsConfigFlagBitsNV = DeviceDiagnosticsConfigFlagBitsNV Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'DEVICE_DIAGNOSTICS_CONFIG_ENABLE_SHADER_DEBUG_INFO_BIT_NV' enables the -- generation of debug information for shaders.

@@ -76,6 +76,7 @@ import qualified Data.Vector (length) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -2661,7 +2662,7 @@ -- -- 'IndirectCommandsLayoutUsageFlagsNV' newtype IndirectCommandsLayoutUsageFlagBitsNV = IndirectCommandsLayoutUsageFlagBitsNV Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'INDIRECT_COMMANDS_LAYOUT_USAGE_EXPLICIT_PREPROCESS_BIT_NV' specifies -- that the layout is always used with the manual preprocessing step@@ -2707,7 +2708,7 @@ -- -- 'IndirectStateFlagsNV' newtype IndirectStateFlagBitsNV = IndirectStateFlagBitsNV Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'INDIRECT_STATE_FLAG_FRONTFACE_BIT_NV' allows to toggle the -- 'Vulkan.Core10.Enums.FrontFace.FrontFace' rasterization state for

@@ -40,6 +40,7 @@ import Control.Monad.Trans.Cont (evalContT) import Control.Monad.IO.Class (MonadIO) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -270,7 +271,7 @@ -- -- 'ExternalMemoryHandleTypeFlagsNV' newtype ExternalMemoryHandleTypeFlagBitsNV = ExternalMemoryHandleTypeFlagBitsNV Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'EXTERNAL_MEMORY_HANDLE_TYPE_OPAQUE_WIN32_BIT_NV' specifies a handle to -- memory returned by@@ -319,7 +320,7 @@ -- 'ExternalImageFormatPropertiesNV', 'ExternalMemoryFeatureFlagsNV', -- 'getPhysicalDeviceExternalImageFormatPropertiesNV' newtype ExternalMemoryFeatureFlagBitsNV = ExternalMemoryFeatureFlagBitsNV Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)  -- | 'EXTERNAL_MEMORY_FEATURE_DEDICATED_ONLY_BIT_NV' specifies that external -- memory of the specified type /must/ be created as a dedicated allocation

@@ -20,6 +20,7 @@ import Text.ParserCombinators.ReadPrec (prec) import Text.ParserCombinators.ReadPrec (step) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -165,7 +166,7 @@ -- -- 'PipelineCoverageToColorStateCreateInfoNV' newtype PipelineCoverageToColorStateCreateFlagsNV = PipelineCoverageToColorStateCreateFlagsNV Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -35,6 +35,7 @@ import qualified Data.Vector (length) import qualified Data.Vector (null) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.C.Types (CFloat)@@ -232,7 +233,7 @@ -- -- 'PipelineCoverageModulationStateCreateInfoNV' newtype PipelineCoverageModulationStateCreateFlagsNV = PipelineCoverageModulationStateCreateFlagsNV Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -37,6 +37,7 @@ import qualified Data.Vector (imapM_) import qualified Data.Vector (length) import Data.Bits (Bits)+import Data.Bits (FiniteBits) import Data.String (IsString) import Data.Typeable (Typeable) import Foreign.Storable (Storable)@@ -218,7 +219,7 @@ -- -- 'PipelineViewportSwizzleStateCreateInfoNV' newtype PipelineViewportSwizzleStateCreateFlagsNV = PipelineViewportSwizzleStateCreateFlagsNV Flags-  deriving newtype (Eq, Ord, Storable, Zero, Bits)+  deriving newtype (Eq, Ord, Storable, Zero, Bits, FiniteBits)   

@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           vulkan-version:        3.6.13+version:        3.6.14 synopsis:       Bindings to the Vulkan graphics API. category:       Graphics homepage:       https://github.com/expipiplus1/vulkan#readme