{-# language CPP #-}
-- | = Name
--
-- VK_KHR_swapchain_maintenance1 - device extension
--
-- = VK_KHR_swapchain_maintenance1
--
-- [__Name String__]
--     @VK_KHR_swapchain_maintenance1@
--
-- [__Extension Type__]
--     Device extension
--
-- [__Registered Extension Number__]
--     488
--
-- [__Revision__]
--     1
--
-- [__Ratification Status__]
--     Ratified
--
-- [__Extension and Version Dependencies__]
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_swapchain VK_KHR_swapchain>
--     and
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_surface_maintenance1 VK_KHR_surface_maintenance1>
--     and
--         
--     <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>
--
-- [__Contact__]
--
--     -   Shahbaz Youssefi
--         <https://github.com/KhronosGroup/Vulkan-Docs/issues/new?body=[VK_KHR_swapchain_maintenance1] @syoussefi%0A*Here describe the issue or question you have about the VK_KHR_swapchain_maintenance1 extension* >
--
-- [__Extension Proposal__]
--     <https://github.com/KhronosGroup/Vulkan-Docs/tree/main/proposals/VK_KHR_swapchain_maintenance1.adoc VK_KHR_swapchain_maintenance1>
--
-- == Other Extension Metadata
--
-- [__Last Modified Date__]
--     2025-03-31
--
-- [__Contributors__]
--
--     -   James Jones, NVIDIA
--
--     -   Jeff Juliano, NVIDIA
--
--     -   Shahbaz Youssefi, Google
--
--     -   Chris Forbes, Google
--
--     -   Ian Elliott, Google
--
--     -   Yiwei Zhang, Google
--
--     -   Charlie Lao, Google
--
--     -   Lina Versace, Google
--
--     -   Ralph Potter, Samsung
--
--     -   Igor Nazarov, Samsung
--
--     -   Hyunchang Kim, Samsung
--
--     -   Suenghwan Lee, Samsung
--
--     -   Munseong Kang, Samsung
--
--     -   Joonyong Park, Samsung
--
--     -   Hans-Kristian Arntzen, Valve
--
--     -   Lisa Wu, Arm
--
--     -   Daniel Stone, Collabora
--
--     -   Pan Gao, Huawei
--
-- == Description
--
-- This extension is based off the @VK_EXT_swapchain_maintenance1@
-- extension.
--
-- @VK_KHR_swapchain_maintenance1@ adds a collection of window system
-- integration features that were intentionally left out or overlooked in
-- the original @VK_KHR_swapchain@ extension.
--
-- The new features are as follows:
--
-- -   Specify a fence that will be signaled when the resources associated
--     with a present operation /can/ be safely destroyed.
--
-- -   Allow changing the present mode a swapchain is using at per-present
--     granularity.
--
-- -   Allow applications to define the behavior when presenting a
--     swapchain image to a surface with different dimensions than the
--     image. Using this feature /may/ allow implementations to avoid
--     returning 'Vulkan.Core10.Enums.Result.ERROR_OUT_OF_DATE_KHR' in this
--     situation.
--
-- -   Allow applications to defer swapchain memory allocation for improved
--     startup time and memory footprint.
--
-- -   Allow applications to release previously acquired images without
--     presenting them.
--
-- == New Commands
--
-- -   'releaseSwapchainImagesKHR'
--
-- == New Structures
--
-- -   'ReleaseSwapchainImagesInfoKHR'
--
-- -   Extending
--     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2',
--     'Vulkan.Core10.Device.DeviceCreateInfo':
--
--     -   'PhysicalDeviceSwapchainMaintenance1FeaturesKHR'
--
-- -   Extending 'Vulkan.Extensions.VK_KHR_swapchain.PresentInfoKHR':
--
--     -   'SwapchainPresentFenceInfoKHR'
--
--     -   'SwapchainPresentModeInfoKHR'
--
-- -   Extending
--     'Vulkan.Extensions.VK_KHR_swapchain.SwapchainCreateInfoKHR':
--
--     -   'SwapchainPresentModesCreateInfoKHR'
--
--     -   'SwapchainPresentScalingCreateInfoKHR'
--
-- == New Enum Constants
--
-- -   'KHR_SWAPCHAIN_MAINTENANCE_1_EXTENSION_NAME'
--
-- -   'KHR_SWAPCHAIN_MAINTENANCE_1_SPEC_VERSION'
--
-- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PHYSICAL_DEVICE_SWAPCHAIN_MAINTENANCE_1_FEATURES_KHR'
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_RELEASE_SWAPCHAIN_IMAGES_INFO_KHR'
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_SWAPCHAIN_PRESENT_FENCE_INFO_KHR'
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_SWAPCHAIN_PRESENT_MODES_CREATE_INFO_KHR'
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_SWAPCHAIN_PRESENT_MODE_INFO_KHR'
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_SWAPCHAIN_PRESENT_SCALING_CREATE_INFO_KHR'
--
-- -   Extending
--     'Vulkan.Extensions.VK_KHR_swapchain.SwapchainCreateFlagBitsKHR':
--
--     -   'Vulkan.Extensions.VK_KHR_swapchain.SWAPCHAIN_CREATE_DEFERRED_MEMORY_ALLOCATION_BIT_KHR'
--
-- == Version History
--
-- -   Revision 1, 2025-03-31 (Shahbaz Youssefi)
--
--     -   Based on VK_EXT_swapchain_maintenance1
--
-- == 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_KHR_swapchain_maintenance1 Vulkan Specification>.
--
-- This page is a generated document. Fixes and changes should be made to
-- the generator scripts, not directly.
module Vulkan.Extensions.VK_KHR_swapchain_maintenance1  ( releaseSwapchainImagesKHR
                                                        , PhysicalDeviceSwapchainMaintenance1FeaturesKHR(..)
                                                        , SwapchainPresentFenceInfoKHR(..)
                                                        , SwapchainPresentModesCreateInfoKHR(..)
                                                        , SwapchainPresentModeInfoKHR(..)
                                                        , SwapchainPresentScalingCreateInfoKHR(..)
                                                        , ReleaseSwapchainImagesInfoKHR(..)
                                                        , KHR_SWAPCHAIN_MAINTENANCE_1_SPEC_VERSION
                                                        , pattern KHR_SWAPCHAIN_MAINTENANCE_1_SPEC_VERSION
                                                        , KHR_SWAPCHAIN_MAINTENANCE_1_EXTENSION_NAME
                                                        , pattern KHR_SWAPCHAIN_MAINTENANCE_1_EXTENSION_NAME
                                                        , SwapchainKHR(..)
                                                        , PresentModeKHR(..)
                                                        , SwapchainCreateFlagBitsKHR(..)
                                                        , SwapchainCreateFlagsKHR
                                                        , PresentScalingFlagBitsKHR(..)
                                                        , PresentScalingFlagsKHR
                                                        , PresentGravityFlagBitsKHR(..)
                                                        , PresentGravityFlagsKHR
                                                        ) where

import Vulkan.Internal.Utils (traceAroundEvent)
import Control.Monad (unless)
import Control.Monad.IO.Class (liftIO)
import Foreign.Marshal.Alloc (allocaBytes)
import GHC.Base (when)
import GHC.IO (throwIO)
import GHC.Ptr (nullFunPtr)
import Foreign.Ptr (nullPtr)
import Foreign.Ptr (plusPtr)
import 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.Handles (Device)
import Vulkan.Core10.Handles (Device(..))
import Vulkan.Core10.Handles (Device(Device))
import Vulkan.Dynamic (DeviceCmds(pVkReleaseSwapchainImagesKHR))
import Vulkan.Core10.Handles (Device_T)
import Vulkan.Core10.Handles (Fence)
import Vulkan.Extensions.VK_KHR_surface_maintenance1 (PresentGravityFlagsKHR)
import Vulkan.Extensions.VK_KHR_surface (PresentModeKHR)
import Vulkan.Extensions.VK_KHR_surface_maintenance1 (PresentScalingFlagsKHR)
import Vulkan.Core10.Enums.Result (Result)
import Vulkan.Core10.Enums.Result (Result(..))
import Vulkan.Core10.Enums.StructureType (StructureType)
import Vulkan.Extensions.Handles (SwapchainKHR)
import Vulkan.Exception (VulkanException(..))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_SWAPCHAIN_MAINTENANCE_1_FEATURES_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_RELEASE_SWAPCHAIN_IMAGES_INFO_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_SWAPCHAIN_PRESENT_FENCE_INFO_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_SWAPCHAIN_PRESENT_MODES_CREATE_INFO_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_SWAPCHAIN_PRESENT_MODE_INFO_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_SWAPCHAIN_PRESENT_SCALING_CREATE_INFO_KHR))
import Vulkan.Core10.Enums.Result (Result(SUCCESS))
import Vulkan.Extensions.VK_KHR_surface_maintenance1 (PresentGravityFlagBitsKHR(..))
import Vulkan.Extensions.VK_KHR_surface_maintenance1 (PresentGravityFlagsKHR)
import Vulkan.Extensions.VK_KHR_surface (PresentModeKHR(..))
import Vulkan.Extensions.VK_KHR_surface_maintenance1 (PresentScalingFlagBitsKHR(..))
import Vulkan.Extensions.VK_KHR_surface_maintenance1 (PresentScalingFlagsKHR)
import Vulkan.Extensions.VK_KHR_swapchain (SwapchainCreateFlagBitsKHR(..))
import Vulkan.Extensions.VK_KHR_swapchain (SwapchainCreateFlagsKHR)
import Vulkan.Extensions.Handles (SwapchainKHR(..))
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
  unsafe
