{-# language CPP #-}
-- | = Name
--
-- VK_EXT_ray_tracing_invocation_reorder - device extension
--
-- = VK_EXT_ray_tracing_invocation_reorder
--
-- [__Name String__]
--     @VK_EXT_ray_tracing_invocation_reorder@
--
-- [__Extension Type__]
--     Device extension
--
-- [__Registered Extension Number__]
--     582
--
-- [__Revision__]
--     1
--
-- [__Ratification Status__]
--     Ratified
--
-- [__Extension and Version Dependencies__]
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_ray_tracing_pipeline VK_KHR_ray_tracing_pipeline>
--
-- [__SPIR-V Dependencies__]
--
--     -   <https://htmlpreview.github.io/?https://github.com/KhronosGroup/SPIRV-Registry/blob/master/extensions/EXT/SPV_EXT_shader_invocation_reorder.html SPV_EXT_shader_invocation_reorder>
--
-- [__Contact__]
--
--     -   Eric Werness
--         <https://github.com/KhronosGroup/Vulkan-Docs/issues/new?body=[VK_EXT_ray_tracing_invocation_reorder] @ewerness-nv%0A*Here describe the issue or question you have about the VK_EXT_ray_tracing_invocation_reorder extension* >
--
-- [__Extension Proposal__]
--     <https://github.com/KhronosGroup/Vulkan-Docs/tree/main/proposals/VK_EXT_ray_tracing_invocation_reorder.adoc VK_EXT_ray_tracing_invocation_reorder>
--
-- == Other Extension Metadata
--
-- [__Last Modified Date__]
--     2025-11-12
--
-- [__Interactions and External Dependencies__]
--
--     -   This extension provides API support for
--         <https://github.com/KhronosGroup/GLSL/blob/main/extensions/ext/GLSL_EXT_shader_invocation_reorder.txt GL_EXT_shader_invocation_reorder>
--
-- [__Contributors__]
--
--     -   Eric Werness, NVIDIA
--
--     -   Ashwin Lele, NVIDIA
--
--     -   Daniel Koch, NVIDIA
--
--     -   Vikram Kushwaha, NVIDIA
--
--     -   Piers Daniell, NVIDIA
--
--     -   Stu Smith, AMD
--
--     -   Aaron Hagan, AMD
--
--     -   Tyler Nowicki, AMD
--
--     -   Sebastian Neubauer, AMD
--
--     -   Radoslaw Drabinski, Intel
--
--     -   Sven Woop, Intel
--
--     -   Aleksandra Krstic, QUALCOMM
--
--     -   Andrew Garrard, Imagination Technologies
--
--     -   Mathieu Robart, Arm Limited
--
--     -   Tom Olson, Khronos
--
--     -   Ralph Potter, Samsung Electronics
--
--     -   Antonio Caggiano, LunarG
--
-- == Description
--
-- The ray tracing pipeline API provides some ability to reorder for
-- locality, but it is useful to have more control over how the reordering
-- happens and what information is included in the reordering. The shader
-- API provides a hit object to contain result information from the hit
-- which can be used as part of the explicit sorting plus options that
-- contain an integer for hint bits to use to add more coherency.
--
-- == New Structures
--
-- -   Extending
--     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2',
--     'Vulkan.Core10.Device.DeviceCreateInfo':
--
--     -   'PhysicalDeviceRayTracingInvocationReorderFeaturesEXT'
--
-- -   Extending
--     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceProperties2':
--
--     -   'PhysicalDeviceRayTracingInvocationReorderPropertiesEXT'
--
-- == New Enums
--
-- -   'RayTracingInvocationReorderModeEXT'
--
-- == New Enum Constants
--
-- -   'EXT_RAY_TRACING_INVOCATION_REORDER_EXTENSION_NAME'
--
-- -   'EXT_RAY_TRACING_INVOCATION_REORDER_SPEC_VERSION'
--
-- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PHYSICAL_DEVICE_RAY_TRACING_INVOCATION_REORDER_FEATURES_EXT'
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PHYSICAL_DEVICE_RAY_TRACING_INVOCATION_REORDER_PROPERTIES_EXT'
--
-- == Version History
--
-- -   Revision 1, 2025-11-12 (Eric Werness)
--
--     -   Internal development - forked from NV
--
-- == See Also
--
-- No cross-references are available
--
-- == Document Notes
--
-- For more information, see the
-- <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#VK_EXT_ray_tracing_invocation_reorder Vulkan Specification>.
--
-- This page is a generated document. Fixes and changes should be made to
-- the generator scripts, not directly.
module Vulkan.Extensions.VK_EXT_ray_tracing_invocation_reorder  ( PhysicalDeviceRayTracingInvocationReorderFeaturesEXT(..)
                                                                , PhysicalDeviceRayTracingInvocationReorderPropertiesEXT(..)
                                                                , RayTracingInvocationReorderModeEXT( RAY_TRACING_INVOCATION_REORDER_MODE_NONE_EXT
                                                                                                    , RAY_TRACING_INVOCATION_REORDER_MODE_REORDER_EXT
                                                                                                    , ..
                                                                                                    )
                                                                , EXT_RAY_TRACING_INVOCATION_REORDER_SPEC_VERSION
                                                                , pattern EXT_RAY_TRACING_INVOCATION_REORDER_SPEC_VERSION
                                                                , EXT_RAY_TRACING_INVOCATION_REORDER_EXTENSION_NAME
                                                                , pattern EXT_RAY_TRACING_INVOCATION_REORDER_EXTENSION_NAME
                                                                ) where

import Vulkan.Internal.Utils (enumReadPrec)
import Vulkan.Internal.Utils (enumShowsPrec)
import Foreign.Marshal.Alloc (allocaBytes)
import Foreign.Ptr (nullPtr)
import Foreign.Ptr (plusPtr)
import GHC.Show (showsPrec)
import Vulkan.CStruct (FromCStruct)
import Vulkan.CStruct (FromCStruct(..))
import Vulkan.CStruct (ToCStruct)
import Vulkan.CStruct (ToCStruct(..))
import Vulkan.Zero (Zero)
import Vulkan.Zero (Zero(..))
import Data.String (IsString)
import Data.Typeable (Typeable)
import Foreign.Storable (Storable)
import Foreign.Storable (Storable(peek))
import Foreign.Storable (Storable(poke))
import qualified Foreign.Storable (Storable(..))
import GHC.Generics (Generic)
import Data.Int (Int32)
import Foreign.Ptr (Ptr)
import GHC.Read (Read(readPrec))
import GHC.Show (Show(showsPrec))
import Data.Word (Word32)
import Data.Kind (Type)
import Vulkan.Core10.FundamentalTypes (bool32ToBool)
import Vulkan.Core10.FundamentalTypes (boolToBool32)
import Vulkan.Core10.FundamentalTypes (Bool32)
import Vulkan.Core10.Enums.StructureType (StructureType)
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_RAY_TRACING_INVOCATION_REORDER_FEATURES_EXT))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_RAY_TRACING_INVOCATION_REORDER_PROPERTIES_EXT))
-- | VkPhysicalDeviceRayTracingInvocationReorderFeaturesEXT - Structure
-- describing feature to control ray tracing invocation reordering
--
-- = Members
--
-- This structure describes the following feature:
--
-- = Description
--
-- If the 'PhysicalDeviceRayTracingInvocationReorderFeaturesEXT' structure
-- is included in the @pNext@ chain of the
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2'
-- structure passed to
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.getPhysicalDeviceFeatures2',
-- it is filled in to indicate whether each corresponding feature is
-- supported. If the application wishes to use a
-- 'Vulkan.Core10.Handles.Device' with any features described by
-- 'PhysicalDeviceRayTracingInvocationReorderFeaturesEXT', it /must/ add an
-- instance of the structure, with the desired feature members set to
-- 'Vulkan.Core10.FundamentalTypes.TRUE', to the @pNext@ chain of
-- 'Vulkan.Core10.Device.DeviceCreateInfo' when creating the
-- 'Vulkan.Core10.Handles.Device'.
--
-- == Valid Usage (Implicit)
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_ray_tracing_invocation_reorder VK_EXT_ray_tracing_invocation_reorder>,
-- 'Vulkan.Core10.FundamentalTypes.Bool32',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data PhysicalDeviceRayTracingInvocationReorderFeaturesEXT = PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
  { -- | #features-rayTracingInvocationReorder# @rayTracingInvocationReorder@
    -- indicates that the implementation supports
    -- @SPV_EXT_shader_invocation_reorder@.
    PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> Bool
rayTracingInvocationReorder :: Bool }
  deriving (Typeable, PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> Bool
(PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
 -> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> Bool)
-> (PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
    -> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> Bool)
-> Eq PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> Bool
== :: PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> Bool
$c/= :: PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> Bool
/= :: PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceRayTracingInvocationReorderFeaturesEXT)
#endif
deriving instance Show PhysicalDeviceRayTracingInvocationReorderFeaturesEXT

