{-# language CPP #-}
-- | = Name
--
-- VK_EXT_depth_clip_control - device extension
--
-- == VK_EXT_depth_clip_control
--
-- [__Name String__]
--     @VK_EXT_depth_clip_control@
--
-- [__Extension Type__]
--     Device extension
--
-- [__Registered Extension Number__]
--     356
--
-- [__Revision__]
--     1
--
-- [__Extension and Version Dependencies__]
--
--     -   Requires support for Vulkan 1.0
--
--     -   Requires @VK_KHR_get_physical_device_properties2@ to be enabled
--         for any device-level functionality
--
-- [__Special Use__]
--
--     -   <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#extendingvulkan-compatibility-specialuse OpenGL \/ ES support>
--
-- [__Contact__]
--
--     -   Shahbaz Youssefi
--         <https://github.com/KhronosGroup/Vulkan-Docs/issues/new?body=[VK_EXT_depth_clip_control] @syoussefi%0A*Here describe the issue or question you have about the VK_EXT_depth_clip_control extension* >
--
-- == Other Extension Metadata
--
-- [__Last Modified Date__]
--     2021-11-09
--
-- [__Contributors__]
--
--     -   Spencer Fricke, Samsung Electronics
--
--     -   Shahbaz Youssefi, Google
--
--     -   Ralph Potter, Samsung Electronics
--
-- == Description
--
-- This extension allows the application to use the OpenGL depth range in
-- NDC, i.e. with depth in range [-1, 1], as opposed to Vulkan’s default of
-- [0, 1]. The purpose of this extension is to allow efficient layering of
-- OpenGL over Vulkan, by avoiding emulation in the pre-rasterization
-- shader stages. This emulation, which effectively duplicates gl_Position
-- but with a different depth value, costs ALU and consumes shader output
-- components that the implementation may not have to spare to meet OpenGL
-- minimum requirements.
--
-- == New Structures
--
-- -   Extending
--     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceFeatures2',
--     'Vulkan.Core10.Device.DeviceCreateInfo':
--
--     -   'PhysicalDeviceDepthClipControlFeaturesEXT'
--
-- -   Extending 'Vulkan.Core10.Pipeline.PipelineViewportStateCreateInfo':
--
--     -   'PipelineViewportDepthClipControlCreateInfoEXT'
--
-- == New Enum Constants
--
-- -   'EXT_DEPTH_CLIP_CONTROL_EXTENSION_NAME'
--
-- -   'EXT_DEPTH_CLIP_CONTROL_SPEC_VERSION'
--
-- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PHYSICAL_DEVICE_DEPTH_CLIP_CONTROL_FEATURES_EXT'
--
--     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_VIEWPORT_DEPTH_CLIP_CONTROL_CREATE_INFO_EXT'
--
-- == Issues
--
-- 1) Should this extension include an origin control option to match
-- GL_LOWER_LEFT found in ARB_clip_control?
--
-- __RESOLVED__: No. The fix for porting over the origin is a simple y-axis
-- flip. The depth clip control is a much harder problem to solve than what
-- this extension is aimed to solve. Adding an equivalent to GL_LOWER_LEFT
-- would require more testing.
--
-- 2) Should this pipeline state be dynamic?
--
-- __RESOLVED__: Yes. The purpose of this extension is to emulate the
-- OpenGL depth range, which is expected to be globally fixed (in case of
-- OpenGL ES) or very infrequently changed (with @glClipControl@ in
-- OpenGL).
--
-- 3) Should the control provided in this extension be an enum that could
-- be extended in the future?
--
-- __RESOLVED__: No. It is highly unlikely that the depth range is changed
-- to anything other than [0, 1] in the future. Should that happen a new
-- extension will be required to extend such an enum, and that extension
-- might as well add a new struct to chain to
-- 'Vulkan.Core10.Pipeline.PipelineViewportStateCreateInfo'::@pNext@
-- instead.
--
-- == Version History
--
-- -   Revision 0, 2020-10-01 (Spencer Fricke)
--
--     -   Internal revisions
--
-- -   Revision 1, 2020-11-26 (Shahbaz Youssefi)
--
--     -   Language fixes
--
-- == See Also
--
-- 'PhysicalDeviceDepthClipControlFeaturesEXT',
-- 'PipelineViewportDepthClipControlCreateInfoEXT'
--
-- == Document Notes
--
-- For more information, see the
-- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#VK_EXT_depth_clip_control Vulkan Specification>
--
-- This page is a generated document. Fixes and changes should be made to
-- the generator scripts, not directly.
module Vulkan.Extensions.VK_EXT_depth_clip_control  ( PhysicalDeviceDepthClipControlFeaturesEXT(..)
                                                    , PipelineViewportDepthClipControlCreateInfoEXT(..)
                                                    , EXT_DEPTH_CLIP_CONTROL_SPEC_VERSION
                                                    , pattern EXT_DEPTH_CLIP_CONTROL_SPEC_VERSION
                                                    , EXT_DEPTH_CLIP_CONTROL_EXTENSION_NAME
                                                    , pattern EXT_DEPTH_CLIP_CONTROL_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_DEPTH_CLIP_CONTROL_FEATURES_EXT))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PIPELINE_VIEWPORT_DEPTH_CLIP_CONTROL_CREATE_INFO_EXT))