#endif
  "dynamic" mkVkReleaseSwapchainImagesKHR
  :: FunPtr (Ptr Device_T -> Ptr ReleaseSwapchainImagesInfoKHR -> IO Result) -> Ptr Device_T -> Ptr ReleaseSwapchainImagesInfoKHR -> IO Result

-- | vkReleaseSwapchainImagesKHR - Release previously acquired but unused
-- images
--
-- = Description
--
-- Only images that are not in use by the device /can/ be released.
--
-- Releasing images is a read-only operation that will not affect the
-- content of the released images. Upon reacquiring the image, the image
-- contents and its layout will be the same as they were prior to releasing
-- it. However, if a mechanism other than Vulkan is used to modify the
-- platform window associated with the swapchain, the content of all
-- presentable images in the swapchain becomes undefined.
--
-- This functionality is useful during swapchain recreation, where acquired
-- images from the old swapchain can be released instead of presented.
--
-- == Valid Usage
--
-- -   #VUID-vkReleaseSwapchainImagesKHR-swapchainMaintenance1-10159#
--     Feature
--     <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#features-swapchainMaintenance1 swapchainMaintenance1>
--     /must/ be enabled
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-vkReleaseSwapchainImagesKHR-device-parameter# @device@ /must/
--     be a valid 'Vulkan.Core10.Handles.Device' handle
--
-- -   #VUID-vkReleaseSwapchainImagesKHR-pReleaseInfo-parameter#
--     @pReleaseInfo@ /must/ be a valid pointer to a valid
--     'ReleaseSwapchainImagesInfoKHR' structure
--
-- == Return Codes
--
-- [<https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-successcodes Success>]
--
--     -   'Vulkan.Core10.Enums.Result.SUCCESS'
--
-- [<https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-errorcodes Failure>]
--
--     -   'Vulkan.Core10.Enums.Result.ERROR_SURFACE_LOST_KHR'
--
--     -   'Vulkan.Core10.Enums.Result.ERROR_UNKNOWN'
--
--     -   'Vulkan.Core10.Enums.Result.ERROR_VALIDATION_FAILED'
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_swapchain_maintenance1 VK_EXT_swapchain_maintenance1>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_swapchain_maintenance1 VK_KHR_swapchain_maintenance1>,
-- 'Vulkan.Core10.Handles.Device', 'ReleaseSwapchainImagesInfoKHR'
releaseSwapchainImagesKHR :: forall io
                           . (MonadIO io)
                          => -- | @device@ is the device associated with
                             -- 'ReleaseSwapchainImagesInfoKHR'::@swapchain@.
                             Device
                          -> -- | @pReleaseInfo@ is a pointer to a 'ReleaseSwapchainImagesInfoKHR'
                             -- structure containing parameters of the release.
                             ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
                          -> io ()
releaseSwapchainImagesKHR :: forall (io :: * -> *).
MonadIO io =>
Device
-> ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> io ()
releaseSwapchainImagesKHR Device
device "releaseInfo" ::: ReleaseSwapchainImagesInfoKHR
releaseInfo = IO () -> io ()
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> io ())
-> (ContT () IO () -> IO ()) -> ContT () IO () -> io ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT () IO () -> IO ()
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT () IO () -> io ()) -> ContT () IO () -> io ()
forall a b. (a -> b) -> a -> b
$ do
  let vkReleaseSwapchainImagesKHRPtr :: FunPtr
  (Ptr Device_T
   -> Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
   -> IO Result)
vkReleaseSwapchainImagesKHRPtr = DeviceCmds
-> FunPtr
     (Ptr Device_T
      -> Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
      -> IO Result)
pVkReleaseSwapchainImagesKHR (case Device
device of Device{DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds :: Device -> DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
  IO () -> ContT () IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT () m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT () IO ()) -> IO () -> ContT () IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
  (Ptr Device_T
   -> Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
   -> IO Result)
vkReleaseSwapchainImagesKHRPtr FunPtr
  (Ptr Device_T
   -> Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
   -> IO Result)
-> FunPtr
     (Ptr Device_T
      -> Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
      -> IO Result)
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
  (Ptr Device_T
   -> Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
   -> IO Result)
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 vkReleaseSwapchainImagesKHR is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
  let vkReleaseSwapchainImagesKHR' :: Ptr Device_T
-> Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> IO Result
vkReleaseSwapchainImagesKHR' = FunPtr
  (Ptr Device_T
   -> Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
   -> IO Result)
-> Ptr Device_T
-> Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> IO Result
mkVkReleaseSwapchainImagesKHR FunPtr
  (Ptr Device_T
   -> Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
   -> IO Result)
vkReleaseSwapchainImagesKHRPtr
  pReleaseInfo <- ((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> IO ())
 -> IO ())
-> ContT
     () IO (Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR))
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> IO ())
  -> IO ())
 -> ContT
      () IO (Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)))
