{-# language CPP #-}
module Vulkan.Extensions.VK_EXT_pipeline_robustness ( PhysicalDevicePipelineRobustnessFeaturesEXT(..)
, PipelineRobustnessCreateInfoEXT(..)
, PhysicalDevicePipelineRobustnessPropertiesEXT(..)
, PipelineRobustnessBufferBehaviorEXT( PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT_EXT
, PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED_EXT
, PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_EXT
, PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2_EXT
, ..
)
, PipelineRobustnessImageBehaviorEXT( PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DEVICE_DEFAULT_EXT
, PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DISABLED_EXT
, PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_EXT
, PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_2_EXT
, ..
)
, EXT_PIPELINE_ROBUSTNESS_SPEC_VERSION
, pattern EXT_PIPELINE_ROBUSTNESS_SPEC_VERSION
, EXT_PIPELINE_ROBUSTNESS_EXTENSION_NAME
, pattern EXT_PIPELINE_ROBUSTNESS_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.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_PIPELINE_ROBUSTNESS_FEATURES_EXT))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_PIPELINE_ROBUSTNESS_PROPERTIES_EXT))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_ROBUSTNESS_CREATE_INFO_EXT))
data PhysicalDevicePipelineRobustnessFeaturesEXT = PhysicalDevicePipelineRobustnessFeaturesEXT
{
PhysicalDevicePipelineRobustnessFeaturesEXT -> Bool
pipelineRobustness :: Bool }
deriving (Typeable, PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> Bool
(PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> Bool)
-> (PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> Bool)
-> Eq PhysicalDevicePipelineRobustnessFeaturesEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> Bool
== :: PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> Bool
$c/= :: PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> Bool
/= :: PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDevicePipelineRobustnessFeaturesEXT)
#endif
deriving instance Show PhysicalDevicePipelineRobustnessFeaturesEXT
instance ToCStruct PhysicalDevicePipelineRobustnessFeaturesEXT where
withCStruct :: forall b.
PhysicalDevicePipelineRobustnessFeaturesEXT
-> (Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b)
-> IO b
withCStruct PhysicalDevicePipelineRobustnessFeaturesEXT
x Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b
f = Int
-> (Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b)
-> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
24 ((Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b) -> IO b)
-> (Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b)
-> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
p -> Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b -> IO b
forall b.
Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
p PhysicalDevicePipelineRobustnessFeaturesEXT
x (Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b
f Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
p)
pokeCStruct :: forall b.
Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b -> IO b
pokeCStruct Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
p PhysicalDevicePipelineRobustnessFeaturesEXT{Bool
$sel:pipelineRobustness:PhysicalDevicePipelineRobustnessFeaturesEXT :: PhysicalDevicePipelineRobustnessFeaturesEXT -> Bool
pipelineRobustness :: Bool
..} IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
p Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_PIPELINE_ROBUSTNESS_FEATURES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
p Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> 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 PhysicalDevicePipelineRobustnessFeaturesEXT
p Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
pipelineRobustness))
IO b
f
cStructSize :: Int
cStructSize = Int
24
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b.
Ptr PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b -> IO b
pokeZeroCStruct Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
p IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
p Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_PIPELINE_ROBUSTNESS_FEATURES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
p Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> 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 PhysicalDevicePipelineRobustnessFeaturesEXT
p Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> 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 PhysicalDevicePipelineRobustnessFeaturesEXT where
peekCStruct :: Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> IO PhysicalDevicePipelineRobustnessFeaturesEXT
peekCStruct Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
p = do
Bool32
pipelineRobustness <- forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
p Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32))
PhysicalDevicePipelineRobustnessFeaturesEXT
-> IO PhysicalDevicePipelineRobustnessFeaturesEXT
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (PhysicalDevicePipelineRobustnessFeaturesEXT
-> IO PhysicalDevicePipelineRobustnessFeaturesEXT)
-> PhysicalDevicePipelineRobustnessFeaturesEXT
-> IO PhysicalDevicePipelineRobustnessFeaturesEXT
forall a b. (a -> b) -> a -> b
$ Bool -> PhysicalDevicePipelineRobustnessFeaturesEXT
PhysicalDevicePipelineRobustnessFeaturesEXT
(Bool32 -> Bool
bool32ToBool Bool32
pipelineRobustness)
instance Storable PhysicalDevicePipelineRobustnessFeaturesEXT where
sizeOf :: PhysicalDevicePipelineRobustnessFeaturesEXT -> Int
sizeOf ~PhysicalDevicePipelineRobustnessFeaturesEXT
_ = Int
24
alignment :: PhysicalDevicePipelineRobustnessFeaturesEXT -> Int
alignment ~PhysicalDevicePipelineRobustnessFeaturesEXT
_ = Int
8
peek :: Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> IO PhysicalDevicePipelineRobustnessFeaturesEXT
peek = Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> IO PhysicalDevicePipelineRobustnessFeaturesEXT
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> IO ()
poke Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
ptr PhysicalDevicePipelineRobustnessFeaturesEXT
poked = Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> IO () -> IO ()
forall b.
Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
-> PhysicalDevicePipelineRobustnessFeaturesEXT -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDevicePipelineRobustnessFeaturesEXT
ptr PhysicalDevicePipelineRobustnessFeaturesEXT
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero PhysicalDevicePipelineRobustnessFeaturesEXT where
zero :: PhysicalDevicePipelineRobustnessFeaturesEXT
zero = Bool -> PhysicalDevicePipelineRobustnessFeaturesEXT
PhysicalDevicePipelineRobustnessFeaturesEXT
Bool
forall a. Zero a => a
zero
data PipelineRobustnessCreateInfoEXT = PipelineRobustnessCreateInfoEXT
{
PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessBufferBehaviorEXT
storageBuffers :: PipelineRobustnessBufferBehaviorEXT
,
PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessBufferBehaviorEXT
uniformBuffers :: PipelineRobustnessBufferBehaviorEXT
,
PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessBufferBehaviorEXT
vertexInputs :: PipelineRobustnessBufferBehaviorEXT
,
PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessImageBehaviorEXT
images :: PipelineRobustnessImageBehaviorEXT
}
deriving (Typeable, PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> Bool
(PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> Bool)
-> (PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> Bool)
-> Eq PipelineRobustnessCreateInfoEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> Bool
== :: PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> Bool
$c/= :: PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> Bool
/= :: PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PipelineRobustnessCreateInfoEXT)
#endif
deriving instance Show PipelineRobustnessCreateInfoEXT
instance ToCStruct PipelineRobustnessCreateInfoEXT where
withCStruct :: forall b.
PipelineRobustnessCreateInfoEXT
-> (Ptr PipelineRobustnessCreateInfoEXT -> IO b) -> IO b
withCStruct PipelineRobustnessCreateInfoEXT
x Ptr PipelineRobustnessCreateInfoEXT -> IO b
f = Int -> (Ptr PipelineRobustnessCreateInfoEXT -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
32 ((Ptr PipelineRobustnessCreateInfoEXT -> IO b) -> IO b)
-> (Ptr PipelineRobustnessCreateInfoEXT -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr PipelineRobustnessCreateInfoEXT
p -> Ptr PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> IO b -> IO b
forall b.
Ptr PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PipelineRobustnessCreateInfoEXT
p PipelineRobustnessCreateInfoEXT
x (Ptr PipelineRobustnessCreateInfoEXT -> IO b
f Ptr PipelineRobustnessCreateInfoEXT
p)
pokeCStruct :: forall b.
Ptr PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> IO b -> IO b
pokeCStruct Ptr PipelineRobustnessCreateInfoEXT
p PipelineRobustnessCreateInfoEXT{PipelineRobustnessImageBehaviorEXT
PipelineRobustnessBufferBehaviorEXT
$sel:storageBuffers:PipelineRobustnessCreateInfoEXT :: PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessBufferBehaviorEXT
$sel:uniformBuffers:PipelineRobustnessCreateInfoEXT :: PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessBufferBehaviorEXT
$sel:vertexInputs:PipelineRobustnessCreateInfoEXT :: PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessBufferBehaviorEXT
$sel:images:PipelineRobustnessCreateInfoEXT :: PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessImageBehaviorEXT
storageBuffers :: PipelineRobustnessBufferBehaviorEXT
uniformBuffers :: PipelineRobustnessBufferBehaviorEXT
vertexInputs :: PipelineRobustnessBufferBehaviorEXT
images :: PipelineRobustnessImageBehaviorEXT
..} IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PIPELINE_ROBUSTNESS_CREATE_INFO_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
storageBuffers)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
20 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
uniformBuffers)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
vertexInputs)
Ptr PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessImageBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
28 :: Ptr PipelineRobustnessImageBehaviorEXT)) (PipelineRobustnessImageBehaviorEXT
images)
IO b
f
cStructSize :: Int
cStructSize = Int
32
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b. Ptr PipelineRobustnessCreateInfoEXT -> IO b -> IO b
pokeZeroCStruct Ptr PipelineRobustnessCreateInfoEXT
p IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PIPELINE_ROBUSTNESS_CREATE_INFO_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
20 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero)
Ptr PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessImageBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
28 :: Ptr PipelineRobustnessImageBehaviorEXT)) (PipelineRobustnessImageBehaviorEXT
forall a. Zero a => a
zero)
IO b
f
instance FromCStruct PipelineRobustnessCreateInfoEXT where
peekCStruct :: Ptr PipelineRobustnessCreateInfoEXT
-> IO PipelineRobustnessCreateInfoEXT
peekCStruct Ptr PipelineRobustnessCreateInfoEXT
p = do
PipelineRobustnessBufferBehaviorEXT
storageBuffers <- forall a. Storable a => Ptr a -> IO a
peek @PipelineRobustnessBufferBehaviorEXT ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineRobustnessBufferBehaviorEXT))
PipelineRobustnessBufferBehaviorEXT
uniformBuffers <- forall a. Storable a => Ptr a -> IO a
peek @PipelineRobustnessBufferBehaviorEXT ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
20 :: Ptr PipelineRobustnessBufferBehaviorEXT))
PipelineRobustnessBufferBehaviorEXT
vertexInputs <- forall a. Storable a => Ptr a -> IO a
peek @PipelineRobustnessBufferBehaviorEXT ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr PipelineRobustnessBufferBehaviorEXT))
PipelineRobustnessImageBehaviorEXT
images <- forall a. Storable a => Ptr a -> IO a
peek @PipelineRobustnessImageBehaviorEXT ((Ptr PipelineRobustnessCreateInfoEXT
p Ptr PipelineRobustnessCreateInfoEXT
-> Int -> Ptr PipelineRobustnessImageBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
28 :: Ptr PipelineRobustnessImageBehaviorEXT))
PipelineRobustnessCreateInfoEXT
-> IO PipelineRobustnessCreateInfoEXT
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (PipelineRobustnessCreateInfoEXT
-> IO PipelineRobustnessCreateInfoEXT)
-> PipelineRobustnessCreateInfoEXT
-> IO PipelineRobustnessCreateInfoEXT
forall a b. (a -> b) -> a -> b
$ PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessCreateInfoEXT
PipelineRobustnessCreateInfoEXT
PipelineRobustnessBufferBehaviorEXT
storageBuffers PipelineRobustnessBufferBehaviorEXT
uniformBuffers PipelineRobustnessBufferBehaviorEXT
vertexInputs PipelineRobustnessImageBehaviorEXT
images
instance Storable PipelineRobustnessCreateInfoEXT where
sizeOf :: PipelineRobustnessCreateInfoEXT -> Int
sizeOf ~PipelineRobustnessCreateInfoEXT
_ = Int
32
alignment :: PipelineRobustnessCreateInfoEXT -> Int
alignment ~PipelineRobustnessCreateInfoEXT
_ = Int
8
peek :: Ptr PipelineRobustnessCreateInfoEXT
-> IO PipelineRobustnessCreateInfoEXT
peek = Ptr PipelineRobustnessCreateInfoEXT
-> IO PipelineRobustnessCreateInfoEXT
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> IO ()
poke Ptr PipelineRobustnessCreateInfoEXT
ptr PipelineRobustnessCreateInfoEXT
poked = Ptr PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> IO () -> IO ()
forall b.
Ptr PipelineRobustnessCreateInfoEXT
-> PipelineRobustnessCreateInfoEXT -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PipelineRobustnessCreateInfoEXT
ptr PipelineRobustnessCreateInfoEXT
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero PipelineRobustnessCreateInfoEXT where
zero :: PipelineRobustnessCreateInfoEXT
zero = PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessCreateInfoEXT
PipelineRobustnessCreateInfoEXT
PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero
PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero
PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero
PipelineRobustnessImageBehaviorEXT
forall a. Zero a => a
zero
data PhysicalDevicePipelineRobustnessPropertiesEXT = PhysicalDevicePipelineRobustnessPropertiesEXT
{
PhysicalDevicePipelineRobustnessPropertiesEXT
-> PipelineRobustnessBufferBehaviorEXT
defaultRobustnessStorageBuffers :: PipelineRobustnessBufferBehaviorEXT
,
PhysicalDevicePipelineRobustnessPropertiesEXT
-> PipelineRobustnessBufferBehaviorEXT
defaultRobustnessUniformBuffers :: PipelineRobustnessBufferBehaviorEXT
,
PhysicalDevicePipelineRobustnessPropertiesEXT
-> PipelineRobustnessBufferBehaviorEXT
defaultRobustnessVertexInputs :: PipelineRobustnessBufferBehaviorEXT
,
PhysicalDevicePipelineRobustnessPropertiesEXT
-> PipelineRobustnessImageBehaviorEXT
defaultRobustnessImages :: PipelineRobustnessImageBehaviorEXT
}
deriving (Typeable, PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> Bool
(PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> Bool)
-> (PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> Bool)
-> Eq PhysicalDevicePipelineRobustnessPropertiesEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> Bool
== :: PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> Bool
$c/= :: PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> Bool
/= :: PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDevicePipelineRobustnessPropertiesEXT)
#endif
deriving instance Show PhysicalDevicePipelineRobustnessPropertiesEXT
instance ToCStruct PhysicalDevicePipelineRobustnessPropertiesEXT where
withCStruct :: forall b.
PhysicalDevicePipelineRobustnessPropertiesEXT
-> (Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b)
-> IO b
withCStruct PhysicalDevicePipelineRobustnessPropertiesEXT
x Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b
f = Int
-> (Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b)
-> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
32 ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b)
-> IO b)
-> (Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b)
-> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p -> Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b -> IO b
forall b.
Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p PhysicalDevicePipelineRobustnessPropertiesEXT
x (Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b
f Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p)
pokeCStruct :: forall b.
Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b -> IO b
pokeCStruct Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p PhysicalDevicePipelineRobustnessPropertiesEXT{PipelineRobustnessImageBehaviorEXT
PipelineRobustnessBufferBehaviorEXT
$sel:defaultRobustnessStorageBuffers:PhysicalDevicePipelineRobustnessPropertiesEXT :: PhysicalDevicePipelineRobustnessPropertiesEXT
-> PipelineRobustnessBufferBehaviorEXT
$sel:defaultRobustnessUniformBuffers:PhysicalDevicePipelineRobustnessPropertiesEXT :: PhysicalDevicePipelineRobustnessPropertiesEXT
-> PipelineRobustnessBufferBehaviorEXT
$sel:defaultRobustnessVertexInputs:PhysicalDevicePipelineRobustnessPropertiesEXT :: PhysicalDevicePipelineRobustnessPropertiesEXT
-> PipelineRobustnessBufferBehaviorEXT
$sel:defaultRobustnessImages:PhysicalDevicePipelineRobustnessPropertiesEXT :: PhysicalDevicePipelineRobustnessPropertiesEXT
-> PipelineRobustnessImageBehaviorEXT
defaultRobustnessStorageBuffers :: PipelineRobustnessBufferBehaviorEXT
defaultRobustnessUniformBuffers :: PipelineRobustnessBufferBehaviorEXT
defaultRobustnessVertexInputs :: PipelineRobustnessBufferBehaviorEXT
defaultRobustnessImages :: PipelineRobustnessImageBehaviorEXT
..} IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_PIPELINE_ROBUSTNESS_PROPERTIES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
defaultRobustnessStorageBuffers)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
20 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
defaultRobustnessUniformBuffers)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
defaultRobustnessVertexInputs)
Ptr PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessImageBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
28 :: Ptr PipelineRobustnessImageBehaviorEXT)) (PipelineRobustnessImageBehaviorEXT
defaultRobustnessImages)
IO b
f
cStructSize :: Int
cStructSize = Int
32
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b.
Ptr PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b -> IO b
pokeZeroCStruct Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_PIPELINE_ROBUSTNESS_PROPERTIES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
20 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero)
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr PipelineRobustnessBufferBehaviorEXT)) (PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero)
Ptr PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessImageBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
28 :: Ptr PipelineRobustnessImageBehaviorEXT)) (PipelineRobustnessImageBehaviorEXT
forall a. Zero a => a
zero)
IO b
f
instance FromCStruct PhysicalDevicePipelineRobustnessPropertiesEXT where
peekCStruct :: Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> IO PhysicalDevicePipelineRobustnessPropertiesEXT
peekCStruct Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p = do
PipelineRobustnessBufferBehaviorEXT
defaultRobustnessStorageBuffers <- forall a. Storable a => Ptr a -> IO a
peek @PipelineRobustnessBufferBehaviorEXT ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr PipelineRobustnessBufferBehaviorEXT))
PipelineRobustnessBufferBehaviorEXT
defaultRobustnessUniformBuffers <- forall a. Storable a => Ptr a -> IO a
peek @PipelineRobustnessBufferBehaviorEXT ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
20 :: Ptr PipelineRobustnessBufferBehaviorEXT))
PipelineRobustnessBufferBehaviorEXT
defaultRobustnessVertexInputs <- forall a. Storable a => Ptr a -> IO a
peek @PipelineRobustnessBufferBehaviorEXT ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessBufferBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr PipelineRobustnessBufferBehaviorEXT))
PipelineRobustnessImageBehaviorEXT
defaultRobustnessImages <- forall a. Storable a => Ptr a -> IO a
peek @PipelineRobustnessImageBehaviorEXT ((Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
p Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> Int -> Ptr PipelineRobustnessImageBehaviorEXT
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
28 :: Ptr PipelineRobustnessImageBehaviorEXT))
PhysicalDevicePipelineRobustnessPropertiesEXT
-> IO PhysicalDevicePipelineRobustnessPropertiesEXT
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (PhysicalDevicePipelineRobustnessPropertiesEXT
-> IO PhysicalDevicePipelineRobustnessPropertiesEXT)
-> PhysicalDevicePipelineRobustnessPropertiesEXT
-> IO PhysicalDevicePipelineRobustnessPropertiesEXT
forall a b. (a -> b) -> a -> b
$ PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT
PhysicalDevicePipelineRobustnessPropertiesEXT
PipelineRobustnessBufferBehaviorEXT
defaultRobustnessStorageBuffers
PipelineRobustnessBufferBehaviorEXT
defaultRobustnessUniformBuffers
PipelineRobustnessBufferBehaviorEXT
defaultRobustnessVertexInputs
PipelineRobustnessImageBehaviorEXT
defaultRobustnessImages
instance Storable PhysicalDevicePipelineRobustnessPropertiesEXT where
sizeOf :: PhysicalDevicePipelineRobustnessPropertiesEXT -> Int
sizeOf ~PhysicalDevicePipelineRobustnessPropertiesEXT
_ = Int
32
alignment :: PhysicalDevicePipelineRobustnessPropertiesEXT -> Int
alignment ~PhysicalDevicePipelineRobustnessPropertiesEXT
_ = Int
8
peek :: Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> IO PhysicalDevicePipelineRobustnessPropertiesEXT
peek = Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> IO PhysicalDevicePipelineRobustnessPropertiesEXT
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> IO ()
poke Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
ptr PhysicalDevicePipelineRobustnessPropertiesEXT
poked = Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> IO () -> IO ()
forall b.
Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDevicePipelineRobustnessPropertiesEXT
ptr PhysicalDevicePipelineRobustnessPropertiesEXT
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero PhysicalDevicePipelineRobustnessPropertiesEXT where
zero :: PhysicalDevicePipelineRobustnessPropertiesEXT
zero = PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
-> PhysicalDevicePipelineRobustnessPropertiesEXT
PhysicalDevicePipelineRobustnessPropertiesEXT
PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero
PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero
PipelineRobustnessBufferBehaviorEXT
forall a. Zero a => a
zero
PipelineRobustnessImageBehaviorEXT
forall a. Zero a => a
zero
newtype PipelineRobustnessBufferBehaviorEXT = PipelineRobustnessBufferBehaviorEXT Int32
deriving newtype (PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
(PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool)
-> (PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool)
-> Eq PipelineRobustnessBufferBehaviorEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
== :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
$c/= :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
/= :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
Eq, Eq PipelineRobustnessBufferBehaviorEXT
Eq PipelineRobustnessBufferBehaviorEXT =>
(PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Ordering)
-> (PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool)
-> (PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool)
-> (PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool)
-> (PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool)
-> (PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT)
-> (PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT)
-> Ord PipelineRobustnessBufferBehaviorEXT
PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Ordering
PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
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 :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Ordering
compare :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Ordering
$c< :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
< :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
$c<= :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
<= :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
$c> :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
> :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
$c>= :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
>= :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> Bool
$cmax :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
max :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
$cmin :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
min :: PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT
Ord, Ptr PipelineRobustnessBufferBehaviorEXT
-> IO PipelineRobustnessBufferBehaviorEXT
Ptr PipelineRobustnessBufferBehaviorEXT
-> Int -> IO PipelineRobustnessBufferBehaviorEXT
Ptr PipelineRobustnessBufferBehaviorEXT
-> Int -> PipelineRobustnessBufferBehaviorEXT -> IO ()
Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
PipelineRobustnessBufferBehaviorEXT -> Int
(PipelineRobustnessBufferBehaviorEXT -> Int)
-> (PipelineRobustnessBufferBehaviorEXT -> Int)
-> (Ptr PipelineRobustnessBufferBehaviorEXT
-> Int -> IO PipelineRobustnessBufferBehaviorEXT)
-> (Ptr PipelineRobustnessBufferBehaviorEXT
-> Int -> PipelineRobustnessBufferBehaviorEXT -> IO ())
-> (forall b.
Ptr b -> Int -> IO PipelineRobustnessBufferBehaviorEXT)
-> (forall b.
Ptr b -> Int -> PipelineRobustnessBufferBehaviorEXT -> IO ())
-> (Ptr PipelineRobustnessBufferBehaviorEXT
-> IO PipelineRobustnessBufferBehaviorEXT)
-> (Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ())
-> Storable PipelineRobustnessBufferBehaviorEXT
forall b. Ptr b -> Int -> IO PipelineRobustnessBufferBehaviorEXT
forall b.
Ptr b -> Int -> PipelineRobustnessBufferBehaviorEXT -> 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 :: PipelineRobustnessBufferBehaviorEXT -> Int
sizeOf :: PipelineRobustnessBufferBehaviorEXT -> Int
$calignment :: PipelineRobustnessBufferBehaviorEXT -> Int
alignment :: PipelineRobustnessBufferBehaviorEXT -> Int
$cpeekElemOff :: Ptr PipelineRobustnessBufferBehaviorEXT
-> Int -> IO PipelineRobustnessBufferBehaviorEXT
peekElemOff :: Ptr PipelineRobustnessBufferBehaviorEXT
-> Int -> IO PipelineRobustnessBufferBehaviorEXT
$cpokeElemOff :: Ptr PipelineRobustnessBufferBehaviorEXT
-> Int -> PipelineRobustnessBufferBehaviorEXT -> IO ()
pokeElemOff :: Ptr PipelineRobustnessBufferBehaviorEXT
-> Int -> PipelineRobustnessBufferBehaviorEXT -> IO ()
$cpeekByteOff :: forall b. Ptr b -> Int -> IO PipelineRobustnessBufferBehaviorEXT
peekByteOff :: forall b. Ptr b -> Int -> IO PipelineRobustnessBufferBehaviorEXT
$cpokeByteOff :: forall b.
Ptr b -> Int -> PipelineRobustnessBufferBehaviorEXT -> IO ()
pokeByteOff :: forall b.
Ptr b -> Int -> PipelineRobustnessBufferBehaviorEXT -> IO ()
$cpeek :: Ptr PipelineRobustnessBufferBehaviorEXT
-> IO PipelineRobustnessBufferBehaviorEXT
peek :: Ptr PipelineRobustnessBufferBehaviorEXT
-> IO PipelineRobustnessBufferBehaviorEXT
$cpoke :: Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
poke :: Ptr PipelineRobustnessBufferBehaviorEXT
-> PipelineRobustnessBufferBehaviorEXT -> IO ()
Storable, PipelineRobustnessBufferBehaviorEXT
PipelineRobustnessBufferBehaviorEXT
-> Zero PipelineRobustnessBufferBehaviorEXT
forall a. a -> Zero a
$czero :: PipelineRobustnessBufferBehaviorEXT
zero :: PipelineRobustnessBufferBehaviorEXT
Zero)
pattern $mPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT_EXT :: forall {r}.
PipelineRobustnessBufferBehaviorEXT
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT_EXT :: PipelineRobustnessBufferBehaviorEXT
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT_EXT = PipelineRobustnessBufferBehaviorEXT 0
pattern $mPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED_EXT :: forall {r}.
PipelineRobustnessBufferBehaviorEXT
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED_EXT :: PipelineRobustnessBufferBehaviorEXT
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED_EXT = PipelineRobustnessBufferBehaviorEXT 1
pattern $mPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_EXT :: forall {r}.
PipelineRobustnessBufferBehaviorEXT
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_EXT :: PipelineRobustnessBufferBehaviorEXT
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_EXT = PipelineRobustnessBufferBehaviorEXT 2
pattern $mPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2_EXT :: forall {r}.
PipelineRobustnessBufferBehaviorEXT
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2_EXT :: PipelineRobustnessBufferBehaviorEXT
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2_EXT = PipelineRobustnessBufferBehaviorEXT 3
{-# COMPLETE
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT_EXT
, PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED_EXT
, PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_EXT
, PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2_EXT ::
PipelineRobustnessBufferBehaviorEXT
#-}
conNamePipelineRobustnessBufferBehaviorEXT :: String
conNamePipelineRobustnessBufferBehaviorEXT :: String
conNamePipelineRobustnessBufferBehaviorEXT = String
"PipelineRobustnessBufferBehaviorEXT"
enumPrefixPipelineRobustnessBufferBehaviorEXT :: String
enumPrefixPipelineRobustnessBufferBehaviorEXT :: String
enumPrefixPipelineRobustnessBufferBehaviorEXT = String
"PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_"
showTablePipelineRobustnessBufferBehaviorEXT :: [(PipelineRobustnessBufferBehaviorEXT, String)]
showTablePipelineRobustnessBufferBehaviorEXT :: [(PipelineRobustnessBufferBehaviorEXT, String)]
showTablePipelineRobustnessBufferBehaviorEXT =
[
( PipelineRobustnessBufferBehaviorEXT
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DEVICE_DEFAULT_EXT
, String
"DEVICE_DEFAULT_EXT"
)
,
( PipelineRobustnessBufferBehaviorEXT
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_DISABLED_EXT
, String
"DISABLED_EXT"
)
,
( PipelineRobustnessBufferBehaviorEXT
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_EXT
, String
"ROBUST_BUFFER_ACCESS_EXT"
)
,
( PipelineRobustnessBufferBehaviorEXT
PIPELINE_ROBUSTNESS_BUFFER_BEHAVIOR_ROBUST_BUFFER_ACCESS_2_EXT
, String
"ROBUST_BUFFER_ACCESS_2_EXT"
)
]
instance Show PipelineRobustnessBufferBehaviorEXT where
showsPrec :: Int -> PipelineRobustnessBufferBehaviorEXT -> ShowS
showsPrec =
String
-> [(PipelineRobustnessBufferBehaviorEXT, String)]
-> String
-> (PipelineRobustnessBufferBehaviorEXT -> Int32)
-> (Int32 -> ShowS)
-> Int
-> PipelineRobustnessBufferBehaviorEXT
-> ShowS
forall a i.
Eq a =>
String
-> [(a, String)]
-> String
-> (a -> i)
-> (i -> ShowS)
-> Int
-> a
-> ShowS
enumShowsPrec
String
enumPrefixPipelineRobustnessBufferBehaviorEXT
[(PipelineRobustnessBufferBehaviorEXT, String)]
showTablePipelineRobustnessBufferBehaviorEXT
String
conNamePipelineRobustnessBufferBehaviorEXT
(\(PipelineRobustnessBufferBehaviorEXT Int32
x) -> Int32
x)
(Int -> Int32 -> ShowS
forall a. Show a => Int -> a -> ShowS
showsPrec Int
11)
instance Read PipelineRobustnessBufferBehaviorEXT where
readPrec :: ReadPrec PipelineRobustnessBufferBehaviorEXT
readPrec =
String
-> [(PipelineRobustnessBufferBehaviorEXT, String)]
-> String
-> (Int32 -> PipelineRobustnessBufferBehaviorEXT)
-> ReadPrec PipelineRobustnessBufferBehaviorEXT
forall i a.
Read i =>
String -> [(a, String)] -> String -> (i -> a) -> ReadPrec a
enumReadPrec
String
enumPrefixPipelineRobustnessBufferBehaviorEXT
[(PipelineRobustnessBufferBehaviorEXT, String)]
showTablePipelineRobustnessBufferBehaviorEXT
String
conNamePipelineRobustnessBufferBehaviorEXT
Int32 -> PipelineRobustnessBufferBehaviorEXT
PipelineRobustnessBufferBehaviorEXT
newtype PipelineRobustnessImageBehaviorEXT = PipelineRobustnessImageBehaviorEXT Int32
deriving newtype (PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
(PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool)
-> (PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool)
-> Eq PipelineRobustnessImageBehaviorEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
== :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
$c/= :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
/= :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
Eq, Eq PipelineRobustnessImageBehaviorEXT
Eq PipelineRobustnessImageBehaviorEXT =>
(PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Ordering)
-> (PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool)
-> (PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool)
-> (PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool)
-> (PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool)
-> (PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT)
-> (PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT)
-> Ord PipelineRobustnessImageBehaviorEXT
PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Ordering
PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
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 :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Ordering
compare :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Ordering
$c< :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
< :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
$c<= :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
<= :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
$c> :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
> :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
$c>= :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
>= :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> Bool
$cmax :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
max :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
$cmin :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
min :: PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT
Ord, Ptr PipelineRobustnessImageBehaviorEXT
-> IO PipelineRobustnessImageBehaviorEXT
Ptr PipelineRobustnessImageBehaviorEXT
-> Int -> IO PipelineRobustnessImageBehaviorEXT
Ptr PipelineRobustnessImageBehaviorEXT
-> Int -> PipelineRobustnessImageBehaviorEXT -> IO ()
Ptr PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> IO ()
PipelineRobustnessImageBehaviorEXT -> Int
(PipelineRobustnessImageBehaviorEXT -> Int)
-> (PipelineRobustnessImageBehaviorEXT -> Int)
-> (Ptr PipelineRobustnessImageBehaviorEXT
-> Int -> IO PipelineRobustnessImageBehaviorEXT)
-> (Ptr PipelineRobustnessImageBehaviorEXT
-> Int -> PipelineRobustnessImageBehaviorEXT -> IO ())
-> (forall b.
Ptr b -> Int -> IO PipelineRobustnessImageBehaviorEXT)
-> (forall b.
Ptr b -> Int -> PipelineRobustnessImageBehaviorEXT -> IO ())
-> (Ptr PipelineRobustnessImageBehaviorEXT
-> IO PipelineRobustnessImageBehaviorEXT)
-> (Ptr PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> IO ())
-> Storable PipelineRobustnessImageBehaviorEXT
forall b. Ptr b -> Int -> IO PipelineRobustnessImageBehaviorEXT
forall b.
Ptr b -> Int -> PipelineRobustnessImageBehaviorEXT -> 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 :: PipelineRobustnessImageBehaviorEXT -> Int
sizeOf :: PipelineRobustnessImageBehaviorEXT -> Int
$calignment :: PipelineRobustnessImageBehaviorEXT -> Int
alignment :: PipelineRobustnessImageBehaviorEXT -> Int
$cpeekElemOff :: Ptr PipelineRobustnessImageBehaviorEXT
-> Int -> IO PipelineRobustnessImageBehaviorEXT
peekElemOff :: Ptr PipelineRobustnessImageBehaviorEXT
-> Int -> IO PipelineRobustnessImageBehaviorEXT
$cpokeElemOff :: Ptr PipelineRobustnessImageBehaviorEXT
-> Int -> PipelineRobustnessImageBehaviorEXT -> IO ()
pokeElemOff :: Ptr PipelineRobustnessImageBehaviorEXT
-> Int -> PipelineRobustnessImageBehaviorEXT -> IO ()
$cpeekByteOff :: forall b. Ptr b -> Int -> IO PipelineRobustnessImageBehaviorEXT
peekByteOff :: forall b. Ptr b -> Int -> IO PipelineRobustnessImageBehaviorEXT
$cpokeByteOff :: forall b.
Ptr b -> Int -> PipelineRobustnessImageBehaviorEXT -> IO ()
pokeByteOff :: forall b.
Ptr b -> Int -> PipelineRobustnessImageBehaviorEXT -> IO ()
$cpeek :: Ptr PipelineRobustnessImageBehaviorEXT
-> IO PipelineRobustnessImageBehaviorEXT
peek :: Ptr PipelineRobustnessImageBehaviorEXT
-> IO PipelineRobustnessImageBehaviorEXT
$cpoke :: Ptr PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> IO ()
poke :: Ptr PipelineRobustnessImageBehaviorEXT
-> PipelineRobustnessImageBehaviorEXT -> IO ()
Storable, PipelineRobustnessImageBehaviorEXT
PipelineRobustnessImageBehaviorEXT
-> Zero PipelineRobustnessImageBehaviorEXT
forall a. a -> Zero a
$czero :: PipelineRobustnessImageBehaviorEXT
zero :: PipelineRobustnessImageBehaviorEXT
Zero)
pattern $mPIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DEVICE_DEFAULT_EXT :: forall {r}.
PipelineRobustnessImageBehaviorEXT
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DEVICE_DEFAULT_EXT :: PipelineRobustnessImageBehaviorEXT
PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DEVICE_DEFAULT_EXT = PipelineRobustnessImageBehaviorEXT 0
pattern $mPIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DISABLED_EXT :: forall {r}.
PipelineRobustnessImageBehaviorEXT
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DISABLED_EXT :: PipelineRobustnessImageBehaviorEXT
PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DISABLED_EXT = PipelineRobustnessImageBehaviorEXT 1
pattern $mPIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_EXT :: forall {r}.
PipelineRobustnessImageBehaviorEXT
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_EXT :: PipelineRobustnessImageBehaviorEXT
PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_EXT = PipelineRobustnessImageBehaviorEXT 2
pattern $mPIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_2_EXT :: forall {r}.
PipelineRobustnessImageBehaviorEXT
-> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_2_EXT :: PipelineRobustnessImageBehaviorEXT
PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_2_EXT = PipelineRobustnessImageBehaviorEXT 3
{-# COMPLETE
PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DEVICE_DEFAULT_EXT
, PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DISABLED_EXT
, PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_EXT
, PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_2_EXT ::
PipelineRobustnessImageBehaviorEXT
#-}
conNamePipelineRobustnessImageBehaviorEXT :: String
conNamePipelineRobustnessImageBehaviorEXT :: String
conNamePipelineRobustnessImageBehaviorEXT = String
"PipelineRobustnessImageBehaviorEXT"
enumPrefixPipelineRobustnessImageBehaviorEXT :: String
enumPrefixPipelineRobustnessImageBehaviorEXT :: String
enumPrefixPipelineRobustnessImageBehaviorEXT = String
"PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_"
showTablePipelineRobustnessImageBehaviorEXT :: [(PipelineRobustnessImageBehaviorEXT, String)]
showTablePipelineRobustnessImageBehaviorEXT :: [(PipelineRobustnessImageBehaviorEXT, String)]
showTablePipelineRobustnessImageBehaviorEXT =
[
( PipelineRobustnessImageBehaviorEXT
PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DEVICE_DEFAULT_EXT
, String
"DEVICE_DEFAULT_EXT"
)
,
( PipelineRobustnessImageBehaviorEXT
PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_DISABLED_EXT
, String
"DISABLED_EXT"
)
,
( PipelineRobustnessImageBehaviorEXT
PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_EXT
, String
"ROBUST_IMAGE_ACCESS_EXT"
)
,
( PipelineRobustnessImageBehaviorEXT
PIPELINE_ROBUSTNESS_IMAGE_BEHAVIOR_ROBUST_IMAGE_ACCESS_2_EXT
, String
"ROBUST_IMAGE_ACCESS_2_EXT"
)
]
instance Show PipelineRobustnessImageBehaviorEXT where
showsPrec :: Int -> PipelineRobustnessImageBehaviorEXT -> ShowS
showsPrec =
String
-> [(PipelineRobustnessImageBehaviorEXT, String)]
-> String
-> (PipelineRobustnessImageBehaviorEXT -> Int32)
-> (Int32 -> ShowS)
-> Int
-> PipelineRobustnessImageBehaviorEXT
-> ShowS
forall a i.
Eq a =>
String
-> [(a, String)]
-> String
-> (a -> i)
-> (i -> ShowS)
-> Int
-> a
-> ShowS
enumShowsPrec
String
enumPrefixPipelineRobustnessImageBehaviorEXT
[(PipelineRobustnessImageBehaviorEXT, String)]
showTablePipelineRobustnessImageBehaviorEXT
String
conNamePipelineRobustnessImageBehaviorEXT
(\(PipelineRobustnessImageBehaviorEXT Int32
x) -> Int32
x)
(Int -> Int32 -> ShowS
forall a. Show a => Int -> a -> ShowS
showsPrec Int
11)
instance Read PipelineRobustnessImageBehaviorEXT where
readPrec :: ReadPrec PipelineRobustnessImageBehaviorEXT
readPrec =
String
-> [(PipelineRobustnessImageBehaviorEXT, String)]
-> String
-> (Int32 -> PipelineRobustnessImageBehaviorEXT)
-> ReadPrec PipelineRobustnessImageBehaviorEXT
forall i a.
Read i =>
String -> [(a, String)] -> String -> (i -> a) -> ReadPrec a
enumReadPrec
String
enumPrefixPipelineRobustnessImageBehaviorEXT
[(PipelineRobustnessImageBehaviorEXT, String)]
showTablePipelineRobustnessImageBehaviorEXT
String
conNamePipelineRobustnessImageBehaviorEXT
Int32 -> PipelineRobustnessImageBehaviorEXT
PipelineRobustnessImageBehaviorEXT
type EXT_PIPELINE_ROBUSTNESS_SPEC_VERSION = 1
pattern EXT_PIPELINE_ROBUSTNESS_SPEC_VERSION :: forall a . Integral a => a
pattern $mEXT_PIPELINE_ROBUSTNESS_SPEC_VERSION :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bEXT_PIPELINE_ROBUSTNESS_SPEC_VERSION :: forall a. Integral a => a
EXT_PIPELINE_ROBUSTNESS_SPEC_VERSION = 1
type EXT_PIPELINE_ROBUSTNESS_EXTENSION_NAME = "VK_EXT_pipeline_robustness"
pattern EXT_PIPELINE_ROBUSTNESS_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $mEXT_PIPELINE_ROBUSTNESS_EXTENSION_NAME :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bEXT_PIPELINE_ROBUSTNESS_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
EXT_PIPELINE_ROBUSTNESS_EXTENSION_NAME = "VK_EXT_pipeline_robustness"