{-# language CPP #-}
module Vulkan.Extensions.VK_EXT_shader_image_atomic_int64 ( PhysicalDeviceShaderImageAtomicInt64FeaturesEXT(..)
, EXT_SHADER_IMAGE_ATOMIC_INT64_SPEC_VERSION
, pattern EXT_SHADER_IMAGE_ATOMIC_INT64_SPEC_VERSION
, EXT_SHADER_IMAGE_ATOMIC_INT64_EXTENSION_NAME
, pattern EXT_SHADER_IMAGE_ATOMIC_INT64_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.Enums.StructureType (StructureType)
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_IMAGE_ATOMIC_INT64_FEATURES_EXT))
data PhysicalDeviceShaderImageAtomicInt64FeaturesEXT = PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
{
PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> Bool
shaderImageInt64Atomics :: Bool
,
PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> Bool
sparseImageInt64Atomics :: Bool
}
deriving (Typeable, PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> Bool
(PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> Bool)
-> (PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> Bool)
-> Eq PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> Bool
$c/= :: PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> Bool
== :: PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> Bool
$c== :: PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceShaderImageAtomicInt64FeaturesEXT)
#endif
deriving instance Show PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
instance ToCStruct PhysicalDeviceShaderImageAtomicInt64FeaturesEXT where
withCStruct :: PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> (Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> IO b)
-> IO b
withCStruct x :: PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
x f :: Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> IO b
f = Int
-> Int
-> (Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> IO b)
-> IO b
forall a b. Int -> Int -> (Ptr a -> IO b) -> IO b
allocaBytesAligned 24 8 ((Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> IO b)
-> IO b)
-> (Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> IO b)
-> IO b
forall a b. (a -> b) -> a -> b
$ \p :: Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p -> Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
x (Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> IO b
f Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p)
pokeCStruct :: Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> IO b -> IO b
pokeCStruct p :: Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p PhysicalDeviceShaderImageAtomicInt64FeaturesEXT{..} f :: IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_IMAGE_ATOMIC_INT64_FEATURES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> 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 PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
shaderImageInt64Atomics))
Ptr Bool32 -> Bool32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 20 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
sparseImageInt64Atomics))
IO b
f
cStructSize :: Int
cStructSize = 24
cStructAlignment :: Int
cStructAlignment = 8
pokeZeroCStruct :: Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> IO b -> IO b
pokeZeroCStruct p :: Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p f :: IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_IMAGE_ATOMIC_INT64_FEATURES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> 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 PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> 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 PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> 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))
IO b
f
instance FromCStruct PhysicalDeviceShaderImageAtomicInt64FeaturesEXT where
peekCStruct :: Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> IO PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
peekCStruct p :: Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p = do
Bool32
shaderImageInt64Atomics <- Ptr Bool32 -> IO Bool32
forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16 :: Ptr Bool32))
Bool32
sparseImageInt64Atomics <- Ptr Bool32 -> IO Bool32
forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
p Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 20 :: Ptr Bool32))
PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> IO PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
forall (f :: * -> *) a. Applicative f => a -> f a
pure (PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> IO PhysicalDeviceShaderImageAtomicInt64FeaturesEXT)
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> IO PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
forall a b. (a -> b) -> a -> b
$ Bool -> Bool -> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
(Bool32 -> Bool
bool32ToBool Bool32
shaderImageInt64Atomics) (Bool32 -> Bool
bool32ToBool Bool32
sparseImageInt64Atomics)
instance Storable PhysicalDeviceShaderImageAtomicInt64FeaturesEXT where
sizeOf :: PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> Int
sizeOf ~PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
_ = 24
alignment :: PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> Int
alignment ~PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
_ = 8
peek :: Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> IO PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
peek = Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> IO PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT -> IO ()
poke ptr :: Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
ptr poked :: PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
poked = Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
-> IO ()
-> IO ()
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
ptr PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
poked (() -> IO ()
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero PhysicalDeviceShaderImageAtomicInt64FeaturesEXT where
zero :: PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
zero = Bool -> Bool -> PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
PhysicalDeviceShaderImageAtomicInt64FeaturesEXT
Bool
forall a. Zero a => a
zero
Bool
forall a. Zero a => a
zero
type EXT_SHADER_IMAGE_ATOMIC_INT64_SPEC_VERSION = 1
pattern EXT_SHADER_IMAGE_ATOMIC_INT64_SPEC_VERSION :: forall a . Integral a => a
pattern $bEXT_SHADER_IMAGE_ATOMIC_INT64_SPEC_VERSION :: a
$mEXT_SHADER_IMAGE_ATOMIC_INT64_SPEC_VERSION :: forall r a. Integral a => a -> (Void# -> r) -> (Void# -> r) -> r
EXT_SHADER_IMAGE_ATOMIC_INT64_SPEC_VERSION = 1
type EXT_SHADER_IMAGE_ATOMIC_INT64_EXTENSION_NAME = "VK_EXT_shader_image_atomic_int64"
pattern EXT_SHADER_IMAGE_ATOMIC_INT64_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $bEXT_SHADER_IMAGE_ATOMIC_INT64_EXTENSION_NAME :: a
$mEXT_SHADER_IMAGE_ATOMIC_INT64_EXTENSION_NAME :: forall r a.
(Eq a, IsString a) =>
a -> (Void# -> r) -> (Void# -> r) -> r
EXT_SHADER_IMAGE_ATOMIC_INT64_EXTENSION_NAME = "VK_EXT_shader_image_atomic_int64"