-> ((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
     -> IO ())
    -> IO ())
-> ContT
     () IO (Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR))
forall a b. (a -> b) -> a -> b
$ ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> (Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> IO ())
-> IO ()
forall a b. ToCStruct a => a -> (Ptr a -> IO b) -> IO b
forall b.
("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> (Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> IO b)
-> IO b
withCStruct ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR
releaseInfo)
  r <- lift $ traceAroundEvent "vkReleaseSwapchainImagesKHR" (vkReleaseSwapchainImagesKHR'
                                                                (deviceHandle (device))
                                                                pReleaseInfo)
  lift $ when (r < SUCCESS) (throwIO (VulkanException r))


-- | VkPhysicalDeviceSwapchainMaintenance1FeaturesKHR - Structure describing
-- whether implementation supports swapchain maintenance1 functionality
--
-- = Members
--
-- This structure describes the following feature:
--
-- = Description
--
-- If the 'PhysicalDeviceSwapchainMaintenance1FeaturesKHR' 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. If the application wishes to use a
-- 'Vulkan.Core10.Handles.Device' with any features described by
-- 'PhysicalDeviceSwapchainMaintenance1FeaturesKHR', it /must/ add an
-- instance of the structure, with the desired feature members set to
-- 'Vulkan.Core10.FundamentalTypes.TRUE', to the @pNext@ chain of
-- 'Vulkan.Core10.Device.DeviceCreateInfo' when creating the
-- 'Vulkan.Core10.Handles.Device'.
--
-- == Valid Usage (Implicit)
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_swapchain_maintenance1 VK_EXT_swapchain_maintenance1>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_swapchain_maintenance1 VK_KHR_swapchain_maintenance1>,
-- 'Vulkan.Core10.FundamentalTypes.Bool32',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data PhysicalDeviceSwapchainMaintenance1FeaturesKHR = PhysicalDeviceSwapchainMaintenance1FeaturesKHR
  { -- | #features-swapchainMaintenance1# @swapchainMaintenance1@ indicates that
    -- the implementation supports the following:
    --
    -- -   'SwapchainPresentFenceInfoKHR', specifying a fence that is signaled
    --     when the resources associated with a present operation /can/ be
    --     safely destroyed.
    --
    -- -   'SwapchainPresentModesCreateInfoKHR' and
    --     'SwapchainPresentModeInfoKHR', allowing the swapchain to switch
    --     present modes without a need for recreation.
    --
    -- -   'SwapchainPresentScalingCreateInfoKHR', specifying the scaling
    --     behavior of the swapchain in presence of window resizing.
    --
    -- -   The
    --     'Vulkan.Extensions.VK_KHR_swapchain.SWAPCHAIN_CREATE_DEFERRED_MEMORY_ALLOCATION_BIT_KHR'
    --     flag, allowing the implementation to defer the allocation of
    --     swapchain image memory until first acquisition.
    --
    -- -   'releaseSwapchainImagesKHR', allowing acquired swapchain images to
    --     be released without presenting them.
    PhysicalDeviceSwapchainMaintenance1FeaturesKHR -> Bool
swapchainMaintenance1 :: Bool }
  deriving (Typeable, PhysicalDeviceSwapchainMaintenance1FeaturesKHR
-> PhysicalDeviceSwapchainMaintenance1FeaturesKHR -> Bool
(PhysicalDeviceSwapchainMaintenance1FeaturesKHR
 -> PhysicalDeviceSwapchainMaintenance1FeaturesKHR -> Bool)
-> (PhysicalDeviceSwapchainMaintenance1FeaturesKHR
    -> PhysicalDeviceSwapchainMaintenance1FeaturesKHR -> Bool)
-> Eq PhysicalDeviceSwapchainMaintenance1FeaturesKHR
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PhysicalDeviceSwapchainMaintenance1FeaturesKHR
-> PhysicalDeviceSwapchainMaintenance1FeaturesKHR -> Bool
== :: PhysicalDeviceSwapchainMaintenance1FeaturesKHR
-> PhysicalDeviceSwapchainMaintenance1FeaturesKHR -> Bool
$c/= :: PhysicalDeviceSwapchainMaintenance1FeaturesKHR
-> PhysicalDeviceSwapchainMaintenance1FeaturesKHR -> Bool
/= :: PhysicalDeviceSwapchainMaintenance1FeaturesKHR
-> PhysicalDeviceSwapchainMaintenance1FeaturesKHR -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceSwapchainMaintenance1FeaturesKHR)
#endif
deriving instance Show PhysicalDeviceSwapchainMaintenance1FeaturesKHR

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

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

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

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


-- | VkSwapchainPresentFenceInfoKHR - Fences associated with a
-- vkQueuePresentKHR operation
--
-- = Description
--
-- The set of /queue operations/ defined by queuing an image for
-- presentation, as well as operations performed by the presentation
-- engine, access the payloads of objects associated with the presentation
-- operation. The associated objects include:
--
-- -   The swapchain image, its implicitly bound memory, and any other
--     resources bound to that memory.
--
-- -   The wait semaphores specified when queuing the image for
--     presentation.
--
-- The application /can/ provide a fence that the implementation will
-- signal after all such queue operations have completed, and after the
-- presentation engine has taken a reference to the payloads of all objects
-- provided in 'Vulkan.Extensions.VK_KHR_swapchain.PresentInfoKHR' that the
-- presentation engine accesses as part of the present operation. The fence
-- /may/ not wait for the present operation to complete. For all binary
-- wait semaphores imported by the presentation engine using the equivalent
-- of reference transference, as described in
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#synchronization-semaphores-importing Importing Semaphore Payloads>,
-- this fence /must/ not signal until all such semaphore payloads have been
-- reset by the presentation engine.
--
-- The application /can/ destroy the wait semaphores associated with a
-- given presentation operation when at least one of the associated fences
-- is signaled, and /can/ destroy the swapchain when the fences associated
-- with all past presentation requests referring to that swapchain have
-- signaled.
--
-- Fences associated with presentations to the same swapchain on the same
-- 'Vulkan.Core10.Handles.Queue' /must/ be signaled in the same order as
-- the present operations.
--
-- To specify a fence for each swapchain in a present operation, include
-- the 'SwapchainPresentFenceInfoKHR' structure in the @pNext@ chain of the
-- 'Vulkan.Extensions.VK_KHR_swapchain.PresentInfoKHR' structure.
--
-- == Valid Usage
--
-- -   #VUID-VkSwapchainPresentFenceInfoKHR-swapchainCount-07757#
--     @swapchainCount@ /must/ be equal to
--     'Vulkan.Extensions.VK_KHR_swapchain.PresentInfoKHR'::@swapchainCount@
--
-- -   #VUID-VkSwapchainPresentFenceInfoKHR-pFences-07758# Each element of
--     @pFences@ that is not 'Vulkan.Core10.APIConstants.NULL_HANDLE'
--     /must/ be unsignaled
--
-- -   #VUID-VkSwapchainPresentFenceInfoKHR-pFences-07759# Each element of
--     @pFences@ that is not 'Vulkan.Core10.APIConstants.NULL_HANDLE'
--     /must/ not be associated with any other queue command that has not
--     yet completed execution on that queue
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-VkSwapchainPresentFenceInfoKHR-sType-sType# @sType@ /must/ be
--     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_SWAPCHAIN_PRESENT_FENCE_INFO_KHR'
--
-- -   #VUID-VkSwapchainPresentFenceInfoKHR-pFences-parameter# @pFences@
--     /must/ be a valid pointer to an array of @swapchainCount@ valid or
--     'Vulkan.Core10.APIConstants.NULL_HANDLE'
--     'Vulkan.Core10.Handles.Fence' handles
--
-- -   #VUID-VkSwapchainPresentFenceInfoKHR-swapchainCount-arraylength#
--     @swapchainCount@ /must/ be greater than @0@
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_swapchain_maintenance1 VK_EXT_swapchain_maintenance1>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_swapchain_maintenance1 VK_KHR_swapchain_maintenance1>,
-- 'Vulkan.Core10.Handles.Fence',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data SwapchainPresentFenceInfoKHR = SwapchainPresentFenceInfoKHR
  { -- | @pFences@ is a list of fences with @swapchainCount@ entries. Each entry
    -- /must/ be 'Vulkan.Core10.APIConstants.NULL_HANDLE' or the handle of a
    -- fence to signal when the relevant operations on the associated swapchain
    -- have completed.
    SwapchainPresentFenceInfoKHR -> Vector Fence
fences :: Vector Fence }
  deriving (Typeable)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (SwapchainPresentFenceInfoKHR)