instance ToCStruct PhysicalDeviceRayTracingInvocationReorderFeaturesEXT where
  withCStruct :: forall b.
PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> (Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
    -> IO b)
-> IO b
withCStruct PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
x Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> IO b
f = Int
-> (Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
    -> IO b)
-> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
24 ((Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> IO b)
 -> IO b)
-> (Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
    -> IO b)
-> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p -> Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> IO b
-> IO b
forall b.
Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> IO b
-> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
x (Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> IO b
f Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p)
  pokeCStruct :: forall b.
Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> IO b
-> IO b
pokeCStruct Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p PhysicalDeviceRayTracingInvocationReorderFeaturesEXT{Bool
rayTracingInvocationReorder :: PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> Bool
rayTracingInvocationReorder :: Bool
..} IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_RAY_TRACING_INVOCATION_REORDER_FEATURES_EXT)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
    Ptr Bool32 -> Bool32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
rayTracingInvocationReorder))
    IO b
f
  cStructSize :: Int
cStructSize = Int
24
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b.
Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> IO b -> IO b
pokeZeroCStruct Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_RAY_TRACING_INVOCATION_REORDER_FEATURES_EXT)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
    Ptr Bool32 -> Bool32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
forall a. Zero a => a
zero))
    IO b
f

instance FromCStruct PhysicalDeviceRayTracingInvocationReorderFeaturesEXT where
  peekCStruct :: Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> IO PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
