{-# language CPP #-}
-- | = Name
--
-- VK_NV_device_diagnostic_checkpoints - device extension
--
-- = VK_NV_device_diagnostic_checkpoints
--
-- [__Name String__]
--     @VK_NV_device_diagnostic_checkpoints@
--
-- [__Extension Type__]
--     Device extension
--
-- [__Registered Extension Number__]
--     207
--
-- [__Revision__]
--     2
--
-- [__Ratification Status__]
--     Not ratified
--
-- [__Extension and Version Dependencies__]
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_get_physical_device_properties2 VK_KHR_get_physical_device_properties2>
--     or
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#versions-1.1 Vulkan Version 1.1>
--
-- [__API Interactions__]
--
--     -   Interacts with VK_VERSION_1_3
--
--     -   Interacts with VK_KHR_synchronization2
--
-- [__Contact__]
--
--     -   Nuno Subtil
--         <https://github.com/KhronosGroup/Vulkan-Docs/issues/new?body=[VK_NV_device_diagnostic_checkpoints] @nsubtil%0A*Here describe the issue or question you have about the VK_NV_device_diagnostic_checkpoints extension* >
--
-- == Other Extension Metadata
--
-- [__Last Modified Date__]
--     2018-07-16
--
-- [__Contributors__]
--
--     -   Oleg Kuznetsov, NVIDIA
--
--     -   Alex Dunn, NVIDIA
--
--     -   Jeff Bolz, NVIDIA
--
--     -   Eric Werness, NVIDIA
--
--     -   Daniel Koch, NVIDIA
--
-- == Description
--
-- This extension allows applications to insert markers in the command
-- stream and associate them with custom data.
--
-- If a device lost error occurs, the application /may/ then query the
-- implementation for the last markers to cross specific
-- implementation-defined pipeline stages, in order to narrow down which
-- commands were executing at the time and might have caused the failure.
--
-- == New Commands
--
-- -   'cmdSetCheckpointNV'
--
-- -   'getQueueCheckpointDataNV'
--
-- If
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#versions-1.3 Vulkan Version 1.3>
-- or
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_synchronization2 VK_KHR_synchronization2>
-- is supported:
--
-- -   'getQueueCheckpointData2NV'
--
-- == New Structures
--
-- -   'CheckpointDataNV'
--
-- -   Extending
--     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.QueueFamilyProperties2':
--
--     -   'QueueFamilyCheckpointPropertiesNV'
--
-- If
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#versions-1.3 Vulkan Version 1.3>
-- or
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_synchronization2 VK_KHR_synchronization2>
-- is supported:
--
-- -   'CheckpointData2NV'
--
-- -   Extending
--     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.QueueFamilyProperties2':
--
--     -   'QueueFamilyCheckpointProperties2NV'
--
-- == New Enum Constants
--
-- -   'NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME'
--
-- -   'NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION'
--
-- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_CHECKPOINT_DATA_NV'
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_QUEUE_FAMILY_CHECKPOINT_PROPERTIES_NV'
--
-- If
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#versions-1.3 Vulkan Version 1.3>
-- or
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_synchronization2 VK_KHR_synchronization2>
-- is supported:
--
-- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_CHECKPOINT_DATA_2_NV'
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_QUEUE_FAMILY_CHECKPOINT_PROPERTIES_2_NV'
--
-- == Version History
--
-- -   Revision 1, 2018-07-16 (Nuno Subtil)
--
--     -   Internal revisions
--
-- -   Revision 2, 2018-07-16 (Nuno Subtil)
--
--     -   ???
--
-- == See Also
--
-- No cross-references are available
--
-- == Document Notes
--
-- For more information, see the
-- <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#VK_NV_device_diagnostic_checkpoints Vulkan Specification>.
--
-- This page is a generated document. Fixes and changes should be made to
-- the generator scripts, not directly.
module Vulkan.Extensions.VK_NV_device_diagnostic_checkpoints  ( cmdSetCheckpointNV
                                                              , getQueueCheckpointDataNV
                                                              , getQueueCheckpointData2NV
                                                              , QueueFamilyCheckpointPropertiesNV(..)
                                                              , CheckpointDataNV(..)
                                                              , QueueFamilyCheckpointProperties2NV(..)
                                                              , CheckpointData2NV(..)
                                                              , NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION
                                                              , pattern NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION
                                                              , NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME
                                                              , pattern NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME
                                                              ) 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.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 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.Kind (Type)
import Control.Monad.Trans.Cont (ContT(..))
import Data.Vector (Vector)
import Vulkan.CStruct.Utils (advancePtrBytes)
import Vulkan.NamedType ((:::))
import Vulkan.Core10.Handles (CommandBuffer)
import Vulkan.Core10.Handles (CommandBuffer(..))
import Vulkan.Core10.Handles (CommandBuffer(CommandBuffer))
import Vulkan.Core10.Handles (CommandBuffer_T)
import Vulkan.Dynamic (DeviceCmds(pVkCmdSetCheckpointNV))
import Vulkan.Dynamic (DeviceCmds(pVkGetQueueCheckpointData2NV))
import Vulkan.Dynamic (DeviceCmds(pVkGetQueueCheckpointDataNV))
import Vulkan.Core10.Enums.PipelineStageFlagBits (PipelineStageFlagBits)
import Vulkan.Core10.Enums.PipelineStageFlagBits (PipelineStageFlags)
import Vulkan.Core13.Enums.PipelineStageFlags2 (PipelineStageFlags2)
import Vulkan.Core10.Handles (Queue)
import Vulkan.Core10.Handles (Queue(..))
import Vulkan.Core10.Handles (Queue(Queue))
import Vulkan.Core10.Handles (Queue_T)
import Vulkan.Core10.Enums.StructureType (StructureType)
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_CHECKPOINT_DATA_2_NV))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_CHECKPOINT_DATA_NV))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_QUEUE_FAMILY_CHECKPOINT_PROPERTIES_2_NV))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_QUEUE_FAMILY_CHECKPOINT_PROPERTIES_NV))
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
  unsafe
#endif
  "dynamic" mkVkCmdSetCheckpointNV
  :: FunPtr (Ptr CommandBuffer_T -> Ptr () -> IO ()) -> Ptr CommandBuffer_T -> Ptr () -> IO ()