#endif
deriving instance Show SwapchainPresentFenceInfoKHR

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

instance FromCStruct SwapchainPresentFenceInfoKHR where
  peekCStruct :: Ptr SwapchainPresentFenceInfoKHR -> IO SwapchainPresentFenceInfoKHR
peekCStruct Ptr SwapchainPresentFenceInfoKHR
p = do
    swapchainCount <- forall a. Storable a => Ptr a -> IO a
peek @Word32 ((Ptr SwapchainPresentFenceInfoKHR
p Ptr SwapchainPresentFenceInfoKHR -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Word32))
    pFences <- peek @(Ptr Fence) ((p `plusPtr` 24 :: Ptr (Ptr Fence)))
    pFences' <- generateM (fromIntegral swapchainCount) (\Int
i -> forall a. Storable a => Ptr a -> IO a
peek @Fence ((Ptr Fence
pFences Ptr Fence -> Int -> Ptr Fence
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
8 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Fence)))
    pure $ SwapchainPresentFenceInfoKHR
             pFences'

instance Zero SwapchainPresentFenceInfoKHR where
  zero :: SwapchainPresentFenceInfoKHR
zero = Vector Fence -> SwapchainPresentFenceInfoKHR
SwapchainPresentFenceInfoKHR
           Vector Fence
forall a. Monoid a => a
mempty


-- | VkSwapchainPresentModesCreateInfoKHR - All presentation modes usable by
-- the swapchain
--
-- == Valid Usage
--
-- -   #VUID-VkSwapchainPresentModesCreateInfoKHR-None-07762# Each entry in
--     pPresentModes /must/ be one of the
--     'Vulkan.Extensions.VK_KHR_surface.PresentModeKHR' values returned by
--     'Vulkan.Extensions.VK_KHR_surface.getPhysicalDeviceSurfacePresentModesKHR'
--     for the surface
--
-- -   #VUID-VkSwapchainPresentModesCreateInfoKHR-presentModeFifoLatestReady-10160#
--     If the
--     <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#features-presentModeFifoLatestReady presentModeFifoLatestReady>
--     feature is not enabled, pPresentModes /must/ not contain
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_LATEST_READY_KHR'
--
-- -   #VUID-VkSwapchainPresentModesCreateInfoKHR-pPresentModes-07763# The
--     entries in pPresentModes /must/ be a subset of the present modes
--     returned in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentModeCompatibilityKHR'::@pPresentModes@,
--     given
--     'Vulkan.Extensions.VK_KHR_swapchain.SwapchainCreateInfoKHR'::@presentMode@
--     in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentModeKHR'
--
-- -   #VUID-VkSwapchainPresentModesCreateInfoKHR-presentMode-07764#
--     'Vulkan.Extensions.VK_KHR_swapchain.SwapchainCreateInfoKHR'::@presentMode@
--     /must/ be included in @pPresentModes@
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-VkSwapchainPresentModesCreateInfoKHR-sType-sType# @sType@
--     /must/ be
--     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_SWAPCHAIN_PRESENT_MODES_CREATE_INFO_KHR'
--
-- -   #VUID-VkSwapchainPresentModesCreateInfoKHR-pPresentModes-parameter#
--     @pPresentModes@ /must/ be a valid pointer to an array of
--     @presentModeCount@ valid
--     'Vulkan.Extensions.VK_KHR_surface.PresentModeKHR' values
--
-- -   #VUID-VkSwapchainPresentModesCreateInfoKHR-presentModeCount-arraylength#
--     @presentModeCount@ /must/ be greater than @0@
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_swapchain_maintenance1 VK_EXT_swapchain_maintenance1>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_swapchain_maintenance1 VK_KHR_swapchain_maintenance1>,
-- 'Vulkan.Extensions.VK_KHR_surface.PresentModeKHR',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data SwapchainPresentModesCreateInfoKHR = SwapchainPresentModesCreateInfoKHR
  { -- | @pPresentModes@ is a list of presentation modes with @presentModeCount@
    -- entries
    SwapchainPresentModesCreateInfoKHR -> Vector PresentModeKHR
presentModes :: Vector PresentModeKHR }
  deriving (Typeable)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (SwapchainPresentModesCreateInfoKHR)
#endif
deriving instance Show SwapchainPresentModesCreateInfoKHR

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

instance FromCStruct SwapchainPresentModesCreateInfoKHR where
  peekCStruct :: Ptr SwapchainPresentModesCreateInfoKHR
-> IO SwapchainPresentModesCreateInfoKHR
peekCStruct Ptr SwapchainPresentModesCreateInfoKHR
p = do
    presentModeCount <- forall a. Storable a => Ptr a -> IO a
peek @Word32 ((Ptr SwapchainPresentModesCreateInfoKHR
p Ptr SwapchainPresentModesCreateInfoKHR -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Word32))
    pPresentModes <- peek @(Ptr PresentModeKHR) ((p `plusPtr` 24 :: Ptr (Ptr PresentModeKHR)))
    pPresentModes' <- generateM (fromIntegral presentModeCount) (\Int
i -> forall a. Storable a => Ptr a -> IO a
peek @PresentModeKHR ((Ptr PresentModeKHR
pPresentModes Ptr PresentModeKHR -> Int -> Ptr PresentModeKHR
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr PresentModeKHR)))
    pure $ SwapchainPresentModesCreateInfoKHR
             pPresentModes'

instance Zero SwapchainPresentModesCreateInfoKHR where
  zero :: SwapchainPresentModesCreateInfoKHR