peekCStruct Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p = do
    rayTracingInvocationReorder <- forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32))
    pure $ PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
             (bool32ToBool rayTracingInvocationReorder)

instance Storable PhysicalDeviceRayTracingInvocationReorderFeaturesEXT where
  sizeOf :: PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> Int
sizeOf ~PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
_ = Int
24
  alignment :: PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> Int
alignment ~PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
_ = Int
8
  peek :: Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> IO PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
peek = Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> IO PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
  poke :: Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT -> IO ()
poke Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
poked = Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> IO ()
-> IO ()
forall b.
Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
-> IO b
-> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
ptr PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())

instance Zero PhysicalDeviceRayTracingInvocationReorderFeaturesEXT where
  zero :: PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
zero = Bool -> PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
PhysicalDeviceRayTracingInvocationReorderFeaturesEXT
           Bool
forall a. Zero a => a
zero


-- | VkPhysicalDeviceRayTracingInvocationReorderPropertiesEXT - Structure
-- describing shader module identifier properties of an implementation
--
-- = Description
--
-- If @rayTracingInvocationReorderReorderingHint@ is
-- 'RAY_TRACING_INVOCATION_REORDER_MODE_REORDER_EXT' there /must/ exist
-- conditions under which the ordered set of invocations before a reorder
-- instruction is different than the ordered set of invocations after the
-- reorder instruction. The ordering of a set of invocations is determined
-- by the @SubgroupId@ of an invocation’s subgroup and the
-- @SubGroupInvocationId@ of an invocation within that subgroup.
--
-- The reorder instructions are:
--
-- Because the extension changes how hits are managed there is a
-- compatibility reason to expose the extension even when an implementation
-- does not have sorting active.
--
-- If the 'PhysicalDeviceRayTracingInvocationReorderPropertiesEXT'
-- structure is included in the @pNext@ chain of the
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceProperties2'
-- structure passed to
-- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.getPhysicalDeviceProperties2',
-- it is filled in with each corresponding implementation-dependent
-- property.
--
-- == Valid Usage (Implicit)
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_ray_tracing_invocation_reorder VK_EXT_ray_tracing_invocation_reorder>,
-- 'RayTracingInvocationReorderModeEXT',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data PhysicalDeviceRayTracingInvocationReorderPropertiesEXT = PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
  { -- | @rayTracingInvocationReorderReorderingHint@ is a hint indicating if the
    -- implementation /may/ reorder at the reorder calls.
    PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> RayTracingInvocationReorderModeEXT
rayTracingInvocationReorderReorderingHint :: RayTracingInvocationReorderModeEXT
  , -- | @maxShaderBindingTableRecordIndex@ is the maximum shader binding table
    -- record index allowed to be passed in to
    -- @OpHitObjectSetShaderBindingTableRecordIndexEXT@
    PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> Word32
maxShaderBindingTableRecordIndex :: Word32
  }
  deriving (Typeable, PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> Bool
(PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
 -> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> Bool)
-> (PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
    -> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> Bool)
-> Eq PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> Bool
== :: PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> Bool
$c/= :: PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> Bool
/= :: PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceRayTracingInvocationReorderPropertiesEXT)
#endif
deriving instance Show PhysicalDeviceRayTracingInvocationReorderPropertiesEXT

