content: {-# language CPP #-}
  -- | = Name
  --
  -- VK_KHR_external_semaphore_win32 - device extension
  --
  -- == VK_KHR_external_semaphore_win32
  --
  -- [__Name String__]
  --     @VK_KHR_external_semaphore_win32@
  --
  -- [__Extension Type__]
  --     Device extension
  --
  -- [__Registered Extension Number__]
  --     79
  --
  -- [__Revision__]
  --     1
  --
  -- [__Ratification Status__]
  --     Ratified
  --
  -- [__Extension and Version Dependencies__]
  --     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_semaphore VK_KHR_external_semaphore>
  --
  -- [__Contact__]
  --
  --     -   James Jones
  --         <https://github.com/KhronosGroup/Vulkan-Docs/issues/new?body=[VK_KHR_external_semaphore_win32] @cubanismo%0A*Here describe the issue or question you have about the VK_KHR_external_semaphore_win32 extension* >
  --
  -- == Other Extension Metadata
  --
  -- [__Last Modified Date__]
  --     2016-10-21
  --
  -- [__IP Status__]
  --     No known IP claims.
  --
  -- [__Contributors__]
  --
  --     -   James Jones, NVIDIA
  --
  --     -   Jeff Juliano, NVIDIA
  --
  --     -   Carsten Rohde, NVIDIA
  --
  -- == Description
  --
  -- An application using external memory may wish to synchronize access to
  -- that memory using semaphores. This extension enables an application to
  -- export semaphore payload to and import semaphore payload from Windows
  -- handles.
  --
  -- == New Commands
  --
  -- -   'getSemaphoreWin32HandleKHR'
  --
  -- -   'importSemaphoreWin32HandleKHR'
  --
  -- == New Structures
  --
  -- -   'ImportSemaphoreWin32HandleInfoKHR'
  --
  -- -   'SemaphoreGetWin32HandleInfoKHR'
  --
  -- -   Extending 'Vulkan.Core10.QueueSemaphore.SemaphoreCreateInfo':
  --
  --     -   'ExportSemaphoreWin32HandleInfoKHR'
  --
  -- -   Extending 'Vulkan.Core10.Queue.SubmitInfo':
  --
  --     -   'D3D12FenceSubmitInfoKHR'
  --
  -- == New Enum Constants
  --
  -- -   'KHR_EXTERNAL_SEMAPHORE_WIN32_EXTENSION_NAME'
  --
  -- -   'KHR_EXTERNAL_SEMAPHORE_WIN32_SPEC_VERSION'
  --
  -- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_D3D12_FENCE_SUBMIT_INFO_KHR'
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_EXPORT_SEMAPHORE_WIN32_HANDLE_INFO_KHR'
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_IMPORT_SEMAPHORE_WIN32_HANDLE_INFO_KHR'
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_SEMAPHORE_GET_WIN32_HANDLE_INFO_KHR'
  --
  -- == Issues
  --
  -- 1) Do applications need to call @CloseHandle@() on the values returned
  -- from 'getSemaphoreWin32HandleKHR' when @handleType@ is
  -- 'Vulkan.Extensions.VK_KHR_external_semaphore_capabilities.EXTERNAL_SEMAPHORE_HANDLE_TYPE_OPAQUE_WIN32_BIT_KHR'?
  --
  -- __RESOLVED__: Yes, unless it is passed back in to another driver
  -- instance to import the object. A successful get call transfers ownership
  -- of the handle to the application. Destroying the semaphore object will
  -- not destroy the handle or the handle’s reference to the underlying
  -- semaphore resource.
  --
  -- 2) Should the language regarding KMT\/Windows 7 handles be moved to a
  -- separate extension so that it can be deprecated over time?
  --
  -- __RESOLVED__: No. Support for them can be deprecated by drivers if they
  -- choose, by no longer returning them in the supported handle types of the
  -- instance level queries.
  --
  -- 3) Should applications be allowed to specify additional object
  -- attributes for shared handles?
  --
  -- __RESOLVED__: Yes. Applications will be allowed to provide similar
  -- attributes to those they would to any other handle creation API.
  --
  -- 4) How do applications communicate the desired fence values to use with
  -- @D3D12_FENCE@-based Vulkan semaphores?
  --
  -- __RESOLVED__: There are a couple of options. The values for the signaled
  -- and reset states could be communicated up front when creating the object
  -- and remain static for the life of the Vulkan semaphore, or they could be
  -- specified using auxiliary structures when submitting semaphore signal
  -- and wait operations, similar to what is done with the keyed mutex
  -- extensions. The latter is more flexible and consistent with the keyed
  -- mutex usage, but the former is a much simpler API.
  --
  -- Since Vulkan tends to favor flexibility and consistency over simplicity,
  -- a new structure specifying D3D12 fence acquire and release values is
  -- added to the 'Vulkan.Core10.Queue.queueSubmit' function.
  --
  -- == Version History
  --
  -- -   Revision 1, 2016-10-21 (James Jones)
  --
  --     -   Initial revision
  --
  -- == See Also
  --
  -- 'D3D12FenceSubmitInfoKHR', 'ExportSemaphoreWin32HandleInfoKHR',
  -- 'ImportSemaphoreWin32HandleInfoKHR', 'SemaphoreGetWin32HandleInfoKHR',
  -- 'getSemaphoreWin32HandleKHR', 'importSemaphoreWin32HandleKHR'
  --
  -- == Document Notes
  --
  -- For more information, see the
  -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#VK_KHR_external_semaphore_win32 Vulkan Specification>
  --
  -- This page is a generated document. Fixes and changes should be made to
  -- the generator scripts, not directly.
  module Vulkan.Extensions.VK_KHR_external_semaphore_win32  ( getSemaphoreWin32HandleKHR
                                                            , importSemaphoreWin32HandleKHR
                                                            , ImportSemaphoreWin32HandleInfoKHR(..)
                                                            , ExportSemaphoreWin32HandleInfoKHR(..)
                                                            , D3D12FenceSubmitInfoKHR(..)
                                                            , SemaphoreGetWin32HandleInfoKHR(..)
                                                            , KHR_EXTERNAL_SEMAPHORE_WIN32_SPEC_VERSION
                                                            , pattern KHR_EXTERNAL_SEMAPHORE_WIN32_SPEC_VERSION
                                                            , KHR_EXTERNAL_SEMAPHORE_WIN32_EXTENSION_NAME
                                                            , pattern KHR_EXTERNAL_SEMAPHORE_WIN32_EXTENSION_NAME
                                                            , HANDLE
                                                            , DWORD
                                                            , LPCWSTR
                                                            , SECURITY_ATTRIBUTES
                                                            ) where
  
  import Vulkan.Internal.Utils (traceAroundEvent)
  import Control.Exception.Base (bracket)
  import Control.Monad (unless)
  import Control.Monad.IO.Class (liftIO)
  import Foreign.Marshal.Alloc (allocaBytes)
  import Foreign.Marshal.Alloc (callocBytes)
  import Foreign.Marshal.Alloc (free)
  import GHC.Base (when)
  import GHC.IO (throwIO)
  import GHC.Ptr (nullFunPtr)
  import Foreign.Ptr (nullPtr)
  import Foreign.Ptr (plusPtr)
  import Control.Monad.Trans.Class (lift)
  import Control.Monad.Trans.Cont (evalContT)
  import Data.Vector (generateM)
  import qualified Data.Vector (imapM_)
  import qualified Data.Vector (length)
  import qualified Data.Vector (null)
  import Vulkan.CStruct (FromCStruct)
  import Vulkan.CStruct (FromCStruct(..))
  import Vulkan.CStruct (ToCStruct)
  import Vulkan.CStruct (ToCStruct(..))
  import Vulkan.Zero (Zero(..))
  import Control.Monad.IO.Class (MonadIO)
  import Data.String (IsString)
  import Data.Typeable (Typeable)
  import Foreign.Storable (Storable)
  import Foreign.Storable (Storable(peek))
  import Foreign.Storable (Storable(poke))
  import qualified Foreign.Storable (Storable(..))
  import GHC.Generics (Generic)
  import GHC.IO.Exception (IOErrorType(..))
  import GHC.IO.Exception (IOException(..))
  import Foreign.Ptr (FunPtr)
  import Foreign.Ptr (Ptr)
  import Data.Word (Word32)
  import Data.Word (Word64)
  import Data.Kind (Type)
  import Control.Monad.Trans.Cont (ContT(..))
  import Data.Vector (Vector)
  import Vulkan.CStruct.Utils (advancePtrBytes)
  import Vulkan.Extensions.VK_NV_external_memory_win32 (DWORD)
  import Vulkan.Core10.Handles (Device)
  import Vulkan.Core10.Handles (Device(..))
  import Vulkan.Core10.Handles (Device(Device))
  import Vulkan.Dynamic (DeviceCmds(pVkGetSemaphoreWin32HandleKHR))
  import Vulkan.Dynamic (DeviceCmds(pVkImportSemaphoreWin32HandleKHR))
  import Vulkan.Core10.Handles (Device_T)
  import Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits (ExternalSemaphoreHandleTypeFlagBits)
  import Vulkan.Extensions.VK_NV_external_memory_win32 (HANDLE)
  import Vulkan.Extensions.VK_KHR_external_memory_win32 (LPCWSTR)
  import Vulkan.Core10.Enums.Result (Result)
  import Vulkan.Core10.Enums.Result (Result(..))
  import Vulkan.Extensions.VK_NV_external_memory_win32 (SECURITY_ATTRIBUTES)
  import Vulkan.Core10.Handles (Semaphore)
  import Vulkan.Core11.Enums.SemaphoreImportFlagBits (SemaphoreImportFlags)
  import Vulkan.Core10.Enums.StructureType (StructureType)
  import Vulkan.Exception (VulkanException(..))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_D3D12_FENCE_SUBMIT_INFO_KHR))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_EXPORT_SEMAPHORE_WIN32_HANDLE_INFO_KHR))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_IMPORT_SEMAPHORE_WIN32_HANDLE_INFO_KHR))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_SEMAPHORE_GET_WIN32_HANDLE_INFO_KHR))
  import Vulkan.Core10.Enums.Result (Result(SUCCESS))
  import Vulkan.Extensions.VK_NV_external_memory_win32 (DWORD)
  import Vulkan.Extensions.VK_NV_external_memory_win32 (HANDLE)
  import Vulkan.Extensions.VK_KHR_external_memory_win32 (LPCWSTR)
  import Vulkan.Extensions.VK_NV_external_memory_win32 (SECURITY_ATTRIBUTES)
  foreign import ccall
  #if !defined(SAFE_FOREIGN_CALLS)
    unsafe
  #endif
    "dynamic" mkVkGetSemaphoreWin32HandleKHR
    :: FunPtr (Ptr Device_T -> Ptr SemaphoreGetWin32HandleInfoKHR -> Ptr HANDLE -> IO Result) -> Ptr Device_T -> Ptr SemaphoreGetWin32HandleInfoKHR -> Ptr HANDLE -> IO Result
  
  -- | vkGetSemaphoreWin32HandleKHR - Get a Windows HANDLE for a semaphore
  --
  -- = Description
  --
  -- For handle types defined as NT handles, the handles returned by
  -- 'getSemaphoreWin32HandleKHR' are owned by the application. To avoid
  -- leaking resources, the application /must/ release ownership of them
  -- using the @CloseHandle@ system call when they are no longer needed.
  --
  -- Exporting a Windows handle from a semaphore /may/ have side effects
  -- depending on the transference of the specified handle type, as described
  -- in
  -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#synchronization-semaphores-importing Importing Semaphore Payloads>.
  --
  -- == Return Codes
  --
  -- [<https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-successcodes Success>]
  --
  --     -   'Vulkan.Core10.Enums.Result.SUCCESS'
  --
  -- [<https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-errorcodes Failure>]
  --
  --     -   'Vulkan.Core10.Enums.Result.ERROR_TOO_MANY_OBJECTS'
  --
  --     -   'Vulkan.Core10.Enums.Result.ERROR_OUT_OF_HOST_MEMORY'
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_semaphore_win32 VK_KHR_external_semaphore_win32>,
  -- 'Vulkan.Core10.Handles.Device', 'SemaphoreGetWin32HandleInfoKHR'
  getSemaphoreWin32HandleKHR :: forall io
                              . (MonadIO io)
                             => -- | @device@ is the logical device that created the semaphore being
                                -- exported.
                                --
                                -- #VUID-vkGetSemaphoreWin32HandleKHR-device-parameter# @device@ /must/ be
                                -- a valid 'Vulkan.Core10.Handles.Device' handle
                                Device
                             -> -- | @pGetWin32HandleInfo@ is a pointer to a 'SemaphoreGetWin32HandleInfoKHR'
                                -- structure containing parameters of the export operation.
                                --
                                -- #VUID-vkGetSemaphoreWin32HandleKHR-pGetWin32HandleInfo-parameter#
                                -- @pGetWin32HandleInfo@ /must/ be a valid pointer to a valid
                                -- 'SemaphoreGetWin32HandleInfoKHR' structure
                                SemaphoreGetWin32HandleInfoKHR
                             -> io (HANDLE)
  getSemaphoreWin32HandleKHR device getWin32HandleInfo = liftIO . evalContT $ do
    let vkGetSemaphoreWin32HandleKHRPtr = pVkGetSemaphoreWin32HandleKHR (case device of Device{deviceCmds} -> deviceCmds)
    lift $ unless (vkGetSemaphoreWin32HandleKHRPtr /= nullFunPtr) $
      throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkGetSemaphoreWin32HandleKHR is null" Nothing Nothing
    let vkGetSemaphoreWin32HandleKHR' = mkVkGetSemaphoreWin32HandleKHR vkGetSemaphoreWin32HandleKHRPtr
    pGetWin32HandleInfo <- ContT $ withCStruct (getWin32HandleInfo)
    pPHandle <- ContT $ bracket (callocBytes @HANDLE 8) free
    r <- lift $ traceAroundEvent "vkGetSemaphoreWin32HandleKHR" (vkGetSemaphoreWin32HandleKHR'
                                                                   (deviceHandle (device))
                                                                   pGetWin32HandleInfo
                                                                   (pPHandle))
    lift $ when (r < SUCCESS) (throwIO (VulkanException r))
    pHandle <- lift $ peek @HANDLE pPHandle
    pure $ (pHandle)
  
  
  foreign import ccall
  #if !defined(SAFE_FOREIGN_CALLS)
    unsafe
  #endif
    "dynamic" mkVkImportSemaphoreWin32HandleKHR
    :: FunPtr (Ptr Device_T -> Ptr ImportSemaphoreWin32HandleInfoKHR -> IO Result) -> Ptr Device_T -> Ptr ImportSemaphoreWin32HandleInfoKHR -> IO Result
  
  -- | vkImportSemaphoreWin32HandleKHR - Import a semaphore from a Windows
  -- HANDLE
  --
  -- = Description
  --
  -- Importing a semaphore payload from Windows handles does not transfer
  -- ownership of the handle to the Vulkan implementation. For handle types
  -- defined as NT handles, the application /must/ release ownership using
  -- the @CloseHandle@ system call when the handle is no longer needed.
  --
  -- Applications /can/ import the same semaphore payload into multiple
  -- instances of Vulkan, into the same instance from which it was exported,
  -- and multiple times into a given Vulkan instance.
  --
  -- == Return Codes
  --
  -- [<https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-successcodes Success>]
  --
  --     -   'Vulkan.Core10.Enums.Result.SUCCESS'
  --
  -- [<https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-errorcodes Failure>]
  --
  --     -   'Vulkan.Core10.Enums.Result.ERROR_OUT_OF_HOST_MEMORY'
  --
  --     -   'Vulkan.Core10.Enums.Result.ERROR_INVALID_EXTERNAL_HANDLE'
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_semaphore_win32 VK_KHR_external_semaphore_win32>,
  -- 'Vulkan.Core10.Handles.Device', 'ImportSemaphoreWin32HandleInfoKHR'
  importSemaphoreWin32HandleKHR :: forall io
                                 . (MonadIO io)
                                => -- | @device@ is the logical device that created the semaphore.
                                   --
                                   -- #VUID-vkImportSemaphoreWin32HandleKHR-device-parameter# @device@ /must/
                                   -- be a valid 'Vulkan.Core10.Handles.Device' handle
                                   Device
                                -> -- | @pImportSemaphoreWin32HandleInfo@ is a pointer to a
                                   -- 'ImportSemaphoreWin32HandleInfoKHR' structure specifying the semaphore
                                   -- and import parameters.
                                   --
                                   -- #VUID-vkImportSemaphoreWin32HandleKHR-pImportSemaphoreWin32HandleInfo-parameter#
                                   -- @pImportSemaphoreWin32HandleInfo@ /must/ be a valid pointer to a valid
                                   -- 'ImportSemaphoreWin32HandleInfoKHR' structure
                                   ImportSemaphoreWin32HandleInfoKHR
                                -> io ()
  importSemaphoreWin32HandleKHR device
                                  importSemaphoreWin32HandleInfo = liftIO . evalContT $ do
    let vkImportSemaphoreWin32HandleKHRPtr = pVkImportSemaphoreWin32HandleKHR (case device of Device{deviceCmds} -> deviceCmds)
    lift $ unless (vkImportSemaphoreWin32HandleKHRPtr /= nullFunPtr) $
      throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkImportSemaphoreWin32HandleKHR is null" Nothing Nothing
    let vkImportSemaphoreWin32HandleKHR' = mkVkImportSemaphoreWin32HandleKHR vkImportSemaphoreWin32HandleKHRPtr
    pImportSemaphoreWin32HandleInfo <- ContT $ withCStruct (importSemaphoreWin32HandleInfo)
    r <- lift $ traceAroundEvent "vkImportSemaphoreWin32HandleKHR" (vkImportSemaphoreWin32HandleKHR'
                                                                      (deviceHandle (device))
                                                                      pImportSemaphoreWin32HandleInfo)
    lift $ when (r < SUCCESS) (throwIO (VulkanException r))
  
  
  -- | VkImportSemaphoreWin32HandleInfoKHR - Structure specifying Windows
  -- handle to import to a semaphore
  --
  -- = Description
  --
  -- The handle types supported by @handleType@ are:
  --
  -- +---------------------------------------------------------------------------------------------------------------+------------------+---------------------+
  -- | Handle Type                                                                                                   | Transference     | Permanence          |
  -- |                                                                                                               |                  | Supported           |
  -- +===============================================================================================================+==================+=====================+
  -- | 'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_OPAQUE_WIN32_BIT'     | Reference        | Temporary,Permanent |
  -- +---------------------------------------------------------------------------------------------------------------+------------------+---------------------+
  -- | 'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_OPAQUE_WIN32_KMT_BIT' | Reference        | Temporary,Permanent |
  -- +---------------------------------------------------------------------------------------------------------------+------------------+---------------------+
  -- | 'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_D3D12_FENCE_BIT'      | Reference        | Temporary,Permanent |
  -- +---------------------------------------------------------------------------------------------------------------+------------------+---------------------+
  --
  -- Handle Types Supported by 'ImportSemaphoreWin32HandleInfoKHR'
  --
  -- == Valid Usage
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-handleType-01140#
  --     @handleType@ /must/ be a value included in the
  --     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#synchronization-semaphore-handletypes-win32 Handle Types Supported by >
  --     table
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-handleType-01466# If
  --     @handleType@ is not
  --     'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_OPAQUE_WIN32_BIT'
  --     or
  --     'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_D3D12_FENCE_BIT',
  --     @name@ /must/ be @NULL@
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-handleType-01467# If
  --     @handle@ is @NULL@, @name@ /must/ name a valid synchronization
  --     primitive of the type specified by @handleType@
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-handleType-01468# If
  --     @name@ is @NULL@, @handle@ /must/ be a valid handle of the type
  --     specified by @handleType@
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-handle-01469# If @handle@
  --     is not @NULL@, @name@ /must/ be @NULL@
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-handle-01542# If @handle@
  --     is not @NULL@, it /must/ obey any requirements listed for
  --     @handleType@ in
  --     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#external-semaphore-handle-types-compatibility external semaphore handle types compatibility>
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-name-01543# If @name@ is
  --     not @NULL@, it /must/ obey any requirements listed for @handleType@
  --     in
  --     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#external-semaphore-handle-types-compatibility external semaphore handle types compatibility>
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-handleType-03261# If
  --     @handleType@ is
  --     'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_OPAQUE_WIN32_BIT'
  --     or
  --     'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_OPAQUE_WIN32_KMT_BIT',
  --     the 'Vulkan.Core10.QueueSemaphore.SemaphoreCreateInfo'::@flags@
  --     field /must/ match that of the semaphore from which @handle@ or
  --     @name@ was exported
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-handleType-03262# If
  --     @handleType@ is
  --     'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_OPAQUE_WIN32_BIT'
  --     or
  --     'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_OPAQUE_WIN32_KMT_BIT',
  --     the
  --     'Vulkan.Core12.Promoted_From_VK_KHR_timeline_semaphore.SemaphoreTypeCreateInfo'::@semaphoreType@
  --     field /must/ match that of the semaphore from which @handle@ or
  --     @name@ was exported
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-flags-03322# If @flags@
  --     contains
  --     'Vulkan.Core11.Enums.SemaphoreImportFlagBits.SEMAPHORE_IMPORT_TEMPORARY_BIT',
  --     the
  --     'Vulkan.Core12.Promoted_From_VK_KHR_timeline_semaphore.SemaphoreTypeCreateInfo'::@semaphoreType@
  --     field of the semaphore from which @handle@ or @name@ was exported
  --     /must/ not be
  --     'Vulkan.Core12.Enums.SemaphoreType.SEMAPHORE_TYPE_TIMELINE'
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-sType-sType# @sType@
  --     /must/ be
  --     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_IMPORT_SEMAPHORE_WIN32_HANDLE_INFO_KHR'
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-pNext-pNext# @pNext@
  --     /must/ be @NULL@
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-semaphore-parameter#
  --     @semaphore@ /must/ be a valid 'Vulkan.Core10.Handles.Semaphore'
  --     handle
  --
  -- -   #VUID-VkImportSemaphoreWin32HandleInfoKHR-flags-parameter# @flags@
  --     /must/ be a valid combination of
  --     'Vulkan.Core11.Enums.SemaphoreImportFlagBits.SemaphoreImportFlagBits'
  --     values
  --
  -- == Host Synchronization
  --
  -- -   Host access to @semaphore@ /must/ be externally synchronized
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_semaphore_win32 VK_KHR_external_semaphore_win32>,
  -- 'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.ExternalSemaphoreHandleTypeFlagBits',
  -- 'Vulkan.Core10.Handles.Semaphore',
  -- 'Vulkan.Core11.Enums.SemaphoreImportFlagBits.SemaphoreImportFlags',
  -- 'Vulkan.Core10.Enums.StructureType.StructureType',
  -- 'importSemaphoreWin32HandleKHR'
  data ImportSemaphoreWin32HandleInfoKHR = ImportSemaphoreWin32HandleInfoKHR
    { -- | @semaphore@ is the semaphore into which the payload will be imported.
      semaphore :: Semaphore
    , -- | @flags@ is a bitmask of
      -- 'Vulkan.Core11.Enums.SemaphoreImportFlagBits.SemaphoreImportFlagBits'
      -- specifying additional parameters for the semaphore payload import
      -- operation.
      flags :: SemaphoreImportFlags
    , -- | @handleType@ is a
      -- 'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.ExternalSemaphoreHandleTypeFlagBits'
      -- value specifying the type of @handle@.
      handleType :: ExternalSemaphoreHandleTypeFlagBits
    , -- | @handle@ is @NULL@ or the external handle to import.
      handle :: HANDLE
    , -- | @name@ is @NULL@ or a null-terminated UTF-16 string naming the
      -- underlying synchronization primitive to import.
      name :: LPCWSTR
    }
    deriving (Typeable, Eq)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (ImportSemaphoreWin32HandleInfoKHR)
  #endif
  deriving instance Show ImportSemaphoreWin32HandleInfoKHR
  
  instance ToCStruct ImportSemaphoreWin32HandleInfoKHR where
    withCStruct x f = allocaBytes 48 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p ImportSemaphoreWin32HandleInfoKHR{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_IMPORT_SEMAPHORE_WIN32_HANDLE_INFO_KHR)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Semaphore)) (semaphore)
      poke ((p `plusPtr` 24 :: Ptr SemaphoreImportFlags)) (flags)
      poke ((p `plusPtr` 28 :: Ptr ExternalSemaphoreHandleTypeFlagBits)) (handleType)
      poke ((p `plusPtr` 32 :: Ptr HANDLE)) (handle)
      poke ((p `plusPtr` 40 :: Ptr LPCWSTR)) (name)
      f
    cStructSize = 48
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_IMPORT_SEMAPHORE_WIN32_HANDLE_INFO_KHR)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Semaphore)) (zero)
      poke ((p `plusPtr` 28 :: Ptr ExternalSemaphoreHandleTypeFlagBits)) (zero)
      f
  
  instance FromCStruct ImportSemaphoreWin32HandleInfoKHR where
    peekCStruct p = do
      semaphore <- peek @Semaphore ((p `plusPtr` 16 :: Ptr Semaphore))
      flags <- peek @SemaphoreImportFlags ((p `plusPtr` 24 :: Ptr SemaphoreImportFlags))
      handleType <- peek @ExternalSemaphoreHandleTypeFlagBits ((p `plusPtr` 28 :: Ptr ExternalSemaphoreHandleTypeFlagBits))
      handle <- peek @HANDLE ((p `plusPtr` 32 :: Ptr HANDLE))
      name <- peek @LPCWSTR ((p `plusPtr` 40 :: Ptr LPCWSTR))
      pure $ ImportSemaphoreWin32HandleInfoKHR
               semaphore flags handleType handle name
  
  instance Storable ImportSemaphoreWin32HandleInfoKHR where
    sizeOf ~_ = 48
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero ImportSemaphoreWin32HandleInfoKHR where
    zero = ImportSemaphoreWin32HandleInfoKHR
             zero
             zero
             zero
             zero
             zero
  
  
  -- | VkExportSemaphoreWin32HandleInfoKHR - Structure specifying additional
  -- attributes of Windows handles exported from a semaphore
  --
  -- = Description
  --
  -- If
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_external_semaphore.ExportSemaphoreCreateInfo'
  -- is not included in the same @pNext@ chain, this structure is ignored.
  --
  -- If
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_external_semaphore.ExportSemaphoreCreateInfo'
  -- is included in the @pNext@ chain of
  -- 'Vulkan.Core10.QueueSemaphore.SemaphoreCreateInfo' with a Windows
  -- @handleType@, but either 'ExportSemaphoreWin32HandleInfoKHR' is not
  -- included in the @pNext@ chain, or it is included but @pAttributes@ is
  -- set to @NULL@, default security descriptor values will be used, and
  -- child processes created by the application will not inherit the handle,
  -- as described in the MSDN documentation for “Synchronization Object
  -- Security and Access Rights”1. Further, if the structure is not present,
  -- the access rights used depend on the handle type.
  --
  -- For handles of the following types:
  --
  -- 'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_OPAQUE_WIN32_BIT'
  --
  -- The implementation /must/ ensure the access rights allow both signal and
  -- wait operations on the semaphore.
  --
  -- For handles of the following types:
  --
  -- 'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_D3D12_FENCE_BIT'
  --
  -- The access rights /must/ be:
  --
  -- @GENERIC_ALL@
  --
  -- [1]
  --     <https://docs.microsoft.com/en-us/windows/win32/sync/synchronization-object-security-and-access-rights>
  --
  -- == Valid Usage
  --
  -- -   #VUID-VkExportSemaphoreWin32HandleInfoKHR-handleTypes-01125# If
  --     'Vulkan.Core11.Promoted_From_VK_KHR_external_semaphore.ExportSemaphoreCreateInfo'::@handleTypes@
  --     does not include
  --     'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_OPAQUE_WIN32_BIT'
  --     or
  --     'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_D3D12_FENCE_BIT',
  --     'ExportSemaphoreWin32HandleInfoKHR' /must/ not be included in the
  --     @pNext@ chain of 'Vulkan.Core10.QueueSemaphore.SemaphoreCreateInfo'
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-VkExportSemaphoreWin32HandleInfoKHR-sType-sType# @sType@
  --     /must/ be
  --     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_EXPORT_SEMAPHORE_WIN32_HANDLE_INFO_KHR'
  --
  -- -   #VUID-VkExportSemaphoreWin32HandleInfoKHR-pAttributes-parameter# If
  --     @pAttributes@ is not @NULL@, @pAttributes@ /must/ be a valid pointer
  --     to a valid
  --     'Vulkan.Extensions.VK_NV_external_memory_win32.SECURITY_ATTRIBUTES'
  --     value
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_semaphore_win32 VK_KHR_external_semaphore_win32>,
  -- 'Vulkan.Core10.Enums.StructureType.StructureType'
  data ExportSemaphoreWin32HandleInfoKHR = ExportSemaphoreWin32HandleInfoKHR
    { -- | @pAttributes@ is a pointer to a Windows
      -- 'Vulkan.Extensions.VK_NV_external_memory_win32.SECURITY_ATTRIBUTES'
      -- structure specifying security attributes of the handle.
      attributes :: Ptr SECURITY_ATTRIBUTES
    , -- | @dwAccess@ is a 'Vulkan.Extensions.VK_NV_external_memory_win32.DWORD'
      -- specifying access rights of the handle.
      dwAccess :: DWORD
    , -- | @name@ is a null-terminated UTF-16 string to associate with the
      -- underlying synchronization primitive referenced by NT handles exported
      -- from the created semaphore.
      name :: LPCWSTR
    }
    deriving (Typeable, Eq)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (ExportSemaphoreWin32HandleInfoKHR)
  #endif
  deriving instance Show ExportSemaphoreWin32HandleInfoKHR
  
  instance ToCStruct ExportSemaphoreWin32HandleInfoKHR where
    withCStruct x f = allocaBytes 40 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p ExportSemaphoreWin32HandleInfoKHR{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_EXPORT_SEMAPHORE_WIN32_HANDLE_INFO_KHR)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr (Ptr SECURITY_ATTRIBUTES))) (attributes)
      poke ((p `plusPtr` 24 :: Ptr DWORD)) (dwAccess)
      poke ((p `plusPtr` 32 :: Ptr LPCWSTR)) (name)
      f
    cStructSize = 40
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_EXPORT_SEMAPHORE_WIN32_HANDLE_INFO_KHR)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 24 :: Ptr DWORD)) (zero)
      poke ((p `plusPtr` 32 :: Ptr LPCWSTR)) (zero)
      f
  
  instance FromCStruct ExportSemaphoreWin32HandleInfoKHR where
    peekCStruct p = do
      pAttributes <- peek @(Ptr SECURITY_ATTRIBUTES) ((p `plusPtr` 16 :: Ptr (Ptr SECURITY_ATTRIBUTES)))
      dwAccess <- peek @DWORD ((p `plusPtr` 24 :: Ptr DWORD))
      name <- peek @LPCWSTR ((p `plusPtr` 32 :: Ptr LPCWSTR))
      pure $ ExportSemaphoreWin32HandleInfoKHR
               pAttributes dwAccess name
  
  instance Storable ExportSemaphoreWin32HandleInfoKHR where
    sizeOf ~_ = 40
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero ExportSemaphoreWin32HandleInfoKHR where
    zero = ExportSemaphoreWin32HandleInfoKHR
             zero
             zero
             zero
  
  
  -- | VkD3D12FenceSubmitInfoKHR - Structure specifying values for Direct3D 12
  -- fence-backed semaphores
  --
  -- = Description
  --
  -- If the semaphore in 'Vulkan.Core10.Queue.SubmitInfo'::@pWaitSemaphores@
  -- or 'Vulkan.Core10.Queue.SubmitInfo'::@pSignalSemaphores@ corresponding
  -- to an entry in @pWaitSemaphoreValues@ or @pSignalSemaphoreValues@
  -- respectively does not currently have a
  -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#synchronization-semaphores-payloads payload>
  -- referring to a Direct3D 12 fence, the implementation /must/ ignore the
  -- value in the @pWaitSemaphoreValues@ or @pSignalSemaphoreValues@ entry.
  --
  -- Note
  --
  -- As the introduction of the external semaphore handle type
  -- 'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.EXTERNAL_SEMAPHORE_HANDLE_TYPE_D3D12_FENCE_BIT'
  -- predates that of timeline semaphores, support for importing semaphore
  -- payloads from external handles of that type into semaphores created
  -- (implicitly or explicitly) with a
  -- 'Vulkan.Core12.Enums.SemaphoreType.SemaphoreType' of
  -- 'Vulkan.Core12.Enums.SemaphoreType.SEMAPHORE_TYPE_BINARY' is preserved
  -- for backwards compatibility. However, applications /should/ prefer
  -- importing such handle types into semaphores created with a
  -- 'Vulkan.Core12.Enums.SemaphoreType.SemaphoreType' of
  -- 'Vulkan.Core12.Enums.SemaphoreType.SEMAPHORE_TYPE_TIMELINE', and use the
  -- 'Vulkan.Core12.Promoted_From_VK_KHR_timeline_semaphore.TimelineSemaphoreSubmitInfo'
  -- structure instead of the 'D3D12FenceSubmitInfoKHR' structure to specify
  -- the values to use when waiting for and signaling such semaphores.
  --
  -- == Valid Usage
  --
  -- -   #VUID-VkD3D12FenceSubmitInfoKHR-waitSemaphoreValuesCount-00079#
  --     @waitSemaphoreValuesCount@ /must/ be the same value as
  --     'Vulkan.Core10.Queue.SubmitInfo'::@waitSemaphoreCount@, where this
  --     structure is in the @pNext@ chain of a
  --     'Vulkan.Core10.Queue.SubmitInfo' structure
  --
  -- -   #VUID-VkD3D12FenceSubmitInfoKHR-signalSemaphoreValuesCount-00080#
  --     @signalSemaphoreValuesCount@ /must/ be the same value as
  --     'Vulkan.Core10.Queue.SubmitInfo'::@signalSemaphoreCount@, where this
  --     structure is in the @pNext@ chain of a
  --     'Vulkan.Core10.Queue.SubmitInfo' structure
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-VkD3D12FenceSubmitInfoKHR-sType-sType# @sType@ /must/ be
  --     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_D3D12_FENCE_SUBMIT_INFO_KHR'
  --
  -- -   #VUID-VkD3D12FenceSubmitInfoKHR-pWaitSemaphoreValues-parameter# If
  --     @waitSemaphoreValuesCount@ is not @0@, and @pWaitSemaphoreValues@ is
  --     not @NULL@, @pWaitSemaphoreValues@ /must/ be a valid pointer to an
  --     array of @waitSemaphoreValuesCount@ @uint64_t@ values
  --
  -- -   #VUID-VkD3D12FenceSubmitInfoKHR-pSignalSemaphoreValues-parameter# If
  --     @signalSemaphoreValuesCount@ is not @0@, and
  --     @pSignalSemaphoreValues@ is not @NULL@, @pSignalSemaphoreValues@
  --     /must/ be a valid pointer to an array of
  --     @signalSemaphoreValuesCount@ @uint64_t@ values
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_semaphore_win32 VK_KHR_external_semaphore_win32>,
  -- 'Vulkan.Core10.Enums.StructureType.StructureType'
  data D3D12FenceSubmitInfoKHR = D3D12FenceSubmitInfoKHR
    { -- | @waitSemaphoreValuesCount@ is the number of semaphore wait values
      -- specified in @pWaitSemaphoreValues@.
      waitSemaphoreValuesCount :: Word32
    , -- | @pWaitSemaphoreValues@ is a pointer to an array of
      -- @waitSemaphoreValuesCount@ values for the corresponding semaphores in
      -- 'Vulkan.Core10.Queue.SubmitInfo'::@pWaitSemaphores@ to wait for.
      waitSemaphoreValues :: Vector Word64
    , -- | @signalSemaphoreValuesCount@ is the number of semaphore signal values
      -- specified in @pSignalSemaphoreValues@.
      signalSemaphoreValuesCount :: Word32
    , -- | @pSignalSemaphoreValues@ is a pointer to an array of
      -- @signalSemaphoreValuesCount@ values for the corresponding semaphores in
      -- 'Vulkan.Core10.Queue.SubmitInfo'::@pSignalSemaphores@ to set when
      -- signaled.
      signalSemaphoreValues :: Vector Word64
    }
    deriving (Typeable)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (D3D12FenceSubmitInfoKHR)
  #endif
  deriving instance Show D3D12FenceSubmitInfoKHR
  
  instance ToCStruct D3D12FenceSubmitInfoKHR where
    withCStruct x f = allocaBytes 48 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p D3D12FenceSubmitInfoKHR{..} f = evalContT $ do
      lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_D3D12_FENCE_SUBMIT_INFO_KHR)
      lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      let pWaitSemaphoreValuesLength = Data.Vector.length $ (waitSemaphoreValues)
      waitSemaphoreValuesCount'' <- lift $ if (waitSemaphoreValuesCount) == 0
        then pure $ fromIntegral pWaitSemaphoreValuesLength
        else do
          unless (fromIntegral pWaitSemaphoreValuesLength == (waitSemaphoreValuesCount) || pWaitSemaphoreValuesLength == 0) $
            throwIO $ IOError Nothing InvalidArgument "" "pWaitSemaphoreValues must be empty or have 'waitSemaphoreValuesCount' elements" Nothing Nothing
          pure (waitSemaphoreValuesCount)
      lift $ poke ((p `plusPtr` 16 :: Ptr Word32)) (waitSemaphoreValuesCount'')
      pWaitSemaphoreValues'' <- if Data.Vector.null (waitSemaphoreValues)
        then pure nullPtr
        else do
          pPWaitSemaphoreValues <- ContT $ allocaBytes @Word64 (((Data.Vector.length (waitSemaphoreValues))) * 8)
          lift $ Data.Vector.imapM_ (\i e -> poke (pPWaitSemaphoreValues `plusPtr` (8 * (i)) :: Ptr Word64) (e)) ((waitSemaphoreValues))
          pure $ pPWaitSemaphoreValues
      lift $ poke ((p `plusPtr` 24 :: Ptr (Ptr Word64))) pWaitSemaphoreValues''
      let pSignalSemaphoreValuesLength = Data.Vector.length $ (signalSemaphoreValues)
      signalSemaphoreValuesCount'' <- lift $ if (signalSemaphoreValuesCount) == 0
        then pure $ fromIntegral pSignalSemaphoreValuesLength
        else do
          unless (fromIntegral pSignalSemaphoreValuesLength == (signalSemaphoreValuesCount) || pSignalSemaphoreValuesLength == 0) $
            throwIO $ IOError Nothing InvalidArgument "" "pSignalSemaphoreValues must be empty or have 'signalSemaphoreValuesCount' elements" Nothing Nothing
          pure (signalSemaphoreValuesCount)
      lift $ poke ((p `plusPtr` 32 :: Ptr Word32)) (signalSemaphoreValuesCount'')
      pSignalSemaphoreValues'' <- if Data.Vector.null (signalSemaphoreValues)
        then pure nullPtr
        else do
          pPSignalSemaphoreValues <- ContT $ allocaBytes @Word64 (((Data.Vector.length (signalSemaphoreValues))) * 8)
          lift $ Data.Vector.imapM_ (\i e -> poke (pPSignalSemaphoreValues `plusPtr` (8 * (i)) :: Ptr Word64) (e)) ((signalSemaphoreValues))
          pure $ pPSignalSemaphoreValues
      lift $ poke ((p `plusPtr` 40 :: Ptr (Ptr Word64))) pSignalSemaphoreValues''
      lift $ f
    cStructSize = 48
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_D3D12_FENCE_SUBMIT_INFO_KHR)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      f
  
  instance FromCStruct D3D12FenceSubmitInfoKHR where
    peekCStruct p = do
      waitSemaphoreValuesCount <- peek @Word32 ((p `plusPtr` 16 :: Ptr Word32))
      pWaitSemaphoreValues <- peek @(Ptr Word64) ((p `plusPtr` 24 :: Ptr (Ptr Word64)))
      let pWaitSemaphoreValuesLength = if pWaitSemaphoreValues == nullPtr then 0 else (fromIntegral waitSemaphoreValuesCount)
      pWaitSemaphoreValues' <- generateM pWaitSemaphoreValuesLength (\i -> peek @Word64 ((pWaitSemaphoreValues `advancePtrBytes` (8 * (i)) :: Ptr Word64)))
      signalSemaphoreValuesCount <- peek @Word32 ((p `plusPtr` 32 :: Ptr Word32))
      pSignalSemaphoreValues <- peek @(Ptr Word64) ((p `plusPtr` 40 :: Ptr (Ptr Word64)))
      let pSignalSemaphoreValuesLength = if pSignalSemaphoreValues == nullPtr then 0 else (fromIntegral signalSemaphoreValuesCount)
      pSignalSemaphoreValues' <- generateM pSignalSemaphoreValuesLength (\i -> peek @Word64 ((pSignalSemaphoreValues `advancePtrBytes` (8 * (i)) :: Ptr Word64)))
      pure $ D3D12FenceSubmitInfoKHR
               waitSemaphoreValuesCount
               pWaitSemaphoreValues'
               signalSemaphoreValuesCount
               pSignalSemaphoreValues'
  
  instance Zero D3D12FenceSubmitInfoKHR where
    zero = D3D12FenceSubmitInfoKHR
             zero
             mempty
             zero
             mempty
  
  
  -- | VkSemaphoreGetWin32HandleInfoKHR - Structure describing a Win32 handle
  -- semaphore export operation
  --
  -- = Description
  --
  -- The properties of the handle returned depend on the value of
  -- @handleType@. See
  -- 'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.ExternalSemaphoreHandleTypeFlagBits'
  -- for a description of the properties of the defined external semaphore
  -- handle types.
  --
  -- == Valid Usage
  --
  -- -   #VUID-VkSemaphoreGetWin32HandleInfoKHR-handleType-01126#
  --     @handleType@ /must/ have been included in
  --     'Vulkan.Core11.Promoted_From_VK_KHR_external_semaphore.ExportSemaphoreCreateInfo'::@handleTypes@
  --     when the @semaphore@’s current payload was created
  --
  -- -   #VUID-VkSemaphoreGetWin32HandleInfoKHR-handleType-01127# If
  --     @handleType@ is defined as an NT handle,
  --     'getSemaphoreWin32HandleKHR' /must/ be called no more than once for
  --     each valid unique combination of @semaphore@ and @handleType@
  --
  -- -   #VUID-VkSemaphoreGetWin32HandleInfoKHR-semaphore-01128# @semaphore@
  --     /must/ not currently have its payload replaced by an imported
  --     payload as described below in
  --     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#synchronization-semaphores-importing Importing Semaphore Payloads>
  --     unless that imported payload’s handle type was included in
  --     'Vulkan.Core11.Promoted_From_VK_KHR_external_semaphore_capabilities.ExternalSemaphoreProperties'::@exportFromImportedHandleTypes@
  --     for @handleType@
  --
  -- -   #VUID-VkSemaphoreGetWin32HandleInfoKHR-handleType-01129# If
  --     @handleType@ refers to a handle type with copy payload transference
  --     semantics, as defined below in
  --     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#synchronization-semaphores-importing Importing Semaphore Payloads>,
  --     there /must/ be no queue waiting on @semaphore@
  --
  -- -   #VUID-VkSemaphoreGetWin32HandleInfoKHR-handleType-01130# If
  --     @handleType@ refers to a handle type with copy payload transference
  --     semantics, @semaphore@ /must/ be signaled, or have an associated
  --     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#synchronization-semaphores-signaling semaphore signal operation>
  --     pending execution
  --
  -- -   #VUID-VkSemaphoreGetWin32HandleInfoKHR-handleType-01131#
  --     @handleType@ /must/ be defined as an NT handle or a global share
  --     handle
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-VkSemaphoreGetWin32HandleInfoKHR-sType-sType# @sType@ /must/
  --     be
  --     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_SEMAPHORE_GET_WIN32_HANDLE_INFO_KHR'
  --
  -- -   #VUID-VkSemaphoreGetWin32HandleInfoKHR-pNext-pNext# @pNext@ /must/
  --     be @NULL@
  --
  -- -   #VUID-VkSemaphoreGetWin32HandleInfoKHR-semaphore-parameter#
  --     @semaphore@ /must/ be a valid 'Vulkan.Core10.Handles.Semaphore'
  --     handle
  --
  -- -   #VUID-VkSemaphoreGetWin32HandleInfoKHR-handleType-parameter#
  --     @handleType@ /must/ be a valid
  --     'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.ExternalSemaphoreHandleTypeFlagBits'
  --     value
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_semaphore_win32 VK_KHR_external_semaphore_win32>,
  -- 'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.ExternalSemaphoreHandleTypeFlagBits',
  -- 'Vulkan.Core10.Handles.Semaphore',
  -- 'Vulkan.Core10.Enums.StructureType.StructureType',
  -- 'getSemaphoreWin32HandleKHR'
  data SemaphoreGetWin32HandleInfoKHR = SemaphoreGetWin32HandleInfoKHR
    { -- | @semaphore@ is the semaphore from which state will be exported.
      semaphore :: Semaphore
    , -- | @handleType@ is a
      -- 'Vulkan.Core11.Enums.ExternalSemaphoreHandleTypeFlagBits.ExternalSemaphoreHandleTypeFlagBits'
      -- value specifying the type of handle requested.
      handleType :: ExternalSemaphoreHandleTypeFlagBits
    }
    deriving (Typeable, Eq)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (SemaphoreGetWin32HandleInfoKHR)
  #endif
  deriving instance Show SemaphoreGetWin32HandleInfoKHR
  
  instance ToCStruct SemaphoreGetWin32HandleInfoKHR where
    withCStruct x f = allocaBytes 32 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p SemaphoreGetWin32HandleInfoKHR{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_SEMAPHORE_GET_WIN32_HANDLE_INFO_KHR)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Semaphore)) (semaphore)
      poke ((p `plusPtr` 24 :: Ptr ExternalSemaphoreHandleTypeFlagBits)) (handleType)
      f
    cStructSize = 32
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_SEMAPHORE_GET_WIN32_HANDLE_INFO_KHR)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Semaphore)) (zero)
      poke ((p `plusPtr` 24 :: Ptr ExternalSemaphoreHandleTypeFlagBits)) (zero)
      f
  
  instance FromCStruct SemaphoreGetWin32HandleInfoKHR where
    peekCStruct p = do
      semaphore <- peek @Semaphore ((p `plusPtr` 16 :: Ptr Semaphore))
      handleType <- peek @ExternalSemaphoreHandleTypeFlagBits ((p `plusPtr` 24 :: Ptr ExternalSemaphoreHandleTypeFlagBits))
      pure $ SemaphoreGetWin32HandleInfoKHR
               semaphore handleType
  
  instance Storable SemaphoreGetWin32HandleInfoKHR where
    sizeOf ~_ = 32
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero SemaphoreGetWin32HandleInfoKHR where
    zero = SemaphoreGetWin32HandleInfoKHR
             zero
             zero
  
  
  type KHR_EXTERNAL_SEMAPHORE_WIN32_SPEC_VERSION = 1
  
  -- No documentation found for TopLevel "VK_KHR_EXTERNAL_SEMAPHORE_WIN32_SPEC_VERSION"
  pattern KHR_EXTERNAL_SEMAPHORE_WIN32_SPEC_VERSION :: forall a . Integral a => a
  pattern KHR_EXTERNAL_SEMAPHORE_WIN32_SPEC_VERSION = 1
  
  
  type KHR_EXTERNAL_SEMAPHORE_WIN32_EXTENSION_NAME = "VK_KHR_external_semaphore_win32"
  
  -- No documentation found for TopLevel "VK_KHR_EXTERNAL_SEMAPHORE_WIN32_EXTENSION_NAME"
  pattern KHR_EXTERNAL_SEMAPHORE_WIN32_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
  pattern KHR_EXTERNAL_SEMAPHORE_WIN32_EXTENSION_NAME = "VK_KHR_external_semaphore_win32"
  
  