zero = Vector PresentModeKHR -> SwapchainPresentModesCreateInfoKHR
SwapchainPresentModesCreateInfoKHR
           Vector PresentModeKHR
forall a. Monoid a => a
mempty


-- | VkSwapchainPresentModeInfoKHR - Presentation modes for a
-- vkQueuePresentKHR operation
--
-- = Description
--
-- If the @pNext@ chain of
-- 'Vulkan.Extensions.VK_KHR_swapchain.PresentInfoKHR' includes a
-- 'SwapchainPresentModeInfoKHR' structure, then that structure defines the
-- presentation modes used for the current and subsequent presentation
-- operations.
--
-- When the application changes present modes with
-- 'SwapchainPresentModeInfoKHR', images that have already been queued for
-- presentation will continue to be presented according to the previous
-- present mode. The current image being queued for presentation and
-- subsequent images will be presented according to the new present mode.
-- The behavior during the transition between the two modes is defined as
-- follows.
--
-- -   Transition from
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_SHARED_CONTINUOUS_REFRESH_KHR'
--     to
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_SHARED_DEMAND_REFRESH_KHR':
--     the presentation engine updates the shared presentable image
--     according to the behavior of
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_SHARED_DEMAND_REFRESH_KHR'.
--
-- -   Transition from
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_SHARED_DEMAND_REFRESH_KHR'
--     to
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_SHARED_CONTINUOUS_REFRESH_KHR':
--     the presentation engine /may/ update the shared presentable image or
--     defer that to its regular refresh cycle, according to the behavior
--     of
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_SHARED_CONTINUOUS_REFRESH_KHR'.
--
-- -   Transition between
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_KHR' and
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_RELAXED_KHR':
--     Images continue to be appended to the same FIFO queue, and the
--     behavior with respect to waiting for vertical blanking period will
--     follow the new mode for current and subsequent images.
--
-- -   Transition from
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_IMMEDIATE_KHR' to
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_KHR' or
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_RELAXED_KHR' or
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_LATEST_READY_KHR'
--     : As all prior present requests in the
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_IMMEDIATE_KHR' mode
--     are applied immediately, there are no outstanding present operations
--     in this mode, and current and subsequent images are appended to the
--     FIFO queue and presented according to the new mode.
--
-- -   Transition from
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_MAILBOX_KHR' to
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_KHR' or
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_RELAXED_KHR' or
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_LATEST_READY_KHR'
--     : Presentation in FIFO modes require waiting for the next vertical
--     blanking period, with
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_MAILBOX_KHR' allowing
--     the pending present operation to be replaced by a new one. In this
--     case, the current present operation will replace the pending present
--     operation and is applied according to the new mode.
--
-- -   Transition from
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_KHR' or
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_RELAXED_KHR' or
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_LATEST_READY_KHR'
--     to 'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_IMMEDIATE_KHR' or
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_MAILBOX_KHR': If the
--     FIFO queue is empty, presentation is done according to the behavior
--     of the new mode. If there are present operations in the FIFO queue,
--     once the last present operation is performed based on the respective
--     vertical blanking period, the current and subsequent updates are
--     applied according to the new mode.
--
-- -   Transition between
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_KHR' or
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_RELAXED_KHR',
--     and
--     'Vulkan.Extensions.VK_KHR_surface.PRESENT_MODE_FIFO_LATEST_READY_KHR':
--     Images continue to be appended to the same FIFO queue, and the
--     behavior with respect to waiting for vertical blanking period and
--     dequeuing requests will follow the new mode for current and
--     subsequent images.
--
-- -   The behavior during transition between any other present modes, if
--     possible, is implementation defined.
--
-- == Valid Usage
--
-- -   #VUID-VkSwapchainPresentModeInfoKHR-swapchainCount-07760#
--     @swapchainCount@ /must/ be equal to
--     'Vulkan.Extensions.VK_KHR_swapchain.PresentInfoKHR'::@swapchainCount@
--
-- -   #VUID-VkSwapchainPresentModeInfoKHR-pPresentModes-07761# Each entry
--     in @pPresentModes@ /must/ be a presentation mode specified in
--     'SwapchainPresentModesCreateInfoKHR'::@pPresentModes@ when creating
--     the entry’s corresponding swapchain
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-VkSwapchainPresentModeInfoKHR-sType-sType# @sType@ /must/ be
--     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_SWAPCHAIN_PRESENT_MODE_INFO_KHR'
--
-- -   #VUID-VkSwapchainPresentModeInfoKHR-pPresentModes-parameter#
--     @pPresentModes@ /must/ be a valid pointer to an array of
--     @swapchainCount@ valid
--     'Vulkan.Extensions.VK_KHR_surface.PresentModeKHR' values
--
-- -   #VUID-VkSwapchainPresentModeInfoKHR-swapchainCount-arraylength#
--     @swapchainCount@ /must/ be greater than @0@
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_swapchain_maintenance1 VK_EXT_swapchain_maintenance1>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_swapchain_maintenance1 VK_KHR_swapchain_maintenance1>,
-- 'Vulkan.Extensions.VK_KHR_surface.PresentModeKHR',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data SwapchainPresentModeInfoKHR = SwapchainPresentModeInfoKHR
  { -- | @pPresentModes@ is a list of presentation modes with @swapchainCount@
    -- entries.
    SwapchainPresentModeInfoKHR -> Vector PresentModeKHR
presentModes :: Vector PresentModeKHR }
  deriving (Typeable)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (SwapchainPresentModeInfoKHR)
#endif
deriving instance Show SwapchainPresentModeInfoKHR

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

instance FromCStruct SwapchainPresentModeInfoKHR where
  peekCStruct :: Ptr SwapchainPresentModeInfoKHR -> IO SwapchainPresentModeInfoKHR
peekCStruct Ptr SwapchainPresentModeInfoKHR
p = do
    swapchainCount <- forall a. Storable a => Ptr a -> IO a
peek @Word32 ((Ptr SwapchainPresentModeInfoKHR
p Ptr SwapchainPresentModeInfoKHR -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Word32))
    pPresentModes <- peek @(Ptr PresentModeKHR) ((p `plusPtr` 24 :: Ptr (Ptr PresentModeKHR)))
    pPresentModes' <- generateM (fromIntegral swapchainCount) (\Int
i -> forall a. Storable a => Ptr a -> IO a
peek @PresentModeKHR ((Ptr PresentModeKHR
pPresentModes Ptr PresentModeKHR -> Int -> Ptr PresentModeKHR
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr PresentModeKHR)))
    pure $ SwapchainPresentModeInfoKHR
             pPresentModes'

instance Zero SwapchainPresentModeInfoKHR where
  zero :: SwapchainPresentModeInfoKHR
zero = Vector PresentModeKHR -> SwapchainPresentModeInfoKHR
SwapchainPresentModeInfoKHR
           Vector PresentModeKHR
forall a. Monoid a => a
mempty


