{-# language CPP #-}
module Vulkan.Extensions.VK_EXT_pipeline_protected_access ( PhysicalDevicePipelineProtectedAccessFeaturesEXT(..)
, EXT_PIPELINE_PROTECTED_ACCESS_SPEC_VERSION
, pattern EXT_PIPELINE_PROTECTED_ACCESS_SPEC_VERSION
, EXT_PIPELINE_PROTECTED_ACCESS_EXTENSION_NAME
, pattern EXT_PIPELINE_PROTECTED_ACCESS_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_PIPELINE_PROTECTED_ACCESS_FEATURES_EXT))
data PhysicalDevicePipelineProtectedAccessFeaturesEXT = PhysicalDevicePipelineProtectedAccessFeaturesEXT
{
PhysicalDevicePipelineProtectedAccessFeaturesEXT -> Bool
pipelineProtectedAccess :: Bool }
deriving (Typeable, PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT -> Bool
(PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT -> Bool)
-> (PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT -> Bool)
-> Eq PhysicalDevicePipelineProtectedAccessFeaturesEXT
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT -> Bool
$c/= :: PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT -> Bool
== :: PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT -> Bool
$c== :: PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDevicePipelineProtectedAccessFeaturesEXT)
#endif
deriving instance Show PhysicalDevicePipelineProtectedAccessFeaturesEXT
instance ToCStruct PhysicalDevicePipelineProtectedAccessFeaturesEXT where
withCStruct :: forall b.
PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> (Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT -> IO b)
-> IO b
withCStruct PhysicalDevicePipelineProtectedAccessFeaturesEXT
x Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT -> IO b
f = Int
-> (Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT -> IO b)
-> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
24 ((Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT -> IO b)
-> IO b)
-> (Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT -> IO b)
-> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
p -> Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
p PhysicalDevicePipelineProtectedAccessFeaturesEXT
x (Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT -> IO b
f Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
p)
pokeCStruct :: forall b.
Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT -> IO b -> IO b
pokeCStruct Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
p PhysicalDevicePipelineProtectedAccessFeaturesEXT{Bool
pipelineProtectedAccess :: Bool
$sel:pipelineProtectedAccess:PhysicalDevicePipelineProtectedAccessFeaturesEXT :: PhysicalDevicePipelineProtectedAccessFeaturesEXT -> Bool
..} IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
p Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_PIPELINE_PROTECTED_ACCESS_FEATURES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
p Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> 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 PhysicalDevicePipelineProtectedAccessFeaturesEXT
p Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32)) (Bool -> Bool32
boolToBool32 (Bool
pipelineProtectedAccess))
IO b
f
cStructSize :: Int
cStructSize = Int
24
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b.
Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> IO b -> IO b
pokeZeroCStruct Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
p IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
p Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PHYSICAL_DEVICE_PIPELINE_PROTECTED_ACCESS_FEATURES_EXT)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
p Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> 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 PhysicalDevicePipelineProtectedAccessFeaturesEXT
p Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> 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 PhysicalDevicePipelineProtectedAccessFeaturesEXT where
peekCStruct :: Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> IO PhysicalDevicePipelineProtectedAccessFeaturesEXT
peekCStruct Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
p = do
Bool32
pipelineProtectedAccess <- forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
p Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> Int -> Ptr Bool32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32))
PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> IO PhysicalDevicePipelineProtectedAccessFeaturesEXT
forall (f :: * -> *) a. Applicative f => a -> f a
pure (PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> IO PhysicalDevicePipelineProtectedAccessFeaturesEXT)
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> IO PhysicalDevicePipelineProtectedAccessFeaturesEXT
forall a b. (a -> b) -> a -> b
$ Bool -> PhysicalDevicePipelineProtectedAccessFeaturesEXT
PhysicalDevicePipelineProtectedAccessFeaturesEXT
(Bool32 -> Bool
bool32ToBool Bool32
pipelineProtectedAccess)
instance Storable PhysicalDevicePipelineProtectedAccessFeaturesEXT where
sizeOf :: PhysicalDevicePipelineProtectedAccessFeaturesEXT -> Int
sizeOf ~PhysicalDevicePipelineProtectedAccessFeaturesEXT
_ = Int
24
alignment :: PhysicalDevicePipelineProtectedAccessFeaturesEXT -> Int
alignment ~PhysicalDevicePipelineProtectedAccessFeaturesEXT
_ = Int
8
peek :: Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> IO PhysicalDevicePipelineProtectedAccessFeaturesEXT
peek = Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> IO PhysicalDevicePipelineProtectedAccessFeaturesEXT
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT -> IO ()
poke Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
poked = Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> PhysicalDevicePipelineProtectedAccessFeaturesEXT
-> IO ()
-> IO ()
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
ptr PhysicalDevicePipelineProtectedAccessFeaturesEXT
poked (() -> IO ()
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero PhysicalDevicePipelineProtectedAccessFeaturesEXT where
zero :: PhysicalDevicePipelineProtectedAccessFeaturesEXT
zero = Bool -> PhysicalDevicePipelineProtectedAccessFeaturesEXT
PhysicalDevicePipelineProtectedAccessFeaturesEXT
Bool
forall a. Zero a => a
zero
type EXT_PIPELINE_PROTECTED_ACCESS_SPEC_VERSION = 1
pattern EXT_PIPELINE_PROTECTED_ACCESS_SPEC_VERSION :: forall a . Integral a => a
pattern $bEXT_PIPELINE_PROTECTED_ACCESS_SPEC_VERSION :: forall a. Integral a => a
$mEXT_PIPELINE_PROTECTED_ACCESS_SPEC_VERSION :: forall {r} {a}.
Integral a =>
a -> (Void# -> r) -> (Void# -> r) -> r
EXT_PIPELINE_PROTECTED_ACCESS_SPEC_VERSION = 1
type EXT_PIPELINE_PROTECTED_ACCESS_EXTENSION_NAME = "VK_EXT_pipeline_protected_access"
pattern EXT_PIPELINE_PROTECTED_ACCESS_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $bEXT_PIPELINE_PROTECTED_ACCESS_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
$mEXT_PIPELINE_PROTECTED_ACCESS_EXTENSION_NAME :: forall {r} {a}.
(Eq a, IsString a) =>
a -> (Void# -> r) -> (Void# -> r) -> r
EXT_PIPELINE_PROTECTED_ACCESS_EXTENSION_NAME = "VK_EXT_pipeline_protected_access"