-- | vkCmdSetCheckpointNV - Insert diagnostic checkpoint in command stream
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-vkCmdSetCheckpointNV-commandBuffer-parameter# @commandBuffer@
--     /must/ be a valid 'Vulkan.Core10.Handles.CommandBuffer' handle
--
-- -   #VUID-vkCmdSetCheckpointNV-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-vkCmdSetCheckpointNV-commandBuffer-cmdpool# The
--     'Vulkan.Core10.Handles.CommandPool' that @commandBuffer@ was
--     allocated from /must/ support
--     'Vulkan.Core10.Enums.QueueFlagBits.QUEUE_COMPUTE_BIT',
--     'Vulkan.Core10.Enums.QueueFlagBits.QUEUE_GRAPHICS_BIT', or
--     'Vulkan.Core10.Enums.QueueFlagBits.QUEUE_TRANSFER_BIT' operations
--
-- -   #VUID-vkCmdSetCheckpointNV-suspended# This command /must/ not be
--     called between suspended render pass instances
--
-- -   #VUID-vkCmdSetCheckpointNV-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                                                                                                                     | VK_QUEUE_COMPUTE_BIT                                                                                                  | Action                                                                                                                                 |
-- | Secondary                                                                                                                  |                                                                                                                        |                                                                                                                             | VK_QUEUE_GRAPHICS_BIT                                                                                                 |                                                                                                                                        |
-- |                                                                                                                            |                                                                                                                        |                                                                                                                             | VK_QUEUE_TRANSFER_BIT                                                                                                 |                                                                                                                                        |
-- +----------------------------------------------------------------------------------------------------------------------------+------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------+----------------------------------------------------------------------------------------------------------------------------------------+
--
-- == Conditional Rendering
--
-- vkCmdSetCheckpointNV is not affected by
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#drawing-conditional-rendering conditional rendering>
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_device_diagnostic_checkpoints VK_NV_device_diagnostic_checkpoints>,
-- 'Vulkan.Core10.Handles.CommandBuffer'
cmdSetCheckpointNV :: forall io
                    . (MonadIO io)
                   => -- | @commandBuffer@ is the command buffer that will receive the marker
                      CommandBuffer
                   -> -- | @pCheckpointMarker@ is an opaque application-provided value that will be
                      -- associated with the checkpoint.
                      ("checkpointMarker" ::: Ptr ())
                   -> io ()
cmdSetCheckpointNV :: forall (io :: * -> *).
MonadIO io =>
CommandBuffer -> ("checkpointMarker" ::: Ptr ()) -> io ()
cmdSetCheckpointNV CommandBuffer
commandBuffer "checkpointMarker" ::: Ptr ()
checkpointMarker = IO () -> io ()
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> io ()) -> IO () -> io ()
forall a b. (a -> b) -> a -> b
$ do
  let vkCmdSetCheckpointNVPtr :: FunPtr
  (Ptr CommandBuffer_T -> ("checkpointMarker" ::: Ptr ()) -> IO ())
vkCmdSetCheckpointNVPtr = DeviceCmds
-> FunPtr
     (Ptr CommandBuffer_T -> ("checkpointMarker" ::: Ptr ()) -> IO ())
pVkCmdSetCheckpointNV (case CommandBuffer
commandBuffer of CommandBuffer{DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds :: CommandBuffer -> DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
  Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
  (Ptr CommandBuffer_T -> ("checkpointMarker" ::: Ptr ()) -> IO ())
vkCmdSetCheckpointNVPtr FunPtr
  (Ptr CommandBuffer_T -> ("checkpointMarker" ::: Ptr ()) -> IO ())
-> FunPtr
     (Ptr CommandBuffer_T -> ("checkpointMarker" ::: Ptr ()) -> IO ())
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
  (Ptr CommandBuffer_T -> ("checkpointMarker" ::: Ptr ()) -> IO ())
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
    IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkCmdSetCheckpointNV is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
  let vkCmdSetCheckpointNV' :: Ptr CommandBuffer_T -> ("checkpointMarker" ::: Ptr ()) -> IO ()
vkCmdSetCheckpointNV' = FunPtr
  (Ptr CommandBuffer_T -> ("checkpointMarker" ::: Ptr ()) -> IO ())
-> Ptr CommandBuffer_T -> ("checkpointMarker" ::: Ptr ()) -> IO ()
mkVkCmdSetCheckpointNV FunPtr
  (Ptr CommandBuffer_T -> ("checkpointMarker" ::: Ptr ()) -> IO ())
vkCmdSetCheckpointNVPtr
  String -> IO () -> IO ()
forall a. String -> IO a -> IO a
traceAroundEvent String
"vkCmdSetCheckpointNV" (Ptr CommandBuffer_T -> ("checkpointMarker" ::: Ptr ()) -> IO ()
vkCmdSetCheckpointNV'
                                             (CommandBuffer -> Ptr CommandBuffer_T
commandBufferHandle (CommandBuffer
commandBuffer))
                                             ("checkpointMarker" ::: Ptr ()
checkpointMarker))
  () -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (() -> IO ()) -> () -> IO ()
forall a b. (a -> b) -> a -> b
$ ()


foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
  unsafe
#endif
  "dynamic" mkVkGetQueueCheckpointDataNV
  :: FunPtr (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ()) -> Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ()

-- | vkGetQueueCheckpointDataNV - Retrieve diagnostic checkpoint data
--
-- = Description
--
-- If @pCheckpointData@ is @NULL@, then the number of checkpoint markers
-- available is returned in @pCheckpointDataCount@.
--
-- Otherwise, @pCheckpointDataCount@ /must/ point to a variable set by the
-- application to the number of elements in the @pCheckpointData@ array,
-- and on return the variable is overwritten with the number of structures
-- actually written to @pCheckpointData@.
--
-- If @pCheckpointDataCount@ is less than the number of checkpoint markers
-- available, at most @pCheckpointDataCount@ structures will be written.
--
-- == Valid Usage
--
-- -   #VUID-vkGetQueueCheckpointDataNV-queue-02025# The device that
--     @queue@ belongs to /must/ be in the lost state
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-vkGetQueueCheckpointDataNV-queue-parameter# @queue@ /must/ be
--     a valid 'Vulkan.Core10.Handles.Queue' handle
--
-- -   #VUID-vkGetQueueCheckpointDataNV-pCheckpointDataCount-parameter#
--     @pCheckpointDataCount@ /must/ be a valid pointer to a @uint32_t@
--     value
--
-- -   #VUID-vkGetQueueCheckpointDataNV-pCheckpointData-parameter# If the
--     value referenced by @pCheckpointDataCount@ is not @0@, and
--     @pCheckpointData@ is not @NULL@, @pCheckpointData@ /must/ be a valid
--     pointer to an array of @pCheckpointDataCount@ 'CheckpointDataNV'
--     structures
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_device_diagnostic_checkpoints VK_NV_device_diagnostic_checkpoints>,
-- 'CheckpointDataNV', 'Vulkan.Core10.Handles.Queue'
getQueueCheckpointDataNV :: forall io
                          . (MonadIO io)
                         => -- | @queue@ is the 'Vulkan.Core10.Handles.Queue' object the caller would
                            -- like to retrieve checkpoint data for
                            Queue
                         -> io (("checkpointData" ::: Vector CheckpointDataNV))
getQueueCheckpointDataNV :: forall (io :: * -> *).
MonadIO io =>
Queue -> io ("checkpointData" ::: Vector CheckpointDataNV)
getQueueCheckpointDataNV Queue
queue = IO ("checkpointData" ::: Vector CheckpointDataNV)
-> io ("checkpointData" ::: Vector CheckpointDataNV)
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO ("checkpointData" ::: Vector CheckpointDataNV)
 -> io ("checkpointData" ::: Vector CheckpointDataNV))
-> (ContT
      ("checkpointData" ::: Vector CheckpointDataNV)
      IO
      ("checkpointData" ::: Vector CheckpointDataNV)
    -> IO ("checkpointData" ::: Vector CheckpointDataNV))
-> ContT
     ("checkpointData" ::: Vector CheckpointDataNV)
     IO
     ("checkpointData" ::: Vector CheckpointDataNV)
-> io ("checkpointData" ::: Vector CheckpointDataNV)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT
  ("checkpointData" ::: Vector CheckpointDataNV)
  IO
  ("checkpointData" ::: Vector CheckpointDataNV)
-> IO ("checkpointData" ::: Vector CheckpointDataNV)
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT
   ("checkpointData" ::: Vector CheckpointDataNV)
   IO
   ("checkpointData" ::: Vector CheckpointDataNV)
 -> io ("checkpointData" ::: Vector CheckpointDataNV))
