{-# language CPP #-}
-- | = Name
--
-- VK_NV_raw_access_chains - device extension
--
-- = VK_NV_raw_access_chains
--
-- [__Name String__]
--     @VK_NV_raw_access_chains@
--
-- [__Extension Type__]
--     Device extension
--
-- [__Registered Extension Number__]
--     556
--
-- [__Revision__]
--     1
--
-- [__Ratification Status__]
--     Not ratified
--
-- [__Extension and Version Dependencies__]
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_get_physical_device_properties2 VK_KHR_get_physical_device_properties2>
--     or
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#versions-1.1 Vulkan Version 1.1>
--
-- [__SPIR-V Dependencies__]
--
--     -   <https://htmlpreview.github.io/?https://github.com/KhronosGroup/SPIRV-Registry/blob/master/extensions/NV/SPV_NV_raw_access_chains.html SPV_NV_raw_access_chains>
--
-- [__Contact__]
--
--     -   Rodrigo Locatti
--         <https://github.com/KhronosGroup/Vulkan-Docs/issues/new?body=[VK_NV_raw_access_chains] @rlocatti%0A*Here describe the issue or question you have about the VK_NV_raw_access_chains extension* >
--
-- == Other Extension Metadata
--
-- [__Last Modified Date__]
--     2023-12-04
--
-- [__Interactions and External Dependencies__]
--
--     -   This extension requires
--         <https://htmlpreview.github.io/?https://github.com/KhronosGroup/SPIRV-Registry/blob/master/extensions/NV/SPV_NV_raw_access_chains.html SPV_NV_raw_access_chains>
--
-- [__Contributors__]
--
--     -   Hans-Kristian Arntzen, Valve
--
--     -   Rodrigo Locatti, NVIDIA
--
-- == Description
--
-- This extension allows the use of the @SPV_NV_raw_access_chains@
-- extension in SPIR-V shader modules. This enables SPIR-V producers to
-- efficiently implement interfaces similar to Direct3D structured buffers
-- and byte address buffers, allowing shaders compiled from an HLSL source
-- to generate more efficient code.
--
-- == New SPIR-V Capabilities
--
-- -   <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#spirvenv-capabilities-table-RawAccessChainsNV RawAccessChainsNV>
--
-- == Version History
--
-- -   Revision 1, 2023-12-04 (Rodrigo Locatti)
--
--     -   Initial revision
--
-- == 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_NV_raw_access_chains Vulkan Specification>.
--
-- This page is a generated document. Fixes and changes should be made to
-- the generator scripts, not directly.
module Vulkan.Extensions.VK_NV_raw_access_chains  ( PhysicalDeviceRawAccessChainsFeaturesNV(..)
                                                  , NV_RAW_ACCESS_CHAINS_SPEC_VERSION
                                                  , pattern NV_RAW_ACCESS_CHAINS_SPEC_VERSION
                                                  , NV_RAW_ACCESS_CHAINS_EXTENSION_NAME
                                                  , pattern NV_RAW_ACCESS_CHAINS_EXTENSION_NAME
                                                  ) where

import Foreign.Marshal.Alloc (allocaBytes)
import Foreign.Ptr (nullPtr)
import Foreign.Ptr (plusPtr)
import Vulkan.CStruct (FromCStruct)
import Vulkan.CStruct (FromCStruct(..))
import Vulkan.CStruct (ToCStruct)
import Vulkan.CStruct (ToCStruct(..))
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 Foreign.Ptr (Ptr)
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_RAW_ACCESS_CHAINS_FEATURES_NV))
-- | VkPhysicalDeviceRawAccessChainsFeaturesNV - Structure describing shader
-- raw access chains features that can be supported by an implementation
--
-- = Members
--
-- This structure describes the following feature:
--
-- = Description
--
-- If the 'PhysicalDeviceRawAccessChainsFeaturesNV' 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
-- 'PhysicalDeviceRawAccessChainsFeaturesNV', 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_NV_raw_access_chains VK_NV_raw_access_chains>,
-- 'Vulkan.Core10.FundamentalTypes.Bool32',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data PhysicalDeviceRawAccessChainsFeaturesNV = PhysicalDeviceRawAccessChainsFeaturesNV
  { -- | #features-shaderRawAccessChains# @shaderRawAccessChains@ specifies
    -- whether shader modules /can/ declare the @RawAccessChainsNV@ capability.
    PhysicalDeviceRawAccessChainsFeaturesNV -> Bool
shaderRawAccessChains :: Bool }
  deriving (Typeable, PhysicalDeviceRawAccessChainsFeaturesNV
-> PhysicalDeviceRawAccessChainsFeaturesNV -> Bool
(PhysicalDeviceRawAccessChainsFeaturesNV
 -> PhysicalDeviceRawAccessChainsFeaturesNV -> Bool)
-> (PhysicalDeviceRawAccessChainsFeaturesNV
    -> PhysicalDeviceRawAccessChainsFeaturesNV -> Bool)
-> Eq PhysicalDeviceRawAccessChainsFeaturesNV
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PhysicalDeviceRawAccessChainsFeaturesNV
-> PhysicalDeviceRawAccessChainsFeaturesNV -> Bool
== :: PhysicalDeviceRawAccessChainsFeaturesNV
-> PhysicalDeviceRawAccessChainsFeaturesNV -> Bool
$c/= :: PhysicalDeviceRawAccessChainsFeaturesNV
-> PhysicalDeviceRawAccessChainsFeaturesNV -> Bool
/= :: PhysicalDeviceRawAccessChainsFeaturesNV
-> PhysicalDeviceRawAccessChainsFeaturesNV -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceRawAccessChainsFeaturesNV)
#endif
deriving instance Show PhysicalDeviceRawAccessChainsFeaturesNV

