content: {-# OPTIONS_HADDOCK not-home#-}
  {-# LANGUAGE DataKinds       #-}
  {-# LANGUAGE MagicHash       #-}
  {-# LANGUAGE PatternSynonyms #-}
  {-# LANGUAGE Strict          #-}
  {-# LANGUAGE ViewPatterns    #-}
  module Graphics.Vulkan.Ext.VK_EXT_4444_formats
         (-- * Vulkan extension: @VK_EXT_4444_formats@
          -- |
          --
          -- supported: @vulkan@
          --
          -- contact: @Joshua Ashton @Joshua-Ashton@
          --
          -- author: @EXT@
          --
          -- type: @device@
          --
          -- Extension number: @341@
          --
          -- Required extensions: 'VK_KHR_get_physical_device_properties2'.
          --
  
          -- ** Required extensions: 'VK_KHR_get_physical_device_properties2'.
          module Graphics.Vulkan.Marshal, AHardwareBuffer(),
          ANativeWindow(), CAMetalLayer(), VkBool32(..), VkDeviceAddress(..),
          VkDeviceSize(..), VkFlags(..), VkSampleMask(..),
          VkAndroidSurfaceCreateFlagsKHR(..), VkBufferViewCreateFlags(..),
          VkBuildAccelerationStructureFlagsNV(..),
          VkCommandPoolTrimFlags(..), VkCommandPoolTrimFlagsKHR(..),
          VkDebugUtilsMessengerCallbackDataFlagsEXT(..),
          VkDebugUtilsMessengerCreateFlagsEXT(..),
          VkDescriptorBindingFlagsEXT(..), VkDescriptorPoolResetFlags(..),
          VkDescriptorUpdateTemplateCreateFlags(..),
          VkDescriptorUpdateTemplateCreateFlagsKHR(..),
          VkDeviceCreateFlags(..), VkDirectFBSurfaceCreateFlagsEXT(..),
          VkDisplayModeCreateFlagsKHR(..),
          VkDisplaySurfaceCreateFlagsKHR(..), VkEventCreateFlags(..),
          VkExternalFenceFeatureFlagsKHR(..),
          VkExternalFenceHandleTypeFlagsKHR(..),
          VkExternalMemoryFeatureFlagsKHR(..),
          VkExternalMemoryHandleTypeFlagsKHR(..),
          VkExternalSemaphoreFeatureFlagsKHR(..),
          VkExternalSemaphoreHandleTypeFlagsKHR(..),
          VkFenceImportFlagsKHR(..), VkGeometryFlagsNV(..),
          VkGeometryInstanceFlagsNV(..), VkHeadlessSurfaceCreateFlagsEXT(..),
          VkIOSSurfaceCreateFlagsMVK(..),
          VkImagePipeSurfaceCreateFlagsFUCHSIA(..),
          VkInstanceCreateFlags(..), VkMacOSSurfaceCreateFlagsMVK(..),
          VkMemoryAllocateFlagsKHR(..), VkMemoryMapFlags(..),
          VkMetalSurfaceCreateFlagsEXT(..), VkPeerMemoryFeatureFlagsKHR(..),
          VkPipelineColorBlendStateCreateFlags(..),
          VkPipelineCoverageModulationStateCreateFlagsNV(..),
          VkPipelineCoverageReductionStateCreateFlagsNV(..),
          VkPipelineCoverageToColorStateCreateFlagsNV(..),
          VkPipelineDepthStencilStateCreateFlags(..),
          VkPipelineDiscardRectangleStateCreateFlagsEXT(..),
          VkPipelineDynamicStateCreateFlags(..),
          VkPipelineInputAssemblyStateCreateFlags(..),
          VkPipelineLayoutCreateFlags(..),
          VkPipelineMultisampleStateCreateFlags(..),
          VkPipelineRasterizationConservativeStateCreateFlagsEXT(..),
          VkPipelineRasterizationDepthClipStateCreateFlagsEXT(..),
          VkPipelineRasterizationStateCreateFlags(..),
          VkPipelineRasterizationStateStreamCreateFlagsEXT(..),
          VkPipelineTessellationStateCreateFlags(..),
          VkPipelineVertexInputStateCreateFlags(..),
          VkPipelineViewportStateCreateFlags(..),
          VkPipelineViewportSwizzleStateCreateFlagsNV(..),
          VkQueryPoolCreateFlags(..), VkResolveModeFlagsKHR(..),
          VkSemaphoreCreateFlags(..), VkSemaphoreImportFlagsKHR(..),
          VkSemaphoreWaitFlagsKHR(..),
          VkStreamDescriptorSurfaceCreateFlagsGGP(..),
          VkValidationCacheCreateFlagsEXT(..), VkViSurfaceCreateFlagsNN(..),
          VkWaylandSurfaceCreateFlagsKHR(..),
          VkWin32SurfaceCreateFlagsKHR(..), VkXcbSurfaceCreateFlagsKHR(..),
          VkXlibSurfaceCreateFlagsKHR(..), VkDeviceCreateInfo,
          VkDeviceDiagnosticsConfigBitmaskNV(..), VkDeviceEventTypeEXT(..),
          VkDeviceGroupPresentModeBitmaskKHR(..), VkDeviceCreateFlagBits(..),
          VkDeviceDiagnosticsConfigFlagBitsNV(),
          VkDeviceDiagnosticsConfigFlagsNV(),
          VkDeviceGroupPresentModeFlagBitsKHR(),
          VkDeviceGroupPresentModeFlagsKHR(), VkDeviceQueueCreateBitmask(..),
          VkDeviceQueueCreateFlagBits(), VkDeviceQueueCreateFlags(),
          VkDeviceQueueCreateInfo, VkPhysicalDevice4444FormatsFeaturesEXT,
          VkPhysicalDeviceFeatures, VkPhysicalDeviceFeatures2,
          VkStructureType(..), -- > #include "vk_platform.h"
                               VK_EXT_4444_FORMATS_SPEC_VERSION,
          pattern VK_EXT_4444_FORMATS_SPEC_VERSION,
          VK_EXT_4444_FORMATS_EXTENSION_NAME,
          pattern VK_EXT_4444_FORMATS_EXTENSION_NAME,
          pattern VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_4444_FORMATS_FEATURES_EXT,
          pattern VK_FORMAT_A4R4G4B4_UNORM_PACK16_EXT,
          pattern VK_FORMAT_A4B4G4R4_UNORM_PACK16_EXT)
         where
  import GHC.Ptr                                             (Ptr (..))
  import Graphics.Vulkan.Marshal
  import Graphics.Vulkan.Types.BaseTypes
  import Graphics.Vulkan.Types.Bitmasks
  import Graphics.Vulkan.Types.Enum.Device
  import Graphics.Vulkan.Types.Enum.Format                   (VkFormat (..))
  import Graphics.Vulkan.Types.Enum.StructureType
  import Graphics.Vulkan.Types.Struct.Device                 (VkDeviceCreateInfo, VkDeviceQueueCreateInfo)
  import Graphics.Vulkan.Types.Struct.PhysicalDevice         (VkPhysicalDevice4444FormatsFeaturesEXT,
                                                              VkPhysicalDeviceFeatures2)
  import Graphics.Vulkan.Types.Struct.PhysicalDeviceFeatures (VkPhysicalDeviceFeatures)
  
  pattern VK_EXT_4444_FORMATS_SPEC_VERSION :: (Num a, Eq a) => a
  
  pattern VK_EXT_4444_FORMATS_SPEC_VERSION = 1
  
  type VK_EXT_4444_FORMATS_SPEC_VERSION = 1
  
  pattern VK_EXT_4444_FORMATS_EXTENSION_NAME :: CString
  
  pattern VK_EXT_4444_FORMATS_EXTENSION_NAME <-
          (is_VK_EXT_4444_FORMATS_EXTENSION_NAME -> True)
    where
      VK_EXT_4444_FORMATS_EXTENSION_NAME
        = _VK_EXT_4444_FORMATS_EXTENSION_NAME
  
  {-# INLINE _VK_EXT_4444_FORMATS_EXTENSION_NAME #-}
  
  _VK_EXT_4444_FORMATS_EXTENSION_NAME :: CString
  _VK_EXT_4444_FORMATS_EXTENSION_NAME
    = Ptr "VK_EXT_4444_formats\NUL"#
  
  {-# INLINE is_VK_EXT_4444_FORMATS_EXTENSION_NAME #-}
  
  is_VK_EXT_4444_FORMATS_EXTENSION_NAME :: CString -> Bool
  is_VK_EXT_4444_FORMATS_EXTENSION_NAME
    = (EQ ==) . cmpCStrings _VK_EXT_4444_FORMATS_EXTENSION_NAME
  
  type VK_EXT_4444_FORMATS_EXTENSION_NAME = "VK_EXT_4444_formats"
  
  pattern VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_4444_FORMATS_FEATURES_EXT
          :: VkStructureType
  
  pattern VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_4444_FORMATS_FEATURES_EXT
          = VkStructureType 1000340000
  
  pattern VK_FORMAT_A4R4G4B4_UNORM_PACK16_EXT :: VkFormat
  
  pattern VK_FORMAT_A4R4G4B4_UNORM_PACK16_EXT = VkFormat 1000340000
  
  pattern VK_FORMAT_A4B4G4R4_UNORM_PACK16_EXT :: VkFormat
  
  pattern VK_FORMAT_A4B4G4R4_UNORM_PACK16_EXT = VkFormat 1000340001
  