{-# language CPP #-}
-- | = Name
--
-- VK_NV_scissor_exclusive - device extension
--
-- == VK_NV_scissor_exclusive
--
-- [__Name String__]
--     @VK_NV_scissor_exclusive@
--
-- [__Extension Type__]
--     Device extension
--
-- [__Registered Extension Number__]
--     206
--
-- [__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>
--
-- [__Contact__]
--
--     -   Pat Brown
--         <https://github.com/KhronosGroup/Vulkan-Docs/issues/new?body=[VK_NV_scissor_exclusive] @nvpbrown%0A*Here describe the issue or question you have about the VK_NV_scissor_exclusive extension* >
--
-- == Other Extension Metadata
--
-- [__Last Modified Date__]
--     2023-01-18
--
-- [__IP Status__]
--     No known IP claims.
--
-- [__Interactions and External Dependencies__]
--     None
--
-- [__Contributors__]
--
--     -   Pat Brown, NVIDIA
--
--     -   Jeff Bolz, NVIDIA
--
--     -   Piers Daniell, NVIDIA
--
--     -   Daniel Koch, NVIDIA
--
-- == Description
--
-- This extension adds support for an exclusive scissor test to Vulkan. The
-- exclusive scissor test behaves like the scissor test, except that the
-- exclusive scissor test fails for pixels inside the corresponding
-- rectangle and passes for pixels outside the rectangle. If the same
-- rectangle is used for both the scissor and exclusive scissor tests, the
-- exclusive scissor test will pass if and only if the scissor test fails.
--
-- Version 2 of this extension introduces
-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_EXCLUSIVE_SCISSOR_ENABLE_NV'
-- and 'cmdSetExclusiveScissorEnableNV'. Applications that use this dynamic
-- state must ensure the implementation advertises at least @specVersion@
-- @2@ of this extension.
--
-- == New Commands
--
-- -   'cmdSetExclusiveScissorEnableNV'
--
-- -   'cmdSetExclusiveScissorNV'
--
-- == New Structures
--
-- -   Extending
--     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2',
--     'Vulkan.Core10.Device.DeviceCreateInfo':
--
--     -   'PhysicalDeviceExclusiveScissorFeaturesNV'
--
-- -   Extending 'Vulkan.Core10.Pipeline.PipelineViewportStateCreateInfo':
--
--     -   'PipelineViewportExclusiveScissorStateCreateInfoNV'
--
-- == New Enum Constants
--
-- -   'NV_SCISSOR_EXCLUSIVE_EXTENSION_NAME'
--
-- -   'NV_SCISSOR_EXCLUSIVE_SPEC_VERSION'
--
-- -   Extending 'Vulkan.Core10.Enums.DynamicState.DynamicState':
--
--     -   'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_EXCLUSIVE_SCISSOR_ENABLE_NV'
--
--     -   'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_EXCLUSIVE_SCISSOR_NV'
--
-- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PHYSICAL_DEVICE_EXCLUSIVE_SCISSOR_FEATURES_NV'
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_VIEWPORT_EXCLUSIVE_SCISSOR_STATE_CREATE_INFO_NV'
--
-- == Issues
--
-- 1) For the scissor test, the viewport state must be created with a
-- matching number of scissor and viewport rectangles. Should we have the
-- same requirement for exclusive scissors?
--
-- __RESOLVED__: For exclusive scissors, we relax this requirement and
-- allow an exclusive scissor rectangle count that is either zero or equal
-- to the number of viewport rectangles. If you pass in an exclusive
-- scissor count of zero, the exclusive scissor test is treated as
-- disabled.
--
-- == Version History
--
-- -   Revision 2, 2023-01-18 (Piers Daniell)
--
--     -   Add dynamic state for explicit exclusive scissor enables
--
-- -   Revision 1, 2018-07-31 (Pat Brown)
--
--     -   Internal revisions
--
-- == See Also
--
-- 'PhysicalDeviceExclusiveScissorFeaturesNV',
-- 'PipelineViewportExclusiveScissorStateCreateInfoNV',
-- 'cmdSetExclusiveScissorEnableNV', 'cmdSetExclusiveScissorNV'
--
-- == Document Notes
--
-- For more information, see the
-- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#VK_NV_scissor_exclusive 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_scissor_exclusive  ( cmdSetExclusiveScissorNV
                                                  , cmdSetExclusiveScissorEnableNV
                                                  , PhysicalDeviceExclusiveScissorFeaturesNV(..)
                                                  , PipelineViewportExclusiveScissorStateCreateInfoNV(..)
                                                  , NV_SCISSOR_EXCLUSIVE_SPEC_VERSION
                                                  , pattern NV_SCISSOR_EXCLUSIVE_SPEC_VERSION
                                                  , NV_SCISSOR_EXCLUSIVE_EXTENSION_NAME
                                                  , pattern NV_SCISSOR_EXCLUSIVE_EXTENSION_NAME
                                                  ) where

