content: {-# language CPP #-}
  -- | = Name
  --
  -- VK_EXT_debug_marker - device extension
  --
  -- == VK_EXT_debug_marker
  --
  -- [__Name String__]
  --     @VK_EXT_debug_marker@
  --
  -- [__Extension Type__]
  --     Device extension
  --
  -- [__Registered Extension Number__]
  --     23
  --
  -- [__Revision__]
  --     4
  --
  -- [__Ratification Status__]
  --     Not ratified
  --
  -- [__Extension and Version Dependencies__]
  --     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_report VK_EXT_debug_report>
  --
  -- [__Deprecation State__]
  --
  --     -   /Promoted/ to
  --         <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_utils VK_EXT_debug_utils>
  --         extension
  --
  -- [__Special Use__]
  --
  --     -   <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#extendingvulkan-compatibility-specialuse Debugging tools>
  --
  -- [__Contact__]
  --
  --     -   Baldur Karlsson
  --         <https://github.com/KhronosGroup/Vulkan-Docs/issues/new?body=[VK_EXT_debug_marker] @baldurk%0A*Here describe the issue or question you have about the VK_EXT_debug_marker extension* >
  --
  -- == Other Extension Metadata
  --
  -- [__Last Modified Date__]
  --     2017-01-31
  --
  -- [__IP Status__]
  --     No known IP claims.
  --
  -- [__Contributors__]
  --
  --     -   Baldur Karlsson
  --
  --     -   Dan Ginsburg, Valve
  --
  --     -   Jon Ashburn, LunarG
  --
  --     -   Kyle Spagnoli, NVIDIA
  --
  -- == Description
  --
  -- The @VK_EXT_debug_marker@ extension is a device extension. It introduces
  -- concepts of object naming and tagging, for better tracking of Vulkan
  -- objects, as well as additional commands for recording annotations of
  -- named sections of a workload to aid organization and offline analysis in
  -- external tools.
  --
  -- == New Commands
  --
  -- -   'cmdDebugMarkerBeginEXT'
  --
  -- -   'cmdDebugMarkerEndEXT'
  --
  -- -   'cmdDebugMarkerInsertEXT'
  --
  -- -   'debugMarkerSetObjectNameEXT'
  --
  -- -   'debugMarkerSetObjectTagEXT'
  --
  -- == New Structures
  --
  -- -   'DebugMarkerMarkerInfoEXT'
  --
  -- -   'DebugMarkerObjectNameInfoEXT'
  --
  -- -   'DebugMarkerObjectTagInfoEXT'
  --
  -- == New Enums
  --
  -- -   'Vulkan.Extensions.VK_EXT_debug_report.DebugReportObjectTypeEXT'
  --
  -- == New Enum Constants
  --
  -- -   'EXT_DEBUG_MARKER_EXTENSION_NAME'
  --
  -- -   'EXT_DEBUG_MARKER_SPEC_VERSION'
  --
  -- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_DEBUG_MARKER_MARKER_INFO_EXT'
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_DEBUG_MARKER_OBJECT_NAME_INFO_EXT'
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_DEBUG_MARKER_OBJECT_TAG_INFO_EXT'
  --
  -- == Examples
  --
  -- __Example 1__
  --
  -- Associate a name with an image, for easier debugging in external tools
  -- or with validation layers that can print a friendly name when referring
  -- to objects in error messages.
  --
  -- >     extern VkDevice device;
  -- >     extern VkImage image;
  -- >
  -- >     // Must call extension functions through a function pointer:
  -- >     PFN_vkDebugMarkerSetObjectNameEXT pfnDebugMarkerSetObjectNameEXT = (PFN_vkDebugMarkerSetObjectNameEXT)vkGetDeviceProcAddr(device, "vkDebugMarkerSetObjectNameEXT");
  -- >
  -- >     // Set a name on the image
  -- >     const VkDebugMarkerObjectNameInfoEXT imageNameInfo =
  -- >     {
  -- >         .sType = VK_STRUCTURE_TYPE_DEBUG_MARKER_OBJECT_NAME_INFO_EXT,
  -- >         .pNext = NULL,
  -- >         .objectType = VK_DEBUG_REPORT_OBJECT_TYPE_IMAGE_EXT,
  -- >         .object = (uint64_t)image,
  -- >         .pObjectName = "Brick Diffuse Texture",
  -- >     };
  -- >
  -- >     pfnDebugMarkerSetObjectNameEXT(device, &imageNameInfo);
  -- >
  -- >     // A subsequent error might print:
  -- >     //   Image 'Brick Diffuse Texture' (0xc0dec0dedeadbeef) is used in a
  -- >     //   command buffer with no memory bound to it.
  --
  -- __Example 2__
  --
  -- Annotating regions of a workload with naming information so that offline
  -- analysis tools can display a more usable visualisation of the commands
  -- submitted.
  --
  -- >     extern VkDevice device;
  -- >     extern VkCommandBuffer commandBuffer;
  -- >
  -- >     // Must call extension functions through a function pointer:
  -- >     PFN_vkCmdDebugMarkerBeginEXT pfnCmdDebugMarkerBeginEXT = (PFN_vkCmdDebugMarkerBeginEXT)vkGetDeviceProcAddr(device, "vkCmdDebugMarkerBeginEXT");
  -- >     PFN_vkCmdDebugMarkerEndEXT pfnCmdDebugMarkerEndEXT = (PFN_vkCmdDebugMarkerEndEXT)vkGetDeviceProcAddr(device, "vkCmdDebugMarkerEndEXT");
  -- >     PFN_vkCmdDebugMarkerInsertEXT pfnCmdDebugMarkerInsertEXT = (PFN_vkCmdDebugMarkerInsertEXT)vkGetDeviceProcAddr(device, "vkCmdDebugMarkerInsertEXT");
  -- >
  -- >     // Describe the area being rendered
  -- >     const VkDebugMarkerMarkerInfoEXT houseMarker =
  -- >     {
  -- >         .sType = VK_STRUCTURE_TYPE_DEBUG_MARKER_MARKER_INFO_EXT,
  -- >         .pNext = NULL,
  -- >         .pMarkerName = "Brick House",
  -- >         .color = { 1.0f, 0.0f, 0.0f, 1.0f },
  -- >     };
  -- >
  -- >     // Start an annotated group of calls under the 'Brick House' name
  -- >     pfnCmdDebugMarkerBeginEXT(commandBuffer, &houseMarker);
  -- >     {
  -- >         // A mutable structure for each part being rendered
  -- >         VkDebugMarkerMarkerInfoEXT housePartMarker =
  -- >         {
  -- >             .sType = VK_STRUCTURE_TYPE_DEBUG_MARKER_MARKER_INFO_EXT,
  -- >             .pNext = NULL,
  -- >             .pMarkerName = NULL,
  -- >             .color = { 0.0f, 0.0f, 0.0f, 0.0f },
  -- >         };
  -- >
  -- >         // Set the name and insert the marker
  -- >         housePartMarker.pMarkerName = "Walls";
  -- >         pfnCmdDebugMarkerInsertEXT(commandBuffer, &housePartMarker);
  -- >
  -- >         // Insert the drawcall for the walls
  -- >         vkCmdDrawIndexed(commandBuffer, 1000, 1, 0, 0, 0);
  -- >
  -- >         // Insert a recursive region for two sets of windows
  -- >         housePartMarker.pMarkerName = "Windows";
  -- >         pfnCmdDebugMarkerBeginEXT(commandBuffer, &housePartMarker);
  -- >         {
  -- >             vkCmdDrawIndexed(commandBuffer, 75, 6, 1000, 0, 0);
  -- >             vkCmdDrawIndexed(commandBuffer, 100, 2, 1450, 0, 0);
  -- >         }
  -- >         pfnCmdDebugMarkerEndEXT(commandBuffer);
  -- >
  -- >         housePartMarker.pMarkerName = "Front Door";
  -- >         pfnCmdDebugMarkerInsertEXT(commandBuffer, &housePartMarker);
  -- >
  -- >         vkCmdDrawIndexed(commandBuffer, 350, 1, 1650, 0, 0);
  -- >
  -- >         housePartMarker.pMarkerName = "Roof";
  -- >         pfnCmdDebugMarkerInsertEXT(commandBuffer, &housePartMarker);
  -- >
  -- >         vkCmdDrawIndexed(commandBuffer, 500, 1, 2000, 0, 0);
  -- >     }
  -- >     // End the house annotation started above
  -- >     pfnCmdDebugMarkerEndEXT(commandBuffer);
  --
  -- == Issues
  --
  -- 1) Should the tag or name for an object be specified using the @pNext@
  -- parameter in the object’s @Vk*CreateInfo@ structure?
  --
  -- __RESOLVED__: No. While this fits with other Vulkan patterns and would
  -- allow more type safety and future proofing against future objects, it
  -- has notable downsides. In particular passing the name at @Vk*CreateInfo@
  -- time does not allow renaming, prevents late binding of naming
  -- information, and does not allow naming of implicitly created objects
  -- such as queues and swapchain images.
  --
  -- 2) Should the command annotation functions 'cmdDebugMarkerBeginEXT' and
  -- 'cmdDebugMarkerEndEXT' support the ability to specify a color?
  --
  -- __RESOLVED__: Yes. The functions have been expanded to take an optional
  -- color which can be used at will by implementations consuming the command
  -- buffer annotations in their visualisation.
  --
  -- 3) Should the functions added in this extension accept an extensible
  -- structure as their parameter for a more flexible API, as opposed to
  -- direct function parameters? If so, which functions?
  --
  -- __RESOLVED__: Yes. All functions have been modified to take a structure
  -- type with extensible @pNext@ pointer, to allow future extensions to add
  -- additional annotation information in the same commands.
  --
  -- == Version History
  --
  -- -   Revision 1, 2016-02-24 (Baldur Karlsson)
  --
  --     -   Initial draft, based on LunarG marker spec
  --
  -- -   Revision 2, 2016-02-26 (Baldur Karlsson)
  --
  --     -   Renamed Dbg to DebugMarker in function names
  --
  --     -   Allow markers in secondary command buffers under certain
  --         circumstances
  --
  --     -   Minor language tweaks and edits
  --
  -- -   Revision 3, 2016-04-23 (Baldur Karlsson)
  --
  --     -   Reorganise spec layout to closer match desired organisation
  --
  --     -   Added optional color to markers (both regions and inserted
  --         labels)
  --
  --     -   Changed functions to take extensible structs instead of direct
  --         function parameters
  --
  -- -   Revision 4, 2017-01-31 (Baldur Karlsson)
  --
  --     -   Added explicit dependency on VK_EXT_debug_report
  --
  --     -   Moved definition of
  --         'Vulkan.Extensions.VK_EXT_debug_report.DebugReportObjectTypeEXT'
  --         to debug report chapter.
  --
  --     -   Fixed typo in dates in revision history
  --
  -- == See Also
  --
  -- 'DebugMarkerMarkerInfoEXT', 'DebugMarkerObjectNameInfoEXT',
  -- 'DebugMarkerObjectTagInfoEXT',
  -- 'Vulkan.Extensions.VK_EXT_debug_report.DebugReportObjectTypeEXT',
  -- 'cmdDebugMarkerBeginEXT', 'cmdDebugMarkerEndEXT',
  -- 'cmdDebugMarkerInsertEXT', 'debugMarkerSetObjectNameEXT',
  -- 'debugMarkerSetObjectTagEXT'
  --
  -- == Document Notes
  --
  -- For more information, see the
  -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#VK_EXT_debug_marker Vulkan Specification>
  --
  -- This page is a generated document. Fixes and changes should be made to
  -- the generator scripts, not directly.
  module Vulkan.Extensions.VK_EXT_debug_marker  ( debugMarkerSetObjectNameEXT
                                                , debugMarkerSetObjectTagEXT
                                                , cmdDebugMarkerBeginEXT
                                                , cmdDebugMarkerEndEXT
                                                , cmdDebugMarkerInsertEXT
                                                , DebugMarkerObjectNameInfoEXT(..)
                                                , DebugMarkerObjectTagInfoEXT(..)
                                                , DebugMarkerMarkerInfoEXT(..)
                                                , EXT_DEBUG_MARKER_SPEC_VERSION
                                                , pattern EXT_DEBUG_MARKER_SPEC_VERSION
                                                , EXT_DEBUG_MARKER_EXTENSION_NAME
                                                , pattern EXT_DEBUG_MARKER_EXTENSION_NAME
                                                , DebugReportObjectTypeEXT(..)
                                                ) where
  
  import Vulkan.CStruct.Utils (FixedArray)
  import Vulkan.Internal.Utils (traceAroundEvent)
  import Control.Monad (unless)
  import Control.Monad.IO.Class (liftIO)
  import Foreign.Marshal.Alloc (allocaBytes)
  import GHC.Base (when)
  import GHC.IO (throwIO)
  import GHC.Ptr (nullFunPtr)
  import Foreign.Ptr (nullPtr)
  import Foreign.Ptr (plusPtr)
  import Data.ByteString (packCString)
  import Data.ByteString (useAsCString)
  import Data.Coerce (coerce)
  import Control.Monad.Trans.Class (lift)
  import Control.Monad.Trans.Cont (evalContT)
  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.C.Types (CChar)
  import Foreign.C.Types (CFloat)
  import Foreign.C.Types (CFloat(..))
  import Foreign.C.Types (CFloat(CFloat))
  import Foreign.C.Types (CSize)
  import Foreign.C.Types (CSize(..))
  import Foreign.C.Types (CSize(CSize))
  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 (Word64)
  import Data.ByteString (ByteString)
  import Data.Kind (Type)
  import Control.Monad.Trans.Cont (ContT(..))
  import Vulkan.CStruct.Utils (advancePtrBytes)
  import Vulkan.CStruct.Utils (lowerArrayPtr)
  import Vulkan.Core10.Handles (CommandBuffer)
  import Vulkan.Core10.Handles (CommandBuffer(..))
  import Vulkan.Core10.Handles (CommandBuffer(CommandBuffer))
  import Vulkan.Core10.Handles (CommandBuffer_T)
  import Vulkan.Extensions.VK_EXT_debug_report (DebugReportObjectTypeEXT)
  import Vulkan.Core10.Handles (Device)
  import Vulkan.Core10.Handles (Device(..))
  import Vulkan.Core10.Handles (Device(Device))
  import Vulkan.Dynamic (DeviceCmds(pVkCmdDebugMarkerBeginEXT))
  import Vulkan.Dynamic (DeviceCmds(pVkCmdDebugMarkerEndEXT))
  import Vulkan.Dynamic (DeviceCmds(pVkCmdDebugMarkerInsertEXT))
  import Vulkan.Dynamic (DeviceCmds(pVkDebugMarkerSetObjectNameEXT))
  import Vulkan.Dynamic (DeviceCmds(pVkDebugMarkerSetObjectTagEXT))
  import Vulkan.Core10.Handles (Device_T)
  import Vulkan.Core10.Enums.Result (Result)
  import Vulkan.Core10.Enums.Result (Result(..))
  import Vulkan.Core10.Enums.StructureType (StructureType)
  import Vulkan.Exception (VulkanException(..))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_DEBUG_MARKER_MARKER_INFO_EXT))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_DEBUG_MARKER_OBJECT_NAME_INFO_EXT))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_DEBUG_MARKER_OBJECT_TAG_INFO_EXT))
  import Vulkan.Core10.Enums.Result (Result(SUCCESS))
  import Vulkan.Extensions.VK_EXT_debug_report (DebugReportObjectTypeEXT(..))
  foreign import ccall
  #if !defined(SAFE_FOREIGN_CALLS)
    unsafe
  #endif
    "dynamic" mkVkDebugMarkerSetObjectNameEXT
    :: FunPtr (Ptr Device_T -> Ptr DebugMarkerObjectNameInfoEXT -> IO Result) -> Ptr Device_T -> Ptr DebugMarkerObjectNameInfoEXT -> IO Result
  
  -- | vkDebugMarkerSetObjectNameEXT - Give a user-friendly name to an object
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-vkDebugMarkerSetObjectNameEXT-device-parameter# @device@
  --     /must/ be a valid 'Vulkan.Core10.Handles.Device' handle
  --
  -- -   #VUID-vkDebugMarkerSetObjectNameEXT-pNameInfo-parameter# @pNameInfo@
  --     /must/ be a valid pointer to a valid 'DebugMarkerObjectNameInfoEXT'
  --     structure
  --
  -- == Host Synchronization
  --
  -- -   Host access to @pNameInfo->object@ /must/ be externally synchronized
  --
  -- == 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_OUT_OF_DEVICE_MEMORY'
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_marker VK_EXT_debug_marker>,
  -- 'DebugMarkerObjectNameInfoEXT', 'Vulkan.Core10.Handles.Device'
  debugMarkerSetObjectNameEXT :: forall io
                               . (MonadIO io)
                              => -- | @device@ is the device that created the object.
                                 Device
                              -> -- | @pNameInfo@ is a pointer to a 'DebugMarkerObjectNameInfoEXT' structure
                                 -- specifying the parameters of the name to set on the object.
                                 DebugMarkerObjectNameInfoEXT
                              -> io ()
  debugMarkerSetObjectNameEXT device nameInfo = liftIO . evalContT $ do
    let vkDebugMarkerSetObjectNameEXTPtr = pVkDebugMarkerSetObjectNameEXT (case device of Device{deviceCmds} -> deviceCmds)
    lift $ unless (vkDebugMarkerSetObjectNameEXTPtr /= nullFunPtr) $
      throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkDebugMarkerSetObjectNameEXT is null" Nothing Nothing
    let vkDebugMarkerSetObjectNameEXT' = mkVkDebugMarkerSetObjectNameEXT vkDebugMarkerSetObjectNameEXTPtr
    pNameInfo <- ContT $ withCStruct (nameInfo)
    r <- lift $ traceAroundEvent "vkDebugMarkerSetObjectNameEXT" (vkDebugMarkerSetObjectNameEXT'
                                                                    (deviceHandle (device))
                                                                    pNameInfo)
    lift $ when (r < SUCCESS) (throwIO (VulkanException r))
  
  
  foreign import ccall
  #if !defined(SAFE_FOREIGN_CALLS)
    unsafe
  #endif
    "dynamic" mkVkDebugMarkerSetObjectTagEXT
    :: FunPtr (Ptr Device_T -> Ptr DebugMarkerObjectTagInfoEXT -> IO Result) -> Ptr Device_T -> Ptr DebugMarkerObjectTagInfoEXT -> IO Result
  
  -- | vkDebugMarkerSetObjectTagEXT - Attach arbitrary data to an object
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-vkDebugMarkerSetObjectTagEXT-device-parameter# @device@ /must/
  --     be a valid 'Vulkan.Core10.Handles.Device' handle
  --
  -- -   #VUID-vkDebugMarkerSetObjectTagEXT-pTagInfo-parameter# @pTagInfo@
  --     /must/ be a valid pointer to a valid 'DebugMarkerObjectTagInfoEXT'
  --     structure
  --
  -- == Host Synchronization
  --
  -- -   Host access to @pTagInfo->object@ /must/ be externally synchronized
  --
  -- == 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_OUT_OF_DEVICE_MEMORY'
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_marker VK_EXT_debug_marker>,
  -- 'DebugMarkerObjectTagInfoEXT', 'Vulkan.Core10.Handles.Device'
  debugMarkerSetObjectTagEXT :: forall io
                              . (MonadIO io)
                             => -- | @device@ is the device that created the object.
                                Device
                             -> -- | @pTagInfo@ is a pointer to a 'DebugMarkerObjectTagInfoEXT' structure
                                -- specifying the parameters of the tag to attach to the object.
                                DebugMarkerObjectTagInfoEXT
                             -> io ()
  debugMarkerSetObjectTagEXT device tagInfo = liftIO . evalContT $ do
    let vkDebugMarkerSetObjectTagEXTPtr = pVkDebugMarkerSetObjectTagEXT (case device of Device{deviceCmds} -> deviceCmds)
    lift $ unless (vkDebugMarkerSetObjectTagEXTPtr /= nullFunPtr) $
      throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkDebugMarkerSetObjectTagEXT is null" Nothing Nothing
    let vkDebugMarkerSetObjectTagEXT' = mkVkDebugMarkerSetObjectTagEXT vkDebugMarkerSetObjectTagEXTPtr
    pTagInfo <- ContT $ withCStruct (tagInfo)
    r <- lift $ traceAroundEvent "vkDebugMarkerSetObjectTagEXT" (vkDebugMarkerSetObjectTagEXT'
                                                                   (deviceHandle (device))
                                                                   pTagInfo)
    lift $ when (r < SUCCESS) (throwIO (VulkanException r))
  
  
  foreign import ccall
  #if !defined(SAFE_FOREIGN_CALLS)
    unsafe
  #endif
    "dynamic" mkVkCmdDebugMarkerBeginEXT
    :: FunPtr (Ptr CommandBuffer_T -> Ptr DebugMarkerMarkerInfoEXT -> IO ()) -> Ptr CommandBuffer_T -> Ptr DebugMarkerMarkerInfoEXT -> IO ()
  
  -- | vkCmdDebugMarkerBeginEXT - Open a command buffer marker region
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-vkCmdDebugMarkerBeginEXT-commandBuffer-parameter#
  --     @commandBuffer@ /must/ be a valid
  --     'Vulkan.Core10.Handles.CommandBuffer' handle
  --
  -- -   #VUID-vkCmdDebugMarkerBeginEXT-pMarkerInfo-parameter# @pMarkerInfo@
  --     /must/ be a valid pointer to a valid 'DebugMarkerMarkerInfoEXT'
  --     structure
  --
  -- -   #VUID-vkCmdDebugMarkerBeginEXT-commandBuffer-recording#
  --     @commandBuffer@ /must/ be in the
  --     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#commandbuffers-lifecycle recording state>
  --
  -- -   #VUID-vkCmdDebugMarkerBeginEXT-commandBuffer-cmdpool# The
  --     'Vulkan.Core10.Handles.CommandPool' that @commandBuffer@ was
  --     allocated from /must/ support graphics, or compute operations
  --
  -- -   #VUID-vkCmdDebugMarkerBeginEXT-videocoding# This command /must/ only
  --     be called outside of a video coding scope
  --
  -- == Host Synchronization
  --
  -- -   Host access to @commandBuffer@ /must/ be externally synchronized
  --
  -- -   Host access to the 'Vulkan.Core10.Handles.CommandPool' that
  --     @commandBuffer@ was allocated from /must/ be externally synchronized
  --
  -- == Command Properties
  --
  -- \'
  --
  -- +----------------------------------------------------------------------------------------------------------------------------+------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------+----------------------------------------------------------------------------------------------------------------------------------------+
  -- | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkCommandBufferLevel Command Buffer Levels> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#vkCmdBeginRenderPass Render Pass Scope> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#vkCmdBeginVideoCodingKHR Video Coding Scope> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkQueueFlagBits Supported Queue Types> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-queueoperation-command-types Command Type> |
  -- +============================================================================================================================+========================================================================================================================+=============================================================================================================================+=======================================================================================================================+========================================================================================================================================+
  -- | Primary                                                                                                                    | Both                                                                                                                   | Outside                                                                                                                     | Graphics                                                                                                              | Action                                                                                                                                 |
  -- | Secondary                                                                                                                  |                                                                                                                        |                                                                                                                             | Compute                                                                                                               |                                                                                                                                        |
  -- +----------------------------------------------------------------------------------------------------------------------------+------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------+----------------------------------------------------------------------------------------------------------------------------------------+
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_marker VK_EXT_debug_marker>,
  -- 'Vulkan.Core10.Handles.CommandBuffer', 'DebugMarkerMarkerInfoEXT'
  cmdDebugMarkerBeginEXT :: forall io
                          . (MonadIO io)
                         => -- | @commandBuffer@ is the command buffer into which the command is
                            -- recorded.
                            CommandBuffer
                         -> -- | @pMarkerInfo@ is a pointer to a 'DebugMarkerMarkerInfoEXT' structure
                            -- specifying the parameters of the marker region to open.
                            DebugMarkerMarkerInfoEXT
                         -> io ()
  cmdDebugMarkerBeginEXT commandBuffer markerInfo = liftIO . evalContT $ do
    let vkCmdDebugMarkerBeginEXTPtr = pVkCmdDebugMarkerBeginEXT (case commandBuffer of CommandBuffer{deviceCmds} -> deviceCmds)
    lift $ unless (vkCmdDebugMarkerBeginEXTPtr /= nullFunPtr) $
      throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkCmdDebugMarkerBeginEXT is null" Nothing Nothing
    let vkCmdDebugMarkerBeginEXT' = mkVkCmdDebugMarkerBeginEXT vkCmdDebugMarkerBeginEXTPtr
    pMarkerInfo <- ContT $ withCStruct (markerInfo)
    lift $ traceAroundEvent "vkCmdDebugMarkerBeginEXT" (vkCmdDebugMarkerBeginEXT'
                                                          (commandBufferHandle (commandBuffer))
                                                          pMarkerInfo)
    pure $ ()
  
  
  foreign import ccall
  #if !defined(SAFE_FOREIGN_CALLS)
    unsafe
  #endif
    "dynamic" mkVkCmdDebugMarkerEndEXT
    :: FunPtr (Ptr CommandBuffer_T -> IO ()) -> Ptr CommandBuffer_T -> IO ()
  
  -- | vkCmdDebugMarkerEndEXT - Close a command buffer marker region
  --
  -- = Description
  --
  -- An application /may/ open a marker region in one command buffer and
  -- close it in another, or otherwise split marker regions across multiple
  -- command buffers or multiple queue submissions. When viewed from the
  -- linear series of submissions to a single queue, the calls to
  -- 'cmdDebugMarkerBeginEXT' and 'cmdDebugMarkerEndEXT' /must/ be matched
  -- and balanced.
  --
  -- == Valid Usage
  --
  -- -   #VUID-vkCmdDebugMarkerEndEXT-commandBuffer-01239# There /must/ be an
  --     outstanding 'cmdDebugMarkerBeginEXT' command prior to the
  --     'cmdDebugMarkerEndEXT' on the queue that @commandBuffer@ is
  --     submitted to
  --
  -- -   #VUID-vkCmdDebugMarkerEndEXT-commandBuffer-01240# If @commandBuffer@
  --     is a secondary command buffer, there /must/ be an outstanding
  --     'cmdDebugMarkerBeginEXT' command recorded to @commandBuffer@ that
  --     has not previously been ended by a call to 'cmdDebugMarkerEndEXT'
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-vkCmdDebugMarkerEndEXT-commandBuffer-parameter#
  --     @commandBuffer@ /must/ be a valid
  --     'Vulkan.Core10.Handles.CommandBuffer' handle
  --
  -- -   #VUID-vkCmdDebugMarkerEndEXT-commandBuffer-recording#
  --     @commandBuffer@ /must/ be in the
  --     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#commandbuffers-lifecycle recording state>
  --
  -- -   #VUID-vkCmdDebugMarkerEndEXT-commandBuffer-cmdpool# The
  --     'Vulkan.Core10.Handles.CommandPool' that @commandBuffer@ was
  --     allocated from /must/ support graphics, or compute operations
  --
  -- -   #VUID-vkCmdDebugMarkerEndEXT-videocoding# This command /must/ only
  --     be called outside of a video coding scope
  --
  -- == Host Synchronization
  --
  -- -   Host access to @commandBuffer@ /must/ be externally synchronized
  --
  -- -   Host access to the 'Vulkan.Core10.Handles.CommandPool' that
  --     @commandBuffer@ was allocated from /must/ be externally synchronized
  --
  -- == Command Properties
  --
  -- \'
  --
  -- +----------------------------------------------------------------------------------------------------------------------------+------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------+----------------------------------------------------------------------------------------------------------------------------------------+
  -- | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkCommandBufferLevel Command Buffer Levels> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#vkCmdBeginRenderPass Render Pass Scope> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#vkCmdBeginVideoCodingKHR Video Coding Scope> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkQueueFlagBits Supported Queue Types> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-queueoperation-command-types Command Type> |
  -- +============================================================================================================================+========================================================================================================================+=============================================================================================================================+=======================================================================================================================+========================================================================================================================================+
  -- | Primary                                                                                                                    | Both                                                                                                                   | Outside                                                                                                                     | Graphics                                                                                                              | Action                                                                                                                                 |
  -- | Secondary                                                                                                                  |                                                                                                                        |                                                                                                                             | Compute                                                                                                               |                                                                                                                                        |
  -- +----------------------------------------------------------------------------------------------------------------------------+------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------+----------------------------------------------------------------------------------------------------------------------------------------+
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_marker VK_EXT_debug_marker>,
  -- 'Vulkan.Core10.Handles.CommandBuffer'
  cmdDebugMarkerEndEXT :: forall io
                        . (MonadIO io)
                       => -- | @commandBuffer@ is the command buffer into which the command is
                          -- recorded.
                          CommandBuffer
                       -> io ()
  cmdDebugMarkerEndEXT commandBuffer = liftIO $ do
    let vkCmdDebugMarkerEndEXTPtr = pVkCmdDebugMarkerEndEXT (case commandBuffer of CommandBuffer{deviceCmds} -> deviceCmds)
    unless (vkCmdDebugMarkerEndEXTPtr /= nullFunPtr) $
      throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkCmdDebugMarkerEndEXT is null" Nothing Nothing
    let vkCmdDebugMarkerEndEXT' = mkVkCmdDebugMarkerEndEXT vkCmdDebugMarkerEndEXTPtr
    traceAroundEvent "vkCmdDebugMarkerEndEXT" (vkCmdDebugMarkerEndEXT'
                                                 (commandBufferHandle (commandBuffer)))
    pure $ ()
  
  
  foreign import ccall
  #if !defined(SAFE_FOREIGN_CALLS)
    unsafe
  #endif
    "dynamic" mkVkCmdDebugMarkerInsertEXT
    :: FunPtr (Ptr CommandBuffer_T -> Ptr DebugMarkerMarkerInfoEXT -> IO ()) -> Ptr CommandBuffer_T -> Ptr DebugMarkerMarkerInfoEXT -> IO ()
  
  -- | vkCmdDebugMarkerInsertEXT - Insert a marker label into a command buffer
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-vkCmdDebugMarkerInsertEXT-commandBuffer-parameter#
  --     @commandBuffer@ /must/ be a valid
  --     'Vulkan.Core10.Handles.CommandBuffer' handle
  --
  -- -   #VUID-vkCmdDebugMarkerInsertEXT-pMarkerInfo-parameter# @pMarkerInfo@
  --     /must/ be a valid pointer to a valid 'DebugMarkerMarkerInfoEXT'
  --     structure
  --
  -- -   #VUID-vkCmdDebugMarkerInsertEXT-commandBuffer-recording#
  --     @commandBuffer@ /must/ be in the
  --     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#commandbuffers-lifecycle recording state>
  --
  -- -   #VUID-vkCmdDebugMarkerInsertEXT-commandBuffer-cmdpool# The
  --     'Vulkan.Core10.Handles.CommandPool' that @commandBuffer@ was
  --     allocated from /must/ support graphics, or compute operations
  --
  -- -   #VUID-vkCmdDebugMarkerInsertEXT-videocoding# This command /must/
  --     only be called outside of a video coding scope
  --
  -- == Host Synchronization
  --
  -- -   Host access to @commandBuffer@ /must/ be externally synchronized
  --
  -- -   Host access to the 'Vulkan.Core10.Handles.CommandPool' that
  --     @commandBuffer@ was allocated from /must/ be externally synchronized
  --
  -- == Command Properties
  --
  -- \'
  --
  -- +----------------------------------------------------------------------------------------------------------------------------+------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------+----------------------------------------------------------------------------------------------------------------------------------------+
  -- | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkCommandBufferLevel Command Buffer Levels> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#vkCmdBeginRenderPass Render Pass Scope> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#vkCmdBeginVideoCodingKHR Video Coding Scope> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkQueueFlagBits Supported Queue Types> | <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-queueoperation-command-types Command Type> |
  -- +============================================================================================================================+========================================================================================================================+=============================================================================================================================+=======================================================================================================================+========================================================================================================================================+
  -- | Primary                                                                                                                    | Both                                                                                                                   | Outside                                                                                                                     | Graphics                                                                                                              | Action                                                                                                                                 |
  -- | Secondary                                                                                                                  |                                                                                                                        |                                                                                                                             | Compute                                                                                                               |                                                                                                                                        |
  -- +----------------------------------------------------------------------------------------------------------------------------+------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------+----------------------------------------------------------------------------------------------------------------------------------------+
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_marker VK_EXT_debug_marker>,
  -- 'Vulkan.Core10.Handles.CommandBuffer', 'DebugMarkerMarkerInfoEXT'
  cmdDebugMarkerInsertEXT :: forall io
                           . (MonadIO io)
                          => -- | @commandBuffer@ is the command buffer into which the command is
                             -- recorded.
                             CommandBuffer
                          -> -- | @pMarkerInfo@ is a pointer to a 'DebugMarkerMarkerInfoEXT' structure
                             -- specifying the parameters of the marker to insert.
                             DebugMarkerMarkerInfoEXT
                          -> io ()
  cmdDebugMarkerInsertEXT commandBuffer markerInfo = liftIO . evalContT $ do
    let vkCmdDebugMarkerInsertEXTPtr = pVkCmdDebugMarkerInsertEXT (case commandBuffer of CommandBuffer{deviceCmds} -> deviceCmds)
    lift $ unless (vkCmdDebugMarkerInsertEXTPtr /= nullFunPtr) $
      throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkCmdDebugMarkerInsertEXT is null" Nothing Nothing
    let vkCmdDebugMarkerInsertEXT' = mkVkCmdDebugMarkerInsertEXT vkCmdDebugMarkerInsertEXTPtr
    pMarkerInfo <- ContT $ withCStruct (markerInfo)
    lift $ traceAroundEvent "vkCmdDebugMarkerInsertEXT" (vkCmdDebugMarkerInsertEXT'
                                                           (commandBufferHandle (commandBuffer))
                                                           pMarkerInfo)
    pure $ ()
  
  
  -- | VkDebugMarkerObjectNameInfoEXT - Specify parameters of a name to give to
  -- an object
  --
  -- = Description
  --
  -- Applications /may/ change the name associated with an object simply by
  -- calling 'debugMarkerSetObjectNameEXT' again with a new string. To remove
  -- a previously set name, @pObjectName@ /should/ be set to an empty string.
  --
  -- == Valid Usage (Implicit)
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_marker VK_EXT_debug_marker>,
  -- 'Vulkan.Extensions.VK_EXT_debug_report.DebugReportObjectTypeEXT',
  -- 'Vulkan.Core10.Enums.StructureType.StructureType',
  -- 'debugMarkerSetObjectNameEXT'
  data DebugMarkerObjectNameInfoEXT = DebugMarkerObjectNameInfoEXT
    { -- | @objectType@ is a
      -- 'Vulkan.Extensions.VK_EXT_debug_report.DebugReportObjectTypeEXT'
      -- specifying the type of the object to be named.
      --
      -- #VUID-VkDebugMarkerObjectNameInfoEXT-objectType-01490# @objectType@
      -- /must/ not be
      -- 'Vulkan.Extensions.VK_EXT_debug_report.DEBUG_REPORT_OBJECT_TYPE_UNKNOWN_EXT'
      --
      -- #VUID-VkDebugMarkerObjectNameInfoEXT-objectType-parameter# @objectType@
      -- /must/ be a valid
      -- 'Vulkan.Extensions.VK_EXT_debug_report.DebugReportObjectTypeEXT' value
      objectType :: DebugReportObjectTypeEXT
    , -- | @object@ is the object to be named.
      --
      -- #VUID-VkDebugMarkerObjectNameInfoEXT-object-01491# @object@ /must/ not
      -- be 'Vulkan.Core10.APIConstants.NULL_HANDLE'
      --
      -- #VUID-VkDebugMarkerObjectNameInfoEXT-object-01492# @object@ /must/ be a
      -- Vulkan object of the type associated with @objectType@ as defined in
      -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#debug-report-object-types>
      object :: Word64
    , -- | @pObjectName@ is a null-terminated UTF-8 string specifying the name to
      -- apply to @object@.
      --
      -- #VUID-VkDebugMarkerObjectNameInfoEXT-pObjectName-parameter#
      -- @pObjectName@ /must/ be a null-terminated UTF-8 string
      objectName :: ByteString
    }
    deriving (Typeable)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (DebugMarkerObjectNameInfoEXT)
  #endif
  deriving instance Show DebugMarkerObjectNameInfoEXT
  
  instance ToCStruct DebugMarkerObjectNameInfoEXT where
    withCStruct x f = allocaBytes 40 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p DebugMarkerObjectNameInfoEXT{..} f = evalContT $ do
      lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_DEBUG_MARKER_OBJECT_NAME_INFO_EXT)
      lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      lift $ poke ((p `plusPtr` 16 :: Ptr DebugReportObjectTypeEXT)) (objectType)
      lift $ poke ((p `plusPtr` 24 :: Ptr Word64)) (object)
      pObjectName'' <- ContT $ useAsCString (objectName)
      lift $ poke ((p `plusPtr` 32 :: Ptr (Ptr CChar))) pObjectName''
      lift $ f
    cStructSize = 40
    cStructAlignment = 8
    pokeZeroCStruct p f = evalContT $ do
      lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_DEBUG_MARKER_OBJECT_NAME_INFO_EXT)
      lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      lift $ poke ((p `plusPtr` 16 :: Ptr DebugReportObjectTypeEXT)) (zero)
      lift $ poke ((p `plusPtr` 24 :: Ptr Word64)) (zero)
      pObjectName'' <- ContT $ useAsCString (mempty)
      lift $ poke ((p `plusPtr` 32 :: Ptr (Ptr CChar))) pObjectName''
      lift $ f
  
  instance FromCStruct DebugMarkerObjectNameInfoEXT where
    peekCStruct p = do
      objectType <- peek @DebugReportObjectTypeEXT ((p `plusPtr` 16 :: Ptr DebugReportObjectTypeEXT))
      object <- peek @Word64 ((p `plusPtr` 24 :: Ptr Word64))
      pObjectName <- packCString =<< peek ((p `plusPtr` 32 :: Ptr (Ptr CChar)))
      pure $ DebugMarkerObjectNameInfoEXT
               objectType object pObjectName
  
  instance Zero DebugMarkerObjectNameInfoEXT where
    zero = DebugMarkerObjectNameInfoEXT
             zero
             zero
             mempty
  
  
  -- | VkDebugMarkerObjectTagInfoEXT - Specify parameters of a tag to attach to
  -- an object
  --
  -- = Description
  --
  -- The @tagName@ parameter gives a name or identifier to the type of data
  -- being tagged. This can be used by debugging layers to easily filter for
  -- only data that can be used by that implementation.
  --
  -- == Valid Usage (Implicit)
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_marker VK_EXT_debug_marker>,
  -- 'Vulkan.Extensions.VK_EXT_debug_report.DebugReportObjectTypeEXT',
  -- 'Vulkan.Core10.Enums.StructureType.StructureType',
  -- 'debugMarkerSetObjectTagEXT'
  data DebugMarkerObjectTagInfoEXT = DebugMarkerObjectTagInfoEXT
    { -- | @objectType@ is a
      -- 'Vulkan.Extensions.VK_EXT_debug_report.DebugReportObjectTypeEXT'
      -- specifying the type of the object to be named.
      --
      -- #VUID-VkDebugMarkerObjectTagInfoEXT-objectType-01493# @objectType@
      -- /must/ not be
      -- 'Vulkan.Extensions.VK_EXT_debug_report.DEBUG_REPORT_OBJECT_TYPE_UNKNOWN_EXT'
      --
      -- #VUID-VkDebugMarkerObjectTagInfoEXT-objectType-parameter# @objectType@
      -- /must/ be a valid
      -- 'Vulkan.Extensions.VK_EXT_debug_report.DebugReportObjectTypeEXT' value
      objectType :: DebugReportObjectTypeEXT
    , -- | @object@ is the object to be tagged.
      --
      -- #VUID-VkDebugMarkerObjectTagInfoEXT-object-01494# @object@ /must/ not be
      -- 'Vulkan.Core10.APIConstants.NULL_HANDLE'
      --
      -- #VUID-VkDebugMarkerObjectTagInfoEXT-object-01495# @object@ /must/ be a
      -- Vulkan object of the type associated with @objectType@ as defined in
      -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#debug-report-object-types>
      object :: Word64
    , -- | @tagName@ is a numerical identifier of the tag.
      tagName :: Word64
    , -- | @tagSize@ is the number of bytes of data to attach to the object.
      --
      -- #VUID-VkDebugMarkerObjectTagInfoEXT-tagSize-arraylength# @tagSize@
      -- /must/ be greater than @0@
      tagSize :: Word64
    , -- | @pTag@ is a pointer to an array of @tagSize@ bytes containing the data
      -- to be associated with the object.
      --
      -- #VUID-VkDebugMarkerObjectTagInfoEXT-pTag-parameter# @pTag@ /must/ be a
      -- valid pointer to an array of @tagSize@ bytes
      tag :: Ptr ()
    }
    deriving (Typeable)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (DebugMarkerObjectTagInfoEXT)
  #endif
  deriving instance Show DebugMarkerObjectTagInfoEXT
  
  instance ToCStruct DebugMarkerObjectTagInfoEXT where
    withCStruct x f = allocaBytes 56 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p DebugMarkerObjectTagInfoEXT{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_DEBUG_MARKER_OBJECT_TAG_INFO_EXT)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr DebugReportObjectTypeEXT)) (objectType)
      poke ((p `plusPtr` 24 :: Ptr Word64)) (object)
      poke ((p `plusPtr` 32 :: Ptr Word64)) (tagName)
      poke ((p `plusPtr` 40 :: Ptr CSize)) (CSize (tagSize))
      poke ((p `plusPtr` 48 :: Ptr (Ptr ()))) (tag)
      f
    cStructSize = 56
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_DEBUG_MARKER_OBJECT_TAG_INFO_EXT)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr DebugReportObjectTypeEXT)) (zero)
      poke ((p `plusPtr` 24 :: Ptr Word64)) (zero)
      poke ((p `plusPtr` 32 :: Ptr Word64)) (zero)
      poke ((p `plusPtr` 40 :: Ptr CSize)) (CSize (zero))
      poke ((p `plusPtr` 48 :: Ptr (Ptr ()))) (zero)
      f
  
  instance FromCStruct DebugMarkerObjectTagInfoEXT where
    peekCStruct p = do
      objectType <- peek @DebugReportObjectTypeEXT ((p `plusPtr` 16 :: Ptr DebugReportObjectTypeEXT))
      object <- peek @Word64 ((p `plusPtr` 24 :: Ptr Word64))
      tagName <- peek @Word64 ((p `plusPtr` 32 :: Ptr Word64))
      tagSize <- peek @CSize ((p `plusPtr` 40 :: Ptr CSize))
      pTag <- peek @(Ptr ()) ((p `plusPtr` 48 :: Ptr (Ptr ())))
      pure $ DebugMarkerObjectTagInfoEXT
               objectType object tagName (coerce @CSize @Word64 tagSize) pTag
  
  instance Storable DebugMarkerObjectTagInfoEXT where
    sizeOf ~_ = 56
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero DebugMarkerObjectTagInfoEXT where
    zero = DebugMarkerObjectTagInfoEXT
             zero
             zero
             zero
             zero
             zero
  
  
  -- | VkDebugMarkerMarkerInfoEXT - Specify parameters of a command buffer
  -- marker region
  --
  -- == Valid Usage (Implicit)
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_debug_marker VK_EXT_debug_marker>,
  -- 'Vulkan.Core10.Enums.StructureType.StructureType',
  -- 'cmdDebugMarkerBeginEXT', 'cmdDebugMarkerInsertEXT'
  data DebugMarkerMarkerInfoEXT = DebugMarkerMarkerInfoEXT
    { -- | @pMarkerName@ is a pointer to a null-terminated UTF-8 string containing
      -- the name of the marker.
      --
      -- #VUID-VkDebugMarkerMarkerInfoEXT-pMarkerName-parameter# @pMarkerName@
      -- /must/ be a null-terminated UTF-8 string
      markerName :: ByteString
    , -- | @color@ is an /optional/ RGBA color value that can be associated with
      -- the marker. A particular implementation /may/ choose to ignore this
      -- color value. The values contain RGBA values in order, in the range 0.0
      -- to 1.0. If all elements in @color@ are set to 0.0 then it is ignored.
      color :: (Float, Float, Float, Float)
    }
    deriving (Typeable)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (DebugMarkerMarkerInfoEXT)
  #endif
  deriving instance Show DebugMarkerMarkerInfoEXT
  
  instance ToCStruct DebugMarkerMarkerInfoEXT where
    withCStruct x f = allocaBytes 40 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p DebugMarkerMarkerInfoEXT{..} f = evalContT $ do
      lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_DEBUG_MARKER_MARKER_INFO_EXT)
      lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      pMarkerName'' <- ContT $ useAsCString (markerName)
      lift $ poke ((p `plusPtr` 16 :: Ptr (Ptr CChar))) pMarkerName''
      let pColor' = lowerArrayPtr ((p `plusPtr` 24 :: Ptr (FixedArray 4 CFloat)))
      lift $ case (color) of
        (e0, e1, e2, e3) -> do
          poke (pColor' :: Ptr CFloat) (CFloat (e0))
          poke (pColor' `plusPtr` 4 :: Ptr CFloat) (CFloat (e1))
          poke (pColor' `plusPtr` 8 :: Ptr CFloat) (CFloat (e2))
          poke (pColor' `plusPtr` 12 :: Ptr CFloat) (CFloat (e3))
      lift $ f
    cStructSize = 40
    cStructAlignment = 8
    pokeZeroCStruct p f = evalContT $ do
      lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_DEBUG_MARKER_MARKER_INFO_EXT)
      lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      pMarkerName'' <- ContT $ useAsCString (mempty)
      lift $ poke ((p `plusPtr` 16 :: Ptr (Ptr CChar))) pMarkerName''
      let pColor' = lowerArrayPtr ((p `plusPtr` 24 :: Ptr (FixedArray 4 CFloat)))
      lift $ case ((zero, zero, zero, zero)) of
        (e0, e1, e2, e3) -> do
          poke (pColor' :: Ptr CFloat) (CFloat (e0))
          poke (pColor' `plusPtr` 4 :: Ptr CFloat) (CFloat (e1))
          poke (pColor' `plusPtr` 8 :: Ptr CFloat) (CFloat (e2))
          poke (pColor' `plusPtr` 12 :: Ptr CFloat) (CFloat (e3))
      lift $ f
  
  instance FromCStruct DebugMarkerMarkerInfoEXT where
    peekCStruct p = do
      pMarkerName <- packCString =<< peek ((p `plusPtr` 16 :: Ptr (Ptr CChar)))
      let pcolor = lowerArrayPtr @CFloat ((p `plusPtr` 24 :: Ptr (FixedArray 4 CFloat)))
      color0 <- peek @CFloat ((pcolor `advancePtrBytes` 0 :: Ptr CFloat))
      color1 <- peek @CFloat ((pcolor `advancePtrBytes` 4 :: Ptr CFloat))
      color2 <- peek @CFloat ((pcolor `advancePtrBytes` 8 :: Ptr CFloat))
      color3 <- peek @CFloat ((pcolor `advancePtrBytes` 12 :: Ptr CFloat))
      pure $ DebugMarkerMarkerInfoEXT
               pMarkerName
               (( (coerce @CFloat @Float color0)
                , (coerce @CFloat @Float color1)
                , (coerce @CFloat @Float color2)
                , (coerce @CFloat @Float color3) ))
  
  instance Zero DebugMarkerMarkerInfoEXT where
    zero = DebugMarkerMarkerInfoEXT
             mempty
             (zero, zero, zero, zero)
  
  
  type EXT_DEBUG_MARKER_SPEC_VERSION = 4
  
  -- No documentation found for TopLevel "VK_EXT_DEBUG_MARKER_SPEC_VERSION"
  pattern EXT_DEBUG_MARKER_SPEC_VERSION :: forall a . Integral a => a
  pattern EXT_DEBUG_MARKER_SPEC_VERSION = 4
  
  
  type EXT_DEBUG_MARKER_EXTENSION_NAME = "VK_EXT_debug_marker"
  
  -- No documentation found for TopLevel "VK_EXT_DEBUG_MARKER_EXTENSION_NAME"
  pattern EXT_DEBUG_MARKER_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
  pattern EXT_DEBUG_MARKER_EXTENSION_NAME = "VK_EXT_debug_marker"
  
  