-- | VkPhysicalDeviceDepthClipControlFeaturesEXT - Structure describing
-- additional depth clip control supported by an implementation
--
-- = Members
--
-- This structure describes the following feature:
--
-- = Description
--
-- If the 'PhysicalDeviceDepthClipControlFeaturesEXT' 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. 'PhysicalDeviceDepthClipControlFeaturesEXT' /can/ also be
-- used in the @pNext@ chain of 'Vulkan.Core10.Device.DeviceCreateInfo' to
-- selectively enable these features.
--
-- == Valid Usage (Implicit)
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_depth_clip_control VK_EXT_depth_clip_control>,
-- 'Vulkan.Core10.FundamentalTypes.Bool32',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data PhysicalDeviceDepthClipControlFeaturesEXT = PhysicalDeviceDepthClipControlFeaturesEXT
  { -- | #features-depthClipControl# @depthClipControl@ indicates that the
    -- implementation supports setting
    -- 'PipelineViewportDepthClipControlCreateInfoEXT'::@negativeOneToOne@ to
    -- 'Vulkan.Core10.FundamentalTypes.TRUE'.
    PhysicalDeviceDepthClipControlFeaturesEXT -> Bool
depthClipControl :: Bool }
  deriving (Typeable, PhysicalDeviceDepthClipControlFeaturesEXT
-> PhysicalDeviceDepthClipControlFeaturesEXT -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PhysicalDeviceDepthClipControlFeaturesEXT
-> PhysicalDeviceDepthClipControlFeaturesEXT -> Bool
$c/= :: PhysicalDeviceDepthClipControlFeaturesEXT
-> PhysicalDeviceDepthClipControlFeaturesEXT -> Bool
== :: PhysicalDeviceDepthClipControlFeaturesEXT
-> PhysicalDeviceDepthClipControlFeaturesEXT -> Bool
$c== :: PhysicalDeviceDepthClipControlFeaturesEXT
-> PhysicalDeviceDepthClipControlFeaturesEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PhysicalDeviceDepthClipControlFeaturesEXT)
#endif
deriving instance Show PhysicalDeviceDepthClipControlFeaturesEXT

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

instance FromCStruct PhysicalDeviceDepthClipControlFeaturesEXT where
  peekCStruct :: Ptr PhysicalDeviceDepthClipControlFeaturesEXT
-> IO PhysicalDeviceDepthClipControlFeaturesEXT
peekCStruct Ptr PhysicalDeviceDepthClipControlFeaturesEXT
p = do
    Bool32
depthClipControl <- forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PhysicalDeviceDepthClipControlFeaturesEXT
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32))
    forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a b. (a -> b) -> a -> b
$ Bool -> PhysicalDeviceDepthClipControlFeaturesEXT
PhysicalDeviceDepthClipControlFeaturesEXT
             (Bool32 -> Bool
bool32ToBool Bool32
depthClipControl)

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

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


