{-# language CPP #-}
module Vulkan.Extensions.VK_KHR_maintenance3 ( pattern STRUCTURE_TYPE_PHYSICAL_DEVICE_MAINTENANCE_3_PROPERTIES_KHR
, pattern STRUCTURE_TYPE_DESCRIPTOR_SET_LAYOUT_SUPPORT_KHR
, getDescriptorSetLayoutSupportKHR
, PhysicalDeviceMaintenance3PropertiesKHR
, DescriptorSetLayoutSupportKHR
, KHR_MAINTENANCE3_SPEC_VERSION
, pattern KHR_MAINTENANCE3_SPEC_VERSION
, KHR_MAINTENANCE3_EXTENSION_NAME
, pattern KHR_MAINTENANCE3_EXTENSION_NAME
) where
import Data.String (IsString)
import Vulkan.Core11.Promoted_From_VK_KHR_maintenance3 (getDescriptorSetLayoutSupport)
import Vulkan.Core11.Promoted_From_VK_KHR_maintenance3 (DescriptorSetLayoutSupport)
import Vulkan.Core11.Promoted_From_VK_KHR_maintenance3 (PhysicalDeviceMaintenance3Properties)
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_DESCRIPTOR_SET_LAYOUT_SUPPORT))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_MAINTENANCE_3_PROPERTIES))
pattern $bSTRUCTURE_TYPE_PHYSICAL_DEVICE_MAINTENANCE_3_PROPERTIES_KHR :: StructureType
$mSTRUCTURE_TYPE_PHYSICAL_DEVICE_MAINTENANCE_3_PROPERTIES_KHR :: forall r. StructureType -> (Void# -> r) -> (Void# -> r) -> r
STRUCTURE_TYPE_PHYSICAL_DEVICE_MAINTENANCE_3_PROPERTIES_KHR = STRUCTURE_TYPE_PHYSICAL_DEVICE_MAINTENANCE_3_PROPERTIES
pattern $bSTRUCTURE_TYPE_DESCRIPTOR_SET_LAYOUT_SUPPORT_KHR :: StructureType
$mSTRUCTURE_TYPE_DESCRIPTOR_SET_LAYOUT_SUPPORT_KHR :: forall r. StructureType -> (Void# -> r) -> (Void# -> r) -> r
STRUCTURE_TYPE_DESCRIPTOR_SET_LAYOUT_SUPPORT_KHR = STRUCTURE_TYPE_DESCRIPTOR_SET_LAYOUT_SUPPORT
getDescriptorSetLayoutSupportKHR :: Device
-> DescriptorSetLayoutCreateInfo a
-> io (DescriptorSetLayoutSupport b)
getDescriptorSetLayoutSupportKHR = Device
-> DescriptorSetLayoutCreateInfo a
-> io (DescriptorSetLayoutSupport b)
forall (a :: [*]) (b :: [*]) (io :: * -> *).
(Extendss DescriptorSetLayoutCreateInfo a,
Extendss DescriptorSetLayoutSupport b, PokeChain a, PokeChain b,
PeekChain b, MonadIO io) =>
Device
-> DescriptorSetLayoutCreateInfo a
-> io (DescriptorSetLayoutSupport b)
getDescriptorSetLayoutSupport
type PhysicalDeviceMaintenance3PropertiesKHR = PhysicalDeviceMaintenance3Properties
type DescriptorSetLayoutSupportKHR = DescriptorSetLayoutSupport
type KHR_MAINTENANCE3_SPEC_VERSION = 1
pattern KHR_MAINTENANCE3_SPEC_VERSION :: forall a . Integral a => a
pattern $bKHR_MAINTENANCE3_SPEC_VERSION :: a
$mKHR_MAINTENANCE3_SPEC_VERSION :: forall r a. Integral a => a -> (Void# -> r) -> (Void# -> r) -> r
KHR_MAINTENANCE3_SPEC_VERSION = 1
type KHR_MAINTENANCE3_EXTENSION_NAME = "VK_KHR_maintenance3"
pattern KHR_MAINTENANCE3_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $bKHR_MAINTENANCE3_EXTENSION_NAME :: a
$mKHR_MAINTENANCE3_EXTENSION_NAME :: forall r a.
(Eq a, IsString a) =>
a -> (Void# -> r) -> (Void# -> r) -> r
KHR_MAINTENANCE3_EXTENSION_NAME = "VK_KHR_maintenance3"