{-# language CPP #-}
module Vulkan.Extensions.VK_EXT_robustness2 ( PhysicalDeviceRobustness2FeaturesEXT(..)
, PhysicalDeviceRobustness2PropertiesEXT(..)
, EXT_ROBUSTNESS_2_SPEC_VERSION
, pattern EXT_ROBUSTNESS_2_SPEC_VERSION
, EXT_ROBUSTNESS_2_EXTENSION_NAME
, pattern EXT_ROBUSTNESS_2_EXTENSION_NAME
) where
import Foreign.Marshal.Alloc (allocaBytesAligned)
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_EXT))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_PROPERTIES_EXT))
data PhysicalDeviceRobustness2FeaturesEXT = PhysicalDeviceRobustness2FeaturesEXT
{
PhysicalDeviceRobustness2FeaturesEXT -> Bool
robustBufferAccess2 :: Bool
,
PhysicalDeviceRobustness2FeaturesEXT -> Bool
robustImageAccess2 :: Bool
,
PhysicalDeviceRobustness2FeaturesEXT -> Bool
nullDescriptor :: Bool
}
deriving (Typeable, PhysicalDeviceRobustness2FeaturesEXT
-> PhysicalDeviceRobustness2FeaturesEXT -> Bool
(PhysicalDeviceRobustness2FeaturesEXT
-> PhysicalDeviceRobustness2FeaturesEXT -> Bool)
-> (PhysicalDeviceRobustness2FeaturesEXT
-> PhysicalDeviceRobustness2FeaturesEXT -> Bool)
-> Eq PhysicalDeviceRobustness2FeaturesEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PhysicalDeviceRobustness2FeaturesEXT
-> PhysicalDeviceRobustness2FeaturesEXT -> Bool
$c/= :: PhysicalDeviceRobustness2FeaturesEXT
-> PhysicalDeviceRobustness2FeaturesEXT -> Bool
== :: PhysicalDeviceRobustness2FeaturesEXT
-> PhysicalDeviceRobustness2FeaturesEXT -> Bool
$c== :: PhysicalDeviceRobustness2FeaturesEXT
-> PhysicalDeviceRobustness2FeaturesEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceRobustness2FeaturesEXT)
#endif
deriving instance Show PhysicalDeviceRobustness2FeaturesEXT
instance ToCStruct PhysicalDeviceRobustness2FeaturesEXT where
withCStruct :: PhysicalDeviceRobustness2FeaturesEXT
-> (Ptr PhysicalDeviceRobustness2FeaturesEXT -> IO b) -> IO b
withCStruct x :: PhysicalDeviceRobustness2FeaturesEXT
x f :: Ptr PhysicalDeviceRobustness2FeaturesEXT -> IO b
f = Int
-> Int
-> (Ptr PhysicalDeviceRobustness2FeaturesEXT -> IO b)
-> IO b
forall a b. Int -> Int -> (Ptr a -> IO b) -> IO b
allocaBytesAligned 32 8 ((Ptr PhysicalDeviceRobustness2FeaturesEXT -> IO b) -> IO b)
-> (Ptr PhysicalDeviceRobustness2FeaturesEXT -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \p :: Ptr PhysicalDeviceRobustness2FeaturesEXT
p -> Ptr PhysicalDeviceRobustness2FeaturesEXT
-> PhysicalDeviceRobustness2FeaturesEXT -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRobustness2FeaturesEXT
p PhysicalDeviceRobustness2FeaturesEXT
x (Ptr PhysicalDeviceRobustness2FeaturesEXT -> IO b
f Ptr PhysicalDeviceRobustness2FeaturesEXT
p)
pokeCStruct :: Ptr PhysicalDeviceRobustness2FeaturesEXT
-> PhysicalDeviceRobustness2FeaturesEXT -> IO b -> IO b
pokeCStruct p :: Ptr PhysicalDeviceRobustness2FeaturesEXT
p PhysicalDeviceRobustness2FeaturesEXT{..} f :: IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_FEATURES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr Bool32 -> Bool32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
robustBufferAccess2))
Ptr Bool32 -> Bool32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 20 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
robustImageAccess2))
Ptr Bool32 -> Bool32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 24 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
nullDescriptor))
IO b
f
cStructSize :: Int
cStructSize = 32
cStructAlignment :: Int
cStructAlignment = 8
pokeZeroCStruct :: Ptr PhysicalDeviceRobustness2FeaturesEXT -> IO b -> IO b
pokeZeroCStruct p :: Ptr PhysicalDeviceRobustness2FeaturesEXT
p f :: IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_FEATURES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr Bool32 -> Bool32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 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 PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 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 PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 24 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
forall a. Zero a => a
zero))
IO b
f
instance FromCStruct PhysicalDeviceRobustness2FeaturesEXT where
peekCStruct :: Ptr PhysicalDeviceRobustness2FeaturesEXT
-> IO PhysicalDeviceRobustness2FeaturesEXT
peekCStruct p :: Ptr PhysicalDeviceRobustness2FeaturesEXT
p = do
Bool32
robustBufferAccess2 <- Ptr Bool32 -> IO Bool32
forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16 :: Ptr Bool32))
Bool32
robustImageAccess2 <- Ptr Bool32 -> IO Bool32
forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 20 :: Ptr Bool32))
Bool32
nullDescriptor <- Ptr Bool32 -> IO Bool32
forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDeviceRobustness2FeaturesEXT
p Ptr PhysicalDeviceRobustness2FeaturesEXT -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 24 :: Ptr Bool32))
PhysicalDeviceRobustness2FeaturesEXT
-> IO PhysicalDeviceRobustness2FeaturesEXT
forall (f :: * -> *) a. Applicative f => a -> f a
pure (PhysicalDeviceRobustness2FeaturesEXT
-> IO PhysicalDeviceRobustness2FeaturesEXT)
-> PhysicalDeviceRobustness2FeaturesEXT
-> IO PhysicalDeviceRobustness2FeaturesEXT
forall a b. (a -> b) -> a -> b
$ Bool -> Bool -> Bool -> PhysicalDeviceRobustness2FeaturesEXT
PhysicalDeviceRobustness2FeaturesEXT
(Bool32 -> Bool
bool32ToBool Bool32
robustBufferAccess2) (Bool32 -> Bool
bool32ToBool Bool32
robustImageAccess2) (Bool32 -> Bool
bool32ToBool Bool32
nullDescriptor)
instance Storable PhysicalDeviceRobustness2FeaturesEXT where
sizeOf :: PhysicalDeviceRobustness2FeaturesEXT -> Int
sizeOf ~PhysicalDeviceRobustness2FeaturesEXT
_ = 32
alignment :: PhysicalDeviceRobustness2FeaturesEXT -> Int
alignment ~PhysicalDeviceRobustness2FeaturesEXT
_ = 8
peek :: Ptr PhysicalDeviceRobustness2FeaturesEXT
-> IO PhysicalDeviceRobustness2FeaturesEXT
peek = Ptr PhysicalDeviceRobustness2FeaturesEXT
-> IO PhysicalDeviceRobustness2FeaturesEXT
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr PhysicalDeviceRobustness2FeaturesEXT
-> PhysicalDeviceRobustness2FeaturesEXT -> IO ()
poke ptr :: Ptr PhysicalDeviceRobustness2FeaturesEXT
ptr poked :: PhysicalDeviceRobustness2FeaturesEXT
poked = Ptr PhysicalDeviceRobustness2FeaturesEXT
-> PhysicalDeviceRobustness2FeaturesEXT -> IO () -> IO ()
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRobustness2FeaturesEXT
ptr PhysicalDeviceRobustness2FeaturesEXT
poked (() -> IO ()
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero PhysicalDeviceRobustness2FeaturesEXT where
zero :: PhysicalDeviceRobustness2FeaturesEXT
zero = Bool -> Bool -> Bool -> PhysicalDeviceRobustness2FeaturesEXT
PhysicalDeviceRobustness2FeaturesEXT
Bool
forall a. Zero a => a
zero
Bool
forall a. Zero a => a
zero
Bool
forall a. Zero a => a
zero
data PhysicalDeviceRobustness2PropertiesEXT = PhysicalDeviceRobustness2PropertiesEXT
{
PhysicalDeviceRobustness2PropertiesEXT -> DeviceSize
robustStorageBufferAccessSizeAlignment :: DeviceSize
,
PhysicalDeviceRobustness2PropertiesEXT -> DeviceSize
robustUniformBufferAccessSizeAlignment :: DeviceSize
}
deriving (Typeable, PhysicalDeviceRobustness2PropertiesEXT
-> PhysicalDeviceRobustness2PropertiesEXT -> Bool
(PhysicalDeviceRobustness2PropertiesEXT
-> PhysicalDeviceRobustness2PropertiesEXT -> Bool)
-> (PhysicalDeviceRobustness2PropertiesEXT
-> PhysicalDeviceRobustness2PropertiesEXT -> Bool)
-> Eq PhysicalDeviceRobustness2PropertiesEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PhysicalDeviceRobustness2PropertiesEXT
-> PhysicalDeviceRobustness2PropertiesEXT -> Bool
$c/= :: PhysicalDeviceRobustness2PropertiesEXT
-> PhysicalDeviceRobustness2PropertiesEXT -> Bool
== :: PhysicalDeviceRobustness2PropertiesEXT
-> PhysicalDeviceRobustness2PropertiesEXT -> Bool
$c== :: PhysicalDeviceRobustness2PropertiesEXT
-> PhysicalDeviceRobustness2PropertiesEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceRobustness2PropertiesEXT)
#endif
deriving instance Show PhysicalDeviceRobustness2PropertiesEXT
instance ToCStruct PhysicalDeviceRobustness2PropertiesEXT where
withCStruct :: PhysicalDeviceRobustness2PropertiesEXT
-> (Ptr PhysicalDeviceRobustness2PropertiesEXT -> IO b) -> IO b
withCStruct x :: PhysicalDeviceRobustness2PropertiesEXT
x f :: Ptr PhysicalDeviceRobustness2PropertiesEXT -> IO b
f = Int
-> Int
-> (Ptr PhysicalDeviceRobustness2PropertiesEXT -> IO b)
-> IO b
forall a b. Int -> Int -> (Ptr a -> IO b) -> IO b
allocaBytesAligned 32 8 ((Ptr PhysicalDeviceRobustness2PropertiesEXT -> IO b) -> IO b)
-> (Ptr PhysicalDeviceRobustness2PropertiesEXT -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \p :: Ptr PhysicalDeviceRobustness2PropertiesEXT
p -> Ptr PhysicalDeviceRobustness2PropertiesEXT
-> PhysicalDeviceRobustness2PropertiesEXT -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRobustness2PropertiesEXT
p PhysicalDeviceRobustness2PropertiesEXT
x (Ptr PhysicalDeviceRobustness2PropertiesEXT -> IO b
f Ptr PhysicalDeviceRobustness2PropertiesEXT
p)
pokeCStruct :: Ptr PhysicalDeviceRobustness2PropertiesEXT
-> PhysicalDeviceRobustness2PropertiesEXT -> IO b -> IO b
pokeCStruct p :: Ptr PhysicalDeviceRobustness2PropertiesEXT
p PhysicalDeviceRobustness2PropertiesEXT{..} f :: IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesEXT
p Ptr PhysicalDeviceRobustness2PropertiesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_PROPERTIES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesEXT
p Ptr PhysicalDeviceRobustness2PropertiesEXT -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr DeviceSize -> DeviceSize -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesEXT
p Ptr PhysicalDeviceRobustness2PropertiesEXT -> Int -> Ptr DeviceSize
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16 :: Ptr DeviceSize)) (DeviceSize
robustStorageBufferAccessSizeAlignment)
Ptr DeviceSize -> DeviceSize -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesEXT
p Ptr PhysicalDeviceRobustness2PropertiesEXT -> Int -> Ptr DeviceSize
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 24 :: Ptr DeviceSize)) (DeviceSize
robustUniformBufferAccessSizeAlignment)
IO b
f
cStructSize :: Int
cStructSize = 32
cStructAlignment :: Int
cStructAlignment = 8
pokeZeroCStruct :: Ptr PhysicalDeviceRobustness2PropertiesEXT -> IO b -> IO b
pokeZeroCStruct p :: Ptr PhysicalDeviceRobustness2PropertiesEXT
p f :: IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesEXT
p Ptr PhysicalDeviceRobustness2PropertiesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_PROPERTIES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesEXT
p Ptr PhysicalDeviceRobustness2PropertiesEXT -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr DeviceSize -> DeviceSize -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesEXT
p Ptr PhysicalDeviceRobustness2PropertiesEXT -> Int -> Ptr DeviceSize
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16 :: Ptr DeviceSize)) (DeviceSize
forall a. Zero a => a
zero)
Ptr DeviceSize -> DeviceSize -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRobustness2PropertiesEXT
p Ptr PhysicalDeviceRobustness2PropertiesEXT -> Int -> Ptr DeviceSize
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 24 :: Ptr DeviceSize)) (DeviceSize
forall a. Zero a => a
zero)
IO b
f
instance FromCStruct PhysicalDeviceRobustness2PropertiesEXT where
peekCStruct :: Ptr PhysicalDeviceRobustness2PropertiesEXT
-> IO PhysicalDeviceRobustness2PropertiesEXT
peekCStruct p :: Ptr PhysicalDeviceRobustness2PropertiesEXT
p = do
DeviceSize
robustStorageBufferAccessSizeAlignment <- Ptr DeviceSize -> IO DeviceSize
forall a. Storable a => Ptr a -> IO a
peek @DeviceSize ((Ptr PhysicalDeviceRobustness2PropertiesEXT
p Ptr PhysicalDeviceRobustness2PropertiesEXT -> Int -> Ptr DeviceSize
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16 :: Ptr DeviceSize))
DeviceSize
robustUniformBufferAccessSizeAlignment <- Ptr DeviceSize -> IO DeviceSize
forall a. Storable a => Ptr a -> IO a
peek @DeviceSize ((Ptr PhysicalDeviceRobustness2PropertiesEXT
p Ptr PhysicalDeviceRobustness2PropertiesEXT -> Int -> Ptr DeviceSize
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 24 :: Ptr DeviceSize))
PhysicalDeviceRobustness2PropertiesEXT
-> IO PhysicalDeviceRobustness2PropertiesEXT
forall (f :: * -> *) a. Applicative f => a -> f a
pure (PhysicalDeviceRobustness2PropertiesEXT
-> IO PhysicalDeviceRobustness2PropertiesEXT)
-> PhysicalDeviceRobustness2PropertiesEXT
-> IO PhysicalDeviceRobustness2PropertiesEXT
forall a b. (a -> b) -> a -> b
$ DeviceSize -> DeviceSize -> PhysicalDeviceRobustness2PropertiesEXT
PhysicalDeviceRobustness2PropertiesEXT
DeviceSize
robustStorageBufferAccessSizeAlignment DeviceSize
robustUniformBufferAccessSizeAlignment
instance Storable PhysicalDeviceRobustness2PropertiesEXT where
sizeOf :: PhysicalDeviceRobustness2PropertiesEXT -> Int
sizeOf ~PhysicalDeviceRobustness2PropertiesEXT
_ = 32
alignment :: PhysicalDeviceRobustness2PropertiesEXT -> Int
alignment ~PhysicalDeviceRobustness2PropertiesEXT
_ = 8
peek :: Ptr PhysicalDeviceRobustness2PropertiesEXT
-> IO PhysicalDeviceRobustness2PropertiesEXT
peek = Ptr PhysicalDeviceRobustness2PropertiesEXT
-> IO PhysicalDeviceRobustness2PropertiesEXT
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr PhysicalDeviceRobustness2PropertiesEXT
-> PhysicalDeviceRobustness2PropertiesEXT -> IO ()
poke ptr :: Ptr PhysicalDeviceRobustness2PropertiesEXT
ptr poked :: PhysicalDeviceRobustness2PropertiesEXT
poked = Ptr PhysicalDeviceRobustness2PropertiesEXT
-> PhysicalDeviceRobustness2PropertiesEXT -> IO () -> IO ()
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRobustness2PropertiesEXT
ptr PhysicalDeviceRobustness2PropertiesEXT
poked (() -> IO ()
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero PhysicalDeviceRobustness2PropertiesEXT where
zero :: PhysicalDeviceRobustness2PropertiesEXT
zero = DeviceSize -> DeviceSize -> PhysicalDeviceRobustness2PropertiesEXT
PhysicalDeviceRobustness2PropertiesEXT
DeviceSize
forall a. Zero a => a
zero
DeviceSize
forall a. Zero a => a
zero
type EXT_ROBUSTNESS_2_SPEC_VERSION = 1
pattern EXT_ROBUSTNESS_2_SPEC_VERSION :: forall a . Integral a => a
pattern $bEXT_ROBUSTNESS_2_SPEC_VERSION :: a
$mEXT_ROBUSTNESS_2_SPEC_VERSION :: forall r a. Integral a => a -> (Void# -> r) -> (Void# -> r) -> r
EXT_ROBUSTNESS_2_SPEC_VERSION = 1
type EXT_ROBUSTNESS_2_EXTENSION_NAME = "VK_EXT_robustness2"
pattern EXT_ROBUSTNESS_2_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $bEXT_ROBUSTNESS_2_EXTENSION_NAME :: a
$mEXT_ROBUSTNESS_2_EXTENSION_NAME :: forall r a.
(Eq a, IsString a) =>
a -> (Void# -> r) -> (Void# -> r) -> r
EXT_ROBUSTNESS_2_EXTENSION_NAME = "VK_EXT_robustness2"