-> ContT
     ("checkpointData" ::: Vector CheckpointDataNV)
     IO
     ("checkpointData" ::: Vector CheckpointDataNV)
-> io ("checkpointData" ::: Vector CheckpointDataNV)
forall a b. (a -> b) -> a -> b
$ do
  let vkGetQueueCheckpointDataNVPtr :: FunPtr (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ())
vkGetQueueCheckpointDataNVPtr = DeviceCmds
-> FunPtr
     (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ())
pVkGetQueueCheckpointDataNV (case Queue
queue of Queue{DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds :: Queue -> DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
  IO () -> ContT ("checkpointData" ::: Vector CheckpointDataNV) IO ()
forall (m :: * -> *) a.
Monad m =>
m a -> ContT ("checkpointData" ::: Vector CheckpointDataNV) m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO ()
 -> ContT ("checkpointData" ::: Vector CheckpointDataNV) IO ())
-> IO ()
-> ContT ("checkpointData" ::: Vector CheckpointDataNV) IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ())
vkGetQueueCheckpointDataNVPtr FunPtr (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ())
-> FunPtr
     (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ())
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ())
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
    IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkGetQueueCheckpointDataNV is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
  let vkGetQueueCheckpointDataNV' :: Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ()
vkGetQueueCheckpointDataNV' = FunPtr (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ())
-> Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ()
mkVkGetQueueCheckpointDataNV FunPtr (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointDataNV -> IO ())
vkGetQueueCheckpointDataNVPtr
  let queue' :: Ptr Queue_T
queue' = Queue -> Ptr Queue_T
queueHandle (Queue
queue)
  pPCheckpointDataCount <- ((Ptr Word32 -> IO ("checkpointData" ::: Vector CheckpointDataNV))
 -> IO ("checkpointData" ::: Vector CheckpointDataNV))
-> ContT
     ("checkpointData" ::: Vector CheckpointDataNV) IO (Ptr Word32)
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr Word32 -> IO ("checkpointData" ::: Vector CheckpointDataNV))
  -> IO ("checkpointData" ::: Vector CheckpointDataNV))
 -> ContT
      ("checkpointData" ::: Vector CheckpointDataNV) IO (Ptr Word32))
-> ((Ptr Word32
     -> IO ("checkpointData" ::: Vector CheckpointDataNV))
    -> IO ("checkpointData" ::: Vector CheckpointDataNV))
-> ContT
     ("checkpointData" ::: Vector CheckpointDataNV) IO (Ptr Word32)
forall a b. (a -> b) -> a -> b
$ IO (Ptr Word32)
-> (Ptr Word32 -> IO ())
-> (Ptr Word32
    -> IO ("checkpointData" ::: Vector CheckpointDataNV))
-> IO ("checkpointData" ::: Vector CheckpointDataNV)
forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c
bracket (forall a. Int -> IO (Ptr a)
callocBytes @Word32 Int
4) Ptr Word32 -> IO ()
forall a. Ptr a -> IO ()
free
  lift $ traceAroundEvent "vkGetQueueCheckpointDataNV" (vkGetQueueCheckpointDataNV'
                                                          queue'
                                                          (pPCheckpointDataCount)
                                                          (nullPtr))
  pCheckpointDataCount <- lift $ peek @Word32 pPCheckpointDataCount
  pPCheckpointData <- ContT $ bracket (callocBytes @CheckpointDataNV ((fromIntegral (pCheckpointDataCount)) * 32)) free
  _ <- traverse (\Int
i -> ((() -> IO ("checkpointData" ::: Vector CheckpointDataNV))
 -> IO ("checkpointData" ::: Vector CheckpointDataNV))
-> ContT ("checkpointData" ::: Vector CheckpointDataNV) IO ()
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((() -> IO ("checkpointData" ::: Vector CheckpointDataNV))
  -> IO ("checkpointData" ::: Vector CheckpointDataNV))
 -> ContT ("checkpointData" ::: Vector CheckpointDataNV) IO ())
-> ((() -> IO ("checkpointData" ::: Vector CheckpointDataNV))
    -> IO ("checkpointData" ::: Vector CheckpointDataNV))
-> ContT ("checkpointData" ::: Vector CheckpointDataNV) IO ()
forall a b. (a -> b) -> a -> b
$ Ptr CheckpointDataNV
-> IO ("checkpointData" ::: Vector CheckpointDataNV)
-> IO ("checkpointData" ::: Vector CheckpointDataNV)
forall b. Ptr CheckpointDataNV -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> IO b -> IO b
pokeZeroCStruct (Ptr CheckpointDataNV
pPCheckpointData Ptr CheckpointDataNV -> Int -> Ptr CheckpointDataNV
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
i Int -> Int -> Int
forall a. Num a => a -> a -> a
* Int
32) :: Ptr CheckpointDataNV) (IO ("checkpointData" ::: Vector CheckpointDataNV)
 -> IO ("checkpointData" ::: Vector CheckpointDataNV))
-> ((() -> IO ("checkpointData" ::: Vector CheckpointDataNV))
    -> IO ("checkpointData" ::: Vector CheckpointDataNV))
-> (() -> IO ("checkpointData" ::: Vector CheckpointDataNV))
-> IO ("checkpointData" ::: Vector CheckpointDataNV)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((() -> IO ("checkpointData" ::: Vector CheckpointDataNV))
-> () -> IO ("checkpointData" ::: Vector CheckpointDataNV)
forall a b. (a -> b) -> a -> b
$ ())) [0..(fromIntegral (pCheckpointDataCount)) - 1]
  lift $ traceAroundEvent "vkGetQueueCheckpointDataNV" (vkGetQueueCheckpointDataNV'
                                                          queue'
                                                          (pPCheckpointDataCount)
                                                          ((pPCheckpointData)))
  pCheckpointDataCount' <- lift $ peek @Word32 pPCheckpointDataCount
  pCheckpointData' <- lift $ generateM (fromIntegral (pCheckpointDataCount')) (\Int
i -> forall a. FromCStruct a => Ptr a -> IO a
peekCStruct @CheckpointDataNV (((Ptr CheckpointDataNV
pPCheckpointData) Ptr CheckpointDataNV -> Int -> Ptr CheckpointDataNV
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
32 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr CheckpointDataNV)))
  pure $ (pCheckpointData')


foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
  unsafe
#endif
  "dynamic" mkVkGetQueueCheckpointData2NV
  :: FunPtr (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ()) -> Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ()

-- | vkGetQueueCheckpointData2NV - Retrieve diagnostic checkpoint data
--
-- = Description
--
-- If @pCheckpointData@ is @NULL@, then the number of checkpoint markers
-- available is returned in @pCheckpointDataCount@. Otherwise,
-- @pCheckpointDataCount@ /must/ point to a variable set by the application
-- to the number of elements in the @pCheckpointData@ array, and on return
-- the variable is overwritten with the number of structures actually
-- written to @pCheckpointData@.
--
-- If @pCheckpointDataCount@ is less than the number of checkpoint markers
-- available, at most @pCheckpointDataCount@ structures will be written.
--
-- == Valid Usage
--
-- -   #VUID-vkGetQueueCheckpointData2NV-queue-03892# The device that
--     @queue@ belongs to /must/ be in the lost state
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-vkGetQueueCheckpointData2NV-queue-parameter# @queue@ /must/ be
--     a valid 'Vulkan.Core10.Handles.Queue' handle
--
-- -   #VUID-vkGetQueueCheckpointData2NV-pCheckpointDataCount-parameter#
--     @pCheckpointDataCount@ /must/ be a valid pointer to a @uint32_t@
--     value
--
-- -   #VUID-vkGetQueueCheckpointData2NV-pCheckpointData-parameter# If the
--     value referenced by @pCheckpointDataCount@ is not @0@, and
--     @pCheckpointData@ is not @NULL@, @pCheckpointData@ /must/ be a valid
--     pointer to an array of @pCheckpointDataCount@ 'CheckpointData2NV'
--     structures
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_synchronization2 VK_KHR_synchronization2>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_device_diagnostic_checkpoints VK_NV_device_diagnostic_checkpoints>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_3 VK_VERSION_1_3>,
-- 'CheckpointData2NV', 'Vulkan.Core10.Handles.Queue'
getQueueCheckpointData2NV :: forall io
                           . (MonadIO io)
                          => -- | @queue@ is the 'Vulkan.Core10.Handles.Queue' object the caller would
                             -- like to retrieve checkpoint data for
                             Queue
                          -> io (("checkpointData" ::: Vector CheckpointData2NV))
getQueueCheckpointData2NV :: forall (io :: * -> *).
MonadIO io =>
Queue -> io ("checkpointData" ::: Vector CheckpointData2NV)
getQueueCheckpointData2NV Queue
queue = IO ("checkpointData" ::: Vector CheckpointData2NV)
-> io ("checkpointData" ::: Vector CheckpointData2NV)
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO ("checkpointData" ::: Vector CheckpointData2NV)
 -> io ("checkpointData" ::: Vector CheckpointData2NV))