instance ToCStruct PhysicalDeviceRayTracingInvocationReorderPropertiesEXT where
  withCStruct :: forall b.
PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> (Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
    -> IO b)
-> IO b
withCStruct PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
x Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> IO b
f = Int
-> (Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
    -> IO b)
-> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
24 ((Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
  -> IO b)
 -> IO b)
-> (Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
    -> IO b)
-> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p -> Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> IO b
-> IO b
forall b.
Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> IO b
-> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
x (Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> IO b
f Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p)
  pokeCStruct :: forall b.
Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> IO b
-> IO b
pokeCStruct Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p PhysicalDeviceRayTracingInvocationReorderPropertiesEXT{Word32
RayTracingInvocationReorderModeEXT
rayTracingInvocationReorderReorderingHint :: PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> RayTracingInvocationReorderModeEXT
maxShaderBindingTableRecordIndex :: PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> Word32
rayTracingInvocationReorderReorderingHint :: RayTracingInvocationReorderModeEXT
maxShaderBindingTableRecordIndex :: Word32
..} IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_RAY_TRACING_INVOCATION_REORDER_PROPERTIES_EXT)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
    Ptr RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> Int -> Ptr RayTracingInvocationReorderModeEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr RayTracingInvocationReorderModeEXT)) (RayTracingInvocationReorderModeEXT
rayTracingInvocationReorderReorderingHint)
    Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
20 :: Ptr Word32)) (Word32
maxShaderBindingTableRecordIndex)
    IO b
f
  cStructSize :: Int
cStructSize = Int
24
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b.
Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> IO b -> IO b
pokeZeroCStruct Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_RAY_TRACING_INVOCATION_REORDER_PROPERTIES_EXT)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
    Ptr RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> Int -> Ptr RayTracingInvocationReorderModeEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr RayTracingInvocationReorderModeEXT)) (RayTracingInvocationReorderModeEXT
forall a. Zero a => a
zero)
    Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
20 :: Ptr Word32)) (Word32
forall a. Zero a => a
zero)
    IO b
f

instance FromCStruct PhysicalDeviceRayTracingInvocationReorderPropertiesEXT where
  peekCStruct :: Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> IO PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
peekCStruct Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p = do
    rayTracingInvocationReorderReorderingHint <- forall a. Storable a => Ptr a -> IO a
peek @RayTracingInvocationReorderModeEXT ((Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
p Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> Int -> Ptr RayTracingInvocationReorderModeEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr RayTracingInvocationReorderModeEXT))
    maxShaderBindingTableRecordIndex <- peek @Word32 ((p `plusPtr` 20 :: Ptr Word32))
    pure $ PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
             rayTracingInvocationReorderReorderingHint
             maxShaderBindingTableRecordIndex

instance Storable PhysicalDeviceRayTracingInvocationReorderPropertiesEXT where
  sizeOf :: PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> Int
sizeOf ~PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
_ = Int
24
  alignment :: PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> Int
alignment ~PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
_ = Int
8
  peek :: Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> IO PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
peek = Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> IO PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
  poke :: Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT -> IO ()
poke Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
poked = Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> IO ()
-> IO ()
forall b.
Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
-> IO b
-> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
ptr PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())

instance Zero PhysicalDeviceRayTracingInvocationReorderPropertiesEXT where
  zero :: PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
zero = RayTracingInvocationReorderModeEXT
-> Word32 -> PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
PhysicalDeviceRayTracingInvocationReorderPropertiesEXT
           RayTracingInvocationReorderModeEXT
forall a. Zero a => a
zero
           Word32
forall a. Zero a => a
zero