-- | VkSwapchainPresentScalingCreateInfoKHR - Scaling behavior when
-- presenting to the surface
--
-- = Description
--
-- If @scalingBehavior@ is @0@, the result of presenting a swapchain image
-- with dimensions that do not match the surface dimensions is
-- implementation and platform-dependent. If @presentGravityX@ or
-- @presentGravityY@ are @0@, the presentation gravity /must/ match that
-- defined by the native platform surface on platforms which define surface
-- gravity.
--
-- == Valid Usage
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-presentGravityX-07765#
--     If @presentGravityX@ is @0@, @presentGravityY@ /must/ be @0@
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-presentGravityX-07766#
--     If @presentGravityX@ is not @0@, @presentGravityY@ /must/ not be @0@
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-scalingBehavior-07767#
--     @scalingBehavior@ /must/ not have more than one bit set
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-presentGravityX-07768#
--     @presentGravityX@ /must/ not have more than one bit set
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-presentGravityY-07769#
--     @presentGravityY@ /must/ not have more than one bit set
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-scalingBehavior-07770#
--     @scalingBehavior@ /must/ be @0@ or a valid scaling method for the
--     surface as returned in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentScalingCapabilitiesKHR'::@supportedPresentScaling@,
--     given
--     'Vulkan.Extensions.VK_KHR_swapchain.SwapchainCreateInfoKHR'::@presentMode@
--     in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentModeKHR'
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-scalingBehavior-07771#
--     If the swapchain is created with
--     'SwapchainPresentModesCreateInfoKHR', @scalingBehavior@ /must/ be
--     @0@ or a valid scaling method for the surface as returned in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentScalingCapabilitiesKHR'::@supportedPresentScaling@,
--     given each present mode in
--     'SwapchainPresentModesCreateInfoKHR'::@pPresentModes@ in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentModeKHR'
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-presentGravityX-07772#
--     @presentGravityX@ /must/ be @0@ or a valid x-axis present gravity
--     for the surface as returned in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentScalingCapabilitiesKHR'::@supportedPresentGravityX@,
--     given
--     'Vulkan.Extensions.VK_KHR_swapchain.SwapchainCreateInfoKHR'::@presentMode@
--     in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentModeKHR'
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-presentGravityX-07773#
--     If the swapchain is created with
--     'SwapchainPresentModesCreateInfoKHR', @presentGravityX@ /must/ be
--     @0@ or a valid x-axis present gravity for the surface as returned in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentScalingCapabilitiesKHR'::@supportedPresentGravityX@,
--     given each present mode in
--     'SwapchainPresentModesCreateInfoKHR'::@pPresentModes@ in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentModeKHR'
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-presentGravityY-07774#
--     @presentGravityY@ /must/ be @0@ or a valid y-axis present gravity
--     for the surface as returned in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentScalingCapabilitiesKHR'::@supportedPresentGravityY@,
--     given
--     'Vulkan.Extensions.VK_KHR_swapchain.SwapchainCreateInfoKHR'::@presentMode@
--     in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentModeKHR'
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-presentGravityY-07775#
--     If the swapchain is created with
--     'SwapchainPresentModesCreateInfoKHR', @presentGravityY@ /must/ be
--     @0@ or a valid y-axis present gravity for the surface as returned in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentScalingCapabilitiesKHR'::@supportedPresentGravityY@,
--     given each present mode in
--     'SwapchainPresentModesCreateInfoKHR'::@pPresentModes@ in
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.SurfacePresentModeKHR'
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-swapchainMaintenance1-10154#
--     If the
--     <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#features-swapchainMaintenance1 swapchainMaintenance1>
--     feature is not enabled, then @scalingBehavior@, @presentGravityX@,
--     and @presentGravityY@ /must/ be @0@
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-sType-sType# @sType@
--     /must/ be
--     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_SWAPCHAIN_PRESENT_SCALING_CREATE_INFO_KHR'
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-scalingBehavior-parameter#
--     @scalingBehavior@ /must/ be a valid combination of
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.PresentScalingFlagBitsKHR'
--     values
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-presentGravityX-parameter#
--     @presentGravityX@ /must/ be a valid combination of
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.PresentGravityFlagBitsKHR'
--     values
--
-- -   #VUID-VkSwapchainPresentScalingCreateInfoKHR-presentGravityY-parameter#
--     @presentGravityY@ /must/ be a valid combination of
--     'Vulkan.Extensions.VK_KHR_surface_maintenance1.PresentGravityFlagBitsKHR'
--     values
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_swapchain_maintenance1 VK_EXT_swapchain_maintenance1>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_swapchain_maintenance1 VK_KHR_swapchain_maintenance1>,
-- 'Vulkan.Extensions.VK_KHR_surface_maintenance1.PresentGravityFlagsKHR',
-- 'Vulkan.Extensions.VK_KHR_surface_maintenance1.PresentScalingFlagsKHR',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data SwapchainPresentScalingCreateInfoKHR = SwapchainPresentScalingCreateInfoKHR
  { -- | @scalingBehavior@ is @0@ or the scaling method to use when the
    -- dimensions of the surface and swapchain images differ.
    SwapchainPresentScalingCreateInfoKHR -> PresentScalingFlagsKHR
scalingBehavior :: PresentScalingFlagsKHR
  , -- | @presentGravityX@ is @0@ or the x-axis direction in which swapchain
    -- image pixels gravitate relative to the surface when @scalingBehavior@
    -- does not result in a one-to-one pixel mapping between the scaled
    -- swapchain image and the surface.
    SwapchainPresentScalingCreateInfoKHR -> PresentGravityFlagsKHR
presentGravityX :: PresentGravityFlagsKHR
  , -- | @presentGravityY@ is @0@ or the y-axis direction in which swapchain
    -- image pixels gravitate relative to the surface when @scalingBehavior@
    -- does not result in a one-to-one pixel mapping between the scaled
    -- swapchain image and the surface.
    SwapchainPresentScalingCreateInfoKHR -> PresentGravityFlagsKHR
presentGravityY :: PresentGravityFlagsKHR
  }
  deriving (Typeable, SwapchainPresentScalingCreateInfoKHR
-> SwapchainPresentScalingCreateInfoKHR -> Bool
(SwapchainPresentScalingCreateInfoKHR
 -> SwapchainPresentScalingCreateInfoKHR -> Bool)
-> (SwapchainPresentScalingCreateInfoKHR
    -> SwapchainPresentScalingCreateInfoKHR -> Bool)
-> Eq SwapchainPresentScalingCreateInfoKHR
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SwapchainPresentScalingCreateInfoKHR
-> SwapchainPresentScalingCreateInfoKHR -> Bool
== :: SwapchainPresentScalingCreateInfoKHR
-> SwapchainPresentScalingCreateInfoKHR -> Bool
$c/= :: SwapchainPresentScalingCreateInfoKHR
-> SwapchainPresentScalingCreateInfoKHR -> Bool
/= :: SwapchainPresentScalingCreateInfoKHR
-> SwapchainPresentScalingCreateInfoKHR -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (SwapchainPresentScalingCreateInfoKHR)
#endif
deriving instance Show SwapchainPresentScalingCreateInfoKHR

instance ToCStruct SwapchainPresentScalingCreateInfoKHR where
  withCStruct :: forall b.
SwapchainPresentScalingCreateInfoKHR
-> (Ptr SwapchainPresentScalingCreateInfoKHR -> IO b) -> IO b
withCStruct SwapchainPresentScalingCreateInfoKHR
x Ptr SwapchainPresentScalingCreateInfoKHR -> IO b
f = Int -> (Ptr SwapchainPresentScalingCreateInfoKHR -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
32 ((Ptr SwapchainPresentScalingCreateInfoKHR -> IO b) -> IO b)
-> (Ptr SwapchainPresentScalingCreateInfoKHR -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr SwapchainPresentScalingCreateInfoKHR
p -> Ptr SwapchainPresentScalingCreateInfoKHR
-> SwapchainPresentScalingCreateInfoKHR -> IO b -> IO b
forall b.
Ptr SwapchainPresentScalingCreateInfoKHR
-> SwapchainPresentScalingCreateInfoKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr SwapchainPresentScalingCreateInfoKHR
p SwapchainPresentScalingCreateInfoKHR
x (Ptr SwapchainPresentScalingCreateInfoKHR -> IO b
f Ptr SwapchainPresentScalingCreateInfoKHR
p)
  pokeCStruct :: forall b.
Ptr SwapchainPresentScalingCreateInfoKHR
-> SwapchainPresentScalingCreateInfoKHR -> IO b -> IO b
pokeCStruct Ptr SwapchainPresentScalingCreateInfoKHR
p SwapchainPresentScalingCreateInfoKHR{PresentGravityFlagsKHR
PresentScalingFlagsKHR
scalingBehavior :: SwapchainPresentScalingCreateInfoKHR -> PresentScalingFlagsKHR
presentGravityX :: SwapchainPresentScalingCreateInfoKHR -> PresentGravityFlagsKHR
presentGravityY :: SwapchainPresentScalingCreateInfoKHR -> PresentGravityFlagsKHR
scalingBehavior :: PresentScalingFlagsKHR
presentGravityX :: PresentGravityFlagsKHR
presentGravityY :: PresentGravityFlagsKHR
..} IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr SwapchainPresentScalingCreateInfoKHR
p Ptr SwapchainPresentScalingCreateInfoKHR
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_SWAPCHAIN_PRESENT_SCALING_CREATE_INFO_KHR)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr SwapchainPresentScalingCreateInfoKHR
p Ptr SwapchainPresentScalingCreateInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
    Ptr PresentScalingFlagsKHR -> PresentScalingFlagsKHR -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr SwapchainPresentScalingCreateInfoKHR
p Ptr SwapchainPresentScalingCreateInfoKHR
-> Int -> Ptr PresentScalingFlagsKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PresentScalingFlagsKHR)) (PresentScalingFlagsKHR
scalingBehavior)
    Ptr PresentGravityFlagsKHR -> PresentGravityFlagsKHR -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr SwapchainPresentScalingCreateInfoKHR