instance ToCStruct PhysicalDeviceRawAccessChainsFeaturesNV where
  withCStruct :: forall b.
PhysicalDeviceRawAccessChainsFeaturesNV
-> (Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> IO b) -> IO b
withCStruct PhysicalDeviceRawAccessChainsFeaturesNV
x Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> IO b
f = Int
-> (Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
24 ((Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> IO b) -> IO b)
-> (Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr PhysicalDeviceRawAccessChainsFeaturesNV
p -> Ptr PhysicalDeviceRawAccessChainsFeaturesNV
-> PhysicalDeviceRawAccessChainsFeaturesNV -> IO b -> IO b
forall b.
Ptr PhysicalDeviceRawAccessChainsFeaturesNV
-> PhysicalDeviceRawAccessChainsFeaturesNV -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRawAccessChainsFeaturesNV
p PhysicalDeviceRawAccessChainsFeaturesNV
x (Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> IO b
f Ptr PhysicalDeviceRawAccessChainsFeaturesNV
p)
  pokeCStruct :: forall b.
Ptr PhysicalDeviceRawAccessChainsFeaturesNV
-> PhysicalDeviceRawAccessChainsFeaturesNV -> IO b -> IO b
pokeCStruct Ptr PhysicalDeviceRawAccessChainsFeaturesNV
p PhysicalDeviceRawAccessChainsFeaturesNV{Bool
shaderRawAccessChains :: PhysicalDeviceRawAccessChainsFeaturesNV -> Bool
shaderRawAccessChains :: Bool
..} IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRawAccessChainsFeaturesNV
p Ptr PhysicalDeviceRawAccessChainsFeaturesNV
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_RAW_ACCESS_CHAINS_FEATURES_NV)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRawAccessChainsFeaturesNV
p Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> 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 PhysicalDeviceRawAccessChainsFeaturesNV
p Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
shaderRawAccessChains))
    IO b
f
  cStructSize :: Int
cStructSize = Int
24
  cStructAlignment :: Int
cStructAlignment = Int
8
  pokeZeroCStruct :: forall b.
Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> IO b -> IO b
pokeZeroCStruct Ptr PhysicalDeviceRawAccessChainsFeaturesNV
p IO b
f = do
    Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRawAccessChainsFeaturesNV
p Ptr PhysicalDeviceRawAccessChainsFeaturesNV
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_RAW_ACCESS_CHAINS_FEATURES_NV)
    Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDeviceRawAccessChainsFeaturesNV
p Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> 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 PhysicalDeviceRawAccessChainsFeaturesNV
p Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> 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 PhysicalDeviceRawAccessChainsFeaturesNV where
  peekCStruct :: Ptr PhysicalDeviceRawAccessChainsFeaturesNV
-> IO PhysicalDeviceRawAccessChainsFeaturesNV
peekCStruct Ptr PhysicalDeviceRawAccessChainsFeaturesNV
p = do
    shaderRawAccessChains <- forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDeviceRawAccessChainsFeaturesNV
p Ptr PhysicalDeviceRawAccessChainsFeaturesNV -> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32))
    pure $ PhysicalDeviceRawAccessChainsFeaturesNV
             (bool32ToBool shaderRawAccessChains)

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

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


type NV_RAW_ACCESS_CHAINS_SPEC_VERSION = 1

-- No documentation found for TopLevel "VK_NV_RAW_ACCESS_CHAINS_SPEC_VERSION"
pattern NV_RAW_ACCESS_CHAINS_SPEC_VERSION :: forall a . Integral a => a
pattern $mNV_RAW_ACCESS_CHAINS_SPEC_VERSION :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bNV_RAW_ACCESS_CHAINS_SPEC_VERSION :: forall a. Integral a => a
NV_RAW_ACCESS_CHAINS_SPEC_VERSION = 1


type NV_RAW_ACCESS_CHAINS_EXTENSION_NAME = "VK_NV_raw_access_chains"

-- No documentation found for TopLevel "VK_NV_RAW_ACCESS_CHAINS_EXTENSION_NAME"
pattern NV_RAW_ACCESS_CHAINS_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $mNV_RAW_ACCESS_CHAINS_EXTENSION_NAME :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bNV_RAW_ACCESS_CHAINS_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
NV_RAW_ACCESS_CHAINS_EXTENSION_NAME = "VK_NV_raw_access_chains"