import Vulkan.Internal.Utils (traceAroundEvent)
import Control.Monad (unless)
import Control.Monad.IO.Class (liftIO)
import Foreign.Marshal.Alloc (allocaBytes)
import GHC.IO (throwIO)
import GHC.Ptr (nullFunPtr)
import Foreign.Ptr (nullPtr)
import Foreign.Ptr (plusPtr)
import Control.Monad.Trans.Class (lift)
import Control.Monad.Trans.Cont (evalContT)
import Data.Vector (generateM)
import qualified Data.Vector (imapM_)
import qualified Data.Vector (length)
import 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.Core10.FundamentalTypes (bool32ToBool)
import Vulkan.Core10.FundamentalTypes (boolToBool32)
import Vulkan.NamedType ((:::))
import Vulkan.Core10.FundamentalTypes (Bool32)
import Vulkan.Core10.FundamentalTypes (Bool32(..))
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(pVkCmdSetExclusiveScissorEnableNV))
import Vulkan.Dynamic (DeviceCmds(pVkCmdSetExclusiveScissorNV))
import Vulkan.Core10.FundamentalTypes (Rect2D)
import Vulkan.Core10.Enums.StructureType (StructureType)
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_EXCLUSIVE_SCISSOR_FEATURES_NV))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_VIEWPORT_EXCLUSIVE_SCISSOR_STATE_CREATE_INFO_NV))
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
  unsafe
#endif
  "dynamic" mkVkCmdSetExclusiveScissorNV
  :: FunPtr (Ptr CommandBuffer_T -> Word32 -> Word32 -> Ptr Rect2D -> IO ()) -> Ptr CommandBuffer_T -> Word32 -> Word32 -> Ptr Rect2D -> IO ()

-- | vkCmdSetExclusiveScissorNV - Set exclusive scissor rectangles
-- dynamically for a command buffer
--
-- = Description
--
-- The scissor rectangles taken from element i of @pExclusiveScissors@
-- replace the current state for the scissor index @firstExclusiveScissor@
-- + i, for i in [0, @exclusiveScissorCount@).
--
-- This command sets the exclusive scissor rectangles for subsequent
-- drawing commands when drawing using
-- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#shaders-objects shader objects>,
-- or when the graphics pipeline is created with
-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_EXCLUSIVE_SCISSOR_NV'
-- set in
-- 'Vulkan.Core10.Pipeline.PipelineDynamicStateCreateInfo'::@pDynamicStates@.
-- Otherwise, this state is specified by the
-- 'PipelineViewportExclusiveScissorStateCreateInfoNV'::@pExclusiveScissors@
-- values used to create the currently active pipeline.
--
-- == Valid Usage
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-None-02031# The
--     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#features-exclusiveScissor exclusiveScissor>
--     feature /must/ be enabled
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-firstExclusiveScissor-02034# The
--     sum of @firstExclusiveScissor@ and @exclusiveScissorCount@ /must/ be
--     between @1@ and
--     'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxViewports@,
--     inclusive
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-firstExclusiveScissor-02035# If the
--     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#features-multiViewport multiViewport>
--     feature is not enabled, @firstExclusiveScissor@ /must/ be @0@
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-exclusiveScissorCount-02036# If the
--     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#features-multiViewport multiViewport>
--     feature is not enabled, @exclusiveScissorCount@ /must/ be @1@
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-x-02037# The @x@ and @y@ members of
--     @offset@ in each member of @pExclusiveScissors@ /must/ be greater
--     than or equal to @0@
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-offset-02038# Evaluation of
--     (@offset.x@ + @extent.width@) for each member of
--     @pExclusiveScissors@ /must/ not cause a signed integer addition
--     overflow
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-offset-02039# Evaluation of
--     (@offset.y@ + @extent.height@) for each member of
--     @pExclusiveScissors@ /must/ not cause a signed integer addition
--     overflow
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-commandBuffer-parameter#
--     @commandBuffer@ /must/ be a valid
--     'Vulkan.Core10.Handles.CommandBuffer' handle
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-pExclusiveScissors-parameter#
--     @pExclusiveScissors@ /must/ be a valid pointer to an array of
--     @exclusiveScissorCount@ 'Vulkan.Core10.FundamentalTypes.Rect2D'
--     structures
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-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-vkCmdSetExclusiveScissorNV-commandBuffer-cmdpool# The
--     'Vulkan.Core10.Handles.CommandPool' that @commandBuffer@ was
--     allocated from /must/ support graphics operations
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-videocoding# This command /must/
--     only be called outside of a video coding scope
--
-- -   #VUID-vkCmdSetExclusiveScissorNV-exclusiveScissorCount-arraylength#
--     @exclusiveScissorCount@ /must/ be greater than @0@
--
-- == 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                                                                                                              | State                                                                                                                                  |
-- | Secondary                                                                                                                  |                                                                                                                        |                                                                                                                             |                                                                                                                       |                                                                                                                                        |
-- +----------------------------------------------------------------------------------------------------------------------------+------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------+----------------------------------------------------------------------------------------------------------------------------------------+
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_scissor_exclusive VK_NV_scissor_exclusive>,
-- 'Vulkan.Core10.Handles.CommandBuffer',
-- 'Vulkan.Core10.FundamentalTypes.Rect2D'
cmdSetExclusiveScissorNV :: forall io
                          . (MonadIO io)
                         => -- | @commandBuffer@ is the command buffer into which the command will be
                            -- recorded.
                            CommandBuffer
                         -> -- | @firstExclusiveScissor@ is the index of the first exclusive scissor
                            -- rectangle whose state is updated by the command.
                            ("firstExclusiveScissor" ::: Word32)
                         -> -- | @pExclusiveScissors@ is a pointer to an array of
                            -- 'Vulkan.Core10.FundamentalTypes.Rect2D' structures defining exclusive
                            -- scissor rectangles.
                            ("exclusiveScissors" ::: Vector Rect2D)
                         -> io ()