-> (ContT
      ("checkpointData" ::: Vector CheckpointData2NV)
      IO
      ("checkpointData" ::: Vector CheckpointData2NV)
    -> IO ("checkpointData" ::: Vector CheckpointData2NV))
-> ContT
     ("checkpointData" ::: Vector CheckpointData2NV)
     IO
     ("checkpointData" ::: Vector CheckpointData2NV)
-> io ("checkpointData" ::: Vector CheckpointData2NV)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT
  ("checkpointData" ::: Vector CheckpointData2NV)
  IO
  ("checkpointData" ::: Vector CheckpointData2NV)
-> IO ("checkpointData" ::: Vector CheckpointData2NV)
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT
   ("checkpointData" ::: Vector CheckpointData2NV)
   IO
   ("checkpointData" ::: Vector CheckpointData2NV)
 -> io ("checkpointData" ::: Vector CheckpointData2NV))
-> ContT
     ("checkpointData" ::: Vector CheckpointData2NV)
     IO
     ("checkpointData" ::: Vector CheckpointData2NV)
-> io ("checkpointData" ::: Vector CheckpointData2NV)
forall a b. (a -> b) -> a -> b
$ do
  let vkGetQueueCheckpointData2NVPtr :: FunPtr
  (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ())
vkGetQueueCheckpointData2NVPtr = DeviceCmds
-> FunPtr
     (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ())
pVkGetQueueCheckpointData2NV (case Queue
queue of Queue{DeviceCmds
deviceCmds :: Queue -> DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
  IO ()
-> ContT ("checkpointData" ::: Vector CheckpointData2NV) IO ()
forall (m :: * -> *) a.
Monad m =>
m a -> ContT ("checkpointData" ::: Vector CheckpointData2NV) m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO ()
 -> ContT ("checkpointData" ::: Vector CheckpointData2NV) IO ())
-> IO ()
-> ContT ("checkpointData" ::: Vector CheckpointData2NV) IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
  (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ())
vkGetQueueCheckpointData2NVPtr FunPtr
  (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ())
-> FunPtr
     (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ())
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
  (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ())
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
    IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkGetQueueCheckpointData2NV is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
  let vkGetQueueCheckpointData2NV' :: Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ()
vkGetQueueCheckpointData2NV' = FunPtr
  (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ())
-> Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ()
mkVkGetQueueCheckpointData2NV FunPtr
  (Ptr Queue_T -> Ptr Word32 -> Ptr CheckpointData2NV -> IO ())
vkGetQueueCheckpointData2NVPtr
  let queue' :: Ptr Queue_T
queue' = Queue -> Ptr Queue_T
queueHandle (Queue
queue)
  pPCheckpointDataCount <- ((Ptr Word32 -> IO ("checkpointData" ::: Vector CheckpointData2NV))
 -> IO ("checkpointData" ::: Vector CheckpointData2NV))
-> ContT
     ("checkpointData" ::: Vector CheckpointData2NV) IO (Ptr Word32)
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr Word32
   -> IO ("checkpointData" ::: Vector CheckpointData2NV))
  -> IO ("checkpointData" ::: Vector CheckpointData2NV))
 -> ContT
      ("checkpointData" ::: Vector CheckpointData2NV) IO (Ptr Word32))
-> ((Ptr Word32
     -> IO ("checkpointData" ::: Vector CheckpointData2NV))
    -> IO ("checkpointData" ::: Vector CheckpointData2NV))
-> ContT
     ("checkpointData" ::: Vector CheckpointData2NV) IO (Ptr Word32)
forall a b. (a -> b) -> a -> b
$ IO (Ptr Word32)
-> (Ptr Word32 -> IO ())
-> (Ptr Word32
    -> IO ("checkpointData" ::: Vector CheckpointData2NV))
-> IO ("checkpointData" ::: Vector CheckpointData2NV)
forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c
bracket (forall a. Int -> IO (Ptr a)
callocBytes @Word32 Int
4) Ptr Word32 -> IO ()
forall a. Ptr a -> IO ()
free
  lift $ traceAroundEvent "vkGetQueueCheckpointData2NV" (vkGetQueueCheckpointData2NV'
                                                           queue'
                                                           (pPCheckpointDataCount)
                                                           (nullPtr))
  pCheckpointDataCount <- lift $ peek @Word32 pPCheckpointDataCount
  pPCheckpointData <- ContT $ bracket (callocBytes @CheckpointData2NV ((fromIntegral (pCheckpointDataCount)) * 32)) free
  _ <- traverse (\Int
i -> ((() -> IO ("checkpointData" ::: Vector CheckpointData2NV))
 -> IO ("checkpointData" ::: Vector CheckpointData2NV))
-> ContT ("checkpointData" ::: Vector CheckpointData2NV) IO ()
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((() -> IO ("checkpointData" ::: Vector CheckpointData2NV))
  -> IO ("checkpointData" ::: Vector CheckpointData2NV))
 -> ContT ("checkpointData" ::: Vector CheckpointData2NV) IO ())
-> ((() -> IO ("checkpointData" ::: Vector CheckpointData2NV))
    -> IO ("checkpointData" ::: Vector CheckpointData2NV))
