{-# OPTIONS_GHC -fno-warn-missing-pattern-synonym-signatures#-}
{-# OPTIONS_GHC -fno-warn-orphans#-}
{-# OPTIONS_GHC -fno-warn-unused-imports#-}
{-# OPTIONS_HADDOCK not-home#-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE ForeignFunctionInterface #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE Strict #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ViewPatterns #-}
module Graphics.Vulkan.Ext.VK_KHR_maintenance1
(
module Graphics.Vulkan.Types.Bitmasks, VkTrimCommandPoolKHR,
pattern VkTrimCommandPoolKHR, HS_vkTrimCommandPoolKHR,
PFN_vkTrimCommandPoolKHR, module Graphics.Vulkan.Marshal,
module Graphics.Vulkan.Types.BaseTypes,
module Graphics.Vulkan.Types.Handles,
VK_KHR_MAINTENANCE1_SPEC_VERSION,
pattern VK_KHR_MAINTENANCE1_SPEC_VERSION,
VK_KHR_MAINTENANCE1_EXTENSION_NAME,
pattern VK_KHR_MAINTENANCE1_EXTENSION_NAME,
pattern VK_ERROR_OUT_OF_POOL_MEMORY_KHR,
pattern VK_FORMAT_FEATURE_TRANSFER_SRC_BIT_KHR,
pattern VK_FORMAT_FEATURE_TRANSFER_DST_BIT_KHR,
pattern VK_IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT_KHR)
where
import GHC.Ptr (Ptr (..))
import Graphics.Vulkan.Core_1_1 (pattern VK_ERROR_OUT_OF_POOL_MEMORY,
pattern VK_FORMAT_FEATURE_TRANSFER_DST_BIT,
pattern VK_FORMAT_FEATURE_TRANSFER_SRC_BIT,
pattern VK_IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT)
import Graphics.Vulkan.Marshal
import Graphics.Vulkan.Marshal.Proc (VulkanProc (..))
import Graphics.Vulkan.Types.BaseTypes
import Graphics.Vulkan.Types.Bitmasks
import Graphics.Vulkan.Types.Handles
pattern VkTrimCommandPoolKHR :: CString
pattern $bVkTrimCommandPoolKHR :: CString
$mVkTrimCommandPoolKHR :: forall r. CString -> (Void# -> r) -> (Void# -> r) -> r
VkTrimCommandPoolKHR <- (is_VkTrimCommandPoolKHR -> True)
where VkTrimCommandPoolKHR = CString
_VkTrimCommandPoolKHR
{-# INLINE _VkTrimCommandPoolKHR #-}
_VkTrimCommandPoolKHR :: CString
_VkTrimCommandPoolKHR :: CString
_VkTrimCommandPoolKHR = Addr# -> CString
forall a. Addr# -> Ptr a
Ptr Addr#
"vkTrimCommandPoolKHR\NUL"#
{-# INLINE is_VkTrimCommandPoolKHR #-}
is_VkTrimCommandPoolKHR :: CString -> Bool
is_VkTrimCommandPoolKHR :: CString -> Bool
is_VkTrimCommandPoolKHR
= (Ordering
EQ Ordering -> Ordering -> Bool
forall a. Eq a => a -> a -> Bool
==) (Ordering -> Bool) -> (CString -> Ordering) -> CString -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CString -> CString -> Ordering
cmpCStrings CString
_VkTrimCommandPoolKHR
type VkTrimCommandPoolKHR = "vkTrimCommandPoolKHR"
type HS_vkTrimCommandPoolKHR =
VkDevice
-> VkCommandPool
-> VkCommandPoolTrimFlags
-> IO ()
type PFN_vkTrimCommandPoolKHR = FunPtr HS_vkTrimCommandPoolKHR
foreign import ccall "dynamic" unwrapVkTrimCommandPoolKHR ::
PFN_vkTrimCommandPoolKHR -> HS_vkTrimCommandPoolKHR
instance VulkanProc "vkTrimCommandPoolKHR" where
type VkProcType "vkTrimCommandPoolKHR" = HS_vkTrimCommandPoolKHR
vkProcSymbol :: CString
vkProcSymbol = CString
_VkTrimCommandPoolKHR
{-# INLINE vkProcSymbol #-}
unwrapVkProcPtr :: FunPtr (VkProcType "vkTrimCommandPoolKHR")
-> VkProcType "vkTrimCommandPoolKHR"
unwrapVkProcPtr = FunPtr (VkProcType "vkTrimCommandPoolKHR")
-> VkProcType "vkTrimCommandPoolKHR"
PFN_vkTrimCommandPoolKHR -> HS_vkTrimCommandPoolKHR
unwrapVkTrimCommandPoolKHR
{-# INLINE unwrapVkProcPtr #-}
pattern VK_KHR_MAINTENANCE1_SPEC_VERSION :: (Num a, Eq a) => a
pattern $bVK_KHR_MAINTENANCE1_SPEC_VERSION :: a
$mVK_KHR_MAINTENANCE1_SPEC_VERSION :: forall r a. (Num a, Eq a) => a -> (Void# -> r) -> (Void# -> r) -> r
VK_KHR_MAINTENANCE1_SPEC_VERSION = 2
type VK_KHR_MAINTENANCE1_SPEC_VERSION = 2
pattern VK_KHR_MAINTENANCE1_EXTENSION_NAME :: CString
pattern $bVK_KHR_MAINTENANCE1_EXTENSION_NAME :: CString
$mVK_KHR_MAINTENANCE1_EXTENSION_NAME :: forall r. CString -> (Void# -> r) -> (Void# -> r) -> r
VK_KHR_MAINTENANCE1_EXTENSION_NAME <-
(is_VK_KHR_MAINTENANCE1_EXTENSION_NAME -> True)
where VK_KHR_MAINTENANCE1_EXTENSION_NAME
= CString
_VK_KHR_MAINTENANCE1_EXTENSION_NAME
{-# INLINE _VK_KHR_MAINTENANCE1_EXTENSION_NAME #-}
_VK_KHR_MAINTENANCE1_EXTENSION_NAME :: CString
_VK_KHR_MAINTENANCE1_EXTENSION_NAME :: CString
_VK_KHR_MAINTENANCE1_EXTENSION_NAME
= Addr# -> CString
forall a. Addr# -> Ptr a
Ptr Addr#
"VK_KHR_maintenance1\NUL"#
{-# INLINE is_VK_KHR_MAINTENANCE1_EXTENSION_NAME #-}
is_VK_KHR_MAINTENANCE1_EXTENSION_NAME :: CString -> Bool
is_VK_KHR_MAINTENANCE1_EXTENSION_NAME :: CString -> Bool
is_VK_KHR_MAINTENANCE1_EXTENSION_NAME
= (Ordering
EQ Ordering -> Ordering -> Bool
forall a. Eq a => a -> a -> Bool
==) (Ordering -> Bool) -> (CString -> Ordering) -> CString -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CString -> CString -> Ordering
cmpCStrings CString
_VK_KHR_MAINTENANCE1_EXTENSION_NAME
type VK_KHR_MAINTENANCE1_EXTENSION_NAME = "VK_KHR_maintenance1"
pattern $bVK_ERROR_OUT_OF_POOL_MEMORY_KHR :: VkResult
$mVK_ERROR_OUT_OF_POOL_MEMORY_KHR :: forall r. VkResult -> (Void# -> r) -> (Void# -> r) -> r
VK_ERROR_OUT_OF_POOL_MEMORY_KHR =
VK_ERROR_OUT_OF_POOL_MEMORY
pattern $bVK_FORMAT_FEATURE_TRANSFER_SRC_BIT_KHR :: VkFormatFeatureFlagBits
$mVK_FORMAT_FEATURE_TRANSFER_SRC_BIT_KHR :: forall r.
VkFormatFeatureFlagBits -> (Void# -> r) -> (Void# -> r) -> r
VK_FORMAT_FEATURE_TRANSFER_SRC_BIT_KHR =
VK_FORMAT_FEATURE_TRANSFER_SRC_BIT
pattern $bVK_FORMAT_FEATURE_TRANSFER_DST_BIT_KHR :: VkFormatFeatureFlagBits
$mVK_FORMAT_FEATURE_TRANSFER_DST_BIT_KHR :: forall r.
VkFormatFeatureFlagBits -> (Void# -> r) -> (Void# -> r) -> r
VK_FORMAT_FEATURE_TRANSFER_DST_BIT_KHR =
VK_FORMAT_FEATURE_TRANSFER_DST_BIT
pattern $bVK_IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT_KHR :: VkImageCreateFlagBits
$mVK_IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT_KHR :: forall r.
VkImageCreateFlagBits -> (Void# -> r) -> (Void# -> r) -> r
VK_IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT_KHR =
VK_IMAGE_CREATE_2D_ARRAY_COMPATIBLE_BIT