cmdSetExclusiveScissorNV :: forall (io :: * -> *).
MonadIO io =>
CommandBuffer
-> ("firstExclusiveScissor" ::: Word32)
-> ("exclusiveScissors" ::: Vector Rect2D)
-> io ()
cmdSetExclusiveScissorNV CommandBuffer
commandBuffer
                           "firstExclusiveScissor" ::: Word32
firstExclusiveScissor
                           "exclusiveScissors" ::: Vector Rect2D
exclusiveScissors = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT forall a b. (a -> b) -> a -> b
$ do
  let vkCmdSetExclusiveScissorNVPtr :: FunPtr
  (Ptr CommandBuffer_T
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("pExclusiveScissors" ::: Ptr Rect2D)
   -> IO ())
vkCmdSetExclusiveScissorNVPtr = DeviceCmds
-> FunPtr
     (Ptr CommandBuffer_T
      -> ("firstExclusiveScissor" ::: Word32)
      -> ("firstExclusiveScissor" ::: Word32)
      -> ("pExclusiveScissors" ::: Ptr Rect2D)
      -> IO ())
pVkCmdSetExclusiveScissorNV (case CommandBuffer
commandBuffer of CommandBuffer{DeviceCmds
$sel:deviceCmds:CommandBuffer :: CommandBuffer -> DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
  forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
  (Ptr CommandBuffer_T
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("pExclusiveScissors" ::: Ptr Rect2D)
   -> IO ())
vkCmdSetExclusiveScissorNVPtr forall a. Eq a => a -> a -> Bool
/= forall a. FunPtr a
nullFunPtr) forall a b. (a -> b) -> a -> b
$
    forall e a. Exception e => e -> IO a
throwIO forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkCmdSetExclusiveScissorNV is null" forall a. Maybe a
Nothing forall a. Maybe a
Nothing
  let vkCmdSetExclusiveScissorNV' :: Ptr CommandBuffer_T
-> ("firstExclusiveScissor" ::: Word32)
-> ("firstExclusiveScissor" ::: Word32)
-> ("pExclusiveScissors" ::: Ptr Rect2D)
-> IO ()
vkCmdSetExclusiveScissorNV' = FunPtr
  (Ptr CommandBuffer_T
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("pExclusiveScissors" ::: Ptr Rect2D)
   -> IO ())
-> Ptr CommandBuffer_T
-> ("firstExclusiveScissor" ::: Word32)
-> ("firstExclusiveScissor" ::: Word32)
-> ("pExclusiveScissors" ::: Ptr Rect2D)
-> IO ()
mkVkCmdSetExclusiveScissorNV FunPtr
  (Ptr CommandBuffer_T
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("pExclusiveScissors" ::: Ptr Rect2D)
   -> IO ())
vkCmdSetExclusiveScissorNVPtr
  "pExclusiveScissors" ::: Ptr Rect2D
pPExclusiveScissors <- forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT forall a b. (a -> b) -> a -> b
$ forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes @Rect2D ((forall a. Vector a -> Int
Data.Vector.length ("exclusiveScissors" ::: Vector Rect2D
exclusiveScissors)) forall a. Num a => a -> a -> a
* Int
16)
  forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ forall (m :: * -> *) a b.
Monad m =>
(Int -> a -> m b) -> Vector a -> m ()
Data.Vector.imapM_ (\Int
i Rect2D
e -> forall a. Storable a => Ptr a -> a -> IO ()
poke ("pExclusiveScissors" ::: Ptr Rect2D
pPExclusiveScissors forall a b. Ptr a -> Int -> Ptr b
`plusPtr` (Int
16 forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Rect2D) (Rect2D
e)) ("exclusiveScissors" ::: Vector Rect2D
exclusiveScissors)
  forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ forall a. String -> IO a -> IO a
traceAroundEvent String
"vkCmdSetExclusiveScissorNV" (Ptr CommandBuffer_T
-> ("firstExclusiveScissor" ::: Word32)
-> ("firstExclusiveScissor" ::: Word32)
-> ("pExclusiveScissors" ::: Ptr Rect2D)
-> IO ()
vkCmdSetExclusiveScissorNV'
                                                          (CommandBuffer -> Ptr CommandBuffer_T
commandBufferHandle (CommandBuffer
commandBuffer))
                                                          ("firstExclusiveScissor" ::: Word32
firstExclusiveScissor)
                                                          ((forall a b. (Integral a, Num b) => a -> b
fromIntegral (forall a. Vector a -> Int
Data.Vector.length forall a b. (a -> b) -> a -> b
$ ("exclusiveScissors" ::: Vector Rect2D
exclusiveScissors)) :: Word32))
                                                          ("pExclusiveScissors" ::: Ptr Rect2D
pPExclusiveScissors))
  forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a b. (a -> b) -> a -> b
$ ()


foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
  unsafe
#endif
  "dynamic" mkVkCmdSetExclusiveScissorEnableNV
  :: FunPtr (Ptr CommandBuffer_T -> Word32 -> Word32 -> Ptr Bool32 -> IO ()) -> Ptr CommandBuffer_T -> Word32 -> Word32 -> Ptr Bool32 -> IO ()

-- | vkCmdSetExclusiveScissorEnableNV - Dynamically enable each exclusive
-- scissor for a command buffer
--
-- = Description
--
-- The exclusive scissor enables taken from element i of
-- @pExclusiveScissorEnables@ replace the current state for the scissor
-- index @firstExclusiveScissor@ + i, for i in [0,
-- @exclusiveScissorCount@).
--
-- This command sets the exclusive scissor enable for subsequent drawing
-- commands when drawing using
-- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#shaders-objects shader objects>,
-- or when the graphics pipeline is created with
-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_EXCLUSIVE_SCISSOR_ENABLE_NV'
-- set in
-- 'Vulkan.Core10.Pipeline.PipelineDynamicStateCreateInfo'::@pDynamicStates@.
-- Otherwise, this state is implied by the
-- 'PipelineViewportExclusiveScissorStateCreateInfoNV'::@exclusiveScissorCount@
-- value used to create the currently active pipeline, where all
-- @exclusiveScissorCount@ exclusive scissors are implicitly enabled and
-- the remainder up to
-- 'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxViewports@
-- are implicitly disabled.
--
-- == Valid Usage
--
-- -   #VUID-vkCmdSetExclusiveScissorEnableNV-exclusiveScissor-07853# The
--     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#features-exclusiveScissor exclusiveScissor>
--     feature /must/ be enabled, and the implementation /must/ support at
--     least @specVersion@ @2@ of the @VK_NV_scissor_exclusive@ extension
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-vkCmdSetExclusiveScissorEnableNV-commandBuffer-parameter#
--     @commandBuffer@ /must/ be a valid
--     'Vulkan.Core10.Handles.CommandBuffer' handle
--
-- -   #VUID-vkCmdSetExclusiveScissorEnableNV-pExclusiveScissorEnables-parameter#
--     @pExclusiveScissorEnables@ /must/ be a valid pointer to an array of
--     @exclusiveScissorCount@ 'Vulkan.Core10.FundamentalTypes.Bool32'
--     values
--
-- -   #VUID-vkCmdSetExclusiveScissorEnableNV-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-vkCmdSetExclusiveScissorEnableNV-commandBuffer-cmdpool# The
--     'Vulkan.Core10.Handles.CommandPool' that @commandBuffer@ was
--     allocated from /must/ support graphics operations
--
-- -   #VUID-vkCmdSetExclusiveScissorEnableNV-videocoding# This command
--     /must/ only be called outside of a video coding scope
--
-- -   #VUID-vkCmdSetExclusiveScissorEnableNV-exclusiveScissorCount-arraylength#
--     @exclusiveScissorCount@ /must/ be greater than @0@
--
-- == 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                                                                                                              | State                                                                                                                                  |
-- | Secondary                                                                                                                  |                                                                                                                        |                                                                                                                             |                                                                                                                       |                                                                                                                                        |
-- +----------------------------------------------------------------------------------------------------------------------------+------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------------+-----------------------------------------------------------------------------------------------------------------------+----------------------------------------------------------------------------------------------------------------------------------------+
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_scissor_exclusive VK_NV_scissor_exclusive>,
-- 'Vulkan.Core10.FundamentalTypes.Bool32',
-- 'Vulkan.Core10.Handles.CommandBuffer'
cmdSetExclusiveScissorEnableNV :: forall io
                                . (MonadIO io)
                               => -- | @commandBuffer@ is the command buffer into which the command will be
                                  -- recorded.
                                  CommandBuffer
                               -> -- | @firstExclusiveScissor@ is the index of the first exclusive scissor
                                  -- rectangle whose state is updated by the command.
                                  ("firstExclusiveScissor" ::: Word32)
                               -> -- | @pExclusiveScissorEnables@ is a pointer to an array of
                                  -- 'Vulkan.Core10.FundamentalTypes.Bool32' values defining whether the
                                  -- exclusive scissor is enabled.
                                  ("exclusiveScissorEnables" ::: Vector Bool)
                               -> io ()
cmdSetExclusiveScissorEnableNV :: forall (io :: * -> *).
MonadIO io =>
CommandBuffer
-> ("firstExclusiveScissor" ::: Word32)
-> ("exclusiveScissorEnables" ::: Vector Bool)
-> io ()
cmdSetExclusiveScissorEnableNV CommandBuffer
commandBuffer
                                 "firstExclusiveScissor" ::: Word32
firstExclusiveScissor
                                 "exclusiveScissorEnables" ::: Vector Bool
exclusiveScissorEnables = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT forall a b. (a -> b) -> a -> b
$ do
  let vkCmdSetExclusiveScissorEnableNVPtr :: FunPtr
  (Ptr CommandBuffer_T
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("pExclusiveScissorEnables" ::: Ptr Bool32)
   -> IO ())
vkCmdSetExclusiveScissorEnableNVPtr = DeviceCmds
-> FunPtr
     (Ptr CommandBuffer_T
      -> ("firstExclusiveScissor" ::: Word32)
      -> ("firstExclusiveScissor" ::: Word32)
      -> ("pExclusiveScissorEnables" ::: Ptr Bool32)
      -> IO ())
pVkCmdSetExclusiveScissorEnableNV (case CommandBuffer
commandBuffer of CommandBuffer{DeviceCmds
deviceCmds :: DeviceCmds
$sel:deviceCmds:CommandBuffer :: CommandBuffer -> DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
  forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
  (Ptr CommandBuffer_T
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("pExclusiveScissorEnables" ::: Ptr Bool32)
   -> IO ())
vkCmdSetExclusiveScissorEnableNVPtr forall a. Eq a => a -> a -> Bool
/= forall a. FunPtr a
nullFunPtr) forall a b. (a -> b) -> a -> b
$
    forall e a. Exception e => e -> IO a
throwIO forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkCmdSetExclusiveScissorEnableNV is null" forall a. Maybe a
Nothing forall a. Maybe a
Nothing
  let vkCmdSetExclusiveScissorEnableNV' :: Ptr CommandBuffer_T
-> ("firstExclusiveScissor" ::: Word32)
-> ("firstExclusiveScissor" ::: Word32)
-> ("pExclusiveScissorEnables" ::: Ptr Bool32)
-> IO ()
vkCmdSetExclusiveScissorEnableNV' = FunPtr
  (Ptr CommandBuffer_T
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("pExclusiveScissorEnables" ::: Ptr Bool32)
   -> IO ())
-> Ptr CommandBuffer_T
-> ("firstExclusiveScissor" ::: Word32)
-> ("firstExclusiveScissor" ::: Word32)
-> ("pExclusiveScissorEnables" ::: Ptr Bool32)
-> IO ()
mkVkCmdSetExclusiveScissorEnableNV FunPtr
  (Ptr CommandBuffer_T
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("firstExclusiveScissor" ::: Word32)
   -> ("pExclusiveScissorEnables" ::: Ptr Bool32)
   -> IO ())
vkCmdSetExclusiveScissorEnableNVPtr
  "pExclusiveScissorEnables" ::: Ptr Bool32
pPExclusiveScissorEnables <- forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT forall a b. (a -> b) -> a -> b
$ forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes @Bool32 ((forall a. Vector a -> Int
Data.Vector.length ("exclusiveScissorEnables" ::: Vector Bool
exclusiveScissorEnables)) forall a. Num a => a -> a -> a
* Int
4)
  forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ forall (m :: * -> *) a b.
Monad m =>
(Int -> a -> m b) -> Vector a -> m ()
Data.Vector.imapM_ (\Int
i Bool
e -> forall a. Storable a => Ptr a -> a -> IO ()
poke ("pExclusiveScissorEnables" ::: Ptr Bool32
pPExclusiveScissorEnables forall a b. Ptr a -> Int -> Ptr b
`plusPtr` (Int
4 forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Bool32) (Bool -> Bool32
boolToBool32 (Bool
e))) ("exclusiveScissorEnables" ::: Vector Bool
exclusiveScissorEnables)
  forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ forall a. String -> IO a -> IO a
traceAroundEvent String
"vkCmdSetExclusiveScissorEnableNV" (Ptr CommandBuffer_T
-> ("firstExclusiveScissor" ::: Word32)
-> ("firstExclusiveScissor" ::: Word32)
-> ("pExclusiveScissorEnables" ::: Ptr Bool32)
-> IO ()
vkCmdSetExclusiveScissorEnableNV'
                                                                (CommandBuffer -> Ptr CommandBuffer_T
commandBufferHandle (CommandBuffer
commandBuffer))
                                                                ("firstExclusiveScissor" ::: Word32
firstExclusiveScissor)
                                                                ((forall a b. (Integral a, Num b) => a -> b
fromIntegral (forall a. Vector a -> Int
Data.Vector.length forall a b. (a -> b) -> a -> b
$ ("exclusiveScissorEnables" ::: Vector Bool
exclusiveScissorEnables)) :: Word32))
                                                                ("pExclusiveScissorEnables" ::: Ptr Bool32
pPExclusiveScissorEnables))
  forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a b. (a -> b) -> a -> b
$ ()


-- | VkPhysicalDeviceExclusiveScissorFeaturesNV - Structure describing
-- exclusive scissor features that can be supported by an implementation
--
-- = Members
--
-- This structure describes the following feature:
--
-- = Description
--
-- See
-- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#fragops-exclusive-scissor Exclusive Scissor Test>
-- for more information.
--
-- If the 'PhysicalDeviceExclusiveScissorFeaturesNV' structure is included
-- in the @pNext@ chain of the
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2'
-- structure passed to
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.getPhysicalDeviceFeatures2',
-- it is filled in to indicate whether each corresponding feature is
-- supported. 'PhysicalDeviceExclusiveScissorFeaturesNV' /can/ also be used
-- in the @pNext@ chain of 'Vulkan.Core10.Device.DeviceCreateInfo' to
-- selectively enable these features.
--
-- == Valid Usage (Implicit)
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_scissor_exclusive VK_NV_scissor_exclusive>,
-- 'Vulkan.Core10.FundamentalTypes.Bool32',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data PhysicalDeviceExclusiveScissorFeaturesNV = PhysicalDeviceExclusiveScissorFeaturesNV
  { -- | #features-exclusiveScissor# @exclusiveScissor@ indicates that the
    -- implementation supports the exclusive scissor test.
    PhysicalDeviceExclusiveScissorFeaturesNV -> Bool
exclusiveScissor :: Bool }
  deriving (Typeable, PhysicalDeviceExclusiveScissorFeaturesNV
-> PhysicalDeviceExclusiveScissorFeaturesNV -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PhysicalDeviceExclusiveScissorFeaturesNV
-> PhysicalDeviceExclusiveScissorFeaturesNV -> Bool
$c/= :: PhysicalDeviceExclusiveScissorFeaturesNV
-> PhysicalDeviceExclusiveScissorFeaturesNV -> Bool
== :: PhysicalDeviceExclusiveScissorFeaturesNV
-> PhysicalDeviceExclusiveScissorFeaturesNV -> Bool
$c== :: PhysicalDeviceExclusiveScissorFeaturesNV
-> PhysicalDeviceExclusiveScissorFeaturesNV -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceExclusiveScissorFeaturesNV)
#endif
deriving instance Show PhysicalDeviceExclusiveScissorFeaturesNV

instance ToCStruct PhysicalDeviceExclusiveScissorFeaturesNV where
  withCStruct :: forall b.
PhysicalDeviceExclusiveScissorFeaturesNV
-> (Ptr PhysicalDeviceExclusiveScissorFeaturesNV -> IO b) -> IO b
withCStruct PhysicalDeviceExclusiveScissorFeaturesNV
x Ptr PhysicalDeviceExclusiveScissorFeaturesNV -> IO b
f = forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
24 forall a b. (a -> b) -> a -> b
$ \Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p -> forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p PhysicalDeviceExclusiveScissorFeaturesNV
x (Ptr PhysicalDeviceExclusiveScissorFeaturesNV -> IO b
f Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p)
  pokeCStruct :: forall b.
Ptr PhysicalDeviceExclusiveScissorFeaturesNV
-> PhysicalDeviceExclusiveScissorFeaturesNV -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p PhysicalDeviceExclusiveScissorFeaturesNV{Bool
exclusiveScissor :: Bool
$sel:exclusiveScissor:PhysicalDeviceExclusiveScissorFeaturesNV :: PhysicalDeviceExclusiveScissorFeaturesNV -> Bool
..} IO b
f = do
    forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_EXCLUSIVE_SCISSOR_FEATURES_NV)
    forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (forall a. Ptr a
nullPtr)
    forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
exclusiveScissor))
    IO b
f
  cStructSize :: Int
cStructSize = Int
24
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b.
Ptr PhysicalDeviceExclusiveScissorFeaturesNV -> IO b -> IO b
pokeZeroCStruct Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p IO b
f = do
    forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_EXCLUSIVE_SCISSOR_FEATURES_NV)
    forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (forall a. Ptr a
nullPtr)
    forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (forall a. Zero a => a
zero))
    IO b