-> ContT ("checkpointData" ::: Vector CheckpointData2NV) IO ()
forall a b. (a -> b) -> a -> b
$ Ptr CheckpointData2NV
-> IO ("checkpointData" ::: Vector CheckpointData2NV)
-> IO ("checkpointData" ::: Vector CheckpointData2NV)
forall b. Ptr CheckpointData2NV -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> IO b -> IO b
pokeZeroCStruct (Ptr CheckpointData2NV
pPCheckpointData Ptr CheckpointData2NV -> Int -> Ptr CheckpointData2NV
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
i Int -> Int -> Int
forall a. Num a => a -> a -> a
* Int
32) :: Ptr CheckpointData2NV) (IO ("checkpointData" ::: Vector CheckpointData2NV)
 -> IO ("checkpointData" ::: Vector CheckpointData2NV))
-> ((() -> IO ("checkpointData" ::: Vector CheckpointData2NV))
    -> IO ("checkpointData" ::: Vector CheckpointData2NV))
-> (() -> IO ("checkpointData" ::: Vector CheckpointData2NV))
-> IO ("checkpointData" ::: Vector CheckpointData2NV)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((() -> IO ("checkpointData" ::: Vector CheckpointData2NV))
-> () -> IO ("checkpointData" ::: Vector CheckpointData2NV)
forall a b. (a -> b) -> a -> b
$ ())) [0..(fromIntegral (pCheckpointDataCount)) - 1]
  lift $ traceAroundEvent "vkGetQueueCheckpointData2NV" (vkGetQueueCheckpointData2NV'
                                                           queue'
                                                           (pPCheckpointDataCount)
                                                           ((pPCheckpointData)))
  pCheckpointDataCount' <- lift $ peek @Word32 pPCheckpointDataCount
  pCheckpointData' <- lift $ generateM (fromIntegral (pCheckpointDataCount')) (\Int
i -> forall a. FromCStruct a => Ptr a -> IO a
peekCStruct @CheckpointData2NV (((Ptr CheckpointData2NV
pPCheckpointData) Ptr CheckpointData2NV -> Int -> Ptr CheckpointData2NV
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
32 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr CheckpointData2NV)))
  pure $ (pCheckpointData')


-- | VkQueueFamilyCheckpointPropertiesNV - Return structure for queue family
-- checkpoint information query
--
-- = Description
--
-- Additional queue family information can be queried by setting
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.QueueFamilyProperties2'::@pNext@
-- to point to a 'QueueFamilyCheckpointPropertiesNV' structure.
--
-- == Valid Usage (Implicit)
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_device_diagnostic_checkpoints VK_NV_device_diagnostic_checkpoints>,
-- 'Vulkan.Core10.Enums.PipelineStageFlagBits.PipelineStageFlags',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data QueueFamilyCheckpointPropertiesNV = QueueFamilyCheckpointPropertiesNV
  { -- | @checkpointExecutionStageMask@ is a mask indicating which pipeline
    -- stages the implementation can execute checkpoint markers in.
    QueueFamilyCheckpointPropertiesNV -> PipelineStageFlags
checkpointExecutionStageMask :: PipelineStageFlags }
  deriving (Typeable, QueueFamilyCheckpointPropertiesNV
-> QueueFamilyCheckpointPropertiesNV -> Bool
(QueueFamilyCheckpointPropertiesNV
 -> QueueFamilyCheckpointPropertiesNV -> Bool)
-> (QueueFamilyCheckpointPropertiesNV
    -> QueueFamilyCheckpointPropertiesNV -> Bool)
-> Eq QueueFamilyCheckpointPropertiesNV
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: QueueFamilyCheckpointPropertiesNV
-> QueueFamilyCheckpointPropertiesNV -> Bool
== :: QueueFamilyCheckpointPropertiesNV
-> QueueFamilyCheckpointPropertiesNV -> Bool
$c/= :: QueueFamilyCheckpointPropertiesNV
-> QueueFamilyCheckpointPropertiesNV -> Bool
/= :: QueueFamilyCheckpointPropertiesNV
-> QueueFamilyCheckpointPropertiesNV -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (QueueFamilyCheckpointPropertiesNV)
#endif
deriving instance Show QueueFamilyCheckpointPropertiesNV

instance ToCStruct QueueFamilyCheckpointPropertiesNV where
  withCStruct :: forall b.
QueueFamilyCheckpointPropertiesNV
-> (Ptr QueueFamilyCheckpointPropertiesNV -> IO b) -> IO b
withCStruct QueueFamilyCheckpointPropertiesNV
x Ptr QueueFamilyCheckpointPropertiesNV -> IO b
f = Int -> (Ptr QueueFamilyCheckpointPropertiesNV -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
24 ((Ptr QueueFamilyCheckpointPropertiesNV -> IO b) -> IO b)
-> (Ptr QueueFamilyCheckpointPropertiesNV -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr QueueFamilyCheckpointPropertiesNV
p -> Ptr QueueFamilyCheckpointPropertiesNV
-> QueueFamilyCheckpointPropertiesNV -> IO b -> IO b
forall b.
Ptr QueueFamilyCheckpointPropertiesNV
-> QueueFamilyCheckpointPropertiesNV -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr QueueFamilyCheckpointPropertiesNV
p QueueFamilyCheckpointPropertiesNV
x (Ptr QueueFamilyCheckpointPropertiesNV -> IO b
f Ptr QueueFamilyCheckpointPropertiesNV
p)
  pokeCStruct :: forall b.
Ptr QueueFamilyCheckpointPropertiesNV
-> QueueFamilyCheckpointPropertiesNV -> IO b -> IO b
pokeCStruct Ptr QueueFamilyCheckpointPropertiesNV
p QueueFamilyCheckpointPropertiesNV{PipelineStageFlags
checkpointExecutionStageMask :: QueueFamilyCheckpointPropertiesNV -> PipelineStageFlags
checkpointExecutionStageMask :: PipelineStageFlags
..} IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointPropertiesNV
p Ptr QueueFamilyCheckpointPropertiesNV -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_QUEUE_FAMILY_CHECKPOINT_PROPERTIES_NV)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointPropertiesNV
p Ptr QueueFamilyCheckpointPropertiesNV
-> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
forall a. Ptr a
nullPtr)
    Ptr PipelineStageFlags -> PipelineStageFlags -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointPropertiesNV
p Ptr QueueFamilyCheckpointPropertiesNV
-> Int -> Ptr PipelineStageFlags
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlags)) (PipelineStageFlags
checkpointExecutionStageMask)
    IO b
f
  cStructSize :: Int
cStructSize = Int
24
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b. Ptr QueueFamilyCheckpointPropertiesNV -> IO b -> IO b
pokeZeroCStruct Ptr QueueFamilyCheckpointPropertiesNV
p IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointPropertiesNV
p Ptr QueueFamilyCheckpointPropertiesNV -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_QUEUE_FAMILY_CHECKPOINT_PROPERTIES_NV)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointPropertiesNV
p Ptr QueueFamilyCheckpointPropertiesNV
-> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
forall a. Ptr a
nullPtr)
    Ptr PipelineStageFlags -> PipelineStageFlags -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointPropertiesNV
p Ptr QueueFamilyCheckpointPropertiesNV
-> Int -> Ptr PipelineStageFlags
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlags)) (PipelineStageFlags
forall a. Zero a => a
zero)
    IO b
f

instance FromCStruct QueueFamilyCheckpointPropertiesNV where
  peekCStruct :: Ptr QueueFamilyCheckpointPropertiesNV