p Ptr SwapchainPresentScalingCreateInfoKHR
-> Int -> Ptr PresentGravityFlagsKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
20 :: Ptr PresentGravityFlagsKHR)) (PresentGravityFlagsKHR
presentGravityX)
    Ptr PresentGravityFlagsKHR -> PresentGravityFlagsKHR -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr SwapchainPresentScalingCreateInfoKHR
p Ptr SwapchainPresentScalingCreateInfoKHR
-> Int -> Ptr PresentGravityFlagsKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr PresentGravityFlagsKHR)) (PresentGravityFlagsKHR
presentGravityY)
    IO b
f
  cStructSize :: Int
cStructSize = Int
32
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b. Ptr SwapchainPresentScalingCreateInfoKHR -> IO b -> IO b
pokeZeroCStruct Ptr SwapchainPresentScalingCreateInfoKHR
p IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr SwapchainPresentScalingCreateInfoKHR
p Ptr SwapchainPresentScalingCreateInfoKHR
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_SWAPCHAIN_PRESENT_SCALING_CREATE_INFO_KHR)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr SwapchainPresentScalingCreateInfoKHR
p Ptr SwapchainPresentScalingCreateInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
    IO b
f

instance FromCStruct SwapchainPresentScalingCreateInfoKHR where
  peekCStruct :: Ptr SwapchainPresentScalingCreateInfoKHR
-> IO SwapchainPresentScalingCreateInfoKHR
peekCStruct Ptr SwapchainPresentScalingCreateInfoKHR
p = do
    scalingBehavior <- forall a. Storable a => Ptr a -> IO a
peek @PresentScalingFlagsKHR ((Ptr SwapchainPresentScalingCreateInfoKHR
p Ptr SwapchainPresentScalingCreateInfoKHR
-> Int -> Ptr PresentScalingFlagsKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PresentScalingFlagsKHR))
    presentGravityX <- peek @PresentGravityFlagsKHR ((p `plusPtr` 20 :: Ptr PresentGravityFlagsKHR))
    presentGravityY <- peek @PresentGravityFlagsKHR ((p `plusPtr` 24 :: Ptr PresentGravityFlagsKHR))
    pure $ SwapchainPresentScalingCreateInfoKHR
             scalingBehavior presentGravityX presentGravityY

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

instance Zero SwapchainPresentScalingCreateInfoKHR where
  zero :: SwapchainPresentScalingCreateInfoKHR
zero = PresentScalingFlagsKHR
-> PresentGravityFlagsKHR
-> PresentGravityFlagsKHR
-> SwapchainPresentScalingCreateInfoKHR
SwapchainPresentScalingCreateInfoKHR
           PresentScalingFlagsKHR
forall a. Zero a => a
zero
           PresentGravityFlagsKHR
forall a. Zero a => a
zero
           PresentGravityFlagsKHR
forall a. Zero a => a
zero


-- | VkReleaseSwapchainImagesInfoKHR - Structure describing a list of
-- swapchain image indices to be released
--
-- == Valid Usage
--
-- -   #VUID-VkReleaseSwapchainImagesInfoKHR-pImageIndices-07785# Each
--     element of @pImageIndices@ /must/ be the index of a presentable
--     image acquired from the swapchain specified by @swapchain@
--
-- -   #VUID-VkReleaseSwapchainImagesInfoKHR-pImageIndices-07786# All uses
--     of presentable images identified by elements of @pImageIndices@
--     /must/ have completed execution
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-VkReleaseSwapchainImagesInfoKHR-sType-sType# @sType@ /must/ be
--     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_RELEASE_SWAPCHAIN_IMAGES_INFO_KHR'
--
-- -   #VUID-VkReleaseSwapchainImagesInfoKHR-pNext-pNext# @pNext@ /must/ be
--     @NULL@
--
-- -   #VUID-VkReleaseSwapchainImagesInfoKHR-swapchain-parameter#
--     @swapchain@ /must/ be a valid
--     'Vulkan.Extensions.Handles.SwapchainKHR' handle
--
-- -   #VUID-VkReleaseSwapchainImagesInfoKHR-pImageIndices-parameter#
--     @pImageIndices@ /must/ be a valid pointer to an array of
--     @imageIndexCount@ @uint32_t@ values
--
-- -   #VUID-VkReleaseSwapchainImagesInfoKHR-imageIndexCount-arraylength#
--     @imageIndexCount@ /must/ be greater than @0@
--
-- == Host Synchronization
--
-- -   Host access to @swapchain@ /must/ be externally synchronized
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_swapchain_maintenance1 VK_EXT_swapchain_maintenance1>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_swapchain_maintenance1 VK_KHR_swapchain_maintenance1>,
-- 'Vulkan.Core10.Enums.StructureType.StructureType',
-- 'Vulkan.Extensions.Handles.SwapchainKHR', 'releaseSwapchainImagesKHR',
-- 'releaseSwapchainImagesKHR'
data ReleaseSwapchainImagesInfoKHR = ReleaseSwapchainImagesInfoKHR
  { -- | @swapchain@ is a swapchain to which images are being released.
    ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> SwapchainKHR
swapchain :: SwapchainKHR
  , -- | @pImageIndices@ is a pointer to an array of indices into the array of
    -- @swapchain@’s presentable images, with @imageIndexCount@ entries.
    ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> Vector Word32
imageIndices :: Vector Word32
  }
  deriving (Typeable)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (ReleaseSwapchainImagesInfoKHR)