f

instance FromCStruct PhysicalDeviceExclusiveScissorFeaturesNV where
  peekCStruct :: Ptr PhysicalDeviceExclusiveScissorFeaturesNV
-> IO PhysicalDeviceExclusiveScissorFeaturesNV
peekCStruct Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p = do
    Bool32
exclusiveScissor <- forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDeviceExclusiveScissorFeaturesNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32))
    forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a b. (a -> b) -> a -> b
$ Bool -> PhysicalDeviceExclusiveScissorFeaturesNV
PhysicalDeviceExclusiveScissorFeaturesNV
             (Bool32 -> Bool
bool32ToBool Bool32
exclusiveScissor)

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

instance Zero PhysicalDeviceExclusiveScissorFeaturesNV where
  zero :: PhysicalDeviceExclusiveScissorFeaturesNV
zero = Bool -> PhysicalDeviceExclusiveScissorFeaturesNV
PhysicalDeviceExclusiveScissorFeaturesNV
           forall a. Zero a => a
zero


-- | VkPipelineViewportExclusiveScissorStateCreateInfoNV - Structure
-- specifying parameters controlling exclusive scissor testing
--
-- = Description
--
-- If the
-- 'Vulkan.Core10.Enums.DynamicState.DYNAMIC_STATE_EXCLUSIVE_SCISSOR_NV'
-- dynamic state is enabled for a pipeline, the @pExclusiveScissors@ member
-- is ignored.
--
-- When this structure is included in the @pNext@ chain of
-- 'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo', it defines
-- parameters of the exclusive scissor test. If this structure is not
-- included in the @pNext@ chain, it is equivalent to specifying this
-- structure with a @exclusiveScissorCount@ of @0@.
--
-- == Valid Usage
--
-- -   #VUID-VkPipelineViewportExclusiveScissorStateCreateInfoNV-exclusiveScissorCount-02027#
--     If the
--     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#features-multiViewport multiViewport>
--     feature is not enabled, @exclusiveScissorCount@ /must/ be @0@ or @1@
--
-- -   #VUID-VkPipelineViewportExclusiveScissorStateCreateInfoNV-exclusiveScissorCount-02028#
--     @exclusiveScissorCount@ /must/ be less than or equal to
--     'Vulkan.Core10.DeviceInitialization.PhysicalDeviceLimits'::@maxViewports@
--
-- -   #VUID-VkPipelineViewportExclusiveScissorStateCreateInfoNV-exclusiveScissorCount-02029#
--     @exclusiveScissorCount@ /must/ be @0@ or greater than or equal to
--     the @viewportCount@ member of
--     'Vulkan.Core10.Pipeline.PipelineViewportStateCreateInfo'
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-VkPipelineViewportExclusiveScissorStateCreateInfoNV-sType-sType#
--     @sType@ /must/ be
--     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_VIEWPORT_EXCLUSIVE_SCISSOR_STATE_CREATE_INFO_NV'
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_scissor_exclusive VK_NV_scissor_exclusive>,
-- 'Vulkan.Core10.FundamentalTypes.Rect2D',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data PipelineViewportExclusiveScissorStateCreateInfoNV = PipelineViewportExclusiveScissorStateCreateInfoNV
  { -- | @pExclusiveScissors@ is a pointer to an array of
    -- 'Vulkan.Core10.FundamentalTypes.Rect2D' structures defining exclusive
    -- scissor rectangles.
    PipelineViewportExclusiveScissorStateCreateInfoNV
-> "exclusiveScissors" ::: Vector Rect2D
exclusiveScissors :: Vector Rect2D }
  deriving (Typeable)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PipelineViewportExclusiveScissorStateCreateInfoNV)