-- | VkRayTracingInvocationReorderModeEXT - Enum providing a hint on how the
-- application /may/ reorder
--
-- = Description
--
-- -   'RAY_TRACING_INVOCATION_REORDER_MODE_NONE_EXT' specifies that the
--     implementation does not reorder at reorder calls.
--
-- -   'RAY_TRACING_INVOCATION_REORDER_MODE_REORDER_EXT' specifies that the
--     implementation /may/ reorder at reorder calls.
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_ray_tracing_invocation_reorder VK_EXT_ray_tracing_invocation_reorder>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_NV_ray_tracing_invocation_reorder VK_NV_ray_tracing_invocation_reorder>,
-- 'PhysicalDeviceRayTracingInvocationReorderPropertiesEXT',
-- 'Vulkan.Extensions.VK_NV_ray_tracing_invocation_reorder.PhysicalDeviceRayTracingInvocationReorderPropertiesNV'
newtype RayTracingInvocationReorderModeEXT = RayTracingInvocationReorderModeEXT Int32
  deriving newtype (RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
(RayTracingInvocationReorderModeEXT
 -> RayTracingInvocationReorderModeEXT -> Bool)
-> (RayTracingInvocationReorderModeEXT
    -> RayTracingInvocationReorderModeEXT -> Bool)
-> Eq RayTracingInvocationReorderModeEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
== :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
$c/= :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
/= :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
Eq, Eq RayTracingInvocationReorderModeEXT
Eq RayTracingInvocationReorderModeEXT =>
(RayTracingInvocationReorderModeEXT
 -> RayTracingInvocationReorderModeEXT -> Ordering)
-> (RayTracingInvocationReorderModeEXT
    -> RayTracingInvocationReorderModeEXT -> Bool)
-> (RayTracingInvocationReorderModeEXT
    -> RayTracingInvocationReorderModeEXT -> Bool)
-> (RayTracingInvocationReorderModeEXT
    -> RayTracingInvocationReorderModeEXT -> Bool)
-> (RayTracingInvocationReorderModeEXT
    -> RayTracingInvocationReorderModeEXT -> Bool)
-> (RayTracingInvocationReorderModeEXT
    -> RayTracingInvocationReorderModeEXT
    -> RayTracingInvocationReorderModeEXT)
-> (RayTracingInvocationReorderModeEXT
    -> RayTracingInvocationReorderModeEXT
    -> RayTracingInvocationReorderModeEXT)
-> Ord RayTracingInvocationReorderModeEXT
RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Ordering
RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
$ccompare :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Ordering
compare :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Ordering
$c< :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
< :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
$c<= :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
<= :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
$c> :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
> :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
$c>= :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
>= :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> Bool
$cmax :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT
max :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT
$cmin :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT
min :: RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT
Ord, Ptr RayTracingInvocationReorderModeEXT
-> IO RayTracingInvocationReorderModeEXT
Ptr RayTracingInvocationReorderModeEXT
-> Int -> IO RayTracingInvocationReorderModeEXT
Ptr RayTracingInvocationReorderModeEXT
-> Int -> RayTracingInvocationReorderModeEXT -> IO ()
Ptr RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> IO ()
RayTracingInvocationReorderModeEXT -> Int
(RayTracingInvocationReorderModeEXT -> Int)
-> (RayTracingInvocationReorderModeEXT -> Int)
-> (Ptr RayTracingInvocationReorderModeEXT
    -> Int -> IO RayTracingInvocationReorderModeEXT)
-> (Ptr RayTracingInvocationReorderModeEXT
    -> Int -> RayTracingInvocationReorderModeEXT -> IO ())
-> (forall b.
    Ptr b -> Int -> IO RayTracingInvocationReorderModeEXT)
-> (forall b.
    Ptr b -> Int -> RayTracingInvocationReorderModeEXT -> IO ())
-> (Ptr RayTracingInvocationReorderModeEXT
    -> IO RayTracingInvocationReorderModeEXT)
-> (Ptr RayTracingInvocationReorderModeEXT
    -> RayTracingInvocationReorderModeEXT -> IO ())
-> Storable RayTracingInvocationReorderModeEXT
forall b. Ptr b -> Int -> IO RayTracingInvocationReorderModeEXT
forall b.
Ptr b -> Int -> RayTracingInvocationReorderModeEXT -> IO ()
forall a.
(a -> Int)
-> (a -> Int)
-> (Ptr a -> Int -> IO a)
-> (Ptr a -> Int -> a -> IO ())
-> (forall b. Ptr b -> Int -> IO a)
-> (forall b. Ptr b -> Int -> a -> IO ())
-> (Ptr a -> IO a)
-> (Ptr a -> a -> IO ())
-> Storable a
$csizeOf :: RayTracingInvocationReorderModeEXT -> Int
sizeOf :: RayTracingInvocationReorderModeEXT -> Int
$calignment :: RayTracingInvocationReorderModeEXT -> Int
alignment :: RayTracingInvocationReorderModeEXT -> Int
$cpeekElemOff :: Ptr RayTracingInvocationReorderModeEXT
-> Int -> IO RayTracingInvocationReorderModeEXT
peekElemOff :: Ptr RayTracingInvocationReorderModeEXT
-> Int -> IO RayTracingInvocationReorderModeEXT
$cpokeElemOff :: Ptr RayTracingInvocationReorderModeEXT
-> Int -> RayTracingInvocationReorderModeEXT -> IO ()
pokeElemOff :: Ptr RayTracingInvocationReorderModeEXT
-> Int -> RayTracingInvocationReorderModeEXT -> IO ()
$cpeekByteOff :: forall b. Ptr b -> Int -> IO RayTracingInvocationReorderModeEXT
peekByteOff :: forall b. Ptr b -> Int -> IO RayTracingInvocationReorderModeEXT
$cpokeByteOff :: forall b.
Ptr b -> Int -> RayTracingInvocationReorderModeEXT -> IO ()
pokeByteOff :: forall b.
Ptr b -> Int -> RayTracingInvocationReorderModeEXT -> IO ()
$cpeek :: Ptr RayTracingInvocationReorderModeEXT
-> IO RayTracingInvocationReorderModeEXT
peek :: Ptr RayTracingInvocationReorderModeEXT
-> IO RayTracingInvocationReorderModeEXT
$cpoke :: Ptr RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> IO ()
poke :: Ptr RayTracingInvocationReorderModeEXT
-> RayTracingInvocationReorderModeEXT -> IO ()
Storable, RayTracingInvocationReorderModeEXT
RayTracingInvocationReorderModeEXT
-> Zero RayTracingInvocationReorderModeEXT
forall a. a -> Zero a
$czero :: RayTracingInvocationReorderModeEXT
zero :: RayTracingInvocationReorderModeEXT
Zero)