-> IO QueueFamilyCheckpointPropertiesNV
peekCStruct Ptr QueueFamilyCheckpointPropertiesNV
p = do
    checkpointExecutionStageMask <- forall a. Storable a => Ptr a -> IO a
peek @PipelineStageFlags ((Ptr QueueFamilyCheckpointPropertiesNV
p Ptr QueueFamilyCheckpointPropertiesNV
-> Int -> Ptr PipelineStageFlags
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlags))
    pure $ QueueFamilyCheckpointPropertiesNV
             checkpointExecutionStageMask

instance Storable QueueFamilyCheckpointPropertiesNV where
  sizeOf :: QueueFamilyCheckpointPropertiesNV -> Int
sizeOf ~QueueFamilyCheckpointPropertiesNV
_ = Int
24
  alignment :: QueueFamilyCheckpointPropertiesNV -> Int
alignment ~QueueFamilyCheckpointPropertiesNV
_ = Int
8
  peek :: Ptr QueueFamilyCheckpointPropertiesNV
-> IO QueueFamilyCheckpointPropertiesNV
peek = Ptr QueueFamilyCheckpointPropertiesNV
-> IO QueueFamilyCheckpointPropertiesNV
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
  poke :: Ptr QueueFamilyCheckpointPropertiesNV
-> QueueFamilyCheckpointPropertiesNV -> IO ()
poke Ptr QueueFamilyCheckpointPropertiesNV
ptr QueueFamilyCheckpointPropertiesNV
poked = Ptr QueueFamilyCheckpointPropertiesNV
-> QueueFamilyCheckpointPropertiesNV -> IO () -> IO ()
forall b.
Ptr QueueFamilyCheckpointPropertiesNV
-> QueueFamilyCheckpointPropertiesNV -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr QueueFamilyCheckpointPropertiesNV
ptr QueueFamilyCheckpointPropertiesNV
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())

instance Zero QueueFamilyCheckpointPropertiesNV where
  zero :: QueueFamilyCheckpointPropertiesNV
zero = PipelineStageFlags -> QueueFamilyCheckpointPropertiesNV
QueueFamilyCheckpointPropertiesNV
           PipelineStageFlags
forall a. Zero a => a
zero


-- | VkCheckpointDataNV - Return structure for command buffer checkpoint data
--
-- = Description
--
-- The stages at which a checkpoint marker /can/ be executed are
-- implementation-defined and /can/ be queried by calling
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.getPhysicalDeviceQueueFamilyProperties2'.
--
-- == Valid Usage (Implicit)
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_device_diagnostic_checkpoints VK_NV_device_diagnostic_checkpoints>,
-- 'Vulkan.Core10.Enums.PipelineStageFlagBits.PipelineStageFlagBits',
-- 'Vulkan.Core10.Enums.StructureType.StructureType',
-- 'getQueueCheckpointDataNV'
data CheckpointDataNV = CheckpointDataNV
  { -- | @stage@ is a
    -- 'Vulkan.Core10.Enums.PipelineStageFlagBits.PipelineStageFlagBits' value
    -- specifying which pipeline stage the checkpoint marker data refers to.
    CheckpointDataNV -> PipelineStageFlags
stage :: PipelineStageFlagBits
  , -- | @pCheckpointMarker@ contains the value of the last checkpoint marker
    -- executed in the stage that @stage@ refers to.
    CheckpointDataNV -> "checkpointMarker" ::: Ptr ()
checkpointMarker :: Ptr ()
  }
  deriving (Typeable)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (CheckpointDataNV)
#endif
deriving instance Show CheckpointDataNV

instance ToCStruct CheckpointDataNV where
  withCStruct :: forall b.
CheckpointDataNV -> (Ptr CheckpointDataNV -> IO b) -> IO b
withCStruct CheckpointDataNV
x Ptr CheckpointDataNV -> IO b
f = Int -> (Ptr CheckpointDataNV -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
32 ((Ptr CheckpointDataNV -> IO b) -> IO b)
-> (Ptr CheckpointDataNV -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr CheckpointDataNV
p -> Ptr CheckpointDataNV -> CheckpointDataNV -> IO b -> IO b
forall b. Ptr CheckpointDataNV -> CheckpointDataNV -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr CheckpointDataNV
p CheckpointDataNV
x (Ptr CheckpointDataNV -> IO b
f Ptr CheckpointDataNV
p)
  pokeCStruct :: forall b. Ptr CheckpointDataNV -> CheckpointDataNV -> IO b -> IO b
pokeCStruct Ptr CheckpointDataNV
p CheckpointDataNV{"checkpointMarker" ::: Ptr ()
PipelineStageFlags
stage :: CheckpointDataNV -> PipelineStageFlags
checkpointMarker :: CheckpointDataNV -> "checkpointMarker" ::: Ptr ()
stage :: PipelineStageFlags
checkpointMarker :: "checkpointMarker" ::: Ptr ()
..} IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointDataNV
p Ptr CheckpointDataNV -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_CHECKPOINT_DATA_NV)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointDataNV
p Ptr CheckpointDataNV -> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
forall a. Ptr a
nullPtr)
    Ptr PipelineStageFlags -> PipelineStageFlags -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointDataNV
p Ptr CheckpointDataNV -> Int -> Ptr PipelineStageFlags
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlagBits)) (PipelineStageFlags
stage)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointDataNV
p Ptr CheckpointDataNV -> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
checkpointMarker)
    IO b
f
  cStructSize :: Int
cStructSize = Int
32
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b. Ptr CheckpointDataNV -> IO b -> IO b
pokeZeroCStruct Ptr CheckpointDataNV
p IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointDataNV
p Ptr CheckpointDataNV -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_CHECKPOINT_DATA_NV)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointDataNV
p Ptr CheckpointDataNV -> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
forall a. Ptr a
nullPtr)
    Ptr PipelineStageFlags -> PipelineStageFlags -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointDataNV
p Ptr CheckpointDataNV -> Int -> Ptr PipelineStageFlags
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlagBits)) (PipelineStageFlags
forall a. Zero a => a
zero)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointDataNV
p Ptr CheckpointDataNV -> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
forall a. Zero a => a
zero)
    IO b
f

instance FromCStruct CheckpointDataNV where
  peekCStruct :: Ptr CheckpointDataNV -> IO CheckpointDataNV
peekCStruct Ptr CheckpointDataNV
p = do
    stage <- forall a. Storable a => Ptr a -> IO a
peek @PipelineStageFlagBits ((Ptr CheckpointDataNV
p Ptr CheckpointDataNV -> Int -> Ptr PipelineStageFlags
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlagBits))
    pCheckpointMarker <- peek @(Ptr ()) ((p `plusPtr` 24 :: Ptr (Ptr ())))
    pure $ CheckpointDataNV
             stage pCheckpointMarker

instance Storable CheckpointDataNV where
  sizeOf :: CheckpointDataNV -> Int
sizeOf ~CheckpointDataNV
_ = Int
32
  alignment :: CheckpointDataNV -> Int
alignment ~CheckpointDataNV
_ = Int
8
  peek :: Ptr CheckpointDataNV -> IO CheckpointDataNV
peek = Ptr CheckpointDataNV -> IO CheckpointDataNV
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
  poke :: Ptr CheckpointDataNV -> CheckpointDataNV -> IO ()