-- | VkPipelineViewportDepthClipControlCreateInfoEXT - Structure specifying
-- parameters of a newly created pipeline depth clip control state
--
-- == Valid Usage
--
-- -   #VUID-VkPipelineViewportDepthClipControlCreateInfoEXT-negativeOneToOne-06470#
--     If
--     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#features-depthClipControl depthClipControl>
--     is not enabled, @negativeOneToOne@ /must/ be
--     'Vulkan.Core10.FundamentalTypes.FALSE'
--
-- == Valid Usage (Implicit)
--
-- -   #VUID-VkPipelineViewportDepthClipControlCreateInfoEXT-sType-sType#
--     @sType@ /must/ be
--     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_PIPELINE_VIEWPORT_DEPTH_CLIP_CONTROL_CREATE_INFO_EXT'
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_depth_clip_control VK_EXT_depth_clip_control>,
-- 'Vulkan.Core10.FundamentalTypes.Bool32',
-- 'Vulkan.Core10.Enums.StructureType.StructureType'
data PipelineViewportDepthClipControlCreateInfoEXT = PipelineViewportDepthClipControlCreateInfoEXT
  { -- | @negativeOneToOne@ sets the zm in the /view volume/ to -wc
    PipelineViewportDepthClipControlCreateInfoEXT -> Bool
negativeOneToOne :: Bool }
  deriving (Typeable, PipelineViewportDepthClipControlCreateInfoEXT
-> PipelineViewportDepthClipControlCreateInfoEXT -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PipelineViewportDepthClipControlCreateInfoEXT
-> PipelineViewportDepthClipControlCreateInfoEXT -> Bool
$c/= :: PipelineViewportDepthClipControlCreateInfoEXT
-> PipelineViewportDepthClipControlCreateInfoEXT -> Bool
== :: PipelineViewportDepthClipControlCreateInfoEXT
-> PipelineViewportDepthClipControlCreateInfoEXT -> Bool
$c== :: PipelineViewportDepthClipControlCreateInfoEXT
-> PipelineViewportDepthClipControlCreateInfoEXT -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PipelineViewportDepthClipControlCreateInfoEXT)
#endif
deriving instance Show PipelineViewportDepthClipControlCreateInfoEXT

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

instance FromCStruct PipelineViewportDepthClipControlCreateInfoEXT where
  peekCStruct :: Ptr PipelineViewportDepthClipControlCreateInfoEXT
-> IO PipelineViewportDepthClipControlCreateInfoEXT
peekCStruct Ptr PipelineViewportDepthClipControlCreateInfoEXT
p = do
    Bool32
negativeOneToOne <- forall a. Storable a => Ptr a -> IO a
peek @Bool32 ((Ptr PipelineViewportDepthClipControlCreateInfoEXT
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Bool32))
    forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a b. (a -> b) -> a -> b
$ Bool -> PipelineViewportDepthClipControlCreateInfoEXT
PipelineViewportDepthClipControlCreateInfoEXT
             (Bool32 -> Bool
bool32ToBool Bool32
negativeOneToOne)

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

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


type EXT_DEPTH_CLIP_CONTROL_SPEC_VERSION = 1

-- No documentation found for TopLevel "VK_EXT_DEPTH_CLIP_CONTROL_SPEC_VERSION"
pattern EXT_DEPTH_CLIP_CONTROL_SPEC_VERSION :: forall a . Integral a => a
pattern $bEXT_DEPTH_CLIP_CONTROL_SPEC_VERSION :: forall a. Integral a => a
$mEXT_DEPTH_CLIP_CONTROL_SPEC_VERSION :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
EXT_DEPTH_CLIP_CONTROL_SPEC_VERSION = 1


type EXT_DEPTH_CLIP_CONTROL_EXTENSION_NAME = "VK_EXT_depth_clip_control"

-- No documentation found for TopLevel "VK_EXT_DEPTH_CLIP_CONTROL_EXTENSION_NAME"
pattern EXT_DEPTH_CLIP_CONTROL_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $bEXT_DEPTH_CLIP_CONTROL_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
$mEXT_DEPTH_CLIP_CONTROL_EXTENSION_NAME :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
EXT_DEPTH_CLIP_CONTROL_EXTENSION_NAME = "VK_EXT_depth_clip_control"