#endif
deriving instance Show PipelineViewportExclusiveScissorStateCreateInfoNV

instance ToCStruct PipelineViewportExclusiveScissorStateCreateInfoNV where
  withCStruct :: forall b.
PipelineViewportExclusiveScissorStateCreateInfoNV
-> (Ptr PipelineViewportExclusiveScissorStateCreateInfoNV -> IO b)
-> IO b
withCStruct PipelineViewportExclusiveScissorStateCreateInfoNV
x Ptr PipelineViewportExclusiveScissorStateCreateInfoNV -> IO b
f = forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
32 forall a b. (a -> b) -> a -> b
$ \Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p -> forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p PipelineViewportExclusiveScissorStateCreateInfoNV
x (Ptr PipelineViewportExclusiveScissorStateCreateInfoNV -> IO b
f Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p)
  pokeCStruct :: forall b.
Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
-> PipelineViewportExclusiveScissorStateCreateInfoNV
-> IO b
-> IO b
pokeCStruct Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p PipelineViewportExclusiveScissorStateCreateInfoNV{"exclusiveScissors" ::: Vector Rect2D
exclusiveScissors :: "exclusiveScissors" ::: Vector Rect2D
$sel:exclusiveScissors:PipelineViewportExclusiveScissorStateCreateInfoNV :: PipelineViewportExclusiveScissorStateCreateInfoNV
-> "exclusiveScissors" ::: Vector Rect2D
..} IO b
f = forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT forall a b. (a -> b) -> a -> b
$ do
    forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PIPELINE_VIEWPORT_EXCLUSIVE_SCISSOR_STATE_CREATE_INFO_NV)
    forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (forall a. Ptr a
nullPtr)
    forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Word32)) ((forall a b. (Integral a, Num b) => a -> b
fromIntegral (forall a. Vector a -> Int
Data.Vector.length forall a b. (a -> b) -> a -> b
$ ("exclusiveScissors" ::: Vector Rect2D
exclusiveScissors)) :: Word32))
    "pExclusiveScissors" ::: Ptr Rect2D