-- No documentation found for Nested "VkRayTracingInvocationReorderModeEXT" "VK_RAY_TRACING_INVOCATION_REORDER_MODE_NONE_EXT"
pattern $mRAY_TRACING_INVOCATION_REORDER_MODE_NONE_EXT :: forall {r}.
RayTracingInvocationReorderModeEXT
-> ((# #) -> r) -> ((# #) -> r) -> r
$bRAY_TRACING_INVOCATION_REORDER_MODE_NONE_EXT :: RayTracingInvocationReorderModeEXT
RAY_TRACING_INVOCATION_REORDER_MODE_NONE_EXT = RayTracingInvocationReorderModeEXT 0

-- No documentation found for Nested "VkRayTracingInvocationReorderModeEXT" "VK_RAY_TRACING_INVOCATION_REORDER_MODE_REORDER_EXT"
pattern $mRAY_TRACING_INVOCATION_REORDER_MODE_REORDER_EXT :: forall {r}.
RayTracingInvocationReorderModeEXT
-> ((# #) -> r) -> ((# #) -> r) -> r
$bRAY_TRACING_INVOCATION_REORDER_MODE_REORDER_EXT :: RayTracingInvocationReorderModeEXT
RAY_TRACING_INVOCATION_REORDER_MODE_REORDER_EXT = RayTracingInvocationReorderModeEXT 1

{-# COMPLETE
  RAY_TRACING_INVOCATION_REORDER_MODE_NONE_EXT
  , RAY_TRACING_INVOCATION_REORDER_MODE_REORDER_EXT ::
    RayTracingInvocationReorderModeEXT
  #-}

conNameRayTracingInvocationReorderModeEXT :: String
conNameRayTracingInvocationReorderModeEXT :: String
conNameRayTracingInvocationReorderModeEXT = String
"RayTracingInvocationReorderModeEXT"

enumPrefixRayTracingInvocationReorderModeEXT :: String
enumPrefixRayTracingInvocationReorderModeEXT :: String
enumPrefixRayTracingInvocationReorderModeEXT = String
"RAY_TRACING_INVOCATION_REORDER_MODE_"

showTableRayTracingInvocationReorderModeEXT :: [(RayTracingInvocationReorderModeEXT, String)]
showTableRayTracingInvocationReorderModeEXT :: [(RayTracingInvocationReorderModeEXT, String)]
showTableRayTracingInvocationReorderModeEXT =
  [
    ( RayTracingInvocationReorderModeEXT
RAY_TRACING_INVOCATION_REORDER_MODE_NONE_EXT
    , String
"NONE_EXT"
    )
  ,
    ( RayTracingInvocationReorderModeEXT
RAY_TRACING_INVOCATION_REORDER_MODE_REORDER_EXT
    , String
"REORDER_EXT"
    )
  ]

instance Show RayTracingInvocationReorderModeEXT where
  showsPrec :: Int -> RayTracingInvocationReorderModeEXT -> ShowS
showsPrec =
    String
-> [(RayTracingInvocationReorderModeEXT, String)]
-> String
-> (RayTracingInvocationReorderModeEXT -> Int32)
-> (Int32 -> ShowS)
-> Int
-> RayTracingInvocationReorderModeEXT
-> ShowS
forall a i.
Eq a =>
String
-> [(a, String)]
-> String
-> (a -> i)
-> (i -> ShowS)
-> Int
-> a
-> ShowS
enumShowsPrec
      String
enumPrefixRayTracingInvocationReorderModeEXT
      [(RayTracingInvocationReorderModeEXT, String)]
showTableRayTracingInvocationReorderModeEXT
      String
conNameRayTracingInvocationReorderModeEXT
      (\(RayTracingInvocationReorderModeEXT Int32
x) -> Int32
x)
      (Int -> Int32 -> ShowS
forall a. Show a => Int -> a -> ShowS
showsPrec Int
11)

instance Read RayTracingInvocationReorderModeEXT where
  readPrec :: ReadPrec RayTracingInvocationReorderModeEXT
readPrec =
    String
-> [(RayTracingInvocationReorderModeEXT, String)]
-> String
-> (Int32 -> RayTracingInvocationReorderModeEXT)
-> ReadPrec RayTracingInvocationReorderModeEXT
forall i a.
Read i =>
String -> [(a, String)] -> String -> (i -> a) -> ReadPrec a
enumReadPrec
      String
enumPrefixRayTracingInvocationReorderModeEXT
      [(RayTracingInvocationReorderModeEXT, String)]
showTableRayTracingInvocationReorderModeEXT
      String
conNameRayTracingInvocationReorderModeEXT
      Int32 -> RayTracingInvocationReorderModeEXT
RayTracingInvocationReorderModeEXT

type EXT_RAY_TRACING_INVOCATION_REORDER_SPEC_VERSION = 1

-- No documentation found for TopLevel "VK_EXT_RAY_TRACING_INVOCATION_REORDER_SPEC_VERSION"
pattern EXT_RAY_TRACING_INVOCATION_REORDER_SPEC_VERSION :: forall a . Integral a => a
pattern $mEXT_RAY_TRACING_INVOCATION_REORDER_SPEC_VERSION :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bEXT_RAY_TRACING_INVOCATION_REORDER_SPEC_VERSION :: forall a. Integral a => a
EXT_RAY_TRACING_INVOCATION_REORDER_SPEC_VERSION = 1


type EXT_RAY_TRACING_INVOCATION_REORDER_EXTENSION_NAME = "VK_EXT_ray_tracing_invocation_reorder"

-- No documentation found for TopLevel "VK_EXT_RAY_TRACING_INVOCATION_REORDER_EXTENSION_NAME"
pattern EXT_RAY_TRACING_INVOCATION_REORDER_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $mEXT_RAY_TRACING_INVOCATION_REORDER_EXTENSION_NAME :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bEXT_RAY_TRACING_INVOCATION_REORDER_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
EXT_RAY_TRACING_INVOCATION_REORDER_EXTENSION_NAME = "VK_EXT_ray_tracing_invocation_reorder"