{-# language CPP #-}
module Vulkan.Extensions.VK_KHR_maintenance1  ( pattern ERROR_OUT_OF_POOL_MEMORY_KHR
                                              , pattern FORMAT_FEATURE_TRANSFER_SRC_BIT_KHR
                                              , pattern FORMAT_FEATURE_TRANSFER_DST_BIT_KHR
                                              , pattern IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT_KHR
                                              , trimCommandPoolKHR
                                              , CommandPoolTrimFlagsKHR
                                              , KHR_MAINTENANCE1_SPEC_VERSION
                                              , pattern KHR_MAINTENANCE1_SPEC_VERSION
                                              , KHR_MAINTENANCE1_EXTENSION_NAME
                                              , pattern KHR_MAINTENANCE1_EXTENSION_NAME
                                              ) where

import Data.String (IsString)
import Vulkan.Core11.Promoted_From_VK_KHR_maintenance1 (trimCommandPool)
import Vulkan.Core11.Enums.CommandPoolTrimFlags (CommandPoolTrimFlags)
import Vulkan.Core10.Enums.Result (Result(ERROR_OUT_OF_POOL_MEMORY))
import Vulkan.Core10.Enums.FormatFeatureFlagBits (FormatFeatureFlags)
import Vulkan.Core10.Enums.FormatFeatureFlagBits (FormatFeatureFlagBits(FORMAT_FEATURE_TRANSFER_DST_BIT))
import Vulkan.Core10.Enums.FormatFeatureFlagBits (FormatFeatureFlags)
import Vulkan.Core10.Enums.FormatFeatureFlagBits (FormatFeatureFlagBits(FORMAT_FEATURE_TRANSFER_SRC_BIT))
import Vulkan.Core10.Enums.ImageCreateFlagBits (ImageCreateFlags)
import Vulkan.Core10.Enums.ImageCreateFlagBits (ImageCreateFlagBits(IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT))
-- No documentation found for TopLevel "VK_ERROR_OUT_OF_POOL_MEMORY_KHR"
pattern $bERROR_OUT_OF_POOL_MEMORY_KHR :: Result
$mERROR_OUT_OF_POOL_MEMORY_KHR :: forall r. Result -> (Void# -> r) -> (Void# -> r) -> r
ERROR_OUT_OF_POOL_MEMORY_KHR = ERROR_OUT_OF_POOL_MEMORY


-- No documentation found for TopLevel "VK_FORMAT_FEATURE_TRANSFER_SRC_BIT_KHR"
pattern $bFORMAT_FEATURE_TRANSFER_SRC_BIT_KHR :: FormatFeatureFlagBits
$mFORMAT_FEATURE_TRANSFER_SRC_BIT_KHR :: forall r.
FormatFeatureFlagBits -> (Void# -> r) -> (Void# -> r) -> r
FORMAT_FEATURE_TRANSFER_SRC_BIT_KHR = FORMAT_FEATURE_TRANSFER_SRC_BIT


-- No documentation found for TopLevel "VK_FORMAT_FEATURE_TRANSFER_DST_BIT_KHR"
pattern $bFORMAT_FEATURE_TRANSFER_DST_BIT_KHR :: FormatFeatureFlagBits
$mFORMAT_FEATURE_TRANSFER_DST_BIT_KHR :: forall r.
FormatFeatureFlagBits -> (Void# -> r) -> (Void# -> r) -> r
FORMAT_FEATURE_TRANSFER_DST_BIT_KHR = FORMAT_FEATURE_TRANSFER_DST_BIT


-- No documentation found for TopLevel "VK_IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT_KHR"
pattern $bIMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT_KHR :: ImageCreateFlagBits
$mIMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT_KHR :: forall r. ImageCreateFlagBits -> (Void# -> r) -> (Void# -> r) -> r
IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT_KHR = IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT


-- No documentation found for TopLevel "vkTrimCommandPoolKHR"
trimCommandPoolKHR :: Device -> CommandPool -> CommandPoolTrimFlags -> io ()
trimCommandPoolKHR = Device -> CommandPool -> CommandPoolTrimFlags -> io ()
forall (io :: * -> *).
MonadIO io =>
Device -> CommandPool -> CommandPoolTrimFlags -> io ()
trimCommandPool


-- No documentation found for TopLevel "VkCommandPoolTrimFlagsKHR"
type CommandPoolTrimFlagsKHR = CommandPoolTrimFlags


type KHR_MAINTENANCE1_SPEC_VERSION = 2

-- No documentation found for TopLevel "VK_KHR_MAINTENANCE1_SPEC_VERSION"
pattern KHR_MAINTENANCE1_SPEC_VERSION :: forall a . Integral a => a
pattern $bKHR_MAINTENANCE1_SPEC_VERSION :: a
$mKHR_MAINTENANCE1_SPEC_VERSION :: forall r a. Integral a => a -> (Void# -> r) -> (Void# -> r) -> r
KHR_MAINTENANCE1_SPEC_VERSION = 2


type KHR_MAINTENANCE1_EXTENSION_NAME = "VK_KHR_maintenance1"

-- No documentation found for TopLevel "VK_KHR_MAINTENANCE1_EXTENSION_NAME"
pattern KHR_MAINTENANCE1_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $bKHR_MAINTENANCE1_EXTENSION_NAME :: a
$mKHR_MAINTENANCE1_EXTENSION_NAME :: forall r a.
(Eq a, IsString a) =>
a -> (Void# -> r) -> (Void# -> r) -> r
KHR_MAINTENANCE1_EXTENSION_NAME = "VK_KHR_maintenance1"