pPExclusiveScissors' <- forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT forall a b. (a -> b) -> a -> b
$ forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes @Rect2D ((forall a. Vector a -> Int
Data.Vector.length ("exclusiveScissors" ::: Vector Rect2D
exclusiveScissors)) forall a. Num a => a -> a -> a
* Int
16)
    forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ forall (m :: * -> *) a b.
Monad m =>
(Int -> a -> m b) -> Vector a -> m ()
Data.Vector.imapM_ (\Int
i Rect2D
e -> forall a. Storable a => Ptr a -> a -> IO ()
poke ("pExclusiveScissors" ::: Ptr Rect2D
pPExclusiveScissors' forall a b. Ptr a -> Int -> Ptr b
`plusPtr` (Int
16 forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Rect2D) (Rect2D
e)) ("exclusiveScissors" ::: Vector Rect2D
exclusiveScissors)
    forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr (Ptr Rect2D))) ("pExclusiveScissors" ::: Ptr Rect2D
pPExclusiveScissors')
    forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift forall a b. (a -> b) -> a -> b
$ IO b
f
  cStructSize :: Int
cStructSize = Int
32
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b.
Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
-> IO b -> IO b
pokeZeroCStruct Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p IO b
f = do
    forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PIPELINE_VIEWPORT_EXCLUSIVE_SCISSOR_STATE_CREATE_INFO_NV)
    forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (forall a. Ptr a
nullPtr)
    IO b
