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