{-# language CPP #-}
module Vulkan.Extensions.VK_EXT_texture_compression_astc_hdr ( PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT(..)
, EXT_TEXTURE_COMPRESSION_ASTC_HDR_SPEC_VERSION
, pattern EXT_TEXTURE_COMPRESSION_ASTC_HDR_SPEC_VERSION
, EXT_TEXTURE_COMPRESSION_ASTC_HDR_EXTENSION_NAME
, pattern EXT_TEXTURE_COMPRESSION_ASTC_HDR_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_TEXTURE_COMPRESSION_ASTC_HDR_FEATURES_EXT))
data PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT = PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
{
PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> Bool
textureCompressionASTC_HDR :: Bool }
deriving (Typeable, PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> Bool
(PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> Bool)
-> (PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> Bool)
-> Eq PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> Bool
$c/= :: PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> Bool
== :: PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> Bool
$c== :: PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT)
#endif
deriving instance Show PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
instance ToCStruct PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT where
withCStruct :: PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> (Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> IO b)
-> IO b
withCStruct x :: PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
x f :: Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> IO b
f = Int
-> Int
-> (Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> IO b)
-> IO b
forall a b. Int -> Int -> (Ptr a -> IO b) -> IO b
allocaBytesAligned 24 8 ((Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> IO b)
-> IO b)
-> (Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> IO b)
-> IO b
forall a b. (a -> b) -> a -> b
$ \p :: Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p -> Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> IO b
-> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
x (Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> IO b
f Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p)
pokeCStruct :: Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> IO b
-> IO b
pokeCStruct p :: Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT{..} f :: IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_TEXTURE_COMPRESSION_ASTC_HDR_FEATURES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> 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 PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
textureCompressionASTC_HDR))
IO b
f
cStructSize :: Int
cStructSize = 24
cStructAlignment :: Int
cStructAlignment = 8
pokeZeroCStruct :: Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> IO b -> IO b
pokeZeroCStruct p :: Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p f :: IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_TEXTURE_COMPRESSION_ASTC_HDR_FEATURES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> 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 PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> 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))
IO b
f
instance FromCStruct PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT where
peekCStruct :: Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> IO PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
peekCStruct p :: Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p = do
Bool32
textureCompressionASTC_HDR <- Ptr Bool32 -> IO Bool32
forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
p Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16 :: Ptr Bool32))
PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> IO PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
forall (f :: * -> *) a. Applicative f => a -> f a
pure (PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> IO PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT)
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> IO PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
forall a b. (a -> b) -> a -> b
$ Bool -> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
(Bool32 -> Bool
bool32ToBool Bool32
textureCompressionASTC_HDR)
instance Storable PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT where
sizeOf :: PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> Int
sizeOf ~PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
_ = 24
alignment :: PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> Int
alignment ~PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
_ = 8
peek :: Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> IO PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
peek = Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> IO PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT -> IO ()
poke ptr :: Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
ptr poked :: PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
poked = Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
-> IO ()
-> IO ()
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
ptr PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
poked (() -> IO ()
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT where
zero :: PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
zero = Bool -> PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
Bool
forall a. Zero a => a
zero
type EXT_TEXTURE_COMPRESSION_ASTC_HDR_SPEC_VERSION = 1
pattern EXT_TEXTURE_COMPRESSION_ASTC_HDR_SPEC_VERSION :: forall a . Integral a => a
pattern $bEXT_TEXTURE_COMPRESSION_ASTC_HDR_SPEC_VERSION :: a
$mEXT_TEXTURE_COMPRESSION_ASTC_HDR_SPEC_VERSION :: forall r a. Integral a => a -> (Void# -> r) -> (Void# -> r) -> r
EXT_TEXTURE_COMPRESSION_ASTC_HDR_SPEC_VERSION = 1
type EXT_TEXTURE_COMPRESSION_ASTC_HDR_EXTENSION_NAME = "VK_EXT_texture_compression_astc_hdr"
pattern EXT_TEXTURE_COMPRESSION_ASTC_HDR_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $bEXT_TEXTURE_COMPRESSION_ASTC_HDR_EXTENSION_NAME :: a
$mEXT_TEXTURE_COMPRESSION_ASTC_HDR_EXTENSION_NAME :: forall r a.
(Eq a, IsString a) =>
a -> (Void# -> r) -> (Void# -> r) -> r
EXT_TEXTURE_COMPRESSION_ASTC_HDR_EXTENSION_NAME = "VK_EXT_texture_compression_astc_hdr"