f

instance FromCStruct PipelineViewportExclusiveScissorStateCreateInfoNV where
  peekCStruct :: Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
-> IO PipelineViewportExclusiveScissorStateCreateInfoNV
peekCStruct Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p = do
    "firstExclusiveScissor" ::: Word32
exclusiveScissorCount <- forall a. Storable a => Ptr a -> IO a
peek @Word32 ((Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Word32))
    "pExclusiveScissors" ::: Ptr Rect2D
pExclusiveScissors <- forall a. Storable a => Ptr a -> IO a
peek @(Ptr Rect2D) ((Ptr PipelineViewportExclusiveScissorStateCreateInfoNV
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr (Ptr Rect2D)))
    "exclusiveScissors" ::: Vector Rect2D
pExclusiveScissors' <- forall (m :: * -> *) a.
Monad m =>
Int -> (Int -> m a) -> m (Vector a)
generateM (forall a b. (Integral a, Num b) => a -> b
fromIntegral "firstExclusiveScissor" ::: Word32
exclusiveScissorCount) (\Int
i -> forall a. FromCStruct a => Ptr a -> IO a
peekCStruct @Rect2D (("pExclusiveScissors" ::: Ptr Rect2D
pExclusiveScissors forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
16 forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Rect2D)))
    forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a b. (a -> b) -> a -> b
