{-# 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 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.CStruct (FromCStruct)
import Vulkan.CStruct (FromCStruct(..))
import Vulkan.Core10.Enums.StructureType (StructureType)
import Vulkan.CStruct (ToCStruct)
import Vulkan.CStruct (ToCStruct(..))
import Vulkan.Zero (Zero(..))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_TEXTURE_COMPRESSION_ASTC_HDR_FEATURES_EXT))
-- | VkPhysicalDeviceTextureCompressionASTCHDRFeaturesEXT - Structure
-- describing ASTC HDR features that can be supported by an implementation
--
-- = Members
--
-- The members of the 'PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT'
-- structure describe the following features:
--
-- = Description
--
-- If the 'PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT' structure is
-- included in the @pNext@ chain of
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2',
-- it is filled with values indicating whether each feature is supported.
-- 'PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT' /can/ also be
-- included in the @pNext@ chain of 'Vulkan.Core10.Device.createDevice' to
-- enable features.
--
-- == Valid Usage (Implicit)
--
-- = See Also
--
-- 'Vulkan.Core10.FundamentalTypes.Bool32',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT = PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT
  { -- | @textureCompressionASTC_HDR@ indicates whether all of the ASTC HDR
    -- compressed texture formats are supported. If this feature is enabled,
    -- then the
    -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_BIT',
    -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_BLIT_SRC_BIT'
    -- and
    -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT'
    -- features /must/ be supported in @optimalTilingFeatures@ for the
    -- following formats:
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_4x4_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_5x4_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_5x5_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_6x5_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_6x6_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_8x5_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_8x6_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_8x8_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_10x5_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_10x6_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_10x8_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_10x10_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_12x10_SFLOAT_BLOCK_EXT'
    --
    -- -   'Vulkan.Core10.Enums.Format.FORMAT_ASTC_12x12_SFLOAT_BLOCK_EXT'
    --
    -- To query for additional properties, or if the feature is not enabled,
    -- 'Vulkan.Core10.DeviceInitialization.getPhysicalDeviceFormatProperties'
    -- and
    -- 'Vulkan.Core10.DeviceInitialization.getPhysicalDeviceImageFormatProperties'
    -- /can/ be used to check for supported properties of individual formats as
    -- normal.
    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

-- No documentation found for TopLevel "VK_EXT_TEXTURE_COMPRESSION_ASTC_HDR_SPEC_VERSION"
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"

-- No documentation found for TopLevel "VK_EXT_TEXTURE_COMPRESSION_ASTC_HDR_EXTENSION_NAME"
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"