#endif
deriving instance Show ReleaseSwapchainImagesInfoKHR

instance ToCStruct ReleaseSwapchainImagesInfoKHR where
  withCStruct :: forall b.
("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> (Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> IO b)
-> IO b
withCStruct "releaseInfo" ::: ReleaseSwapchainImagesInfoKHR
x Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> IO b
f = Int
-> (Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> IO b)
-> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
40 ((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> IO b)
 -> IO b)
-> (Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> IO b)
-> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p -> Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> IO b
-> IO b
forall b.
Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> IO b
-> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p "releaseInfo" ::: ReleaseSwapchainImagesInfoKHR
x (Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> IO b
f Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p)
  pokeCStruct :: forall b.
Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> IO b
-> IO b
pokeCStruct Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p ReleaseSwapchainImagesInfoKHR{Vector Word32
SwapchainKHR
swapchain :: ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> SwapchainKHR
imageIndices :: ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR) -> Vector Word32
swapchain :: SwapchainKHR
imageIndices :: Vector Word32
..} IO b
f = ContT b IO b -> IO b
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT b IO b -> IO b) -> ContT b IO b -> IO b
forall a b. (a -> b) -> a -> b
$ do
    IO () -> ContT b IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT b m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT b IO ()) -> IO () -> ContT b IO ()
forall a b. (a -> b) -> a -> b
$ Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_RELEASE_SWAPCHAIN_IMAGES_INFO_KHR)
    IO () -> ContT b IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT b m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT b IO ()) -> IO () -> ContT b IO ()
forall a b. (a -> b) -> a -> b
$ Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
    IO () -> ContT b IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT b m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT b IO ()) -> IO () -> ContT b IO ()
forall a b. (a -> b) -> a -> b
$ Ptr SwapchainKHR -> SwapchainKHR -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr SwapchainKHR)) (SwapchainKHR
swapchain)
    IO () -> ContT b IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT b m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT b IO ()) -> IO () -> ContT b IO ()
forall a b. (a -> b) -> a -> b
$ Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr Word32)) ((Int -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Vector Word32 -> Int
forall a. Vector a -> Int
Data.Vector.length (Vector Word32 -> Int) -> Vector Word32 -> Int
forall a b. (a -> b) -> a -> b
$ (Vector Word32
imageIndices)) :: Word32))
    pPImageIndices' <- ((Ptr Word32 -> IO b) -> IO b) -> ContT b IO (Ptr Word32)
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr Word32 -> IO b) -> IO b) -> ContT b IO (Ptr Word32))
-> ((Ptr Word32 -> IO b) -> IO b) -> ContT b IO (Ptr Word32)
forall a b. (a -> b) -> a -> b
$ forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes @Word32 ((Vector Word32 -> Int
forall a. Vector a -> Int
Data.Vector.length (Vector Word32
imageIndices)) Int -> Int -> Int
forall a. Num a => a -> a -> a
* Int
4)
    lift $ Data.Vector.imapM_ (\Int
i Word32
e -> Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr Word32
pPImageIndices' Ptr Word32 -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Word32) (Word32
e)) (imageIndices)
    lift $ poke ((p `plusPtr` 32 :: Ptr (Ptr Word32))) (pPImageIndices')
    lift $ f
  cStructSize :: Int
cStructSize = Int
40
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b.
Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> IO b -> IO b
pokeZeroCStruct Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_RELEASE_SWAPCHAIN_IMAGES_INFO_KHR)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
    Ptr SwapchainKHR -> SwapchainKHR -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr SwapchainKHR)) (SwapchainKHR
forall a. Zero a => a
zero)
    IO b
f

instance FromCStruct ReleaseSwapchainImagesInfoKHR where
  peekCStruct :: Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> IO ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
peekCStruct Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p = do
    swapchain <- forall a. Storable a => Ptr a -> IO a
peek @SwapchainKHR ((Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
p Ptr ("releaseInfo" ::: ReleaseSwapchainImagesInfoKHR)
-> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr SwapchainKHR))
    imageIndexCount <- peek @Word32 ((p `plusPtr` 24 :: Ptr Word32))
    pImageIndices <- peek @(Ptr Word32) ((p `plusPtr` 32 :: Ptr (Ptr Word32)))
    pImageIndices' <- generateM (fromIntegral imageIndexCount) (\Int
i -> forall a. Storable a => Ptr a -> IO a
peek @Word32 ((Ptr Word32
pImageIndices Ptr Word32 -> Int -> Ptr Word32
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Word32)))
    pure $ ReleaseSwapchainImagesInfoKHR
             swapchain pImageIndices'

instance Zero ReleaseSwapchainImagesInfoKHR where
  zero :: "releaseInfo" ::: ReleaseSwapchainImagesInfoKHR
zero = SwapchainKHR
-> Vector Word32 -> "releaseInfo" ::: ReleaseSwapchainImagesInfoKHR
ReleaseSwapchainImagesInfoKHR
           SwapchainKHR
forall a. Zero a => a
zero
           Vector Word32
forall a. Monoid a => a
mempty


type KHR_SWAPCHAIN_MAINTENANCE_1_SPEC_VERSION = 1

-- No documentation found for TopLevel "VK_KHR_SWAPCHAIN_MAINTENANCE_1_SPEC_VERSION"
pattern KHR_SWAPCHAIN_MAINTENANCE_1_SPEC_VERSION :: forall a . Integral a => a
pattern $mKHR_SWAPCHAIN_MAINTENANCE_1_SPEC_VERSION :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bKHR_SWAPCHAIN_MAINTENANCE_1_SPEC_VERSION :: forall a. Integral a => a
KHR_SWAPCHAIN_MAINTENANCE_1_SPEC_VERSION = 1


type KHR_SWAPCHAIN_MAINTENANCE_1_EXTENSION_NAME = "VK_KHR_swapchain_maintenance1"

-- No documentation found for TopLevel "VK_KHR_SWAPCHAIN_MAINTENANCE_1_EXTENSION_NAME"
pattern KHR_SWAPCHAIN_MAINTENANCE_1_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $mKHR_SWAPCHAIN_MAINTENANCE_1_EXTENSION_NAME :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bKHR_SWAPCHAIN_MAINTENANCE_1_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
KHR_SWAPCHAIN_MAINTENANCE_1_EXTENSION_NAME = "VK_KHR_swapchain_maintenance1"