poke Ptr CheckpointDataNV
ptr CheckpointDataNV
poked = Ptr CheckpointDataNV -> CheckpointDataNV -> IO () -> IO ()
forall b. Ptr CheckpointDataNV -> CheckpointDataNV -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr CheckpointDataNV
ptr CheckpointDataNV
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())

instance Zero CheckpointDataNV where
  zero :: CheckpointDataNV
zero = PipelineStageFlags
-> ("checkpointMarker" ::: Ptr ()) -> CheckpointDataNV
CheckpointDataNV
           PipelineStageFlags
forall a. Zero a => a
zero
           "checkpointMarker" ::: Ptr ()
forall a. Zero a => a
zero


-- | VkQueueFamilyCheckpointProperties2NV - Return structure for queue family
-- checkpoint information query
--
-- = Description
--
-- Additional queue family information can be queried by setting
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.QueueFamilyProperties2'::@pNext@
-- to point to a 'QueueFamilyCheckpointProperties2NV' structure.
--
-- == Valid Usage (Implicit)
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_synchronization2 VK_KHR_synchronization2>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_device_diagnostic_checkpoints VK_NV_device_diagnostic_checkpoints>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_3 VK_VERSION_1_3>,
-- 'Vulkan.Core13.Enums.PipelineStageFlags2.PipelineStageFlags2',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data QueueFamilyCheckpointProperties2NV = QueueFamilyCheckpointProperties2NV
  { -- | @checkpointExecutionStageMask@ is a mask indicating which pipeline
    -- stages the implementation can execute checkpoint markers in.
    QueueFamilyCheckpointProperties2NV -> PipelineStageFlags2
checkpointExecutionStageMask :: PipelineStageFlags2 }
  deriving (Typeable, QueueFamilyCheckpointProperties2NV
-> QueueFamilyCheckpointProperties2NV -> Bool
(QueueFamilyCheckpointProperties2NV
 -> QueueFamilyCheckpointProperties2NV -> Bool)
-> (QueueFamilyCheckpointProperties2NV
    -> QueueFamilyCheckpointProperties2NV -> Bool)
-> Eq QueueFamilyCheckpointProperties2NV
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: QueueFamilyCheckpointProperties2NV
-> QueueFamilyCheckpointProperties2NV -> Bool
== :: QueueFamilyCheckpointProperties2NV
-> QueueFamilyCheckpointProperties2NV -> Bool
$c/= :: QueueFamilyCheckpointProperties2NV
-> QueueFamilyCheckpointProperties2NV -> Bool
/= :: QueueFamilyCheckpointProperties2NV
-> QueueFamilyCheckpointProperties2NV -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (QueueFamilyCheckpointProperties2NV)
#endif
deriving instance Show QueueFamilyCheckpointProperties2NV

instance ToCStruct QueueFamilyCheckpointProperties2NV where
  withCStruct :: forall b.
QueueFamilyCheckpointProperties2NV
-> (Ptr QueueFamilyCheckpointProperties2NV -> IO b) -> IO b
withCStruct QueueFamilyCheckpointProperties2NV
x Ptr QueueFamilyCheckpointProperties2NV -> IO b
f = Int -> (Ptr QueueFamilyCheckpointProperties2NV -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
24 ((Ptr QueueFamilyCheckpointProperties2NV -> IO b) -> IO b)
-> (Ptr QueueFamilyCheckpointProperties2NV -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr QueueFamilyCheckpointProperties2NV
p -> Ptr QueueFamilyCheckpointProperties2NV
-> QueueFamilyCheckpointProperties2NV -> IO b -> IO b
forall b.
Ptr QueueFamilyCheckpointProperties2NV
-> QueueFamilyCheckpointProperties2NV -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr QueueFamilyCheckpointProperties2NV
p QueueFamilyCheckpointProperties2NV
x (Ptr QueueFamilyCheckpointProperties2NV -> IO b
f Ptr QueueFamilyCheckpointProperties2NV
p)
  pokeCStruct :: forall b.
Ptr QueueFamilyCheckpointProperties2NV
-> QueueFamilyCheckpointProperties2NV -> IO b -> IO b
pokeCStruct Ptr QueueFamilyCheckpointProperties2NV
p QueueFamilyCheckpointProperties2NV{PipelineStageFlags2
checkpointExecutionStageMask :: QueueFamilyCheckpointProperties2NV -> PipelineStageFlags2
checkpointExecutionStageMask :: PipelineStageFlags2
..} IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointProperties2NV
p Ptr QueueFamilyCheckpointProperties2NV -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_QUEUE_FAMILY_CHECKPOINT_PROPERTIES_2_NV)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointProperties2NV
p Ptr QueueFamilyCheckpointProperties2NV
-> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
forall a. Ptr a
nullPtr)
    Ptr PipelineStageFlags2 -> PipelineStageFlags2 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointProperties2NV
p Ptr QueueFamilyCheckpointProperties2NV
-> Int -> Ptr PipelineStageFlags2
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlags2)) (PipelineStageFlags2
checkpointExecutionStageMask)
    IO b
f
  cStructSize :: Int
cStructSize = Int
24
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b. Ptr QueueFamilyCheckpointProperties2NV -> IO b -> IO b
pokeZeroCStruct Ptr QueueFamilyCheckpointProperties2NV
p IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointProperties2NV
p Ptr QueueFamilyCheckpointProperties2NV -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_QUEUE_FAMILY_CHECKPOINT_PROPERTIES_2_NV)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointProperties2NV
p Ptr QueueFamilyCheckpointProperties2NV
-> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
forall a. Ptr a
nullPtr)
    Ptr PipelineStageFlags2 -> PipelineStageFlags2 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr QueueFamilyCheckpointProperties2NV
p Ptr QueueFamilyCheckpointProperties2NV
-> Int -> Ptr PipelineStageFlags2
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlags2)) (PipelineStageFlags2
forall a. Zero a => a
zero)
    IO b
f

instance FromCStruct QueueFamilyCheckpointProperties2NV where
  peekCStruct :: Ptr QueueFamilyCheckpointProperties2NV
-> IO QueueFamilyCheckpointProperties2NV
peekCStruct Ptr QueueFamilyCheckpointProperties2NV
p = do
    checkpointExecutionStageMask <- forall a. Storable a => Ptr a -> IO a
peek @PipelineStageFlags2 ((Ptr QueueFamilyCheckpointProperties2NV
p Ptr QueueFamilyCheckpointProperties2NV
-> Int -> Ptr PipelineStageFlags2
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlags2))
    pure $ QueueFamilyCheckpointProperties2NV
             checkpointExecutionStageMask

instance Storable QueueFamilyCheckpointProperties2NV where
  sizeOf :: QueueFamilyCheckpointProperties2NV -> Int
sizeOf ~QueueFamilyCheckpointProperties2NV
_ = Int
24
  alignment :: QueueFamilyCheckpointProperties2NV -> Int
alignment ~QueueFamilyCheckpointProperties2NV
_ = Int
8
  peek :: Ptr QueueFamilyCheckpointProperties2NV
-> IO QueueFamilyCheckpointProperties2NV
peek = Ptr QueueFamilyCheckpointProperties2NV
-> IO QueueFamilyCheckpointProperties2NV
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
  poke :: Ptr QueueFamilyCheckpointProperties2NV
