{-# language CPP #-}
-- No documentation found for Chapter "APIConstants"
module Vulkan.Core10.APIConstants  ( pattern LOD_CLAMP_NONE
                                   , LUID_SIZE_KHR
                                   , QUEUE_FAMILY_EXTERNAL_KHR
                                   , MAX_DEVICE_GROUP_SIZE_KHR
                                   , MAX_DRIVER_NAME_SIZE_KHR
                                   , MAX_DRIVER_INFO_SIZE_KHR
                                   , SHADER_UNUSED_NV
                                   , MAX_GLOBAL_PRIORITY_SIZE_EXT
                                   , MAX_PHYSICAL_DEVICE_NAME_SIZE
                                   , pattern MAX_PHYSICAL_DEVICE_NAME_SIZE
                                   , UUID_SIZE
                                   , pattern UUID_SIZE
                                   , LUID_SIZE
                                   , pattern LUID_SIZE
                                   , MAX_EXTENSION_NAME_SIZE
                                   , pattern MAX_EXTENSION_NAME_SIZE
                                   , MAX_DESCRIPTION_SIZE
                                   , pattern MAX_DESCRIPTION_SIZE
                                   , MAX_MEMORY_TYPES
                                   , pattern MAX_MEMORY_TYPES
                                   , MAX_MEMORY_HEAPS
                                   , pattern MAX_MEMORY_HEAPS
                                   , REMAINING_MIP_LEVELS
                                   , pattern REMAINING_MIP_LEVELS
                                   , REMAINING_ARRAY_LAYERS
                                   , pattern REMAINING_ARRAY_LAYERS
                                   , REMAINING_3D_SLICES_EXT
                                   , pattern REMAINING_3D_SLICES_EXT
                                   , WHOLE_SIZE
                                   , pattern WHOLE_SIZE
                                   , ATTACHMENT_UNUSED
                                   , pattern ATTACHMENT_UNUSED
                                   , QUEUE_FAMILY_IGNORED
                                   , pattern QUEUE_FAMILY_IGNORED
                                   , QUEUE_FAMILY_EXTERNAL
                                   , pattern QUEUE_FAMILY_EXTERNAL
                                   , QUEUE_FAMILY_FOREIGN_EXT
                                   , pattern QUEUE_FAMILY_FOREIGN_EXT
                                   , SUBPASS_EXTERNAL
                                   , pattern SUBPASS_EXTERNAL
                                   , MAX_DEVICE_GROUP_SIZE
                                   , pattern MAX_DEVICE_GROUP_SIZE
                                   , MAX_DRIVER_NAME_SIZE
                                   , pattern MAX_DRIVER_NAME_SIZE
                                   , MAX_DRIVER_INFO_SIZE
                                   , pattern MAX_DRIVER_INFO_SIZE
                                   , SHADER_UNUSED_KHR
                                   , pattern SHADER_UNUSED_KHR
                                   , MAX_GLOBAL_PRIORITY_SIZE_KHR
                                   , pattern MAX_GLOBAL_PRIORITY_SIZE_KHR
                                   , MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT
                                   , pattern MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT
                                   , SHADER_INDEX_UNUSED_AMDX
                                   , pattern SHADER_INDEX_UNUSED_AMDX
                                   , pattern NULL_HANDLE
                                   , IsHandle
                                   , HasObjectType(..)
                                   , Bool32(..)
                                   , PipelineCacheHeaderVersion(..)
                                   ) where

import Vulkan.Zero (Zero(..))
import Data.Word (Word32)
import Data.Word (Word64)
import Vulkan.Core10.Enums.ObjectType (ObjectType)
import Vulkan.Core10.FundamentalTypes (Bool32(..))
import Vulkan.Core10.Enums.PipelineCacheHeaderVersion (PipelineCacheHeaderVersion(..))
-- | VK_LOD_CLAMP_NONE - Maximum LOD unclamped access sentinel
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern LOD_CLAMP_NONE :: Float
pattern $bLOD_CLAMP_NONE :: Float
$mLOD_CLAMP_NONE :: forall {r}. Float -> ((# #) -> r) -> ((# #) -> r) -> r
LOD_CLAMP_NONE = 1000.0


-- No documentation found for TopLevel "VK_LUID_SIZE_KHR"
type LUID_SIZE_KHR = LUID_SIZE


-- No documentation found for TopLevel "VK_QUEUE_FAMILY_EXTERNAL_KHR"
type QUEUE_FAMILY_EXTERNAL_KHR = QUEUE_FAMILY_EXTERNAL


-- No documentation found for TopLevel "VK_MAX_DEVICE_GROUP_SIZE_KHR"
type MAX_DEVICE_GROUP_SIZE_KHR = MAX_DEVICE_GROUP_SIZE


-- No documentation found for TopLevel "VK_MAX_DRIVER_NAME_SIZE_KHR"
type MAX_DRIVER_NAME_SIZE_KHR = MAX_DRIVER_NAME_SIZE


-- No documentation found for TopLevel "VK_MAX_DRIVER_INFO_SIZE_KHR"
type MAX_DRIVER_INFO_SIZE_KHR = MAX_DRIVER_INFO_SIZE


-- No documentation found for TopLevel "VK_SHADER_UNUSED_NV"
type SHADER_UNUSED_NV = SHADER_UNUSED_KHR


-- No documentation found for TopLevel "VK_MAX_GLOBAL_PRIORITY_SIZE_EXT"
type MAX_GLOBAL_PRIORITY_SIZE_EXT = MAX_GLOBAL_PRIORITY_SIZE_KHR


type MAX_PHYSICAL_DEVICE_NAME_SIZE = 256

-- | VK_MAX_PHYSICAL_DEVICE_NAME_SIZE - Length of a physical device name
-- string
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern MAX_PHYSICAL_DEVICE_NAME_SIZE :: forall a . Integral a => a
pattern $bMAX_PHYSICAL_DEVICE_NAME_SIZE :: forall a. Integral a => a
$mMAX_PHYSICAL_DEVICE_NAME_SIZE :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
MAX_PHYSICAL_DEVICE_NAME_SIZE = 256


type UUID_SIZE = 16

-- | VK_UUID_SIZE - Length of a universally unique device or driver build
-- identifier
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern UUID_SIZE :: forall a . Integral a => a
pattern $bUUID_SIZE :: forall a. Integral a => a
$mUUID_SIZE :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
UUID_SIZE = 16


type LUID_SIZE = 8

-- | VK_LUID_SIZE - Length of a locally unique device identifier
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_fence_capabilities VK_KHR_external_fence_capabilities>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_memory_capabilities VK_KHR_external_memory_capabilities>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_semaphore_capabilities VK_KHR_external_semaphore_capabilities>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_1 VK_VERSION_1_1>
pattern LUID_SIZE :: forall a . Integral a => a
pattern $bLUID_SIZE :: forall a. Integral a => a
$mLUID_SIZE :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
LUID_SIZE = 8


type MAX_EXTENSION_NAME_SIZE = 256

-- | VK_MAX_EXTENSION_NAME_SIZE - Maximum length of a layer of extension name
-- string
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern MAX_EXTENSION_NAME_SIZE :: forall a . Integral a => a
pattern $bMAX_EXTENSION_NAME_SIZE :: forall a. Integral a => a
$mMAX_EXTENSION_NAME_SIZE :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
MAX_EXTENSION_NAME_SIZE = 256


type MAX_DESCRIPTION_SIZE = 256

-- | VK_MAX_DESCRIPTION_SIZE - Length of a driver name string
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern MAX_DESCRIPTION_SIZE :: forall a . Integral a => a
pattern $bMAX_DESCRIPTION_SIZE :: forall a. Integral a => a
$mMAX_DESCRIPTION_SIZE :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
MAX_DESCRIPTION_SIZE = 256


type MAX_MEMORY_TYPES = 32

-- | VK_MAX_MEMORY_TYPES - Length of an array of memory types
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern MAX_MEMORY_TYPES :: forall a . Integral a => a
pattern $bMAX_MEMORY_TYPES :: forall a. Integral a => a
$mMAX_MEMORY_TYPES :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
MAX_MEMORY_TYPES = 32


type MAX_MEMORY_HEAPS = 16

-- | VK_MAX_MEMORY_HEAPS - Length of an array of memory heaps
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern MAX_MEMORY_HEAPS :: forall a . Integral a => a
pattern $bMAX_MEMORY_HEAPS :: forall a. Integral a => a
$mMAX_MEMORY_HEAPS :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
MAX_MEMORY_HEAPS = 16


type REMAINING_MIP_LEVELS = 0xffffffff

-- | VK_REMAINING_MIP_LEVELS - Sentinel for all remaining mipmap levels
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern REMAINING_MIP_LEVELS :: Word32
pattern $bREMAINING_MIP_LEVELS :: Word32
$mREMAINING_MIP_LEVELS :: forall {r}. Word32 -> ((# #) -> r) -> ((# #) -> r) -> r
REMAINING_MIP_LEVELS = 0xffffffff


type REMAINING_ARRAY_LAYERS = 0xffffffff

-- | VK_REMAINING_ARRAY_LAYERS - Sentinel for all remaining array layers
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern REMAINING_ARRAY_LAYERS :: Word32
pattern $bREMAINING_ARRAY_LAYERS :: Word32
$mREMAINING_ARRAY_LAYERS :: forall {r}. Word32 -> ((# #) -> r) -> ((# #) -> r) -> r
REMAINING_ARRAY_LAYERS = 0xffffffff


type REMAINING_3D_SLICES_EXT = 0xffffffff

-- | VK_REMAINING_3D_SLICES_EXT - Sentinel for all remaining 3D slices
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_image_sliced_view_of_3d VK_EXT_image_sliced_view_of_3d>
pattern REMAINING_3D_SLICES_EXT :: Word32
pattern $bREMAINING_3D_SLICES_EXT :: Word32
$mREMAINING_3D_SLICES_EXT :: forall {r}. Word32 -> ((# #) -> r) -> ((# #) -> r) -> r
REMAINING_3D_SLICES_EXT = 0xffffffff


type WHOLE_SIZE = 0xffffffffffffffff

-- | VK_WHOLE_SIZE - Sentinel value to use entire remaining array length
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern WHOLE_SIZE :: Word64
pattern $bWHOLE_SIZE :: Word64
$mWHOLE_SIZE :: forall {r}. Word64 -> ((# #) -> r) -> ((# #) -> r) -> r
WHOLE_SIZE = 0xffffffffffffffff


type ATTACHMENT_UNUSED = 0xffffffff

-- | VK_ATTACHMENT_UNUSED - Unused attachment sentinel
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern ATTACHMENT_UNUSED :: Word32
pattern $bATTACHMENT_UNUSED :: Word32
$mATTACHMENT_UNUSED :: forall {r}. Word32 -> ((# #) -> r) -> ((# #) -> r) -> r
ATTACHMENT_UNUSED = 0xffffffff


type QUEUE_FAMILY_IGNORED = 0xffffffff

-- | VK_QUEUE_FAMILY_IGNORED - Ignored queue family index sentinel
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern QUEUE_FAMILY_IGNORED :: Word32
pattern $bQUEUE_FAMILY_IGNORED :: Word32
$mQUEUE_FAMILY_IGNORED :: forall {r}. Word32 -> ((# #) -> r) -> ((# #) -> r) -> r
QUEUE_FAMILY_IGNORED = 0xffffffff


type QUEUE_FAMILY_EXTERNAL = 0xfffffffe

-- | VK_QUEUE_FAMILY_EXTERNAL - External queue family index sentinel
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_memory VK_KHR_external_memory>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_1 VK_VERSION_1_1>
pattern QUEUE_FAMILY_EXTERNAL :: Word32
pattern $bQUEUE_FAMILY_EXTERNAL :: Word32
$mQUEUE_FAMILY_EXTERNAL :: forall {r}. Word32 -> ((# #) -> r) -> ((# #) -> r) -> r
QUEUE_FAMILY_EXTERNAL = 0xfffffffe


type QUEUE_FAMILY_FOREIGN_EXT = 0xfffffffd

-- | VK_QUEUE_FAMILY_FOREIGN_EXT - Foreign queue family index sentinel
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_queue_family_foreign VK_EXT_queue_family_foreign>
pattern QUEUE_FAMILY_FOREIGN_EXT :: Word32
pattern $bQUEUE_FAMILY_FOREIGN_EXT :: Word32
$mQUEUE_FAMILY_FOREIGN_EXT :: forall {r}. Word32 -> ((# #) -> r) -> ((# #) -> r) -> r
QUEUE_FAMILY_FOREIGN_EXT = 0xfffffffd


type SUBPASS_EXTERNAL = 0xffffffff

-- | VK_SUBPASS_EXTERNAL - Subpass index sentinel expanding synchronization
-- scope outside a subpass
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern SUBPASS_EXTERNAL :: Word32
pattern $bSUBPASS_EXTERNAL :: Word32
$mSUBPASS_EXTERNAL :: forall {r}. Word32 -> ((# #) -> r) -> ((# #) -> r) -> r
SUBPASS_EXTERNAL = 0xffffffff


type MAX_DEVICE_GROUP_SIZE = 32

-- | VK_MAX_DEVICE_GROUP_SIZE - Length of a physical device handle array
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_device_group_creation VK_KHR_device_group_creation>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_1 VK_VERSION_1_1>
pattern MAX_DEVICE_GROUP_SIZE :: forall a . Integral a => a
pattern $bMAX_DEVICE_GROUP_SIZE :: forall a. Integral a => a
$mMAX_DEVICE_GROUP_SIZE :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
MAX_DEVICE_GROUP_SIZE = 32


type MAX_DRIVER_NAME_SIZE = 256

-- | VK_MAX_DRIVER_NAME_SIZE - Maximum length of a physical device driver
-- name string
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_driver_properties VK_KHR_driver_properties>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_2 VK_VERSION_1_2>
pattern MAX_DRIVER_NAME_SIZE :: forall a . Integral a => a
pattern $bMAX_DRIVER_NAME_SIZE :: forall a. Integral a => a
$mMAX_DRIVER_NAME_SIZE :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
MAX_DRIVER_NAME_SIZE = 256


type MAX_DRIVER_INFO_SIZE = 256

-- | VK_MAX_DRIVER_INFO_SIZE - Length of a physical device driver information
-- string
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_driver_properties VK_KHR_driver_properties>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_2 VK_VERSION_1_2>
pattern MAX_DRIVER_INFO_SIZE :: forall a . Integral a => a
pattern $bMAX_DRIVER_INFO_SIZE :: forall a. Integral a => a
$mMAX_DRIVER_INFO_SIZE :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
MAX_DRIVER_INFO_SIZE = 256


type SHADER_UNUSED_KHR = 0xffffffff

-- | VK_SHADER_UNUSED_KHR - Sentinel for an unused shader index
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_ray_tracing_pipeline VK_KHR_ray_tracing_pipeline>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_ray_tracing VK_NV_ray_tracing>
pattern SHADER_UNUSED_KHR :: Word32
pattern $bSHADER_UNUSED_KHR :: Word32
$mSHADER_UNUSED_KHR :: forall {r}. Word32 -> ((# #) -> r) -> ((# #) -> r) -> r
SHADER_UNUSED_KHR = 0xffffffff


type MAX_GLOBAL_PRIORITY_SIZE_KHR = 16

-- | VK_MAX_GLOBAL_PRIORITY_SIZE_KHR - Length of an array of global queue
-- priorities
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_global_priority VK_KHR_global_priority>
pattern MAX_GLOBAL_PRIORITY_SIZE_KHR :: forall a . Integral a => a
pattern $bMAX_GLOBAL_PRIORITY_SIZE_KHR :: forall a. Integral a => a
$mMAX_GLOBAL_PRIORITY_SIZE_KHR :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
MAX_GLOBAL_PRIORITY_SIZE_KHR = 16


type MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT = 32

-- | VK_MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT - Maximum length of a shader
-- module identifier
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_shader_module_identifier VK_EXT_shader_module_identifier>
pattern MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT :: forall a . Integral a => a
pattern $bMAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT :: forall a. Integral a => a
$mMAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT = 32


type SHADER_INDEX_UNUSED_AMDX = 0xffffffff

-- | VK_SHADER_INDEX_UNUSED_AMDX - Sentinel for an unused shader index
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_AMDX_shader_enqueue VK_AMDX_shader_enqueue>
pattern SHADER_INDEX_UNUSED_AMDX :: Word32
pattern $bSHADER_INDEX_UNUSED_AMDX :: Word32
$mSHADER_INDEX_UNUSED_AMDX :: forall {r}. Word32 -> ((# #) -> r) -> ((# #) -> r) -> r
SHADER_INDEX_UNUSED_AMDX = 0xffffffff


-- | VK_NULL_HANDLE - Reserved non-valid object handle
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>
pattern NULL_HANDLE :: IsHandle a => a
pattern $bNULL_HANDLE :: forall a. IsHandle a => a
$mNULL_HANDLE :: forall {r} {a}.
IsHandle a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
NULL_HANDLE <- ((== zero) -> True)
  where NULL_HANDLE = forall a. Zero a => a
zero

-- | A class for things which can be created with 'NULL_HANDLE'.
class (Eq a, Zero a) => IsHandle a where


class HasObjectType a where
  objectTypeAndHandle :: a -> (ObjectType, Word64)