{-# language CPP #-}
-- | = Name
--
-- VK_KHR_robustness2 - device extension
--
-- = VK_KHR_robustness2
--
-- [__Name String__]
--     @VK_KHR_robustness2@
--
-- [__Extension Type__]
--     Device extension
--
-- [__Registered Extension Number__]
--     613
--
-- [__Revision__]
--     1
--
-- [__Ratification Status__]
--     Ratified
--
-- [__Extension and Version Dependencies__]
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_get_physical_device_properties2 VK_KHR_get_physical_device_properties2>
--     or
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#versions-1.1 Vulkan Version 1.1>
--
-- [__Contact__]
--
--     -   Piers Daniell
--         <https://github.com/KhronosGroup/Vulkan-Docs/issues/new?body=[VK_KHR_robustness2] @pdaniell-nv%0A*Here describe the issue or question you have about the VK_KHR_robustness2 extension* >
--
-- == Other Extension Metadata
--
-- [__Last Modified Date__]
--     2025-01-10
--
-- [__IP Status__]
--     No known IP claims.
--
-- [__Contributors__]
--
--     -   Liam Middlebrook, NVIDIA
--
--     -   Jeff Bolz, NVIDIA
--
-- == Description
--
-- This extension is based on the @VK_EXT_robustness2@ extension. This
-- extension adds stricter requirements for how out of bounds reads and
-- writes are handled. Most accesses /must/ be tightly bounds-checked, out
-- of bounds writes /must/ be discarded, out of bound reads /must/ return
-- zero. Rather than allowing multiple possible (0,0,0,x) vectors, the out
-- of bounds values are treated as zero, and then missing components are
-- inserted based on the format as described in
-- <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#images-component-substitution>
-- and
-- <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#fxvertex-input-extraction vertex input attribute extraction>.
--
-- These additional requirements /may/ be expensive on some
-- implementations, and should only be enabled when truly necessary.
--
-- This extension also adds support for “null descriptors”, where
-- 'Vulkan.Core10.APIConstants.NULL_HANDLE' /can/ be used instead of a
-- valid handle. Accesses to null descriptors have well-defined behavior,
-- and do not rely on robustness.
--
-- == New Structures
--
-- -   Extending
--     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2',
--     'Vulkan.Core10.Device.DeviceCreateInfo':
--
--     -   'PhysicalDeviceRobustness2FeaturesKHR'
--
-- -   Extending
--     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceProperties2':
--
--     -   'PhysicalDeviceRobustness2PropertiesKHR'
--
-- == New Enum Constants
--
-- -   'KHR_ROBUSTNESS_2_EXTENSION_NAME'
--
-- -   'KHR_ROBUSTNESS_2_SPEC_VERSION'
--
-- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_FEATURES_KHR'
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_PROPERTIES_KHR'
--
-- == Issues
--
-- 1.  Why do
--     'PhysicalDeviceRobustness2PropertiesKHR'::@robustUniformBufferAccessSizeAlignment@
--     and
--     'PhysicalDeviceRobustness2PropertiesKHR'::@robustStorageBufferAccessSizeAlignment@
--     exist?
--
-- __RESOLVED__: Some implementations cannot efficiently tightly
-- bounds-check all buffer accesses. Rather, the size of the bound range is
-- padded to some power of two multiple, up to 256 bytes for uniform
-- buffers and up to 4 bytes for storage buffers, and that padded size is
-- bounds-checked. This is sufficient to implement D3D-like behavior,
-- because D3D only allows binding whole uniform buffers or ranges that are
-- a multiple of 256 bytes, and D3D raw and structured buffers only support
-- 32-bit accesses.
--
-- == Version History
--
-- -   Revision 1, 2025-01-10 (Piers Daniell)
--
--     -   Internal revisions
--
-- == 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_robustness2 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_robustness2  ( PhysicalDeviceRobustness2FeaturesKHR(..)
                                             , PhysicalDeviceRobustness2PropertiesKHR(..)
                                             , KHR_ROBUSTNESS_2_SPEC_VERSION
                                             , pattern KHR_ROBUSTNESS_2_SPEC_VERSION
                                             , KHR_ROBUSTNESS_2_EXTENSION_NAME
                                             , pattern KHR_ROBUSTNESS_2_EXTENSION_NAME
                                             ) where

import Foreign.Marshal.Alloc (allocaBytes)
import Foreign.Ptr (nullPtr)
import Foreign.Ptr (plusPtr)
import Vulkan.CStruct (FromCStruct)
import Vulkan.CStruct (FromCStruct(..))
import Vulkan.CStruct (ToCStruct)
import Vulkan.CStruct (ToCStruct(..))
import Vulkan.Zero (Zero(..))
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 Foreign.Ptr (Ptr)
import Data.Kind (Type)
import Vulkan.Core10.FundamentalTypes (bool32ToBool)
import Vulkan.Core10.FundamentalTypes (boolToBool32)
import Vulkan.Core10.FundamentalTypes (Bool32)
import Vulkan.Core10.FundamentalTypes (DeviceSize)
import Vulkan.Core10.Enums.StructureType (StructureType)
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_FEATURES_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_PROPERTIES_KHR))
-- | VkPhysicalDeviceRobustness2FeaturesKHR - Structure describing the
-- out-of-bounds behavior for an implementation
--
-- = Members
--
-- This structure describes the following features:
--
-- = Description
--
-- If the 'PhysicalDeviceRobustness2FeaturesKHR' 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
-- 'PhysicalDeviceRobustness2FeaturesKHR', 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
--
-- -   #VUID-VkPhysicalDeviceRobustness2FeaturesKHR-robustBufferAccess2-04000#
--     If @robustBufferAccess2@ is enabled then
--     <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#features-robustBufferAccess robustBufferAccess>
--     /must/ also be enabled
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-VkPhysicalDeviceRobustness2FeaturesKHR-sType-sType# @sType@
--     /must/ be
--     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_FEATURES_KHR'
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_robustness2 VK_EXT_robustness2>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_robustness2 VK_KHR_robustness2>,
-- 'Vulkan.Core10.FundamentalTypes.Bool32',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data PhysicalDeviceRobustness2FeaturesKHR = PhysicalDeviceRobustness2FeaturesKHR
  { -- | #features-robustBufferAccess2# @robustBufferAccess2@ enables
    -- <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#shaders-robust-buffer-access2>
    -- guarantees for shader buffer accesses.
    PhysicalDeviceRobustness2FeaturesKHR -> Bool
robustBufferAccess2 :: Bool
  , -- | #features-robustImageAccess2# @robustImageAccess2@ enables
    -- <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#shaders-robust-image-access2>
    -- guarantees for shader image accesses.
    PhysicalDeviceRobustness2FeaturesKHR -> Bool
robustImageAccess2 :: Bool
  , -- | #features-nullDescriptor# @nullDescriptor@ indicates whether descriptors
    -- /can/ be written with a 'Vulkan.Core10.APIConstants.NULL_HANDLE'
    -- resource or view, which are considered valid to access and act as if the
    -- descriptor were bound to nothing.
    PhysicalDeviceRobustness2FeaturesKHR -> Bool
nullDescriptor :: Bool
  }
  deriving (Typeable, PhysicalDeviceRobustness2FeaturesKHR
-> PhysicalDeviceRobustness2FeaturesKHR -> Bool
(PhysicalDeviceRobustness2FeaturesKHR
 -> PhysicalDeviceRobustness2FeaturesKHR -> Bool)
-> (PhysicalDeviceRobustness2FeaturesKHR
    -> PhysicalDeviceRobustness2FeaturesKHR -> Bool)
-> Eq PhysicalDeviceRobustness2FeaturesKHR
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PhysicalDeviceRobustness2FeaturesKHR
-> PhysicalDeviceRobustness2FeaturesKHR -> Bool
== :: PhysicalDeviceRobustness2FeaturesKHR
-> PhysicalDeviceRobustness2FeaturesKHR -> Bool
$c/= :: PhysicalDeviceRobustness2FeaturesKHR
-> PhysicalDeviceRobustness2FeaturesKHR -> Bool
/= :: PhysicalDeviceRobustness2FeaturesKHR
-> PhysicalDeviceRobustness2FeaturesKHR -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceRobustness2FeaturesKHR)
#endif
deriving instance Show PhysicalDeviceRobustness2FeaturesKHR