-> QueueFamilyCheckpointProperties2NV -> IO ()
poke Ptr QueueFamilyCheckpointProperties2NV
ptr QueueFamilyCheckpointProperties2NV
poked = Ptr QueueFamilyCheckpointProperties2NV
-> QueueFamilyCheckpointProperties2NV -> IO () -> IO ()
forall b.
Ptr QueueFamilyCheckpointProperties2NV
-> QueueFamilyCheckpointProperties2NV -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr QueueFamilyCheckpointProperties2NV
ptr QueueFamilyCheckpointProperties2NV
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())

instance Zero QueueFamilyCheckpointProperties2NV where
  zero :: QueueFamilyCheckpointProperties2NV
zero = PipelineStageFlags2 -> QueueFamilyCheckpointProperties2NV
QueueFamilyCheckpointProperties2NV
           PipelineStageFlags2
forall a. Zero a => a
zero


-- | VkCheckpointData2NV - Return structure for command buffer checkpoint
-- data
--
-- == Valid Usage (Implicit)
--
-- The stages at which a checkpoint marker /can/ be executed are
-- implementation-defined and /can/ be queried by calling
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.getPhysicalDeviceQueueFamilyProperties2'.
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_synchronization2 VK_KHR_synchronization2>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_device_diagnostic_checkpoints VK_NV_device_diagnostic_checkpoints>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_3 VK_VERSION_1_3>,
-- 'Vulkan.Core13.Enums.PipelineStageFlags2.PipelineStageFlags2',
-- 'Vulkan.Core10.Enums.StructureType.StructureType',
-- 'getQueueCheckpointData2NV'
data CheckpointData2NV = CheckpointData2NV
  { -- | @stage@ indicates a single pipeline stage which the checkpoint marker
    -- data refers to.
    CheckpointData2NV -> PipelineStageFlags2
stage :: PipelineStageFlags2
  , -- | @pCheckpointMarker@ contains the value of the last checkpoint marker
    -- executed in the stage that @stage@ refers to.
    CheckpointData2NV -> "checkpointMarker" ::: Ptr ()
checkpointMarker :: Ptr ()
  }
  deriving (Typeable)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (CheckpointData2NV)
#endif
deriving instance Show CheckpointData2NV

instance ToCStruct CheckpointData2NV where
  withCStruct :: forall b.
CheckpointData2NV -> (Ptr CheckpointData2NV -> IO b) -> IO b
withCStruct CheckpointData2NV
x Ptr CheckpointData2NV -> IO b
f = Int -> (Ptr CheckpointData2NV -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
32 ((Ptr CheckpointData2NV -> IO b) -> IO b)
-> (Ptr CheckpointData2NV -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr CheckpointData2NV
p -> Ptr CheckpointData2NV -> CheckpointData2NV -> IO b -> IO b
forall b.
Ptr CheckpointData2NV -> CheckpointData2NV -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr CheckpointData2NV
p CheckpointData2NV
x (Ptr CheckpointData2NV -> IO b
f Ptr CheckpointData2NV
p)
  pokeCStruct :: forall b.
Ptr CheckpointData2NV -> CheckpointData2NV -> IO b -> IO b
pokeCStruct Ptr CheckpointData2NV
p CheckpointData2NV{"checkpointMarker" ::: Ptr ()
PipelineStageFlags2
stage :: CheckpointData2NV -> PipelineStageFlags2
checkpointMarker :: CheckpointData2NV -> "checkpointMarker" ::: Ptr ()
stage :: PipelineStageFlags2
checkpointMarker :: "checkpointMarker" ::: Ptr ()
..} IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointData2NV
p Ptr CheckpointData2NV -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_CHECKPOINT_DATA_2_NV)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointData2NV
p Ptr CheckpointData2NV -> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
forall a. Ptr a
nullPtr)
    Ptr PipelineStageFlags2 -> PipelineStageFlags2 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointData2NV
p Ptr CheckpointData2NV -> Int -> Ptr PipelineStageFlags2
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlags2)) (PipelineStageFlags2
stage)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointData2NV
p Ptr CheckpointData2NV -> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
checkpointMarker)
    IO b
f
  cStructSize :: Int
cStructSize = Int
32
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b. Ptr CheckpointData2NV -> IO b -> IO b
pokeZeroCStruct Ptr CheckpointData2NV
p IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointData2NV
p Ptr CheckpointData2NV -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_CHECKPOINT_DATA_2_NV)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointData2NV
p Ptr CheckpointData2NV -> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
forall a. Ptr a
nullPtr)
    Ptr PipelineStageFlags2 -> PipelineStageFlags2 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointData2NV
p Ptr CheckpointData2NV -> Int -> Ptr PipelineStageFlags2
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlags2)) (PipelineStageFlags2
forall a. Zero a => a
zero)
    Ptr ("checkpointMarker" ::: Ptr ())
-> ("checkpointMarker" ::: Ptr ()) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr CheckpointData2NV
p Ptr CheckpointData2NV -> Int -> Ptr ("checkpointMarker" ::: Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr (Ptr ()))) ("checkpointMarker" ::: Ptr ()
forall a. Zero a => a
zero)
    IO b
f

instance FromCStruct CheckpointData2NV where
  peekCStruct :: Ptr CheckpointData2NV -> IO CheckpointData2NV
peekCStruct Ptr CheckpointData2NV
p = do
    stage <- forall a. Storable a => Ptr a -> IO a
peek @PipelineStageFlags2 ((Ptr CheckpointData2NV
p Ptr CheckpointData2NV -> Int -> Ptr PipelineStageFlags2
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineStageFlags2))
    pCheckpointMarker <- peek @(Ptr ()) ((p `plusPtr` 24 :: Ptr (Ptr ())))
    pure $ CheckpointData2NV
             stage pCheckpointMarker

instance Storable CheckpointData2NV where
  sizeOf :: CheckpointData2NV -> Int
sizeOf ~CheckpointData2NV
_ = Int
32
  alignment :: CheckpointData2NV -> Int
alignment ~CheckpointData2NV
_ = Int
8
  peek :: Ptr CheckpointData2NV -> IO CheckpointData2NV
peek = Ptr CheckpointData2NV -> IO CheckpointData2NV
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
  poke :: Ptr CheckpointData2NV -> CheckpointData2NV -> IO ()
poke Ptr CheckpointData2NV
ptr CheckpointData2NV
poked = Ptr CheckpointData2NV -> CheckpointData2NV -> IO () -> IO ()
forall b.
Ptr CheckpointData2NV -> CheckpointData2NV -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr CheckpointData2NV
ptr CheckpointData2NV
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())

instance Zero CheckpointData2NV where
  zero :: CheckpointData2NV
zero = PipelineStageFlags2
-> ("checkpointMarker" ::: Ptr ()) -> CheckpointData2NV
CheckpointData2NV
           PipelineStageFlags2
forall a. Zero a => a
zero
           "checkpointMarker" ::: Ptr ()
forall a. Zero a => a
zero


type NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION = 2

-- No documentation found for TopLevel "VK_NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION"
pattern NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION :: forall a . Integral a => a
pattern $mNV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bNV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION :: forall a. Integral a => a
NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION = 2


type NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME = "VK_NV_device_diagnostic_checkpoints"

-- No documentation found for TopLevel "VK_NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME"
pattern NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $mNV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bNV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME = "VK_NV_device_diagnostic_checkpoints"