$ ("exclusiveScissors" ::: Vector Rect2D)
-> PipelineViewportExclusiveScissorStateCreateInfoNV
PipelineViewportExclusiveScissorStateCreateInfoNV
             "exclusiveScissors" ::: Vector Rect2D
pExclusiveScissors'

instance Zero PipelineViewportExclusiveScissorStateCreateInfoNV where
  zero :: PipelineViewportExclusiveScissorStateCreateInfoNV
zero = ("exclusiveScissors" ::: Vector Rect2D)
-> PipelineViewportExclusiveScissorStateCreateInfoNV
PipelineViewportExclusiveScissorStateCreateInfoNV
           forall a. Monoid a => a
mempty


type NV_SCISSOR_EXCLUSIVE_SPEC_VERSION = 2

-- No documentation found for TopLevel "VK_NV_SCISSOR_EXCLUSIVE_SPEC_VERSION"
pattern NV_SCISSOR_EXCLUSIVE_SPEC_VERSION :: forall a . Integral a => a
pattern $bNV_SCISSOR_EXCLUSIVE_SPEC_VERSION :: forall a. Integral a => a
$mNV_SCISSOR_EXCLUSIVE_SPEC_VERSION :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
NV_SCISSOR_EXCLUSIVE_SPEC_VERSION = 2


type NV_SCISSOR_EXCLUSIVE_EXTENSION_NAME = "VK_NV_scissor_exclusive"

-- No documentation found for TopLevel "VK_NV_SCISSOR_EXCLUSIVE_EXTENSION_NAME"
pattern NV_SCISSOR_EXCLUSIVE_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $bNV_SCISSOR_EXCLUSIVE_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
$mNV_SCISSOR_EXCLUSIVE_EXTENSION_NAME :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
NV_SCISSOR_EXCLUSIVE_EXTENSION_NAME = "VK_NV_scissor_exclusive"