instance ToCStruct PhysicalDeviceRobustness2FeaturesKHR where
  withCStruct :: forall b.
PhysicalDeviceRobustness2FeaturesKHR
-> (Ptr PhysicalDeviceRobustness2FeaturesKHR -> IO b) -> IO b
withCStruct PhysicalDeviceRobustness2FeaturesKHR
x Ptr PhysicalDeviceRobustness2FeaturesKHR -> IO b
f = Int -> (Ptr PhysicalDeviceRobustness2FeaturesKHR -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
32 ((Ptr PhysicalDeviceRobustness2FeaturesKHR -> IO b) -> IO b)
-> (Ptr PhysicalDeviceRobustness2FeaturesKHR -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr PhysicalDeviceRobustness2FeaturesKHR
p -> Ptr PhysicalDeviceRobustness2FeaturesKHR
-> PhysicalDeviceRobustness2FeaturesKHR -> IO b -> IO b
forall b.
Ptr PhysicalDeviceRobustness2FeaturesKHR
-> PhysicalDeviceRobustness2FeaturesKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRobustness2FeaturesKHR
p PhysicalDeviceRobustness2FeaturesKHR
x (Ptr PhysicalDeviceRobustness2FeaturesKHR -> IO b
f Ptr PhysicalDeviceRobustness2FeaturesKHR
p)
  pokeCStruct :: forall b.
Ptr PhysicalDeviceRobustness2FeaturesKHR
-> PhysicalDeviceRobustness2FeaturesKHR -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRobustness2FeaturesKHR
p PhysicalDeviceRobustness2FeaturesKHR{Bool
robustBufferAccess2 :: PhysicalDeviceRobustness2FeaturesKHR -> Bool
robustImageAccess2 :: PhysicalDeviceRobustness2FeaturesKHR -> Bool
nullDescriptor :: PhysicalDeviceRobustness2FeaturesKHR -> Bool
robustBufferAccess2 :: Bool
robustImageAccess2 :: Bool
nullDescriptor :: Bool
..} IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesKHR
p Ptr PhysicalDeviceRobustness2FeaturesKHR
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_FEATURES_KHR)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesKHR
p Ptr PhysicalDeviceRobustness2FeaturesKHR -> 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 PhysicalDeviceRobustness2FeaturesKHR
p Ptr PhysicalDeviceRobustness2FeaturesKHR -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
robustBufferAccess2))
    Ptr Bool32 -> Bool32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesKHR
p Ptr PhysicalDeviceRobustness2FeaturesKHR -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
20 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
robustImageAccess2))
    Ptr Bool32 -> Bool32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesKHR
p Ptr PhysicalDeviceRobustness2FeaturesKHR -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
nullDescriptor))
    IO b
f
  cStructSize :: Int
cStructSize = Int
32
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b. Ptr PhysicalDeviceRobustness2FeaturesKHR -> IO b -> IO b
pokeZeroCStruct Ptr PhysicalDeviceRobustness2FeaturesKHR
p IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesKHR
p Ptr PhysicalDeviceRobustness2FeaturesKHR
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_FEATURES_KHR)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesKHR
p Ptr PhysicalDeviceRobustness2FeaturesKHR -> 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 PhysicalDeviceRobustness2FeaturesKHR
p Ptr PhysicalDeviceRobustness2FeaturesKHR -> 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))
    Ptr Bool32 -> Bool32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesKHR
p Ptr PhysicalDeviceRobustness2FeaturesKHR -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
20 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
forall a. Zero a => a
zero))
    Ptr Bool32 -> Bool32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesKHR
p Ptr PhysicalDeviceRobustness2FeaturesKHR -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
forall a. Zero a => a
zero))
    IO b
f

instance FromCStruct PhysicalDeviceRobustness2FeaturesKHR where
  peekCStruct :: Ptr PhysicalDeviceRobustness2FeaturesKHR
-> IO PhysicalDeviceRobustness2FeaturesKHR
peekCStruct Ptr PhysicalDeviceRobustness2FeaturesKHR
p = do
    robustBufferAccess2 <- forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDeviceRobustness2FeaturesKHR
p Ptr PhysicalDeviceRobustness2FeaturesKHR -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32))
    robustImageAccess2 <- peek @Bool32 ((p `plusPtr` 20 :: Ptr Bool32))
    nullDescriptor <- peek @Bool32 ((p `plusPtr` 24 :: Ptr Bool32))
    pure $ PhysicalDeviceRobustness2FeaturesKHR
             (bool32ToBool robustBufferAccess2)
             (bool32ToBool robustImageAccess2)
             (bool32ToBool nullDescriptor)

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

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


