{-# language CPP #-}
-- No documentation found for Chapter "PipelineRobustnessBufferBehavior"
module Vulkan.Core14.Enums.PipelineRobustnessBufferBehavior  (PipelineRobustnessBufferBehavior( PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT
                                                                                              , PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED
                                                                                              , PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS
                                                                                              , PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2
                                                                                              , ..
                                                                                              )) where

import Vulkan.Internal.Utils (enumReadPrec)
import Vulkan.Internal.Utils (enumShowsPrec)
import GHC.Show (showsPrec)
import Vulkan.Zero (Zero)
import Foreign.Storable (Storable)
import Data.Int (Int32)
import GHC.Read (Read(readPrec))
import GHC.Show (Show(showsPrec))

-- | VkPipelineRobustnessBufferBehavior - Enum controlling the robustness of
-- buffer accesses in a pipeline stage
--
-- = Description
--
-- -   'PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT' specifies that
--     <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#shaders-execution-memory-access-bounds out of bounds>
--     buffer accesses follow the behavior of robust buffer access features
--     enabled for the device.
--
-- -   'PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED' specifies that buffer
--     accesses /must/ not be
--     <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#shaders-execution-memory-access-bounds out of bounds>.
--
-- -   'PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS' specifies
--     that buffer accesses conform to
--     <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#shaders-robust-buffer-access>
--     guarantees.
--
-- -   'PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2'
--     specifies that buffer accesses conform to
--     <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#shaders-robust-buffer-access2>
--     guarantees.
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_pipeline_robustness VK_EXT_pipeline_robustness>,
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_4 VK_VERSION_1_4>,
-- 'Vulkan.Core14.Promoted_From_VK_EXT_pipeline_robustnessAdditionalFunctionality'.PhysicalDevicePipelineRobustnessProperties',
-- 'Vulkan.Core14.PhysicalDeviceVulkan14Properties',
-- 'Vulkan.Core14.Promoted_From_VK_EXT_pipeline_robustnessAdditionalFunctionality'.PipelineRobustnessCreateInfo'
newtype PipelineRobustnessBufferBehavior = PipelineRobustnessBufferBehavior Int32
  deriving newtype (PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
(PipelineRobustnessBufferBehavior
 -> PipelineRobustnessBufferBehavior -> Bool)
-> (PipelineRobustnessBufferBehavior
    -> PipelineRobustnessBufferBehavior -> Bool)
-> Eq PipelineRobustnessBufferBehavior
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
== :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
$c/= :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
/= :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
Eq, Eq PipelineRobustnessBufferBehavior
Eq PipelineRobustnessBufferBehavior =>
(PipelineRobustnessBufferBehavior
 -> PipelineRobustnessBufferBehavior -> Ordering)
-> (PipelineRobustnessBufferBehavior
    -> PipelineRobustnessBufferBehavior -> Bool)
-> (PipelineRobustnessBufferBehavior
    -> PipelineRobustnessBufferBehavior -> Bool)
-> (PipelineRobustnessBufferBehavior
    -> PipelineRobustnessBufferBehavior -> Bool)
-> (PipelineRobustnessBufferBehavior
    -> PipelineRobustnessBufferBehavior -> Bool)
-> (PipelineRobustnessBufferBehavior
    -> PipelineRobustnessBufferBehavior
    -> PipelineRobustnessBufferBehavior)
-> (PipelineRobustnessBufferBehavior
    -> PipelineRobustnessBufferBehavior
    -> PipelineRobustnessBufferBehavior)
-> Ord PipelineRobustnessBufferBehavior
PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Ordering
PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior
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 :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Ordering
compare :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Ordering
$c< :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
< :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
$c<= :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
<= :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
$c> :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
> :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
$c>= :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
>= :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> Bool
$cmax :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior
max :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior
$cmin :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior
min :: PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior
Ord, Ptr PipelineRobustnessBufferBehavior
-> IO PipelineRobustnessBufferBehavior
Ptr PipelineRobustnessBufferBehavior
-> Int -> IO PipelineRobustnessBufferBehavior
Ptr PipelineRobustnessBufferBehavior
-> Int -> PipelineRobustnessBufferBehavior -> IO ()
Ptr PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> IO ()
PipelineRobustnessBufferBehavior -> Int
(PipelineRobustnessBufferBehavior -> Int)
-> (PipelineRobustnessBufferBehavior -> Int)
-> (Ptr PipelineRobustnessBufferBehavior
    -> Int -> IO PipelineRobustnessBufferBehavior)
-> (Ptr PipelineRobustnessBufferBehavior
    -> Int -> PipelineRobustnessBufferBehavior -> IO ())
-> (forall b. Ptr b -> Int -> IO PipelineRobustnessBufferBehavior)
-> (forall b.
    Ptr b -> Int -> PipelineRobustnessBufferBehavior -> IO ())
-> (Ptr PipelineRobustnessBufferBehavior
    -> IO PipelineRobustnessBufferBehavior)
-> (Ptr PipelineRobustnessBufferBehavior
    -> PipelineRobustnessBufferBehavior -> IO ())
-> Storable PipelineRobustnessBufferBehavior
forall b. Ptr b -> Int -> IO PipelineRobustnessBufferBehavior
forall b. Ptr b -> Int -> PipelineRobustnessBufferBehavior -> 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 :: PipelineRobustnessBufferBehavior -> Int
sizeOf :: PipelineRobustnessBufferBehavior -> Int
$calignment :: PipelineRobustnessBufferBehavior -> Int
alignment :: PipelineRobustnessBufferBehavior -> Int
$cpeekElemOff :: Ptr PipelineRobustnessBufferBehavior
-> Int -> IO PipelineRobustnessBufferBehavior
peekElemOff :: Ptr PipelineRobustnessBufferBehavior
-> Int -> IO PipelineRobustnessBufferBehavior
$cpokeElemOff :: Ptr PipelineRobustnessBufferBehavior
-> Int -> PipelineRobustnessBufferBehavior -> IO ()
pokeElemOff :: Ptr PipelineRobustnessBufferBehavior
-> Int -> PipelineRobustnessBufferBehavior -> IO ()
$cpeekByteOff :: forall b. Ptr b -> Int -> IO PipelineRobustnessBufferBehavior
peekByteOff :: forall b. Ptr b -> Int -> IO PipelineRobustnessBufferBehavior
$cpokeByteOff :: forall b. Ptr b -> Int -> PipelineRobustnessBufferBehavior -> IO ()
pokeByteOff :: forall b. Ptr b -> Int -> PipelineRobustnessBufferBehavior -> IO ()
$cpeek :: Ptr PipelineRobustnessBufferBehavior
-> IO PipelineRobustnessBufferBehavior
peek :: Ptr PipelineRobustnessBufferBehavior
-> IO PipelineRobustnessBufferBehavior
$cpoke :: Ptr PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> IO ()
poke :: Ptr PipelineRobustnessBufferBehavior
-> PipelineRobustnessBufferBehavior -> IO ()
Storable, PipelineRobustnessBufferBehavior
PipelineRobustnessBufferBehavior
-> Zero PipelineRobustnessBufferBehavior
forall a. a -> Zero a
$czero :: PipelineRobustnessBufferBehavior
zero :: PipelineRobustnessBufferBehavior
Zero)

-- No documentation found for Nested "VkPipelineRobustnessBufferBehavior" "VK_PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT"
pattern $mPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT :: forall {r}.
PipelineRobustnessBufferBehavior
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT :: PipelineRobustnessBufferBehavior
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT = PipelineRobustnessBufferBehavior 0

-- No documentation found for Nested "VkPipelineRobustnessBufferBehavior" "VK_PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED"
pattern $mPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED :: forall {r}.
PipelineRobustnessBufferBehavior
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED :: PipelineRobustnessBufferBehavior
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED = PipelineRobustnessBufferBehavior 1

-- No documentation found for Nested "VkPipelineRobustnessBufferBehavior" "VK_PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS"
pattern $mPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS :: forall {r}.
PipelineRobustnessBufferBehavior
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS :: PipelineRobustnessBufferBehavior
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS = PipelineRobustnessBufferBehavior 2

-- No documentation found for Nested "VkPipelineRobustnessBufferBehavior" "VK_PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2"
pattern $mPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2 :: forall {r}.
PipelineRobustnessBufferBehavior
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2 :: PipelineRobustnessBufferBehavior
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2 = PipelineRobustnessBufferBehavior 3

{-# COMPLETE
  PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT
  , PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED
  , PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS
  , PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2 ::
    PipelineRobustnessBufferBehavior
  #-}

conNamePipelineRobustnessBufferBehavior :: String
conNamePipelineRobustnessBufferBehavior :: String
conNamePipelineRobustnessBufferBehavior = String
"PipelineRobustnessBufferBehavior"

enumPrefixPipelineRobustnessBufferBehavior :: String
enumPrefixPipelineRobustnessBufferBehavior :: String
enumPrefixPipelineRobustnessBufferBehavior = String
"PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_"

showTablePipelineRobustnessBufferBehavior :: [(PipelineRobustnessBufferBehavior, String)]
showTablePipelineRobustnessBufferBehavior :: [(PipelineRobustnessBufferBehavior, String)]
showTablePipelineRobustnessBufferBehavior =
  [
    ( PipelineRobustnessBufferBehavior
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT
    , String
"DEVICE_DEFAULT"
    )
  ,
    ( PipelineRobustnessBufferBehavior
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED
    , String
"DISABLED"
    )
  ,
    ( PipelineRobustnessBufferBehavior
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS
    , String
"ROBUST_BUFFER_ACCESS"
    )
  ,
    ( PipelineRobustnessBufferBehavior
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2
    , String
"ROBUST_BUFFER_ACCESS_2"
    )
  ]

instance Show PipelineRobustnessBufferBehavior where
  showsPrec :: Int -> PipelineRobustnessBufferBehavior -> ShowS
showsPrec =
    String
-> [(PipelineRobustnessBufferBehavior, String)]
-> String
-> (PipelineRobustnessBufferBehavior -> Int32)
-> (Int32 -> ShowS)
-> Int
-> PipelineRobustnessBufferBehavior
-> ShowS
forall a i.
Eq a =>
String
-> [(a, String)]
-> String
-> (a -> i)
-> (i -> ShowS)
-> Int
-> a
-> ShowS
enumShowsPrec
      String
enumPrefixPipelineRobustnessBufferBehavior
      [(PipelineRobustnessBufferBehavior, String)]
showTablePipelineRobustnessBufferBehavior
      String
conNamePipelineRobustnessBufferBehavior
      (\(PipelineRobustnessBufferBehavior Int32
x) -> Int32
x)
      (Int -> Int32 -> ShowS
forall a. Show a => Int -> a -> ShowS
showsPrec Int
11)

instance Read PipelineRobustnessBufferBehavior where
  readPrec :: ReadPrec PipelineRobustnessBufferBehavior
readPrec =
    String
-> [(PipelineRobustnessBufferBehavior, String)]
-> String
-> (Int32 -> PipelineRobustnessBufferBehavior)
-> ReadPrec PipelineRobustnessBufferBehavior
forall i a.
Read i =>
String -> [(a, String)] -> String -> (i -> a) -> ReadPrec a
enumReadPrec
      String
enumPrefixPipelineRobustnessBufferBehavior
      [(PipelineRobustnessBufferBehavior, String)]
showTablePipelineRobustnessBufferBehavior
      String
conNamePipelineRobustnessBufferBehavior
      Int32 -> PipelineRobustnessBufferBehavior
PipelineRobustnessBufferBehavior