-- | VkPhysicalDeviceRobustness2PropertiesKHR - Structure describing robust
-- buffer access properties supported by an implementation
--
-- = Description
--
-- If the 'PhysicalDeviceRobustness2PropertiesKHR' structure is included in
-- the @pNext@ chain of the
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceProperties2'
-- structure passed to
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.getPhysicalDeviceProperties2',
-- it is filled in with each corresponding implementation-dependent
-- property.
--
-- == Valid Usage (Implicit)
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_robustness2 VK_EXT_robustness2>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_robustness2 VK_KHR_robustness2>,
-- 'Vulkan.Core10.FundamentalTypes.DeviceSize',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data PhysicalDeviceRobustness2PropertiesKHR = PhysicalDeviceRobustness2PropertiesKHR
  { -- | #limits-robustStorageBufferAccessSizeAlignment#
    -- @robustStorageBufferAccessSizeAlignment@ is the number of bytes that the
    -- range of a storage buffer descriptor is rounded up to when used for
    -- bounds-checking when the
    -- <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#features-robustBufferAccess2 robustBufferAccess2>
    -- feature is enabled. This value /must/ be either 1 or 4.
    PhysicalDeviceRobustness2PropertiesKHR -> DeviceSize
robustStorageBufferAccessSizeAlignment :: DeviceSize
  , -- | #limits-robustUniformBufferAccessSizeAlignment#
    -- @robustUniformBufferAccessSizeAlignment@ is the number of bytes that the
    -- range of a uniform buffer descriptor is rounded up to when used for
    -- bounds-checking when the
    -- <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#features-robustBufferAccess2 robustBufferAccess2>
    -- feature is enabled. This value /must/ be a power of two in the range [1,
    -- 256].
    PhysicalDeviceRobustness2PropertiesKHR -> DeviceSize
robustUniformBufferAccessSizeAlignment :: DeviceSize
  }
  deriving (Typeable, PhysicalDeviceRobustness2PropertiesKHR
-> PhysicalDeviceRobustness2PropertiesKHR -> Bool
(PhysicalDeviceRobustness2PropertiesKHR
 -> PhysicalDeviceRobustness2PropertiesKHR -> Bool)
-> (PhysicalDeviceRobustness2PropertiesKHR
    -> PhysicalDeviceRobustness2PropertiesKHR -> Bool)
-> Eq PhysicalDeviceRobustness2PropertiesKHR
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PhysicalDeviceRobustness2PropertiesKHR
-> PhysicalDeviceRobustness2PropertiesKHR -> Bool
== :: PhysicalDeviceRobustness2PropertiesKHR
-> PhysicalDeviceRobustness2PropertiesKHR -> Bool
$c/= :: PhysicalDeviceRobustness2PropertiesKHR
-> PhysicalDeviceRobustness2PropertiesKHR -> Bool
/= :: PhysicalDeviceRobustness2PropertiesKHR
-> PhysicalDeviceRobustness2PropertiesKHR -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceRobustness2PropertiesKHR)
#endif
deriving instance Show PhysicalDeviceRobustness2PropertiesKHR

instance ToCStruct PhysicalDeviceRobustness2PropertiesKHR where
  withCStruct :: forall b.
PhysicalDeviceRobustness2PropertiesKHR
-> (Ptr PhysicalDeviceRobustness2PropertiesKHR -> IO b) -> IO b
withCStruct PhysicalDeviceRobustness2PropertiesKHR
x Ptr PhysicalDeviceRobustness2PropertiesKHR -> IO b
f = Int -> (Ptr PhysicalDeviceRobustness2PropertiesKHR -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
32 ((Ptr PhysicalDeviceRobustness2PropertiesKHR -> IO b) -> IO b)
-> (Ptr PhysicalDeviceRobustness2PropertiesKHR -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr PhysicalDeviceRobustness2PropertiesKHR
p -> Ptr PhysicalDeviceRobustness2PropertiesKHR
-> PhysicalDeviceRobustness2PropertiesKHR -> IO b -> IO b
forall b.
Ptr PhysicalDeviceRobustness2PropertiesKHR
-> PhysicalDeviceRobustness2PropertiesKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRobustness2PropertiesKHR
p PhysicalDeviceRobustness2PropertiesKHR
x (Ptr PhysicalDeviceRobustness2PropertiesKHR -> IO b
f Ptr PhysicalDeviceRobustness2PropertiesKHR
p)
  pokeCStruct :: forall b.
Ptr PhysicalDeviceRobustness2PropertiesKHR
-> PhysicalDeviceRobustness2PropertiesKHR -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRobustness2PropertiesKHR
p PhysicalDeviceRobustness2PropertiesKHR{DeviceSize
robustStorageBufferAccessSizeAlignment :: PhysicalDeviceRobustness2PropertiesKHR -> DeviceSize
robustUniformBufferAccessSizeAlignment :: PhysicalDeviceRobustness2PropertiesKHR -> DeviceSize
robustStorageBufferAccessSizeAlignment :: DeviceSize
robustUniformBufferAccessSizeAlignment :: DeviceSize
..} IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesKHR
p Ptr PhysicalDeviceRobustness2PropertiesKHR
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_PROPERTIES_KHR)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesKHR
p Ptr PhysicalDeviceRobustness2PropertiesKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
    Ptr DeviceSize -> DeviceSize -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesKHR
p Ptr PhysicalDeviceRobustness2PropertiesKHR -> Int -> Ptr DeviceSize
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr DeviceSize)) (DeviceSize
robustStorageBufferAccessSizeAlignment)
    Ptr DeviceSize -> DeviceSize -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesKHR
p Ptr PhysicalDeviceRobustness2PropertiesKHR -> Int -> Ptr DeviceSize
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr DeviceSize)) (DeviceSize
robustUniformBufferAccessSizeAlignment)
    IO b
f
  cStructSize :: Int
cStructSize = Int
32
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b.
Ptr PhysicalDeviceRobustness2PropertiesKHR -> IO b -> IO b
pokeZeroCStruct Ptr PhysicalDeviceRobustness2PropertiesKHR
p IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesKHR
p Ptr PhysicalDeviceRobustness2PropertiesKHR
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_PROPERTIES_KHR)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesKHR
p Ptr PhysicalDeviceRobustness2PropertiesKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
    Ptr DeviceSize -> DeviceSize -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesKHR
p Ptr PhysicalDeviceRobustness2PropertiesKHR -> Int -> Ptr DeviceSize
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr DeviceSize)) (DeviceSize
forall a. Zero a => a
zero)
    Ptr DeviceSize -> DeviceSize -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesKHR
p Ptr PhysicalDeviceRobustness2PropertiesKHR -> Int -> Ptr DeviceSize
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr DeviceSize)) (DeviceSize
forall a. Zero a => a
zero)
    IO b
f

instance FromCStruct PhysicalDeviceRobustness2PropertiesKHR where
  peekCStruct :: Ptr PhysicalDeviceRobustness2PropertiesKHR
-> IO PhysicalDeviceRobustness2PropertiesKHR
peekCStruct Ptr PhysicalDeviceRobustness2PropertiesKHR
p = do
    robustStorageBufferAccessSizeAlignment <- forall a. Storable a => Ptr a -> IO a
peek @DeviceSize ((Ptr PhysicalDeviceRobustness2PropertiesKHR
p Ptr PhysicalDeviceRobustness2PropertiesKHR -> Int -> Ptr DeviceSize
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr DeviceSize))
    robustUniformBufferAccessSizeAlignment <- peek @DeviceSize ((p `plusPtr` 24 :: Ptr DeviceSize))
    pure $ PhysicalDeviceRobustness2PropertiesKHR
             robustStorageBufferAccessSizeAlignment
             robustUniformBufferAccessSizeAlignment

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

instance Zero PhysicalDeviceRobustness2PropertiesKHR where
  zero :: PhysicalDeviceRobustness2PropertiesKHR
zero = DeviceSize -> DeviceSize -> PhysicalDeviceRobustness2PropertiesKHR
PhysicalDeviceRobustness2PropertiesKHR
           DeviceSize
forall a. Zero a => a
zero
           DeviceSize
forall a. Zero a => a
zero


type KHR_ROBUSTNESS_2_SPEC_VERSION = 1

-- No documentation found for TopLevel "VK_KHR_ROBUSTNESS_2_SPEC_VERSION"
pattern KHR_ROBUSTNESS_2_SPEC_VERSION :: forall a . Integral a => a
pattern $mKHR_ROBUSTNESS_2_SPEC_VERSION :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bKHR_ROBUSTNESS_2_SPEC_VERSION :: forall a. Integral a => a
KHR_ROBUSTNESS_2_SPEC_VERSION = 1


type KHR_ROBUSTNESS_2_EXTENSION_NAME = "VK_KHR_robustness2"

-- No documentation found for TopLevel "VK_KHR_ROBUSTNESS_2_EXTENSION_NAME"
pattern KHR_ROBUSTNESS_2_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $mKHR_ROBUSTNESS_2_EXTENSION_NAME :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bKHR_ROBUSTNESS_2_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
KHR_ROBUSTNESS_2_EXTENSION_NAME = "VK_KHR_robustness2"