{-# language CPP #-}
module Vulkan.Extensions.VK_KHR_swapchain ( createSwapchainKHR
, withSwapchainKHR
, destroySwapchainKHR
, getSwapchainImagesKHR
, acquireNextImageKHR
, acquireNextImageKHRSafe
, queuePresentKHR
, getDeviceGroupPresentCapabilitiesKHR
, getDeviceGroupSurfacePresentModesKHR
, acquireNextImage2KHR
, acquireNextImage2KHRSafe
, getPhysicalDevicePresentRectanglesKHR
, SwapchainCreateInfoKHR(..)
, PresentInfoKHR(..)
, DeviceGroupPresentCapabilitiesKHR(..)
, ImageSwapchainCreateInfoKHR(..)
, BindImageMemorySwapchainInfoKHR(..)
, AcquireNextImageInfoKHR(..)
, DeviceGroupPresentInfoKHR(..)
, DeviceGroupSwapchainCreateInfoKHR(..)
, DeviceGroupPresentModeFlagsKHR
, DeviceGroupPresentModeFlagBitsKHR( DEVICE_GROUP_PRESENT_MODE_LOCAL_BIT_KHR
, DEVICE_GROUP_PRESENT_MODE_REMOTE_BIT_KHR
, DEVICE_GROUP_PRESENT_MODE_SUM_BIT_KHR
, DEVICE_GROUP_PRESENT_MODE_LOCAL_MULTI_DEVICE_BIT_KHR
, ..
)
, SwapchainCreateFlagsKHR
, SwapchainCreateFlagBitsKHR( SWAPCHAIN_CREATE_DEFERRED_MEMORY_ALLOCATION_BIT_KHR
, SWAPCHAIN_CREATE_PRESENT_WAIT_2_BIT_KHR
, SWAPCHAIN_CREATE_PRESENT_ID_2_BIT_KHR
, SWAPCHAIN_CREATE_PRESENT_TIMING_BIT_EXT
, SWAPCHAIN_CREATE_MUTABLE_FORMAT_BIT_KHR
, SWAPCHAIN_CREATE_SPLIT_INSTANCE_BIND_REGIONS_BIT_KHR
, SWAPCHAIN_CREATE_PROTECTED_BIT_KHR
, ..
)
, KHR_SWAPCHAIN_SPEC_VERSION
, pattern KHR_SWAPCHAIN_SPEC_VERSION
, KHR_SWAPCHAIN_EXTENSION_NAME
, pattern KHR_SWAPCHAIN_EXTENSION_NAME
, SurfaceKHR(..)
, SwapchainKHR(..)
, PresentModeKHR(..)
, ColorSpaceKHR(..)
, CompositeAlphaFlagBitsKHR(..)
, CompositeAlphaFlagsKHR
, SurfaceTransformFlagBitsKHR(..)
, SurfaceTransformFlagsKHR
) where
import Data.Bits (Bits)
import Data.Bits (FiniteBits)
import Vulkan.CStruct.Utils (FixedArray)
import Vulkan.Internal.Utils (enumReadPrec)
import Vulkan.Internal.Utils (enumShowsPrec)
import Vulkan.Internal.Utils (traceAroundEvent)
import Control.Exception.Base (bracket)
import Control.Monad (unless)
import Control.Monad.IO.Class (liftIO)
import Data.Typeable (eqT)
import Foreign.Marshal.Alloc (allocaBytes)
import Foreign.Marshal.Alloc (callocBytes)
import Foreign.Marshal.Alloc (free)
import GHC.Base (when)
import GHC.IO (throwIO)
import GHC.Ptr (castPtr)
import GHC.Ptr (nullFunPtr)
import Foreign.Ptr (nullPtr)
import Foreign.Ptr (plusPtr)
import GHC.Show (showString)
import Numeric (showHex)
import Control.Monad.Trans.Class (lift)
import Control.Monad.Trans.Cont (evalContT)
import Data.Vector (generateM)
import qualified Data.Vector (imapM_)
import qualified Data.Vector (length)
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 Control.Monad.IO.Class (MonadIO)
import Data.String (IsString)
import Data.Type.Equality ((:~:)(Refl))
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 GHC.IO.Exception (IOErrorType(..))
import GHC.IO.Exception (IOException(..))
import Foreign.Ptr (FunPtr)
import Foreign.Ptr (Ptr)
import GHC.Read (Read(readPrec))
import GHC.Show (Show(showsPrec))
import Data.Word (Word32)
import Data.Word (Word64)
import Data.Kind (Type)
import Control.Monad.Trans.Cont (ContT(..))
import Data.Vector (Vector)
import Vulkan.CStruct.Utils (advancePtrBytes)
import Vulkan.Core10.FundamentalTypes (bool32ToBool)
import Vulkan.Core10.FundamentalTypes (boolToBool32)
import Vulkan.CStruct.Extends (forgetExtensions)
import Vulkan.CStruct.Utils (lowerArrayPtr)
import Vulkan.NamedType ((:::))
import Vulkan.Core10.AllocationCallbacks (AllocationCallbacks)
import Vulkan.Core10.FundamentalTypes (Bool32)
import Vulkan.CStruct.Extends (Chain)
import Vulkan.Extensions.VK_KHR_surface (ColorSpaceKHR)
import Vulkan.Extensions.VK_KHR_surface (CompositeAlphaFlagBitsKHR)
import Vulkan.Core10.Handles (Device)
import Vulkan.Core10.Handles (Device(..))
import Vulkan.Core10.Handles (Device(Device))
import Vulkan.Dynamic (DeviceCmds(pVkAcquireNextImage2KHR))
import Vulkan.Dynamic (DeviceCmds(pVkAcquireNextImageKHR))
import Vulkan.Dynamic (DeviceCmds(pVkCreateSwapchainKHR))
import Vulkan.Dynamic (DeviceCmds(pVkDestroySwapchainKHR))
import Vulkan.Dynamic (DeviceCmds(pVkGetDeviceGroupPresentCapabilitiesKHR))
import Vulkan.Dynamic (DeviceCmds(pVkGetDeviceGroupSurfacePresentModesKHR))
import Vulkan.Dynamic (DeviceCmds(pVkGetSwapchainImagesKHR))
import Vulkan.Dynamic (DeviceCmds(pVkQueuePresentKHR))
import Vulkan.Core10.Handles (Device_T)
import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_display_swapchain (DisplayPresentInfoKHR)
import Vulkan.CStruct.Extends (Extends)
import Vulkan.CStruct.Extends (Extendss)
import Vulkan.CStruct.Extends (Extensible(..))
import Vulkan.Core10.FundamentalTypes (Extent2D)
import Vulkan.Core10.Handles (Fence)
import Vulkan.Core10.Handles (Fence(..))
import Vulkan.Core10.FundamentalTypes (Flags)
import Vulkan.Core10.Enums.Format (Format)
import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_frame_boundary (FrameBoundaryEXT)
import {-# SOURCE #-} Vulkan.Extensions.VK_ARM_tensors (FrameBoundaryTensorsARM)
import Vulkan.Core10.Handles (Image)
import Vulkan.Core10.Handles (Image(..))
import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_image_compression_control (ImageCompressionControlEXT)
import {-# SOURCE #-} Vulkan.Core12.Promoted_From_VK_KHR_image_format_list (ImageFormatListCreateInfo)
import Vulkan.Core10.Enums.ImageUsageFlagBits (ImageUsageFlags)
import Vulkan.Dynamic (InstanceCmds(pVkGetPhysicalDevicePresentRectanglesKHR))
import Vulkan.Core10.APIConstants (MAX_DEVICE_GROUP_SIZE)
import Vulkan.CStruct.Extends (PeekChain)
import Vulkan.CStruct.Extends (PeekChain(..))
import Vulkan.Core10.Handles (PhysicalDevice)
import Vulkan.Core10.Handles (PhysicalDevice(..))
import Vulkan.Core10.Handles (PhysicalDevice(PhysicalDevice))
import Vulkan.Core10.Handles (PhysicalDevice_T)
import Vulkan.CStruct.Extends (PokeChain)
import Vulkan.CStruct.Extends (PokeChain(..))
import {-# SOURCE #-} Vulkan.Extensions.VK_GGP_frame_token (PresentFrameTokenGGP)
import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_present_id2 (PresentId2KHR)
import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_present_id (PresentIdKHR)
import Vulkan.Extensions.VK_KHR_surface (PresentModeKHR)
import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_incremental_present (PresentRegionsKHR)
import {-# SOURCE #-} Vulkan.Extensions.VK_GOOGLE_display_timing (PresentTimesInfoGOOGLE)
import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_present_timing (PresentTimingsInfoEXT)
import Vulkan.Core10.Handles (Queue)
import Vulkan.Core10.Handles (Queue(..))
import Vulkan.Core10.Handles (Queue(Queue))
import Vulkan.Core10.Handles (Queue_T)
import Vulkan.Core10.FundamentalTypes (Rect2D)
import Vulkan.Core10.Enums.Result (Result)
import Vulkan.Core10.Enums.Result (Result(..))
import Vulkan.Core10.Handles (Semaphore)
import Vulkan.Core10.Handles (Semaphore(..))
import {-# SOURCE #-} Vulkan.Extensions.VK_NV_present_metering (SetPresentConfigNV)
import Vulkan.Core10.Enums.SharingMode (SharingMode)
import Vulkan.CStruct.Extends (SomeStruct)
import Vulkan.Core10.Enums.StructureType (StructureType)
import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_full_screen_exclusive (SurfaceFullScreenExclusiveInfoEXT)
import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_full_screen_exclusive (SurfaceFullScreenExclusiveWin32InfoEXT)
import Vulkan.Extensions.Handles (SurfaceKHR)
import Vulkan.Extensions.Handles (SurfaceKHR(..))
import Vulkan.Extensions.VK_KHR_surface (SurfaceTransformFlagBitsKHR)
import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_display_control (SwapchainCounterCreateInfoEXT)
import {-# SOURCE #-} Vulkan.Extensions.VK_AMD_display_native_hdr (SwapchainDisplayNativeHdrCreateInfoAMD)
import Vulkan.Extensions.Handles (SwapchainKHR)
import Vulkan.Extensions.Handles (SwapchainKHR(..))
import {-# SOURCE #-} Vulkan.Extensions.VK_NV_low_latency2 (SwapchainLatencyCreateInfoNV)
import {-# SOURCE #-} Vulkan.Extensions.VK_NV_present_barrier (SwapchainPresentBarrierCreateInfoNV)
import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_swapchain_maintenance1 (SwapchainPresentFenceInfoKHR)
import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_swapchain_maintenance1 (SwapchainPresentModeInfoKHR)
import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_swapchain_maintenance1 (SwapchainPresentModesCreateInfoKHR)
import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_swapchain_maintenance1 (SwapchainPresentScalingCreateInfoKHR)
import Vulkan.Exception (VulkanException(..))
import Vulkan.Core10.APIConstants (pattern MAX_DEVICE_GROUP_SIZE)
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_ACQUIRE_NEXT_IMAGE_INFO_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_BIND_IMAGE_MEMORY_SWAPCHAIN_INFO_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_DEVICE_GROUP_PRESENT_CAPABILITIES_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_DEVICE_GROUP_PRESENT_INFO_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_DEVICE_GROUP_SWAPCHAIN_CREATE_INFO_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_IMAGE_SWAPCHAIN_CREATE_INFO_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PRESENT_INFO_KHR))
import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_SWAPCHAIN_CREATE_INFO_KHR))
import Vulkan.Core10.Enums.Result (Result(SUCCESS))
import Vulkan.Extensions.VK_KHR_surface (ColorSpaceKHR(..))
import Vulkan.Extensions.VK_KHR_surface (CompositeAlphaFlagBitsKHR(..))
import Vulkan.Extensions.VK_KHR_surface (CompositeAlphaFlagsKHR)
import Vulkan.Extensions.VK_KHR_surface (PresentModeKHR(..))
import Vulkan.Extensions.Handles (SurfaceKHR(..))
import Vulkan.Extensions.VK_KHR_surface (SurfaceTransformFlagBitsKHR(..))
import Vulkan.Extensions.VK_KHR_surface (SurfaceTransformFlagsKHR)
import Vulkan.Extensions.Handles (SwapchainKHR(..))
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
unsafe
#endif
"dynamic" mkVkCreateSwapchainKHR
:: FunPtr (Ptr Device_T -> Ptr (SomeStruct SwapchainCreateInfoKHR) -> Ptr AllocationCallbacks -> Ptr SwapchainKHR -> IO Result) -> Ptr Device_T -> Ptr (SomeStruct SwapchainCreateInfoKHR) -> Ptr AllocationCallbacks -> Ptr SwapchainKHR -> IO Result
createSwapchainKHR :: forall a io
. ( Extendss SwapchainCreateInfoKHR a
, PokeChain a
, MonadIO io )
=>
Device
->
(SwapchainCreateInfoKHR a)
->
("allocator" ::: Maybe AllocationCallbacks)
-> io (SwapchainKHR)
createSwapchainKHR :: forall (a :: [*]) (io :: * -> *).
(Extendss SwapchainCreateInfoKHR a, PokeChain a, MonadIO io) =>
Device
-> SwapchainCreateInfoKHR a
-> ("allocator" ::: Maybe AllocationCallbacks)
-> io SwapchainKHR
createSwapchainKHR Device
device SwapchainCreateInfoKHR a
createInfo "allocator" ::: Maybe AllocationCallbacks
allocator = IO SwapchainKHR -> io SwapchainKHR
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SwapchainKHR -> io SwapchainKHR)
-> (ContT SwapchainKHR IO SwapchainKHR -> IO SwapchainKHR)
-> ContT SwapchainKHR IO SwapchainKHR
-> io SwapchainKHR
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT SwapchainKHR IO SwapchainKHR -> IO SwapchainKHR
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT SwapchainKHR IO SwapchainKHR -> io SwapchainKHR)
-> ContT SwapchainKHR IO SwapchainKHR -> io SwapchainKHR
forall a b. (a -> b) -> a -> b
$ do
let vkCreateSwapchainKHRPtr :: FunPtr
(Ptr Device_T
-> Ptr (SomeStruct SwapchainCreateInfoKHR)
-> Ptr AllocationCallbacks
-> Ptr SwapchainKHR
-> IO Result)
vkCreateSwapchainKHRPtr = DeviceCmds
-> FunPtr
(Ptr Device_T
-> Ptr (SomeStruct SwapchainCreateInfoKHR)
-> Ptr AllocationCallbacks
-> Ptr SwapchainKHR
-> IO Result)
pVkCreateSwapchainKHR (case Device
device of Device{DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds :: Device -> DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
IO () -> ContT SwapchainKHR IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT SwapchainKHR m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT SwapchainKHR IO ())
-> IO () -> ContT SwapchainKHR IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
(Ptr Device_T
-> Ptr (SomeStruct SwapchainCreateInfoKHR)
-> Ptr AllocationCallbacks
-> Ptr SwapchainKHR
-> IO Result)
vkCreateSwapchainKHRPtr FunPtr
(Ptr Device_T
-> Ptr (SomeStruct SwapchainCreateInfoKHR)
-> Ptr AllocationCallbacks
-> Ptr SwapchainKHR
-> IO Result)
-> FunPtr
(Ptr Device_T
-> Ptr (SomeStruct SwapchainCreateInfoKHR)
-> Ptr AllocationCallbacks
-> Ptr SwapchainKHR
-> IO Result)
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
(Ptr Device_T
-> Ptr (SomeStruct SwapchainCreateInfoKHR)
-> Ptr AllocationCallbacks
-> Ptr SwapchainKHR
-> IO Result)
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkCreateSwapchainKHR is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
let vkCreateSwapchainKHR' :: Ptr Device_T
-> Ptr (SomeStruct SwapchainCreateInfoKHR)
-> Ptr AllocationCallbacks
-> Ptr SwapchainKHR
-> IO Result
vkCreateSwapchainKHR' = FunPtr
(Ptr Device_T
-> Ptr (SomeStruct SwapchainCreateInfoKHR)
-> Ptr AllocationCallbacks
-> Ptr SwapchainKHR
-> IO Result)
-> Ptr Device_T
-> Ptr (SomeStruct SwapchainCreateInfoKHR)
-> Ptr AllocationCallbacks
-> Ptr SwapchainKHR
-> IO Result
mkVkCreateSwapchainKHR FunPtr
(Ptr Device_T
-> Ptr (SomeStruct SwapchainCreateInfoKHR)
-> Ptr AllocationCallbacks
-> Ptr SwapchainKHR
-> IO Result)
vkCreateSwapchainKHRPtr
pCreateInfo <- ((Ptr (SwapchainCreateInfoKHR a) -> IO SwapchainKHR)
-> IO SwapchainKHR)
-> ContT SwapchainKHR IO (Ptr (SwapchainCreateInfoKHR a))
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr (SwapchainCreateInfoKHR a) -> IO SwapchainKHR)
-> IO SwapchainKHR)
-> ContT SwapchainKHR IO (Ptr (SwapchainCreateInfoKHR a)))
-> ((Ptr (SwapchainCreateInfoKHR a) -> IO SwapchainKHR)
-> IO SwapchainKHR)
-> ContT SwapchainKHR IO (Ptr (SwapchainCreateInfoKHR a))
forall a b. (a -> b) -> a -> b
$ SwapchainCreateInfoKHR a
-> (Ptr (SwapchainCreateInfoKHR a) -> IO SwapchainKHR)
-> IO SwapchainKHR
forall a b. ToCStruct a => a -> (Ptr a -> IO b) -> IO b
forall b.
SwapchainCreateInfoKHR a
-> (Ptr (SwapchainCreateInfoKHR a) -> IO b) -> IO b
withCStruct (SwapchainCreateInfoKHR a
createInfo)
pAllocator <- case (allocator) of
"allocator" ::: Maybe AllocationCallbacks
Nothing -> Ptr AllocationCallbacks
-> ContT SwapchainKHR IO (Ptr AllocationCallbacks)
forall a. a -> ContT SwapchainKHR IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure Ptr AllocationCallbacks
forall a. Ptr a
nullPtr
Just AllocationCallbacks
j -> ((Ptr AllocationCallbacks -> IO SwapchainKHR) -> IO SwapchainKHR)
-> ContT SwapchainKHR IO (Ptr AllocationCallbacks)
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr AllocationCallbacks -> IO SwapchainKHR) -> IO SwapchainKHR)
-> ContT SwapchainKHR IO (Ptr AllocationCallbacks))
-> ((Ptr AllocationCallbacks -> IO SwapchainKHR)
-> IO SwapchainKHR)
-> ContT SwapchainKHR IO (Ptr AllocationCallbacks)
forall a b. (a -> b) -> a -> b
$ AllocationCallbacks
-> (Ptr AllocationCallbacks -> IO SwapchainKHR) -> IO SwapchainKHR
forall a b. ToCStruct a => a -> (Ptr a -> IO b) -> IO b
forall b.
AllocationCallbacks -> (Ptr AllocationCallbacks -> IO b) -> IO b
withCStruct (AllocationCallbacks
j)
pPSwapchain <- ContT $ bracket (callocBytes @SwapchainKHR 8) free
r <- lift $ traceAroundEvent "vkCreateSwapchainKHR" (vkCreateSwapchainKHR'
(deviceHandle (device))
(forgetExtensions pCreateInfo)
pAllocator
(pPSwapchain))
lift $ when (r < SUCCESS) (throwIO (VulkanException r))
pSwapchain <- lift $ peek @SwapchainKHR pPSwapchain
pure $ (pSwapchain)
withSwapchainKHR :: forall a io r . (Extendss SwapchainCreateInfoKHR a, PokeChain a, MonadIO io) => Device -> SwapchainCreateInfoKHR a -> Maybe AllocationCallbacks -> (io SwapchainKHR -> (SwapchainKHR -> io ()) -> r) -> r
withSwapchainKHR :: forall (a :: [*]) (io :: * -> *) r.
(Extendss SwapchainCreateInfoKHR a, PokeChain a, MonadIO io) =>
Device
-> SwapchainCreateInfoKHR a
-> ("allocator" ::: Maybe AllocationCallbacks)
-> (io SwapchainKHR -> (SwapchainKHR -> io ()) -> r)
-> r
withSwapchainKHR Device
device SwapchainCreateInfoKHR a
pCreateInfo "allocator" ::: Maybe AllocationCallbacks
pAllocator io SwapchainKHR -> (SwapchainKHR -> io ()) -> r
b =
io SwapchainKHR -> (SwapchainKHR -> io ()) -> r
b (Device
-> SwapchainCreateInfoKHR a
-> ("allocator" ::: Maybe AllocationCallbacks)
-> io SwapchainKHR
forall (a :: [*]) (io :: * -> *).
(Extendss SwapchainCreateInfoKHR a, PokeChain a, MonadIO io) =>
Device
-> SwapchainCreateInfoKHR a
-> ("allocator" ::: Maybe AllocationCallbacks)
-> io SwapchainKHR
createSwapchainKHR Device
device SwapchainCreateInfoKHR a
pCreateInfo "allocator" ::: Maybe AllocationCallbacks
pAllocator)
(\(SwapchainKHR
o0) -> Device
-> SwapchainKHR
-> ("allocator" ::: Maybe AllocationCallbacks)
-> io ()
forall (io :: * -> *).
MonadIO io =>
Device
-> SwapchainKHR
-> ("allocator" ::: Maybe AllocationCallbacks)
-> io ()
destroySwapchainKHR Device
device SwapchainKHR
o0 "allocator" ::: Maybe AllocationCallbacks
pAllocator)
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
unsafe
#endif
"dynamic" mkVkDestroySwapchainKHR
:: FunPtr (Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ()) -> Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ()
destroySwapchainKHR :: forall io
. (MonadIO io)
=>
Device
->
SwapchainKHR
->
("allocator" ::: Maybe AllocationCallbacks)
-> io ()
destroySwapchainKHR :: forall (io :: * -> *).
MonadIO io =>
Device
-> SwapchainKHR
-> ("allocator" ::: Maybe AllocationCallbacks)
-> io ()
destroySwapchainKHR Device
device SwapchainKHR
swapchain "allocator" ::: Maybe AllocationCallbacks
allocator = IO () -> io ()
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> io ())
-> (ContT () IO () -> IO ()) -> ContT () IO () -> io ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT () IO () -> IO ()
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT () IO () -> io ()) -> ContT () IO () -> io ()
forall a b. (a -> b) -> a -> b
$ do
let vkDestroySwapchainKHRPtr :: FunPtr
(Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ())
vkDestroySwapchainKHRPtr = DeviceCmds
-> FunPtr
(Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ())
pVkDestroySwapchainKHR (case Device
device of Device{DeviceCmds
deviceCmds :: Device -> DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
IO () -> ContT () IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT () m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT () IO ()) -> IO () -> ContT () IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
(Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ())
vkDestroySwapchainKHRPtr FunPtr
(Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ())
-> FunPtr
(Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ())
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
(Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ())
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkDestroySwapchainKHR is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
let vkDestroySwapchainKHR' :: Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ()
vkDestroySwapchainKHR' = FunPtr
(Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ())
-> Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ()
mkVkDestroySwapchainKHR FunPtr
(Ptr Device_T -> SwapchainKHR -> Ptr AllocationCallbacks -> IO ())
vkDestroySwapchainKHRPtr
pAllocator <- case ("allocator" ::: Maybe AllocationCallbacks
allocator) of
"allocator" ::: Maybe AllocationCallbacks
Nothing -> Ptr AllocationCallbacks -> ContT () IO (Ptr AllocationCallbacks)
forall a. a -> ContT () IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure Ptr AllocationCallbacks
forall a. Ptr a
nullPtr
Just AllocationCallbacks
j -> ((Ptr AllocationCallbacks -> IO ()) -> IO ())
-> ContT () IO (Ptr AllocationCallbacks)
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr AllocationCallbacks -> IO ()) -> IO ())
-> ContT () IO (Ptr AllocationCallbacks))
-> ((Ptr AllocationCallbacks -> IO ()) -> IO ())
-> ContT () IO (Ptr AllocationCallbacks)
forall a b. (a -> b) -> a -> b
$ AllocationCallbacks -> (Ptr AllocationCallbacks -> IO ()) -> IO ()
forall a b. ToCStruct a => a -> (Ptr a -> IO b) -> IO b
forall b.
AllocationCallbacks -> (Ptr AllocationCallbacks -> IO b) -> IO b
withCStruct (AllocationCallbacks
j)
lift $ traceAroundEvent "vkDestroySwapchainKHR" (vkDestroySwapchainKHR'
(deviceHandle (device))
(swapchain)
pAllocator)
pure $ ()
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
unsafe
#endif
"dynamic" mkVkGetSwapchainImagesKHR
:: FunPtr (Ptr Device_T -> SwapchainKHR -> Ptr Word32 -> Ptr Image -> IO Result) -> Ptr Device_T -> SwapchainKHR -> Ptr Word32 -> Ptr Image -> IO Result
getSwapchainImagesKHR :: forall io
. (MonadIO io)
=>
Device
->
SwapchainKHR
-> io (Result, ("swapchainImages" ::: Vector Image))
getSwapchainImagesKHR :: forall (io :: * -> *).
MonadIO io =>
Device
-> SwapchainKHR -> io (Result, "swapchainImages" ::: Vector Image)
getSwapchainImagesKHR Device
device SwapchainKHR
swapchain = IO (Result, "swapchainImages" ::: Vector Image)
-> io (Result, "swapchainImages" ::: Vector Image)
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Result, "swapchainImages" ::: Vector Image)
-> io (Result, "swapchainImages" ::: Vector Image))
-> (ContT
(Result, "swapchainImages" ::: Vector Image)
IO
(Result, "swapchainImages" ::: Vector Image)
-> IO (Result, "swapchainImages" ::: Vector Image))
-> ContT
(Result, "swapchainImages" ::: Vector Image)
IO
(Result, "swapchainImages" ::: Vector Image)
-> io (Result, "swapchainImages" ::: Vector Image)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT
(Result, "swapchainImages" ::: Vector Image)
IO
(Result, "swapchainImages" ::: Vector Image)
-> IO (Result, "swapchainImages" ::: Vector Image)
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT
(Result, "swapchainImages" ::: Vector Image)
IO
(Result, "swapchainImages" ::: Vector Image)
-> io (Result, "swapchainImages" ::: Vector Image))
-> ContT
(Result, "swapchainImages" ::: Vector Image)
IO
(Result, "swapchainImages" ::: Vector Image)
-> io (Result, "swapchainImages" ::: Vector Image)
forall a b. (a -> b) -> a -> b
$ do
let vkGetSwapchainImagesKHRPtr :: FunPtr
(Ptr Device_T
-> SwapchainKHR -> Ptr Word32 -> Ptr Image -> IO Result)
vkGetSwapchainImagesKHRPtr = DeviceCmds
-> FunPtr
(Ptr Device_T
-> SwapchainKHR -> Ptr Word32 -> Ptr Image -> IO Result)
pVkGetSwapchainImagesKHR (case Device
device of Device{DeviceCmds
deviceCmds :: Device -> DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
IO () -> ContT (Result, "swapchainImages" ::: Vector Image) IO ()
forall (m :: * -> *) a.
Monad m =>
m a -> ContT (Result, "swapchainImages" ::: Vector Image) m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT (Result, "swapchainImages" ::: Vector Image) IO ())
-> IO ()
-> ContT (Result, "swapchainImages" ::: Vector Image) IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
(Ptr Device_T
-> SwapchainKHR -> Ptr Word32 -> Ptr Image -> IO Result)
vkGetSwapchainImagesKHRPtr FunPtr
(Ptr Device_T
-> SwapchainKHR -> Ptr Word32 -> Ptr Image -> IO Result)
-> FunPtr
(Ptr Device_T
-> SwapchainKHR -> Ptr Word32 -> Ptr Image -> IO Result)
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
(Ptr Device_T
-> SwapchainKHR -> Ptr Word32 -> Ptr Image -> IO Result)
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkGetSwapchainImagesKHR is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
let vkGetSwapchainImagesKHR' :: Ptr Device_T
-> SwapchainKHR -> Ptr Word32 -> Ptr Image -> IO Result
vkGetSwapchainImagesKHR' = FunPtr
(Ptr Device_T
-> SwapchainKHR -> Ptr Word32 -> Ptr Image -> IO Result)
-> Ptr Device_T
-> SwapchainKHR
-> Ptr Word32
-> Ptr Image
-> IO Result
mkVkGetSwapchainImagesKHR FunPtr
(Ptr Device_T
-> SwapchainKHR -> Ptr Word32 -> Ptr Image -> IO Result)
vkGetSwapchainImagesKHRPtr
let device' :: Ptr Device_T
device' = Device -> Ptr Device_T
deviceHandle (Device
device)
pPSwapchainImageCount <- ((Ptr Word32 -> IO (Result, "swapchainImages" ::: Vector Image))
-> IO (Result, "swapchainImages" ::: Vector Image))
-> ContT
(Result, "swapchainImages" ::: Vector Image) IO (Ptr Word32)
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr Word32 -> IO (Result, "swapchainImages" ::: Vector Image))
-> IO (Result, "swapchainImages" ::: Vector Image))
-> ContT
(Result, "swapchainImages" ::: Vector Image) IO (Ptr Word32))
-> ((Ptr Word32 -> IO (Result, "swapchainImages" ::: Vector Image))
-> IO (Result, "swapchainImages" ::: Vector Image))
-> ContT
(Result, "swapchainImages" ::: Vector Image) IO (Ptr Word32)
forall a b. (a -> b) -> a -> b
$ IO (Ptr Word32)
-> (Ptr Word32 -> IO ())
-> (Ptr Word32 -> IO (Result, "swapchainImages" ::: Vector Image))
-> IO (Result, "swapchainImages" ::: Vector Image)
forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c
bracket (forall a. Int -> IO (Ptr a)
callocBytes @Word32 Int
4) Ptr Word32 -> IO ()
forall a. Ptr a -> IO ()
free
r <- lift $ traceAroundEvent "vkGetSwapchainImagesKHR" (vkGetSwapchainImagesKHR'
device'
(swapchain)
(pPSwapchainImageCount)
(nullPtr))
lift $ when (r < SUCCESS) (throwIO (VulkanException r))
pSwapchainImageCount <- lift $ peek @Word32 pPSwapchainImageCount
pPSwapchainImages <- ContT $ bracket (callocBytes @Image ((fromIntegral (pSwapchainImageCount)) * 8)) free
r' <- lift $ traceAroundEvent "vkGetSwapchainImagesKHR" (vkGetSwapchainImagesKHR'
device'
(swapchain)
(pPSwapchainImageCount)
(pPSwapchainImages))
lift $ when (r' < SUCCESS) (throwIO (VulkanException r'))
pSwapchainImageCount' <- lift $ peek @Word32 pPSwapchainImageCount
pSwapchainImages' <- lift $ generateM (fromIntegral (pSwapchainImageCount')) (\Int
i -> forall a. Storable a => Ptr a -> IO a
peek @Image ((Ptr Image
pPSwapchainImages Ptr Image -> Int -> Ptr Image
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
8 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Image)))
pure $ ((r'), pSwapchainImages')
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
unsafe
#endif
"dynamic" mkVkAcquireNextImageKHRUnsafe
:: FunPtr (Ptr Device_T -> SwapchainKHR -> Word64 -> Semaphore -> Fence -> Ptr Word32 -> IO Result) -> Ptr Device_T -> SwapchainKHR -> Word64 -> Semaphore -> Fence -> Ptr Word32 -> IO Result
foreign import ccall
"dynamic" mkVkAcquireNextImageKHRSafe
:: FunPtr (Ptr Device_T -> SwapchainKHR -> Word64 -> Semaphore -> Fence -> Ptr Word32 -> IO Result) -> Ptr Device_T -> SwapchainKHR -> Word64 -> Semaphore -> Fence -> Ptr Word32 -> IO Result
acquireNextImageKHRSafeOrUnsafe :: forall io
. (MonadIO io)
=> (FunPtr (Ptr Device_T -> SwapchainKHR -> Word64 -> Semaphore -> Fence -> Ptr Word32 -> IO Result) -> Ptr Device_T -> SwapchainKHR -> Word64 -> Semaphore -> Fence -> Ptr Word32 -> IO Result)
->
Device
->
SwapchainKHR
->
("timeout" ::: Word64)
->
Semaphore
->
Fence
-> io (Result, ("imageIndex" ::: Word32))
acquireNextImageKHRSafeOrUnsafe :: forall (io :: * -> *).
MonadIO io =>
(FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Device
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> io (Result, Word32)
acquireNextImageKHRSafeOrUnsafe FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result
mkVkAcquireNextImageKHR Device
device
SwapchainKHR
swapchain
Word64
timeout
Semaphore
semaphore
Fence
fence = IO (Result, Word32) -> io (Result, Word32)
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Result, Word32) -> io (Result, Word32))
-> (ContT (Result, Word32) IO (Result, Word32)
-> IO (Result, Word32))
-> ContT (Result, Word32) IO (Result, Word32)
-> io (Result, Word32)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT (Result, Word32) IO (Result, Word32) -> IO (Result, Word32)
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT (Result, Word32) IO (Result, Word32) -> io (Result, Word32))
-> ContT (Result, Word32) IO (Result, Word32)
-> io (Result, Word32)
forall a b. (a -> b) -> a -> b
$ do
let vkAcquireNextImageKHRPtr :: FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
vkAcquireNextImageKHRPtr = DeviceCmds
-> FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
pVkAcquireNextImageKHR (case Device
device of Device{DeviceCmds
deviceCmds :: Device -> DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
IO () -> ContT (Result, Word32) IO ()
forall (m :: * -> *) a.
Monad m =>
m a -> ContT (Result, Word32) m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT (Result, Word32) IO ())
-> IO () -> ContT (Result, Word32) IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
vkAcquireNextImageKHRPtr FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkAcquireNextImageKHR is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
let vkAcquireNextImageKHR' :: Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result
vkAcquireNextImageKHR' = FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result
mkVkAcquireNextImageKHR FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
vkAcquireNextImageKHRPtr
pPImageIndex <- ((Ptr Word32 -> IO (Result, Word32)) -> IO (Result, Word32))
-> ContT (Result, Word32) IO (Ptr Word32)
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr Word32 -> IO (Result, Word32)) -> IO (Result, Word32))
-> ContT (Result, Word32) IO (Ptr Word32))
-> ((Ptr Word32 -> IO (Result, Word32)) -> IO (Result, Word32))
-> ContT (Result, Word32) IO (Ptr Word32)
forall a b. (a -> b) -> a -> b
$ IO (Ptr Word32)
-> (Ptr Word32 -> IO ())
-> (Ptr Word32 -> IO (Result, Word32))
-> IO (Result, Word32)
forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c
bracket (forall a. Int -> IO (Ptr a)
callocBytes @Word32 Int
4) Ptr Word32 -> IO ()
forall a. Ptr a -> IO ()
free
r <- lift $ traceAroundEvent "vkAcquireNextImageKHR" (vkAcquireNextImageKHR'
(deviceHandle (device))
(swapchain)
(timeout)
(semaphore)
(fence)
(pPImageIndex))
lift $ when (r < SUCCESS) (throwIO (VulkanException r))
pImageIndex <- lift $ peek @Word32 pPImageIndex
pure $ (r, pImageIndex)
acquireNextImageKHR :: forall io
. (MonadIO io)
=>
Device
->
SwapchainKHR
->
("timeout" ::: Word64)
->
Semaphore
->
Fence
-> io (Result, ("imageIndex" ::: Word32))
acquireNextImageKHR :: forall (io :: * -> *).
MonadIO io =>
Device
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> io (Result, Word32)
acquireNextImageKHR = (FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Device
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> io (Result, Word32)
forall (io :: * -> *).
MonadIO io =>
(FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Device
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> io (Result, Word32)
acquireNextImageKHRSafeOrUnsafe FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result
mkVkAcquireNextImageKHRUnsafe
acquireNextImageKHRSafe :: forall io
. (MonadIO io)
=>
Device
->
SwapchainKHR
->
("timeout" ::: Word64)
->
Semaphore
->
Fence
-> io (Result, ("imageIndex" ::: Word32))
acquireNextImageKHRSafe :: forall (io :: * -> *).
MonadIO io =>
Device
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> io (Result, Word32)
acquireNextImageKHRSafe = (FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Device
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> io (Result, Word32)
forall (io :: * -> *).
MonadIO io =>
(FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Device
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> io (Result, Word32)
acquireNextImageKHRSafeOrUnsafe FunPtr
(Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result)
-> Ptr Device_T
-> SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Ptr Word32
-> IO Result
mkVkAcquireNextImageKHRSafe
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
unsafe
#endif
"dynamic" mkVkQueuePresentKHR
:: FunPtr (Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result) -> Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result
queuePresentKHR :: forall a io
. (Extendss PresentInfoKHR a, PokeChain a, MonadIO io)
=>
Queue
->
(PresentInfoKHR a)
-> io (Result)
queuePresentKHR :: forall (a :: [*]) (io :: * -> *).
(Extendss PresentInfoKHR a, PokeChain a, MonadIO io) =>
Queue -> PresentInfoKHR a -> io Result
queuePresentKHR Queue
queue PresentInfoKHR a
presentInfo = IO Result -> io Result
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Result -> io Result)
-> (ContT Result IO Result -> IO Result)
-> ContT Result IO Result
-> io Result
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT Result IO Result -> IO Result
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT Result IO Result -> io Result)
-> ContT Result IO Result -> io Result
forall a b. (a -> b) -> a -> b
$ do
let vkQueuePresentKHRPtr :: FunPtr
(Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result)
vkQueuePresentKHRPtr = DeviceCmds
-> FunPtr
(Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result)
pVkQueuePresentKHR (case Queue
queue of Queue{DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds :: Queue -> DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
IO () -> ContT Result IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT Result m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT Result IO ()) -> IO () -> ContT Result IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
(Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result)
vkQueuePresentKHRPtr FunPtr
(Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result)
-> FunPtr
(Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result)
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
(Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result)
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkQueuePresentKHR is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
let vkQueuePresentKHR' :: Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result
vkQueuePresentKHR' = FunPtr
(Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result)
-> Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result
mkVkQueuePresentKHR FunPtr
(Ptr Queue_T -> Ptr (SomeStruct PresentInfoKHR) -> IO Result)
vkQueuePresentKHRPtr
pPresentInfo <- ((Ptr (PresentInfoKHR a) -> IO Result) -> IO Result)
-> ContT Result IO (Ptr (PresentInfoKHR a))
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr (PresentInfoKHR a) -> IO Result) -> IO Result)
-> ContT Result IO (Ptr (PresentInfoKHR a)))
-> ((Ptr (PresentInfoKHR a) -> IO Result) -> IO Result)
-> ContT Result IO (Ptr (PresentInfoKHR a))
forall a b. (a -> b) -> a -> b
$ PresentInfoKHR a
-> (Ptr (PresentInfoKHR a) -> IO Result) -> IO Result
forall a b. ToCStruct a => a -> (Ptr a -> IO b) -> IO b
forall b.
PresentInfoKHR a -> (Ptr (PresentInfoKHR a) -> IO b) -> IO b
withCStruct (PresentInfoKHR a
presentInfo)
r <- lift $ traceAroundEvent "vkQueuePresentKHR" (vkQueuePresentKHR'
(queueHandle (queue))
(forgetExtensions pPresentInfo))
lift $ when (r < SUCCESS) (throwIO (VulkanException r))
pure $ (r)
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
unsafe
#endif
"dynamic" mkVkGetDeviceGroupPresentCapabilitiesKHR
:: FunPtr (Ptr Device_T -> Ptr DeviceGroupPresentCapabilitiesKHR -> IO Result) -> Ptr Device_T -> Ptr DeviceGroupPresentCapabilitiesKHR -> IO Result
getDeviceGroupPresentCapabilitiesKHR :: forall io
. (MonadIO io)
=>
Device
-> io (DeviceGroupPresentCapabilitiesKHR)
getDeviceGroupPresentCapabilitiesKHR :: forall (io :: * -> *).
MonadIO io =>
Device -> io DeviceGroupPresentCapabilitiesKHR
getDeviceGroupPresentCapabilitiesKHR Device
device = IO DeviceGroupPresentCapabilitiesKHR
-> io DeviceGroupPresentCapabilitiesKHR
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO DeviceGroupPresentCapabilitiesKHR
-> io DeviceGroupPresentCapabilitiesKHR)
-> (ContT
DeviceGroupPresentCapabilitiesKHR
IO
DeviceGroupPresentCapabilitiesKHR
-> IO DeviceGroupPresentCapabilitiesKHR)
-> ContT
DeviceGroupPresentCapabilitiesKHR
IO
DeviceGroupPresentCapabilitiesKHR
-> io DeviceGroupPresentCapabilitiesKHR
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT
DeviceGroupPresentCapabilitiesKHR
IO
DeviceGroupPresentCapabilitiesKHR
-> IO DeviceGroupPresentCapabilitiesKHR
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT
DeviceGroupPresentCapabilitiesKHR
IO
DeviceGroupPresentCapabilitiesKHR
-> io DeviceGroupPresentCapabilitiesKHR)
-> ContT
DeviceGroupPresentCapabilitiesKHR
IO
DeviceGroupPresentCapabilitiesKHR
-> io DeviceGroupPresentCapabilitiesKHR
forall a b. (a -> b) -> a -> b
$ do
let vkGetDeviceGroupPresentCapabilitiesKHRPtr :: FunPtr
(Ptr Device_T
-> Ptr DeviceGroupPresentCapabilitiesKHR -> IO Result)
vkGetDeviceGroupPresentCapabilitiesKHRPtr = DeviceCmds
-> FunPtr
(Ptr Device_T
-> Ptr DeviceGroupPresentCapabilitiesKHR -> IO Result)
pVkGetDeviceGroupPresentCapabilitiesKHR (case Device
device of Device{DeviceCmds
deviceCmds :: Device -> DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
IO () -> ContT DeviceGroupPresentCapabilitiesKHR IO ()
forall (m :: * -> *) a.
Monad m =>
m a -> ContT DeviceGroupPresentCapabilitiesKHR m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT DeviceGroupPresentCapabilitiesKHR IO ())
-> IO () -> ContT DeviceGroupPresentCapabilitiesKHR IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
(Ptr Device_T
-> Ptr DeviceGroupPresentCapabilitiesKHR -> IO Result)
vkGetDeviceGroupPresentCapabilitiesKHRPtr FunPtr
(Ptr Device_T
-> Ptr DeviceGroupPresentCapabilitiesKHR -> IO Result)
-> FunPtr
(Ptr Device_T
-> Ptr DeviceGroupPresentCapabilitiesKHR -> IO Result)
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
(Ptr Device_T
-> Ptr DeviceGroupPresentCapabilitiesKHR -> IO Result)
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkGetDeviceGroupPresentCapabilitiesKHR is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
let vkGetDeviceGroupPresentCapabilitiesKHR' :: Ptr Device_T -> Ptr DeviceGroupPresentCapabilitiesKHR -> IO Result
vkGetDeviceGroupPresentCapabilitiesKHR' = FunPtr
(Ptr Device_T
-> Ptr DeviceGroupPresentCapabilitiesKHR -> IO Result)
-> Ptr Device_T
-> Ptr DeviceGroupPresentCapabilitiesKHR
-> IO Result
mkVkGetDeviceGroupPresentCapabilitiesKHR FunPtr
(Ptr Device_T
-> Ptr DeviceGroupPresentCapabilitiesKHR -> IO Result)
vkGetDeviceGroupPresentCapabilitiesKHRPtr
pPDeviceGroupPresentCapabilities <- ((Ptr DeviceGroupPresentCapabilitiesKHR
-> IO DeviceGroupPresentCapabilitiesKHR)
-> IO DeviceGroupPresentCapabilitiesKHR)
-> ContT
DeviceGroupPresentCapabilitiesKHR
IO
(Ptr DeviceGroupPresentCapabilitiesKHR)
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (forall a b. ToCStruct a => (Ptr a -> IO b) -> IO b
withZeroCStruct @DeviceGroupPresentCapabilitiesKHR)
r <- lift $ traceAroundEvent "vkGetDeviceGroupPresentCapabilitiesKHR" (vkGetDeviceGroupPresentCapabilitiesKHR'
(deviceHandle (device))
(pPDeviceGroupPresentCapabilities))
lift $ when (r < SUCCESS) (throwIO (VulkanException r))
pDeviceGroupPresentCapabilities <- lift $ peekCStruct @DeviceGroupPresentCapabilitiesKHR pPDeviceGroupPresentCapabilities
pure $ (pDeviceGroupPresentCapabilities)
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
unsafe
#endif
"dynamic" mkVkGetDeviceGroupSurfacePresentModesKHR
:: FunPtr (Ptr Device_T -> SurfaceKHR -> Ptr DeviceGroupPresentModeFlagsKHR -> IO Result) -> Ptr Device_T -> SurfaceKHR -> Ptr DeviceGroupPresentModeFlagsKHR -> IO Result
getDeviceGroupSurfacePresentModesKHR :: forall io
. (MonadIO io)
=>
Device
->
SurfaceKHR
-> io (("modes" ::: DeviceGroupPresentModeFlagsKHR))
getDeviceGroupSurfacePresentModesKHR :: forall (io :: * -> *).
MonadIO io =>
Device
-> SurfaceKHR -> io ("modes" ::: DeviceGroupPresentModeFlagsKHR)
getDeviceGroupSurfacePresentModesKHR Device
device SurfaceKHR
surface = IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> io ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> io ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> (ContT
("modes" ::: DeviceGroupPresentModeFlagsKHR)
IO
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> ContT
("modes" ::: DeviceGroupPresentModeFlagsKHR)
IO
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> io ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT
("modes" ::: DeviceGroupPresentModeFlagsKHR)
IO
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT
("modes" ::: DeviceGroupPresentModeFlagsKHR)
IO
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> io ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> ContT
("modes" ::: DeviceGroupPresentModeFlagsKHR)
IO
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> io ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall a b. (a -> b) -> a -> b
$ do
let vkGetDeviceGroupSurfacePresentModesKHRPtr :: FunPtr
(Ptr Device_T
-> SurfaceKHR
-> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO Result)
vkGetDeviceGroupSurfacePresentModesKHRPtr = DeviceCmds
-> FunPtr
(Ptr Device_T
-> SurfaceKHR
-> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO Result)
pVkGetDeviceGroupSurfacePresentModesKHR (case Device
device of Device{DeviceCmds
deviceCmds :: Device -> DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
IO () -> ContT ("modes" ::: DeviceGroupPresentModeFlagsKHR) IO ()
forall (m :: * -> *) a.
Monad m =>
m a -> ContT ("modes" ::: DeviceGroupPresentModeFlagsKHR) m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT ("modes" ::: DeviceGroupPresentModeFlagsKHR) IO ())
-> IO ()
-> ContT ("modes" ::: DeviceGroupPresentModeFlagsKHR) IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
(Ptr Device_T
-> SurfaceKHR
-> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO Result)
vkGetDeviceGroupSurfacePresentModesKHRPtr FunPtr
(Ptr Device_T
-> SurfaceKHR
-> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO Result)
-> FunPtr
(Ptr Device_T
-> SurfaceKHR
-> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO Result)
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
(Ptr Device_T
-> SurfaceKHR
-> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO Result)
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkGetDeviceGroupSurfacePresentModesKHR is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
let vkGetDeviceGroupSurfacePresentModesKHR' :: Ptr Device_T
-> SurfaceKHR
-> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO Result
vkGetDeviceGroupSurfacePresentModesKHR' = FunPtr
(Ptr Device_T
-> SurfaceKHR
-> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO Result)
-> Ptr Device_T
-> SurfaceKHR
-> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO Result
mkVkGetDeviceGroupSurfacePresentModesKHR FunPtr
(Ptr Device_T
-> SurfaceKHR
-> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO Result)
vkGetDeviceGroupSurfacePresentModesKHRPtr
pPModes <- ((Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> ContT
("modes" ::: DeviceGroupPresentModeFlagsKHR)
IO
(Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR))
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> ContT
("modes" ::: DeviceGroupPresentModeFlagsKHR)
IO
(Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)))
-> ((Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> ContT
("modes" ::: DeviceGroupPresentModeFlagsKHR)
IO
(Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR))
forall a b. (a -> b) -> a -> b
$ IO (Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> (Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ())
-> (Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c
bracket (forall a. Int -> IO (Ptr a)
callocBytes @DeviceGroupPresentModeFlagsKHR Int
4) Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
forall a. Ptr a -> IO ()
free
r <- lift $ traceAroundEvent "vkGetDeviceGroupSurfacePresentModesKHR" (vkGetDeviceGroupSurfacePresentModesKHR'
(deviceHandle (device))
(surface)
(pPModes))
lift $ when (r < SUCCESS) (throwIO (VulkanException r))
pModes <- lift $ peek @DeviceGroupPresentModeFlagsKHR pPModes
pure $ (pModes)
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
unsafe
#endif
"dynamic" mkVkAcquireNextImage2KHRUnsafe
:: FunPtr (Ptr Device_T -> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result) -> Ptr Device_T -> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result
foreign import ccall
"dynamic" mkVkAcquireNextImage2KHRSafe
:: FunPtr (Ptr Device_T -> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result) -> Ptr Device_T -> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result
acquireNextImage2KHRSafeOrUnsafe :: forall io
. (MonadIO io)
=> (FunPtr (Ptr Device_T -> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result) -> Ptr Device_T -> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
->
Device
->
("acquireInfo" ::: AcquireNextImageInfoKHR)
-> io (Result, ("imageIndex" ::: Word32))
acquireNextImage2KHRSafeOrUnsafe :: forall (io :: * -> *).
MonadIO io =>
(FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
-> Ptr Device_T
-> Ptr AcquireNextImageInfoKHR
-> Ptr Word32
-> IO Result)
-> Device -> AcquireNextImageInfoKHR -> io (Result, Word32)
acquireNextImage2KHRSafeOrUnsafe FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
-> Ptr Device_T
-> Ptr AcquireNextImageInfoKHR
-> Ptr Word32
-> IO Result
mkVkAcquireNextImage2KHR Device
device
AcquireNextImageInfoKHR
acquireInfo = IO (Result, Word32) -> io (Result, Word32)
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Result, Word32) -> io (Result, Word32))
-> (ContT (Result, Word32) IO (Result, Word32)
-> IO (Result, Word32))
-> ContT (Result, Word32) IO (Result, Word32)
-> io (Result, Word32)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT (Result, Word32) IO (Result, Word32) -> IO (Result, Word32)
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT (Result, Word32) IO (Result, Word32) -> io (Result, Word32))
-> ContT (Result, Word32) IO (Result, Word32)
-> io (Result, Word32)
forall a b. (a -> b) -> a -> b
$ do
let vkAcquireNextImage2KHRPtr :: FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
vkAcquireNextImage2KHRPtr = DeviceCmds
-> FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
pVkAcquireNextImage2KHR (case Device
device of Device{DeviceCmds
deviceCmds :: Device -> DeviceCmds
deviceCmds :: DeviceCmds
deviceCmds} -> DeviceCmds
deviceCmds)
IO () -> ContT (Result, Word32) IO ()
forall (m :: * -> *) a.
Monad m =>
m a -> ContT (Result, Word32) m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT (Result, Word32) IO ())
-> IO () -> ContT (Result, Word32) IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
vkAcquireNextImage2KHRPtr FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
-> FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkAcquireNextImage2KHR is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
let vkAcquireNextImage2KHR' :: Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result
vkAcquireNextImage2KHR' = FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
-> Ptr Device_T
-> Ptr AcquireNextImageInfoKHR
-> Ptr Word32
-> IO Result
mkVkAcquireNextImage2KHR FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
vkAcquireNextImage2KHRPtr
pAcquireInfo <- ((Ptr AcquireNextImageInfoKHR -> IO (Result, Word32))
-> IO (Result, Word32))
-> ContT (Result, Word32) IO (Ptr AcquireNextImageInfoKHR)
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr AcquireNextImageInfoKHR -> IO (Result, Word32))
-> IO (Result, Word32))
-> ContT (Result, Word32) IO (Ptr AcquireNextImageInfoKHR))
-> ((Ptr AcquireNextImageInfoKHR -> IO (Result, Word32))
-> IO (Result, Word32))
-> ContT (Result, Word32) IO (Ptr AcquireNextImageInfoKHR)
forall a b. (a -> b) -> a -> b
$ AcquireNextImageInfoKHR
-> (Ptr AcquireNextImageInfoKHR -> IO (Result, Word32))
-> IO (Result, Word32)
forall a b. ToCStruct a => a -> (Ptr a -> IO b) -> IO b
forall b.
AcquireNextImageInfoKHR
-> (Ptr AcquireNextImageInfoKHR -> IO b) -> IO b
withCStruct (AcquireNextImageInfoKHR
acquireInfo)
pPImageIndex <- ContT $ bracket (callocBytes @Word32 4) free
r <- lift $ traceAroundEvent "vkAcquireNextImage2KHR" (vkAcquireNextImage2KHR'
(deviceHandle (device))
pAcquireInfo
(pPImageIndex))
lift $ when (r < SUCCESS) (throwIO (VulkanException r))
pImageIndex <- lift $ peek @Word32 pPImageIndex
pure $ (r, pImageIndex)
acquireNextImage2KHR :: forall io
. (MonadIO io)
=>
Device
->
("acquireInfo" ::: AcquireNextImageInfoKHR)
-> io (Result, ("imageIndex" ::: Word32))
acquireNextImage2KHR :: forall (io :: * -> *).
MonadIO io =>
Device -> AcquireNextImageInfoKHR -> io (Result, Word32)
acquireNextImage2KHR = (FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
-> Ptr Device_T
-> Ptr AcquireNextImageInfoKHR
-> Ptr Word32
-> IO Result)
-> Device -> AcquireNextImageInfoKHR -> io (Result, Word32)
forall (io :: * -> *).
MonadIO io =>
(FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
-> Ptr Device_T
-> Ptr AcquireNextImageInfoKHR
-> Ptr Word32
-> IO Result)
-> Device -> AcquireNextImageInfoKHR -> io (Result, Word32)
acquireNextImage2KHRSafeOrUnsafe FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
-> Ptr Device_T
-> Ptr AcquireNextImageInfoKHR
-> Ptr Word32
-> IO Result
mkVkAcquireNextImage2KHRUnsafe
acquireNextImage2KHRSafe :: forall io
. (MonadIO io)
=>
Device
->
("acquireInfo" ::: AcquireNextImageInfoKHR)
-> io (Result, ("imageIndex" ::: Word32))
acquireNextImage2KHRSafe :: forall (io :: * -> *).
MonadIO io =>
Device -> AcquireNextImageInfoKHR -> io (Result, Word32)
acquireNextImage2KHRSafe = (FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
-> Ptr Device_T
-> Ptr AcquireNextImageInfoKHR
-> Ptr Word32
-> IO Result)
-> Device -> AcquireNextImageInfoKHR -> io (Result, Word32)
forall (io :: * -> *).
MonadIO io =>
(FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
-> Ptr Device_T
-> Ptr AcquireNextImageInfoKHR
-> Ptr Word32
-> IO Result)
-> Device -> AcquireNextImageInfoKHR -> io (Result, Word32)
acquireNextImage2KHRSafeOrUnsafe FunPtr
(Ptr Device_T
-> Ptr AcquireNextImageInfoKHR -> Ptr Word32 -> IO Result)
-> Ptr Device_T
-> Ptr AcquireNextImageInfoKHR
-> Ptr Word32
-> IO Result
mkVkAcquireNextImage2KHRSafe
foreign import ccall
#if !defined(SAFE_FOREIGN_CALLS)
unsafe
#endif
"dynamic" mkVkGetPhysicalDevicePresentRectanglesKHR
:: FunPtr (Ptr PhysicalDevice_T -> SurfaceKHR -> Ptr Word32 -> Ptr Rect2D -> IO Result) -> Ptr PhysicalDevice_T -> SurfaceKHR -> Ptr Word32 -> Ptr Rect2D -> IO Result
getPhysicalDevicePresentRectanglesKHR :: forall io
. (MonadIO io)
=>
PhysicalDevice
->
SurfaceKHR
-> io (Result, ("rects" ::: Vector Rect2D))
getPhysicalDevicePresentRectanglesKHR :: forall (io :: * -> *).
MonadIO io =>
PhysicalDevice
-> SurfaceKHR -> io (Result, "rects" ::: Vector Rect2D)
getPhysicalDevicePresentRectanglesKHR PhysicalDevice
physicalDevice
SurfaceKHR
surface = IO (Result, "rects" ::: Vector Rect2D)
-> io (Result, "rects" ::: Vector Rect2D)
forall a. IO a -> io a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Result, "rects" ::: Vector Rect2D)
-> io (Result, "rects" ::: Vector Rect2D))
-> (ContT
(Result, "rects" ::: Vector Rect2D)
IO
(Result, "rects" ::: Vector Rect2D)
-> IO (Result, "rects" ::: Vector Rect2D))
-> ContT
(Result, "rects" ::: Vector Rect2D)
IO
(Result, "rects" ::: Vector Rect2D)
-> io (Result, "rects" ::: Vector Rect2D)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ContT
(Result, "rects" ::: Vector Rect2D)
IO
(Result, "rects" ::: Vector Rect2D)
-> IO (Result, "rects" ::: Vector Rect2D)
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT
(Result, "rects" ::: Vector Rect2D)
IO
(Result, "rects" ::: Vector Rect2D)
-> io (Result, "rects" ::: Vector Rect2D))
-> ContT
(Result, "rects" ::: Vector Rect2D)
IO
(Result, "rects" ::: Vector Rect2D)
-> io (Result, "rects" ::: Vector Rect2D)
forall a b. (a -> b) -> a -> b
$ do
let vkGetPhysicalDevicePresentRectanglesKHRPtr :: FunPtr
(Ptr PhysicalDevice_T
-> SurfaceKHR -> Ptr Word32 -> Ptr Rect2D -> IO Result)
vkGetPhysicalDevicePresentRectanglesKHRPtr = InstanceCmds
-> FunPtr
(Ptr PhysicalDevice_T
-> SurfaceKHR -> Ptr Word32 -> Ptr Rect2D -> IO Result)
pVkGetPhysicalDevicePresentRectanglesKHR (case PhysicalDevice
physicalDevice of PhysicalDevice{InstanceCmds
instanceCmds :: InstanceCmds
instanceCmds :: PhysicalDevice -> InstanceCmds
instanceCmds} -> InstanceCmds
instanceCmds)
IO () -> ContT (Result, "rects" ::: Vector Rect2D) IO ()
forall (m :: * -> *) a.
Monad m =>
m a -> ContT (Result, "rects" ::: Vector Rect2D) m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT (Result, "rects" ::: Vector Rect2D) IO ())
-> IO () -> ContT (Result, "rects" ::: Vector Rect2D) IO ()
forall a b. (a -> b) -> a -> b
$ Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless (FunPtr
(Ptr PhysicalDevice_T
-> SurfaceKHR -> Ptr Word32 -> Ptr Rect2D -> IO Result)
vkGetPhysicalDevicePresentRectanglesKHRPtr FunPtr
(Ptr PhysicalDevice_T
-> SurfaceKHR -> Ptr Word32 -> Ptr Rect2D -> IO Result)
-> FunPtr
(Ptr PhysicalDevice_T
-> SurfaceKHR -> Ptr Word32 -> Ptr Rect2D -> IO Result)
-> Bool
forall a. Eq a => a -> a -> Bool
/= FunPtr
(Ptr PhysicalDevice_T
-> SurfaceKHR -> Ptr Word32 -> Ptr Rect2D -> IO Result)
forall a. FunPtr a
nullFunPtr) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"The function pointer for vkGetPhysicalDevicePresentRectanglesKHR is null" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
let vkGetPhysicalDevicePresentRectanglesKHR' :: Ptr PhysicalDevice_T
-> SurfaceKHR -> Ptr Word32 -> Ptr Rect2D -> IO Result
vkGetPhysicalDevicePresentRectanglesKHR' = FunPtr
(Ptr PhysicalDevice_T
-> SurfaceKHR -> Ptr Word32 -> Ptr Rect2D -> IO Result)
-> Ptr PhysicalDevice_T
-> SurfaceKHR
-> Ptr Word32
-> Ptr Rect2D
-> IO Result
mkVkGetPhysicalDevicePresentRectanglesKHR FunPtr
(Ptr PhysicalDevice_T
-> SurfaceKHR -> Ptr Word32 -> Ptr Rect2D -> IO Result)
vkGetPhysicalDevicePresentRectanglesKHRPtr
let physicalDevice' :: Ptr PhysicalDevice_T
physicalDevice' = PhysicalDevice -> Ptr PhysicalDevice_T
physicalDeviceHandle (PhysicalDevice
physicalDevice)
pPRectCount <- ((Ptr Word32 -> IO (Result, "rects" ::: Vector Rect2D))
-> IO (Result, "rects" ::: Vector Rect2D))
-> ContT (Result, "rects" ::: Vector Rect2D) IO (Ptr Word32)
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr Word32 -> IO (Result, "rects" ::: Vector Rect2D))
-> IO (Result, "rects" ::: Vector Rect2D))
-> ContT (Result, "rects" ::: Vector Rect2D) IO (Ptr Word32))
-> ((Ptr Word32 -> IO (Result, "rects" ::: Vector Rect2D))
-> IO (Result, "rects" ::: Vector Rect2D))
-> ContT (Result, "rects" ::: Vector Rect2D) IO (Ptr Word32)
forall a b. (a -> b) -> a -> b
$ IO (Ptr Word32)
-> (Ptr Word32 -> IO ())
-> (Ptr Word32 -> IO (Result, "rects" ::: Vector Rect2D))
-> IO (Result, "rects" ::: Vector Rect2D)
forall a b c. IO a -> (a -> IO b) -> (a -> IO c) -> IO c
bracket (forall a. Int -> IO (Ptr a)
callocBytes @Word32 Int
4) Ptr Word32 -> IO ()
forall a. Ptr a -> IO ()
free
r <- lift $ traceAroundEvent "vkGetPhysicalDevicePresentRectanglesKHR" (vkGetPhysicalDevicePresentRectanglesKHR'
physicalDevice'
(surface)
(pPRectCount)
(nullPtr))
lift $ when (r < SUCCESS) (throwIO (VulkanException r))
pRectCount <- lift $ peek @Word32 pPRectCount
pPRects <- ContT $ bracket (callocBytes @Rect2D ((fromIntegral (pRectCount)) * 16)) free
_ <- traverse (\Int
i -> ((() -> IO (Result, "rects" ::: Vector Rect2D))
-> IO (Result, "rects" ::: Vector Rect2D))
-> ContT (Result, "rects" ::: Vector Rect2D) IO ()
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((() -> IO (Result, "rects" ::: Vector Rect2D))
-> IO (Result, "rects" ::: Vector Rect2D))
-> ContT (Result, "rects" ::: Vector Rect2D) IO ())
-> ((() -> IO (Result, "rects" ::: Vector Rect2D))
-> IO (Result, "rects" ::: Vector Rect2D))
-> ContT (Result, "rects" ::: Vector Rect2D) IO ()
forall a b. (a -> b) -> a -> b
$ Ptr Rect2D
-> IO (Result, "rects" ::: Vector Rect2D)
-> IO (Result, "rects" ::: Vector Rect2D)
forall b. Ptr Rect2D -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> IO b -> IO b
pokeZeroCStruct (Ptr Rect2D
pPRects Ptr Rect2D -> Int -> Ptr Rect2D
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
i Int -> Int -> Int
forall a. Num a => a -> a -> a
* Int
16) :: Ptr Rect2D) (IO (Result, "rects" ::: Vector Rect2D)
-> IO (Result, "rects" ::: Vector Rect2D))
-> ((() -> IO (Result, "rects" ::: Vector Rect2D))
-> IO (Result, "rects" ::: Vector Rect2D))
-> (() -> IO (Result, "rects" ::: Vector Rect2D))
-> IO (Result, "rects" ::: Vector Rect2D)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((() -> IO (Result, "rects" ::: Vector Rect2D))
-> () -> IO (Result, "rects" ::: Vector Rect2D)
forall a b. (a -> b) -> a -> b
$ ())) [0..(fromIntegral (pRectCount)) - 1]
r' <- lift $ traceAroundEvent "vkGetPhysicalDevicePresentRectanglesKHR" (vkGetPhysicalDevicePresentRectanglesKHR'
physicalDevice'
(surface)
(pPRectCount)
((pPRects)))
lift $ when (r' < SUCCESS) (throwIO (VulkanException r'))
pRectCount' <- lift $ peek @Word32 pPRectCount
pRects' <- lift $ generateM (fromIntegral (pRectCount')) (\Int
i -> forall a. FromCStruct a => Ptr a -> IO a
peekCStruct @Rect2D (((Ptr Rect2D
pPRects) Ptr Rect2D -> Int -> Ptr Rect2D
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
16 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Rect2D)))
pure $ ((r'), pRects')
data SwapchainCreateInfoKHR (es :: [Type]) = SwapchainCreateInfoKHR
{
forall (es :: [*]). SwapchainCreateInfoKHR es -> Chain es
next :: Chain es
,
forall (es :: [*]).
SwapchainCreateInfoKHR es -> SwapchainCreateFlagsKHR
flags :: SwapchainCreateFlagsKHR
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> SurfaceKHR
surface :: SurfaceKHR
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> Word32
minImageCount :: Word32
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> Format
imageFormat :: Format
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> ColorSpaceKHR
imageColorSpace :: ColorSpaceKHR
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> Extent2D
imageExtent :: Extent2D
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> Word32
imageArrayLayers :: Word32
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> ImageUsageFlags
imageUsage :: ImageUsageFlags
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> SharingMode
imageSharingMode :: SharingMode
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> Vector Word32
queueFamilyIndices :: Vector Word32
,
forall (es :: [*]).
SwapchainCreateInfoKHR es -> SurfaceTransformFlagBitsKHR
preTransform :: SurfaceTransformFlagBitsKHR
,
forall (es :: [*]).
SwapchainCreateInfoKHR es -> CompositeAlphaFlagBitsKHR
compositeAlpha :: CompositeAlphaFlagBitsKHR
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> PresentModeKHR
presentMode :: PresentModeKHR
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> Bool
clipped :: Bool
,
forall (es :: [*]). SwapchainCreateInfoKHR es -> SwapchainKHR
oldSwapchain :: SwapchainKHR
}
deriving (Typeable)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (SwapchainCreateInfoKHR (es :: [Type]))
#endif
deriving instance Show (Chain es) => Show (SwapchainCreateInfoKHR es)
instance Extensible SwapchainCreateInfoKHR where
extensibleTypeName :: String
extensibleTypeName = String
"SwapchainCreateInfoKHR"
setNext :: forall (ds :: [*]) (es :: [*]).
SwapchainCreateInfoKHR ds -> Chain es -> SwapchainCreateInfoKHR es
setNext SwapchainCreateInfoKHR{Bool
Word32
Vector Word32
SharingMode
Extent2D
ImageUsageFlags
Format
PresentModeKHR
SwapchainKHR
SurfaceKHR
Chain ds
SurfaceTransformFlagBitsKHR
CompositeAlphaFlagBitsKHR
ColorSpaceKHR
SwapchainCreateFlagsKHR
next :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Chain es
flags :: forall (es :: [*]).
SwapchainCreateInfoKHR es -> SwapchainCreateFlagsKHR
surface :: forall (es :: [*]). SwapchainCreateInfoKHR es -> SurfaceKHR
minImageCount :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Word32
imageFormat :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Format
imageColorSpace :: forall (es :: [*]). SwapchainCreateInfoKHR es -> ColorSpaceKHR
imageExtent :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Extent2D
imageArrayLayers :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Word32
imageUsage :: forall (es :: [*]). SwapchainCreateInfoKHR es -> ImageUsageFlags
imageSharingMode :: forall (es :: [*]). SwapchainCreateInfoKHR es -> SharingMode
queueFamilyIndices :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Vector Word32
preTransform :: forall (es :: [*]).
SwapchainCreateInfoKHR es -> SurfaceTransformFlagBitsKHR
compositeAlpha :: forall (es :: [*]).
SwapchainCreateInfoKHR es -> CompositeAlphaFlagBitsKHR
presentMode :: forall (es :: [*]). SwapchainCreateInfoKHR es -> PresentModeKHR
clipped :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Bool
oldSwapchain :: forall (es :: [*]). SwapchainCreateInfoKHR es -> SwapchainKHR
next :: Chain ds
flags :: SwapchainCreateFlagsKHR
surface :: SurfaceKHR
minImageCount :: Word32
imageFormat :: Format
imageColorSpace :: ColorSpaceKHR
imageExtent :: Extent2D
imageArrayLayers :: Word32
imageUsage :: ImageUsageFlags
imageSharingMode :: SharingMode
queueFamilyIndices :: Vector Word32
preTransform :: SurfaceTransformFlagBitsKHR
compositeAlpha :: CompositeAlphaFlagBitsKHR
presentMode :: PresentModeKHR
clipped :: Bool
oldSwapchain :: SwapchainKHR
..} Chain es
next' = SwapchainCreateInfoKHR{next :: Chain es
next = Chain es
next', Bool
Word32
Vector Word32
SharingMode
Extent2D
ImageUsageFlags
Format
PresentModeKHR
SwapchainKHR
SurfaceKHR
SurfaceTransformFlagBitsKHR
CompositeAlphaFlagBitsKHR
ColorSpaceKHR
SwapchainCreateFlagsKHR
flags :: SwapchainCreateFlagsKHR
surface :: SurfaceKHR
minImageCount :: Word32
imageFormat :: Format
imageColorSpace :: ColorSpaceKHR
imageExtent :: Extent2D
imageArrayLayers :: Word32
imageUsage :: ImageUsageFlags
imageSharingMode :: SharingMode
queueFamilyIndices :: Vector Word32
preTransform :: SurfaceTransformFlagBitsKHR
compositeAlpha :: CompositeAlphaFlagBitsKHR
presentMode :: PresentModeKHR
clipped :: Bool
oldSwapchain :: SwapchainKHR
flags :: SwapchainCreateFlagsKHR
surface :: SurfaceKHR
minImageCount :: Word32
imageFormat :: Format
imageColorSpace :: ColorSpaceKHR
imageExtent :: Extent2D
imageArrayLayers :: Word32
imageUsage :: ImageUsageFlags
imageSharingMode :: SharingMode
queueFamilyIndices :: Vector Word32
preTransform :: SurfaceTransformFlagBitsKHR
compositeAlpha :: CompositeAlphaFlagBitsKHR
presentMode :: PresentModeKHR
clipped :: Bool
oldSwapchain :: SwapchainKHR
..}
getNext :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Chain es
getNext SwapchainCreateInfoKHR{Bool
Word32
Vector Word32
SharingMode
Extent2D
ImageUsageFlags
Format
PresentModeKHR
SwapchainKHR
SurfaceKHR
Chain es
SurfaceTransformFlagBitsKHR
CompositeAlphaFlagBitsKHR
ColorSpaceKHR
SwapchainCreateFlagsKHR
next :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Chain es
flags :: forall (es :: [*]).
SwapchainCreateInfoKHR es -> SwapchainCreateFlagsKHR
surface :: forall (es :: [*]). SwapchainCreateInfoKHR es -> SurfaceKHR
minImageCount :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Word32
imageFormat :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Format
imageColorSpace :: forall (es :: [*]). SwapchainCreateInfoKHR es -> ColorSpaceKHR
imageExtent :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Extent2D
imageArrayLayers :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Word32
imageUsage :: forall (es :: [*]). SwapchainCreateInfoKHR es -> ImageUsageFlags
imageSharingMode :: forall (es :: [*]). SwapchainCreateInfoKHR es -> SharingMode
queueFamilyIndices :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Vector Word32
preTransform :: forall (es :: [*]).
SwapchainCreateInfoKHR es -> SurfaceTransformFlagBitsKHR
compositeAlpha :: forall (es :: [*]).
SwapchainCreateInfoKHR es -> CompositeAlphaFlagBitsKHR
presentMode :: forall (es :: [*]). SwapchainCreateInfoKHR es -> PresentModeKHR
clipped :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Bool
oldSwapchain :: forall (es :: [*]). SwapchainCreateInfoKHR es -> SwapchainKHR
next :: Chain es
flags :: SwapchainCreateFlagsKHR
surface :: SurfaceKHR
minImageCount :: Word32
imageFormat :: Format
imageColorSpace :: ColorSpaceKHR
imageExtent :: Extent2D
imageArrayLayers :: Word32
imageUsage :: ImageUsageFlags
imageSharingMode :: SharingMode
queueFamilyIndices :: Vector Word32
preTransform :: SurfaceTransformFlagBitsKHR
compositeAlpha :: CompositeAlphaFlagBitsKHR
presentMode :: PresentModeKHR
clipped :: Bool
oldSwapchain :: SwapchainKHR
..} = Chain es
next
extends :: forall e b proxy. Typeable e => proxy e -> (Extends SwapchainCreateInfoKHR e => b) -> Maybe b
extends :: forall e b (proxy :: * -> *).
Typeable e =>
proxy e -> (Extends SwapchainCreateInfoKHR e => b) -> Maybe b
extends proxy e
_ Extends SwapchainCreateInfoKHR e => b
f
| Just e :~: SwapchainLatencyCreateInfoNV
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @SwapchainLatencyCreateInfoNV = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends SwapchainCreateInfoKHR e => b
f
| Just e :~: SwapchainPresentScalingCreateInfoKHR
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @SwapchainPresentScalingCreateInfoKHR = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends SwapchainCreateInfoKHR e => b
f
| Just e :~: SwapchainPresentModesCreateInfoKHR
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @SwapchainPresentModesCreateInfoKHR = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends SwapchainCreateInfoKHR e => b
f
| Just e :~: ImageCompressionControlEXT
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @ImageCompressionControlEXT = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends SwapchainCreateInfoKHR e => b
f
| Just e :~: SwapchainPresentBarrierCreateInfoNV
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @SwapchainPresentBarrierCreateInfoNV = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends SwapchainCreateInfoKHR e => b
f
| Just e :~: SurfaceFullScreenExclusiveWin32InfoEXT
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @SurfaceFullScreenExclusiveWin32InfoEXT = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends SwapchainCreateInfoKHR e => b
f
| Just e :~: SurfaceFullScreenExclusiveInfoEXT
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @SurfaceFullScreenExclusiveInfoEXT = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends SwapchainCreateInfoKHR e => b
f
| Just e :~: ImageFormatListCreateInfo
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @ImageFormatListCreateInfo = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends SwapchainCreateInfoKHR e => b
f
| Just e :~: SwapchainDisplayNativeHdrCreateInfoAMD
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @SwapchainDisplayNativeHdrCreateInfoAMD = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends SwapchainCreateInfoKHR e => b
f
| Just e :~: DeviceGroupSwapchainCreateInfoKHR
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @DeviceGroupSwapchainCreateInfoKHR = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends SwapchainCreateInfoKHR e => b
f
| Just e :~: SwapchainCounterCreateInfoEXT
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @SwapchainCounterCreateInfoEXT = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends SwapchainCreateInfoKHR e => b
f
| Bool
otherwise = Maybe b
forall a. Maybe a
Nothing
instance ( Extendss SwapchainCreateInfoKHR es
, PokeChain es ) => ToCStruct (SwapchainCreateInfoKHR es) where
withCStruct :: forall b.
SwapchainCreateInfoKHR es
-> (Ptr (SwapchainCreateInfoKHR es) -> IO b) -> IO b
withCStruct SwapchainCreateInfoKHR es
x Ptr (SwapchainCreateInfoKHR es) -> IO b
f = Int -> (Ptr (SwapchainCreateInfoKHR es) -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
104 ((Ptr (SwapchainCreateInfoKHR es) -> IO b) -> IO b)
-> (Ptr (SwapchainCreateInfoKHR es) -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr (SwapchainCreateInfoKHR es)
p -> Ptr (SwapchainCreateInfoKHR es)
-> SwapchainCreateInfoKHR es -> IO b -> IO b
forall b.
Ptr (SwapchainCreateInfoKHR es)
-> SwapchainCreateInfoKHR es -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr (SwapchainCreateInfoKHR es)
p SwapchainCreateInfoKHR es
x (Ptr (SwapchainCreateInfoKHR es) -> IO b
f Ptr (SwapchainCreateInfoKHR es)
p)
pokeCStruct :: forall b.
Ptr (SwapchainCreateInfoKHR es)
-> SwapchainCreateInfoKHR es -> IO b -> IO b
pokeCStruct Ptr (SwapchainCreateInfoKHR es)
p SwapchainCreateInfoKHR{Bool
Word32
Vector Word32
SharingMode
Extent2D
ImageUsageFlags
Format
PresentModeKHR
SwapchainKHR
SurfaceKHR
Chain es
SurfaceTransformFlagBitsKHR
CompositeAlphaFlagBitsKHR
ColorSpaceKHR
SwapchainCreateFlagsKHR
next :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Chain es
flags :: forall (es :: [*]).
SwapchainCreateInfoKHR es -> SwapchainCreateFlagsKHR
surface :: forall (es :: [*]). SwapchainCreateInfoKHR es -> SurfaceKHR
minImageCount :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Word32
imageFormat :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Format
imageColorSpace :: forall (es :: [*]). SwapchainCreateInfoKHR es -> ColorSpaceKHR
imageExtent :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Extent2D
imageArrayLayers :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Word32
imageUsage :: forall (es :: [*]). SwapchainCreateInfoKHR es -> ImageUsageFlags
imageSharingMode :: forall (es :: [*]). SwapchainCreateInfoKHR es -> SharingMode
queueFamilyIndices :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Vector Word32
preTransform :: forall (es :: [*]).
SwapchainCreateInfoKHR es -> SurfaceTransformFlagBitsKHR
compositeAlpha :: forall (es :: [*]).
SwapchainCreateInfoKHR es -> CompositeAlphaFlagBitsKHR
presentMode :: forall (es :: [*]). SwapchainCreateInfoKHR es -> PresentModeKHR
clipped :: forall (es :: [*]). SwapchainCreateInfoKHR es -> Bool
oldSwapchain :: forall (es :: [*]). SwapchainCreateInfoKHR es -> SwapchainKHR
next :: Chain es
flags :: SwapchainCreateFlagsKHR
surface :: SurfaceKHR
minImageCount :: Word32
imageFormat :: Format
imageColorSpace :: ColorSpaceKHR
imageExtent :: Extent2D
imageArrayLayers :: Word32
imageUsage :: ImageUsageFlags
imageSharingMode :: SharingMode
queueFamilyIndices :: Vector Word32
preTransform :: SurfaceTransformFlagBitsKHR
compositeAlpha :: CompositeAlphaFlagBitsKHR
presentMode :: PresentModeKHR
clipped :: Bool
oldSwapchain :: SwapchainKHR
..} IO b
f = ContT b IO b -> IO b
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT b IO b -> IO b) -> ContT b IO b -> IO b
forall a b. (a -> b) -> a -> b
$ do
IO () -> ContT b IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT b m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT b IO ()) -> IO () -> ContT b IO ()
forall a b. (a -> b) -> a -> b
$ Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr (SwapchainCreateInfoKHR es)
p Ptr (SwapchainCreateInfoKHR es) -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_SWAPCHAIN_CREATE_INFO_KHR)
pNext'' <- (Ptr (Chain es) -> Ptr ())
-> ContT b IO (Ptr (Chain es)) -> ContT b IO (Ptr ())
forall a b. (a -> b) -> ContT b IO a -> ContT b IO b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Ptr (Chain es) -> Ptr ()
forall a b. Ptr a -> Ptr b
castPtr (ContT b IO (Ptr (Chain es)) -> ContT b IO (Ptr ()))
-> (((Ptr (Chain es) -> IO b) -> IO b)
-> ContT b IO (Ptr (Chain es)))
-> ((Ptr (Chain es) -> IO b) -> IO b)
-> ContT b IO (Ptr ())
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr (Chain es))
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr ()))
-> ((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr ())
forall a b. (a -> b) -> a -> b
$ Chain es -> (Ptr (Chain es) -> IO b) -> IO b
forall (es :: [*]) a.
PokeChain es =>
Chain es -> (Ptr (Chain es) -> IO a) -> IO a
forall a. Chain es -> (Ptr (Chain es) -> IO a) -> IO a
withChain (Chain es
next)
lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext''
lift $ poke ((p `plusPtr` 16 :: Ptr SwapchainCreateFlagsKHR)) (flags)
lift $ poke ((p `plusPtr` 24 :: Ptr SurfaceKHR)) (surface)
lift $ poke ((p `plusPtr` 32 :: Ptr Word32)) (minImageCount)
lift $ poke ((p `plusPtr` 36 :: Ptr Format)) (imageFormat)
lift $ poke ((p `plusPtr` 40 :: Ptr ColorSpaceKHR)) (imageColorSpace)
lift $ poke ((p `plusPtr` 44 :: Ptr Extent2D)) (imageExtent)
lift $ poke ((p `plusPtr` 52 :: Ptr Word32)) (imageArrayLayers)
lift $ poke ((p `plusPtr` 56 :: Ptr ImageUsageFlags)) (imageUsage)
lift $ poke ((p `plusPtr` 60 :: Ptr SharingMode)) (imageSharingMode)
lift $ poke ((p `plusPtr` 64 :: Ptr Word32)) ((fromIntegral (Data.Vector.length $ (queueFamilyIndices)) :: Word32))
pPQueueFamilyIndices' <- ContT $ allocaBytes @Word32 ((Data.Vector.length (queueFamilyIndices)) * 4)
lift $ Data.Vector.imapM_ (\Int
i Word32
e -> Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr Word32
pPQueueFamilyIndices' Ptr Word32 -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Word32) (Word32
e)) (queueFamilyIndices)
lift $ poke ((p `plusPtr` 72 :: Ptr (Ptr Word32))) (pPQueueFamilyIndices')
lift $ poke ((p `plusPtr` 80 :: Ptr SurfaceTransformFlagBitsKHR)) (preTransform)
lift $ poke ((p `plusPtr` 84 :: Ptr CompositeAlphaFlagBitsKHR)) (compositeAlpha)
lift $ poke ((p `plusPtr` 88 :: Ptr PresentModeKHR)) (presentMode)
lift $ poke ((p `plusPtr` 92 :: Ptr Bool32)) (boolToBool32 (clipped))
lift $ poke ((p `plusPtr` 96 :: Ptr SwapchainKHR)) (oldSwapchain)
lift $ f
cStructSize :: Int
cStructSize = Int
104
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b. Ptr (SwapchainCreateInfoKHR es) -> IO b -> IO b
pokeZeroCStruct Ptr (SwapchainCreateInfoKHR es)
p IO b
f = ContT b IO b -> IO b
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT b IO b -> IO b) -> ContT b IO b -> IO b
forall a b. (a -> b) -> a -> b
$ do
IO () -> ContT b IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT b m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT b IO ()) -> IO () -> ContT b IO ()
forall a b. (a -> b) -> a -> b
$ Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr (SwapchainCreateInfoKHR es)
p Ptr (SwapchainCreateInfoKHR es) -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_SWAPCHAIN_CREATE_INFO_KHR)
pNext' <- (Ptr (Chain es) -> Ptr ())
-> ContT b IO (Ptr (Chain es)) -> ContT b IO (Ptr ())
forall a b. (a -> b) -> ContT b IO a -> ContT b IO b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Ptr (Chain es) -> Ptr ()
forall a b. Ptr a -> Ptr b
castPtr (ContT b IO (Ptr (Chain es)) -> ContT b IO (Ptr ()))
-> (((Ptr (Chain es) -> IO b) -> IO b)
-> ContT b IO (Ptr (Chain es)))
-> ((Ptr (Chain es) -> IO b) -> IO b)
-> ContT b IO (Ptr ())
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr (Chain es))
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr ()))
-> ((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr ())
forall a b. (a -> b) -> a -> b
$ forall (es :: [*]) a.
PokeChain es =>
(Ptr (Chain es) -> IO a) -> IO a
withZeroChain @es
lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'
lift $ poke ((p `plusPtr` 24 :: Ptr SurfaceKHR)) (zero)
lift $ poke ((p `plusPtr` 32 :: Ptr Word32)) (zero)
lift $ poke ((p `plusPtr` 36 :: Ptr Format)) (zero)
lift $ poke ((p `plusPtr` 40 :: Ptr ColorSpaceKHR)) (zero)
lift $ poke ((p `plusPtr` 44 :: Ptr Extent2D)) (zero)
lift $ poke ((p `plusPtr` 52 :: Ptr Word32)) (zero)
lift $ poke ((p `plusPtr` 56 :: Ptr ImageUsageFlags)) (zero)
lift $ poke ((p `plusPtr` 60 :: Ptr SharingMode)) (zero)
lift $ poke ((p `plusPtr` 80 :: Ptr SurfaceTransformFlagBitsKHR)) (zero)
lift $ poke ((p `plusPtr` 84 :: Ptr CompositeAlphaFlagBitsKHR)) (zero)
lift $ poke ((p `plusPtr` 88 :: Ptr PresentModeKHR)) (zero)
lift $ poke ((p `plusPtr` 92 :: Ptr Bool32)) (boolToBool32 (zero))
lift $ f
instance ( Extendss SwapchainCreateInfoKHR es
, PeekChain es ) => FromCStruct (SwapchainCreateInfoKHR es) where
peekCStruct :: Ptr (SwapchainCreateInfoKHR es) -> IO (SwapchainCreateInfoKHR es)
peekCStruct Ptr (SwapchainCreateInfoKHR es)
p = do
pNext <- forall a. Storable a => Ptr a -> IO a
peek @(Ptr ()) ((Ptr (SwapchainCreateInfoKHR es)
p Ptr (SwapchainCreateInfoKHR es) -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ())))
next <- peekChain (castPtr pNext)
flags <- peek @SwapchainCreateFlagsKHR ((p `plusPtr` 16 :: Ptr SwapchainCreateFlagsKHR))
surface <- peek @SurfaceKHR ((p `plusPtr` 24 :: Ptr SurfaceKHR))
minImageCount <- peek @Word32 ((p `plusPtr` 32 :: Ptr Word32))
imageFormat <- peek @Format ((p `plusPtr` 36 :: Ptr Format))
imageColorSpace <- peek @ColorSpaceKHR ((p `plusPtr` 40 :: Ptr ColorSpaceKHR))
imageExtent <- peekCStruct @Extent2D ((p `plusPtr` 44 :: Ptr Extent2D))
imageArrayLayers <- peek @Word32 ((p `plusPtr` 52 :: Ptr Word32))
imageUsage <- peek @ImageUsageFlags ((p `plusPtr` 56 :: Ptr ImageUsageFlags))
imageSharingMode <- peek @SharingMode ((p `plusPtr` 60 :: Ptr SharingMode))
queueFamilyIndexCount <- peek @Word32 ((p `plusPtr` 64 :: Ptr Word32))
pQueueFamilyIndices <- peek @(Ptr Word32) ((p `plusPtr` 72 :: Ptr (Ptr Word32)))
pQueueFamilyIndices' <- generateM (fromIntegral queueFamilyIndexCount) (\Int
i -> forall a. Storable a => Ptr a -> IO a
peek @Word32 ((Ptr Word32
pQueueFamilyIndices Ptr Word32 -> Int -> Ptr Word32
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Word32)))
preTransform <- peek @SurfaceTransformFlagBitsKHR ((p `plusPtr` 80 :: Ptr SurfaceTransformFlagBitsKHR))
compositeAlpha <- peek @CompositeAlphaFlagBitsKHR ((p `plusPtr` 84 :: Ptr CompositeAlphaFlagBitsKHR))
presentMode <- peek @PresentModeKHR ((p `plusPtr` 88 :: Ptr PresentModeKHR))
clipped <- peek @Bool32 ((p `plusPtr` 92 :: Ptr Bool32))
oldSwapchain <- peek @SwapchainKHR ((p `plusPtr` 96 :: Ptr SwapchainKHR))
pure $ SwapchainCreateInfoKHR
next
flags
surface
minImageCount
imageFormat
imageColorSpace
imageExtent
imageArrayLayers
imageUsage
imageSharingMode
pQueueFamilyIndices'
preTransform
compositeAlpha
presentMode
(bool32ToBool clipped)
oldSwapchain
instance es ~ '[] => Zero (SwapchainCreateInfoKHR es) where
zero :: SwapchainCreateInfoKHR es
zero = Chain es
-> SwapchainCreateFlagsKHR
-> SurfaceKHR
-> Word32
-> Format
-> ColorSpaceKHR
-> Extent2D
-> Word32
-> ImageUsageFlags
-> SharingMode
-> Vector Word32
-> SurfaceTransformFlagBitsKHR
-> CompositeAlphaFlagBitsKHR
-> PresentModeKHR
-> Bool
-> SwapchainKHR
-> SwapchainCreateInfoKHR es
forall (es :: [*]).
Chain es
-> SwapchainCreateFlagsKHR
-> SurfaceKHR
-> Word32
-> Format
-> ColorSpaceKHR
-> Extent2D
-> Word32
-> ImageUsageFlags
-> SharingMode
-> Vector Word32
-> SurfaceTransformFlagBitsKHR
-> CompositeAlphaFlagBitsKHR
-> PresentModeKHR
-> Bool
-> SwapchainKHR
-> SwapchainCreateInfoKHR es
SwapchainCreateInfoKHR
()
SwapchainCreateFlagsKHR
forall a. Zero a => a
zero
SurfaceKHR
forall a. Zero a => a
zero
Word32
forall a. Zero a => a
zero
Format
forall a. Zero a => a
zero
ColorSpaceKHR
forall a. Zero a => a
zero
Extent2D
forall a. Zero a => a
zero
Word32
forall a. Zero a => a
zero
ImageUsageFlags
forall a. Zero a => a
zero
SharingMode
forall a. Zero a => a
zero
Vector Word32
forall a. Monoid a => a
mempty
SurfaceTransformFlagBitsKHR
forall a. Zero a => a
zero
CompositeAlphaFlagBitsKHR
forall a. Zero a => a
zero
PresentModeKHR
forall a. Zero a => a
zero
Bool
forall a. Zero a => a
zero
SwapchainKHR
forall a. Zero a => a
zero
data PresentInfoKHR (es :: [Type]) = PresentInfoKHR
{
forall (es :: [*]). PresentInfoKHR es -> Chain es
next :: Chain es
,
forall (es :: [*]). PresentInfoKHR es -> Vector Semaphore
waitSemaphores :: Vector Semaphore
,
forall (es :: [*]). PresentInfoKHR es -> Vector SwapchainKHR
swapchains :: Vector SwapchainKHR
,
forall (es :: [*]). PresentInfoKHR es -> Vector Word32
imageIndices :: Vector Word32
,
forall (es :: [*]). PresentInfoKHR es -> Ptr Result
results :: Ptr Result
}
deriving (Typeable)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (PresentInfoKHR (es :: [Type]))
#endif
deriving instance Show (Chain es) => Show (PresentInfoKHR es)
instance Extensible PresentInfoKHR where
extensibleTypeName :: String
extensibleTypeName = String
"PresentInfoKHR"
setNext :: forall (ds :: [*]) (es :: [*]).
PresentInfoKHR ds -> Chain es -> PresentInfoKHR es
setNext PresentInfoKHR{Ptr Result
Vector Word32
Vector Semaphore
Vector SwapchainKHR
Chain ds
next :: forall (es :: [*]). PresentInfoKHR es -> Chain es
waitSemaphores :: forall (es :: [*]). PresentInfoKHR es -> Vector Semaphore
swapchains :: forall (es :: [*]). PresentInfoKHR es -> Vector SwapchainKHR
imageIndices :: forall (es :: [*]). PresentInfoKHR es -> Vector Word32
results :: forall (es :: [*]). PresentInfoKHR es -> Ptr Result
next :: Chain ds
waitSemaphores :: Vector Semaphore
swapchains :: Vector SwapchainKHR
imageIndices :: Vector Word32
results :: Ptr Result
..} Chain es
next' = PresentInfoKHR{next :: Chain es
next = Chain es
next', Ptr Result
Vector Word32
Vector Semaphore
Vector SwapchainKHR
waitSemaphores :: Vector Semaphore
swapchains :: Vector SwapchainKHR
imageIndices :: Vector Word32
results :: Ptr Result
waitSemaphores :: Vector Semaphore
swapchains :: Vector SwapchainKHR
imageIndices :: Vector Word32
results :: Ptr Result
..}
getNext :: forall (es :: [*]). PresentInfoKHR es -> Chain es
getNext PresentInfoKHR{Ptr Result
Vector Word32
Vector Semaphore
Vector SwapchainKHR
Chain es
next :: forall (es :: [*]). PresentInfoKHR es -> Chain es
waitSemaphores :: forall (es :: [*]). PresentInfoKHR es -> Vector Semaphore
swapchains :: forall (es :: [*]). PresentInfoKHR es -> Vector SwapchainKHR
imageIndices :: forall (es :: [*]). PresentInfoKHR es -> Vector Word32
results :: forall (es :: [*]). PresentInfoKHR es -> Ptr Result
next :: Chain es
waitSemaphores :: Vector Semaphore
swapchains :: Vector SwapchainKHR
imageIndices :: Vector Word32
results :: Ptr Result
..} = Chain es
next
extends :: forall e b proxy. Typeable e => proxy e -> (Extends PresentInfoKHR e => b) -> Maybe b
extends :: forall e b (proxy :: * -> *).
Typeable e =>
proxy e -> (Extends PresentInfoKHR e => b) -> Maybe b
extends proxy e
_ Extends PresentInfoKHR e => b
f
| Just e :~: FrameBoundaryTensorsARM
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @FrameBoundaryTensorsARM = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: SetPresentConfigNV
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @SetPresentConfigNV = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: SwapchainPresentModeInfoKHR
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @SwapchainPresentModeInfoKHR = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: SwapchainPresentFenceInfoKHR
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @SwapchainPresentFenceInfoKHR = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: FrameBoundaryEXT
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @FrameBoundaryEXT = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: PresentFrameTokenGGP
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @PresentFrameTokenGGP = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: PresentTimesInfoGOOGLE
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @PresentTimesInfoGOOGLE = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: PresentTimingsInfoEXT
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @PresentTimingsInfoEXT = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: PresentId2KHR
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @PresentId2KHR = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: PresentIdKHR
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @PresentIdKHR = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: DeviceGroupPresentInfoKHR
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @DeviceGroupPresentInfoKHR = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: PresentRegionsKHR
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @PresentRegionsKHR = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Just e :~: DisplayPresentInfoKHR
Refl <- forall {k} (a :: k) (b :: k).
(Typeable a, Typeable b) =>
Maybe (a :~: b)
forall a b. (Typeable a, Typeable b) => Maybe (a :~: b)
eqT @e @DisplayPresentInfoKHR = b -> Maybe b
forall a. a -> Maybe a
Just b
Extends PresentInfoKHR e => b
f
| Bool
otherwise = Maybe b
forall a. Maybe a
Nothing
instance ( Extendss PresentInfoKHR es
, PokeChain es ) => ToCStruct (PresentInfoKHR es) where
withCStruct :: forall b.
PresentInfoKHR es -> (Ptr (PresentInfoKHR es) -> IO b) -> IO b
withCStruct PresentInfoKHR es
x Ptr (PresentInfoKHR es) -> IO b
f = Int -> (Ptr (PresentInfoKHR es) -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
64 ((Ptr (PresentInfoKHR es) -> IO b) -> IO b)
-> (Ptr (PresentInfoKHR es) -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr (PresentInfoKHR es)
p -> Ptr (PresentInfoKHR es) -> PresentInfoKHR es -> IO b -> IO b
forall b.
Ptr (PresentInfoKHR es) -> PresentInfoKHR es -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr (PresentInfoKHR es)
p PresentInfoKHR es
x (Ptr (PresentInfoKHR es) -> IO b
f Ptr (PresentInfoKHR es)
p)
pokeCStruct :: forall b.
Ptr (PresentInfoKHR es) -> PresentInfoKHR es -> IO b -> IO b
pokeCStruct Ptr (PresentInfoKHR es)
p PresentInfoKHR{Ptr Result
Vector Word32
Vector Semaphore
Vector SwapchainKHR
Chain es
next :: forall (es :: [*]). PresentInfoKHR es -> Chain es
waitSemaphores :: forall (es :: [*]). PresentInfoKHR es -> Vector Semaphore
swapchains :: forall (es :: [*]). PresentInfoKHR es -> Vector SwapchainKHR
imageIndices :: forall (es :: [*]). PresentInfoKHR es -> Vector Word32
results :: forall (es :: [*]). PresentInfoKHR es -> Ptr Result
next :: Chain es
waitSemaphores :: Vector Semaphore
swapchains :: Vector SwapchainKHR
imageIndices :: Vector Word32
results :: Ptr Result
..} IO b
f = ContT b IO b -> IO b
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT b IO b -> IO b) -> ContT b IO b -> IO b
forall a b. (a -> b) -> a -> b
$ do
IO () -> ContT b IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT b m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT b IO ()) -> IO () -> ContT b IO ()
forall a b. (a -> b) -> a -> b
$ Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr (PresentInfoKHR es)
p Ptr (PresentInfoKHR es) -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PRESENT_INFO_KHR)
pNext'' <- (Ptr (Chain es) -> Ptr ())
-> ContT b IO (Ptr (Chain es)) -> ContT b IO (Ptr ())
forall a b. (a -> b) -> ContT b IO a -> ContT b IO b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Ptr (Chain es) -> Ptr ()
forall a b. Ptr a -> Ptr b
castPtr (ContT b IO (Ptr (Chain es)) -> ContT b IO (Ptr ()))
-> (((Ptr (Chain es) -> IO b) -> IO b)
-> ContT b IO (Ptr (Chain es)))
-> ((Ptr (Chain es) -> IO b) -> IO b)
-> ContT b IO (Ptr ())
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr (Chain es))
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr ()))
-> ((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr ())
forall a b. (a -> b) -> a -> b
$ Chain es -> (Ptr (Chain es) -> IO b) -> IO b
forall (es :: [*]) a.
PokeChain es =>
Chain es -> (Ptr (Chain es) -> IO a) -> IO a
forall a. Chain es -> (Ptr (Chain es) -> IO a) -> IO a
withChain (Chain es
next)
lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext''
lift $ poke ((p `plusPtr` 16 :: Ptr Word32)) ((fromIntegral (Data.Vector.length $ (waitSemaphores)) :: Word32))
pPWaitSemaphores' <- ContT $ allocaBytes @Semaphore ((Data.Vector.length (waitSemaphores)) * 8)
lift $ Data.Vector.imapM_ (\Int
i Semaphore
e -> Ptr Semaphore -> Semaphore -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr Semaphore
pPWaitSemaphores' Ptr Semaphore -> Int -> Ptr Semaphore
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` (Int
8 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Semaphore) (Semaphore
e)) (waitSemaphores)
lift $ poke ((p `plusPtr` 24 :: Ptr (Ptr Semaphore))) (pPWaitSemaphores')
let pSwapchainsLength = Vector SwapchainKHR -> Int
forall a. Vector a -> Int
Data.Vector.length (Vector SwapchainKHR -> Int) -> Vector SwapchainKHR -> Int
forall a b. (a -> b) -> a -> b
$ (Vector SwapchainKHR
swapchains)
lift $ unless ((Data.Vector.length $ (imageIndices)) == pSwapchainsLength) $
throwIO $ IOError Nothing InvalidArgument "" "pImageIndices and pSwapchains must have the same length" Nothing Nothing
lift $ poke ((p `plusPtr` 32 :: Ptr Word32)) ((fromIntegral pSwapchainsLength :: Word32))
pPSwapchains' <- ContT $ allocaBytes @SwapchainKHR ((Data.Vector.length (swapchains)) * 8)
lift $ Data.Vector.imapM_ (\Int
i SwapchainKHR
e -> Ptr SwapchainKHR -> SwapchainKHR -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr SwapchainKHR
pPSwapchains' Ptr SwapchainKHR -> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` (Int
8 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr SwapchainKHR) (SwapchainKHR
e)) (swapchains)
lift $ poke ((p `plusPtr` 40 :: Ptr (Ptr SwapchainKHR))) (pPSwapchains')
pPImageIndices' <- ContT $ allocaBytes @Word32 ((Data.Vector.length (imageIndices)) * 4)
lift $ Data.Vector.imapM_ (\Int
i Word32
e -> Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr Word32
pPImageIndices' Ptr Word32 -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Word32) (Word32
e)) (imageIndices)
lift $ poke ((p `plusPtr` 48 :: Ptr (Ptr Word32))) (pPImageIndices')
lift $ poke ((p `plusPtr` 56 :: Ptr (Ptr Result))) (results)
lift $ f
cStructSize :: Int
cStructSize = Int
64
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b. Ptr (PresentInfoKHR es) -> IO b -> IO b
pokeZeroCStruct Ptr (PresentInfoKHR es)
p IO b
f = ContT b IO b -> IO b
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT b IO b -> IO b) -> ContT b IO b -> IO b
forall a b. (a -> b) -> a -> b
$ do
IO () -> ContT b IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT b m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT b IO ()) -> IO () -> ContT b IO ()
forall a b. (a -> b) -> a -> b
$ Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr (PresentInfoKHR es)
p Ptr (PresentInfoKHR es) -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_PRESENT_INFO_KHR)
pNext' <- (Ptr (Chain es) -> Ptr ())
-> ContT b IO (Ptr (Chain es)) -> ContT b IO (Ptr ())
forall a b. (a -> b) -> ContT b IO a -> ContT b IO b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap Ptr (Chain es) -> Ptr ()
forall a b. Ptr a -> Ptr b
castPtr (ContT b IO (Ptr (Chain es)) -> ContT b IO (Ptr ()))
-> (((Ptr (Chain es) -> IO b) -> IO b)
-> ContT b IO (Ptr (Chain es)))
-> ((Ptr (Chain es) -> IO b) -> IO b)
-> ContT b IO (Ptr ())
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr (Chain es))
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr ()))
-> ((Ptr (Chain es) -> IO b) -> IO b) -> ContT b IO (Ptr ())
forall a b. (a -> b) -> a -> b
$ forall (es :: [*]) a.
PokeChain es =>
(Ptr (Chain es) -> IO a) -> IO a
withZeroChain @es
lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'
lift $ f
instance ( Extendss PresentInfoKHR es
, PeekChain es ) => FromCStruct (PresentInfoKHR es) where
peekCStruct :: Ptr (PresentInfoKHR es) -> IO (PresentInfoKHR es)
peekCStruct Ptr (PresentInfoKHR es)
p = do
pNext <- forall a. Storable a => Ptr a -> IO a
peek @(Ptr ()) ((Ptr (PresentInfoKHR es)
p Ptr (PresentInfoKHR es) -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ())))
next <- peekChain (castPtr pNext)
waitSemaphoreCount <- peek @Word32 ((p `plusPtr` 16 :: Ptr Word32))
pWaitSemaphores <- peek @(Ptr Semaphore) ((p `plusPtr` 24 :: Ptr (Ptr Semaphore)))
pWaitSemaphores' <- generateM (fromIntegral waitSemaphoreCount) (\Int
i -> forall a. Storable a => Ptr a -> IO a
peek @Semaphore ((Ptr Semaphore
pWaitSemaphores Ptr Semaphore -> Int -> Ptr Semaphore
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
8 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Semaphore)))
swapchainCount <- peek @Word32 ((p `plusPtr` 32 :: Ptr Word32))
pSwapchains <- peek @(Ptr SwapchainKHR) ((p `plusPtr` 40 :: Ptr (Ptr SwapchainKHR)))
pSwapchains' <- generateM (fromIntegral swapchainCount) (\Int
i -> forall a. Storable a => Ptr a -> IO a
peek @SwapchainKHR ((Ptr SwapchainKHR
pSwapchains Ptr SwapchainKHR -> Int -> Ptr SwapchainKHR
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
8 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr SwapchainKHR)))
pImageIndices <- peek @(Ptr Word32) ((p `plusPtr` 48 :: Ptr (Ptr Word32)))
pImageIndices' <- generateM (fromIntegral swapchainCount) (\Int
i -> forall a. Storable a => Ptr a -> IO a
peek @Word32 ((Ptr Word32
pImageIndices Ptr Word32 -> Int -> Ptr Word32
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Word32)))
pResults <- peek @(Ptr Result) ((p `plusPtr` 56 :: Ptr (Ptr Result)))
pure $ PresentInfoKHR
next pWaitSemaphores' pSwapchains' pImageIndices' pResults
instance es ~ '[] => Zero (PresentInfoKHR es) where
zero :: PresentInfoKHR es
zero = Chain es
-> Vector Semaphore
-> Vector SwapchainKHR
-> Vector Word32
-> Ptr Result
-> PresentInfoKHR es
forall (es :: [*]).
Chain es
-> Vector Semaphore
-> Vector SwapchainKHR
-> Vector Word32
-> Ptr Result
-> PresentInfoKHR es
PresentInfoKHR
()
Vector Semaphore
forall a. Monoid a => a
mempty
Vector SwapchainKHR
forall a. Monoid a => a
mempty
Vector Word32
forall a. Monoid a => a
mempty
Ptr Result
forall a. Zero a => a
zero
data DeviceGroupPresentCapabilitiesKHR = DeviceGroupPresentCapabilitiesKHR
{
DeviceGroupPresentCapabilitiesKHR -> Vector Word32
presentMask :: Vector Word32
,
DeviceGroupPresentCapabilitiesKHR
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
modes :: DeviceGroupPresentModeFlagsKHR
}
deriving (Typeable)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (DeviceGroupPresentCapabilitiesKHR)
#endif
deriving instance Show DeviceGroupPresentCapabilitiesKHR
instance ToCStruct DeviceGroupPresentCapabilitiesKHR where
withCStruct :: forall b.
DeviceGroupPresentCapabilitiesKHR
-> (Ptr DeviceGroupPresentCapabilitiesKHR -> IO b) -> IO b
withCStruct DeviceGroupPresentCapabilitiesKHR
x Ptr DeviceGroupPresentCapabilitiesKHR -> IO b
f = Int -> (Ptr DeviceGroupPresentCapabilitiesKHR -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
152 ((Ptr DeviceGroupPresentCapabilitiesKHR -> IO b) -> IO b)
-> (Ptr DeviceGroupPresentCapabilitiesKHR -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr DeviceGroupPresentCapabilitiesKHR
p -> Ptr DeviceGroupPresentCapabilitiesKHR
-> DeviceGroupPresentCapabilitiesKHR -> IO b -> IO b
forall b.
Ptr DeviceGroupPresentCapabilitiesKHR
-> DeviceGroupPresentCapabilitiesKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr DeviceGroupPresentCapabilitiesKHR
p DeviceGroupPresentCapabilitiesKHR
x (Ptr DeviceGroupPresentCapabilitiesKHR -> IO b
f Ptr DeviceGroupPresentCapabilitiesKHR
p)
pokeCStruct :: forall b.
Ptr DeviceGroupPresentCapabilitiesKHR
-> DeviceGroupPresentCapabilitiesKHR -> IO b -> IO b
pokeCStruct Ptr DeviceGroupPresentCapabilitiesKHR
p DeviceGroupPresentCapabilitiesKHR{Vector Word32
"modes" ::: DeviceGroupPresentModeFlagsKHR
presentMask :: DeviceGroupPresentCapabilitiesKHR -> Vector Word32
modes :: DeviceGroupPresentCapabilitiesKHR
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
presentMask :: Vector Word32
modes :: "modes" ::: DeviceGroupPresentModeFlagsKHR
..} IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentCapabilitiesKHR
p Ptr DeviceGroupPresentCapabilitiesKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_DEVICE_GROUP_PRESENT_CAPABILITIES_KHR)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentCapabilitiesKHR
p Ptr DeviceGroupPresentCapabilitiesKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Bool -> IO () -> IO ()
forall (f :: * -> *). Applicative f => Bool -> f () -> f ()
unless ((Vector Word32 -> Int
forall a. Vector a -> Int
Data.Vector.length (Vector Word32 -> Int) -> Vector Word32 -> Int
forall a b. (a -> b) -> a -> b
$ (Vector Word32
presentMask)) Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
<= Int
forall a. Integral a => a
MAX_DEVICE_GROUP_SIZE) (IO () -> IO ()) -> IO () -> IO ()
forall a b. (a -> b) -> a -> b
$
IOException -> IO ()
forall e a. (HasCallStack, Exception e) => e -> IO a
throwIO (IOException -> IO ()) -> IOException -> IO ()
forall a b. (a -> b) -> a -> b
$ Maybe Handle
-> IOErrorType
-> String
-> String
-> Maybe CInt
-> Maybe String
-> IOException
IOError Maybe Handle
forall a. Maybe a
Nothing IOErrorType
InvalidArgument String
"" String
"presentMask is too long, a maximum of MAX_DEVICE_GROUP_SIZE elements are allowed" Maybe CInt
forall a. Maybe a
Nothing Maybe String
forall a. Maybe a
Nothing
(Int -> Word32 -> IO ()) -> Vector Word32 -> IO ()
forall (m :: * -> *) a b.
Monad m =>
(Int -> a -> m b) -> Vector a -> m ()
Data.Vector.imapM_ (\Int
i Word32
e -> Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr (FixedArray MAX_DEVICE_GROUP_SIZE Word32) -> Ptr Word32
forall a (n :: Nat). Ptr (FixedArray n a) -> Ptr a
lowerArrayPtr ((Ptr DeviceGroupPresentCapabilitiesKHR
p Ptr DeviceGroupPresentCapabilitiesKHR
-> Int -> Ptr (FixedArray MAX_DEVICE_GROUP_SIZE Word32)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr (FixedArray MAX_DEVICE_GROUP_SIZE Word32)))) Ptr Word32 -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Word32) (Word32
e)) (Vector Word32
presentMask)
Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentCapabilitiesKHR
p Ptr DeviceGroupPresentCapabilitiesKHR
-> Int -> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
144 :: Ptr DeviceGroupPresentModeFlagsKHR)) ("modes" ::: DeviceGroupPresentModeFlagsKHR
modes)
IO b
f
cStructSize :: Int
cStructSize = Int
152
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b. Ptr DeviceGroupPresentCapabilitiesKHR -> IO b -> IO b
pokeZeroCStruct Ptr DeviceGroupPresentCapabilitiesKHR
p IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentCapabilitiesKHR
p Ptr DeviceGroupPresentCapabilitiesKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_DEVICE_GROUP_PRESENT_CAPABILITIES_KHR)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentCapabilitiesKHR
p Ptr DeviceGroupPresentCapabilitiesKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentCapabilitiesKHR
p Ptr DeviceGroupPresentCapabilitiesKHR
-> Int -> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
144 :: Ptr DeviceGroupPresentModeFlagsKHR)) ("modes" ::: DeviceGroupPresentModeFlagsKHR
forall a. Zero a => a
zero)
IO b
f
instance FromCStruct DeviceGroupPresentCapabilitiesKHR where
peekCStruct :: Ptr DeviceGroupPresentCapabilitiesKHR
-> IO DeviceGroupPresentCapabilitiesKHR
peekCStruct Ptr DeviceGroupPresentCapabilitiesKHR
p = do
presentMask <- Int -> (Int -> IO Word32) -> IO (Vector Word32)
forall (m :: * -> *) a.
Monad m =>
Int -> (Int -> m a) -> m (Vector a)
generateM (Int
forall a. Integral a => a
MAX_DEVICE_GROUP_SIZE) (\Int
i -> forall a. Storable a => Ptr a -> IO a
peek @Word32 (((forall a (n :: Nat). Ptr (FixedArray n a) -> Ptr a
lowerArrayPtr @Word32 ((Ptr DeviceGroupPresentCapabilitiesKHR
p Ptr DeviceGroupPresentCapabilitiesKHR
-> Int -> Ptr (FixedArray MAX_DEVICE_GROUP_SIZE Word32)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr (FixedArray MAX_DEVICE_GROUP_SIZE Word32)))) Ptr Word32 -> Int -> Ptr Word32
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Word32)))
modes <- peek @DeviceGroupPresentModeFlagsKHR ((p `plusPtr` 144 :: Ptr DeviceGroupPresentModeFlagsKHR))
pure $ DeviceGroupPresentCapabilitiesKHR
presentMask modes
instance Storable DeviceGroupPresentCapabilitiesKHR where
sizeOf :: DeviceGroupPresentCapabilitiesKHR -> Int
sizeOf ~DeviceGroupPresentCapabilitiesKHR
_ = Int
152
alignment :: DeviceGroupPresentCapabilitiesKHR -> Int
alignment ~DeviceGroupPresentCapabilitiesKHR
_ = Int
8
peek :: Ptr DeviceGroupPresentCapabilitiesKHR
-> IO DeviceGroupPresentCapabilitiesKHR
peek = Ptr DeviceGroupPresentCapabilitiesKHR
-> IO DeviceGroupPresentCapabilitiesKHR
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr DeviceGroupPresentCapabilitiesKHR
-> DeviceGroupPresentCapabilitiesKHR -> IO ()
poke Ptr DeviceGroupPresentCapabilitiesKHR
ptr DeviceGroupPresentCapabilitiesKHR
poked = Ptr DeviceGroupPresentCapabilitiesKHR
-> DeviceGroupPresentCapabilitiesKHR -> IO () -> IO ()
forall b.
Ptr DeviceGroupPresentCapabilitiesKHR
-> DeviceGroupPresentCapabilitiesKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr DeviceGroupPresentCapabilitiesKHR
ptr DeviceGroupPresentCapabilitiesKHR
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero DeviceGroupPresentCapabilitiesKHR where
zero :: DeviceGroupPresentCapabilitiesKHR
zero = Vector Word32
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> DeviceGroupPresentCapabilitiesKHR
DeviceGroupPresentCapabilitiesKHR
Vector Word32
forall a. Monoid a => a
mempty
"modes" ::: DeviceGroupPresentModeFlagsKHR
forall a. Zero a => a
zero
data ImageSwapchainCreateInfoKHR = ImageSwapchainCreateInfoKHR
{
ImageSwapchainCreateInfoKHR -> SwapchainKHR
swapchain :: SwapchainKHR }
deriving (Typeable, ImageSwapchainCreateInfoKHR -> ImageSwapchainCreateInfoKHR -> Bool
(ImageSwapchainCreateInfoKHR
-> ImageSwapchainCreateInfoKHR -> Bool)
-> (ImageSwapchainCreateInfoKHR
-> ImageSwapchainCreateInfoKHR -> Bool)
-> Eq ImageSwapchainCreateInfoKHR
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: ImageSwapchainCreateInfoKHR -> ImageSwapchainCreateInfoKHR -> Bool
== :: ImageSwapchainCreateInfoKHR -> ImageSwapchainCreateInfoKHR -> Bool
$c/= :: ImageSwapchainCreateInfoKHR -> ImageSwapchainCreateInfoKHR -> Bool
/= :: ImageSwapchainCreateInfoKHR -> ImageSwapchainCreateInfoKHR -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (ImageSwapchainCreateInfoKHR)
#endif
deriving instance Show ImageSwapchainCreateInfoKHR
instance ToCStruct ImageSwapchainCreateInfoKHR where
withCStruct :: forall b.
ImageSwapchainCreateInfoKHR
-> (Ptr ImageSwapchainCreateInfoKHR -> IO b) -> IO b
withCStruct ImageSwapchainCreateInfoKHR
x Ptr ImageSwapchainCreateInfoKHR -> IO b
f = Int -> (Ptr ImageSwapchainCreateInfoKHR -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
24 ((Ptr ImageSwapchainCreateInfoKHR -> IO b) -> IO b)
-> (Ptr ImageSwapchainCreateInfoKHR -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr ImageSwapchainCreateInfoKHR
p -> Ptr ImageSwapchainCreateInfoKHR
-> ImageSwapchainCreateInfoKHR -> IO b -> IO b
forall b.
Ptr ImageSwapchainCreateInfoKHR
-> ImageSwapchainCreateInfoKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr ImageSwapchainCreateInfoKHR
p ImageSwapchainCreateInfoKHR
x (Ptr ImageSwapchainCreateInfoKHR -> IO b
f Ptr ImageSwapchainCreateInfoKHR
p)
pokeCStruct :: forall b.
Ptr ImageSwapchainCreateInfoKHR
-> ImageSwapchainCreateInfoKHR -> IO b -> IO b
pokeCStruct Ptr ImageSwapchainCreateInfoKHR
p ImageSwapchainCreateInfoKHR{SwapchainKHR
swapchain :: ImageSwapchainCreateInfoKHR -> SwapchainKHR
swapchain :: SwapchainKHR
..} IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ImageSwapchainCreateInfoKHR
p Ptr ImageSwapchainCreateInfoKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_IMAGE_SWAPCHAIN_CREATE_INFO_KHR)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ImageSwapchainCreateInfoKHR
p Ptr ImageSwapchainCreateInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr SwapchainKHR -> SwapchainKHR -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ImageSwapchainCreateInfoKHR
p Ptr ImageSwapchainCreateInfoKHR -> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr SwapchainKHR)) (SwapchainKHR
swapchain)
IO b
f
cStructSize :: Int
cStructSize = Int
24
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b. Ptr ImageSwapchainCreateInfoKHR -> IO b -> IO b
pokeZeroCStruct Ptr ImageSwapchainCreateInfoKHR
p IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ImageSwapchainCreateInfoKHR
p Ptr ImageSwapchainCreateInfoKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_IMAGE_SWAPCHAIN_CREATE_INFO_KHR)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr ImageSwapchainCreateInfoKHR
p Ptr ImageSwapchainCreateInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
IO b
f
instance FromCStruct ImageSwapchainCreateInfoKHR where
peekCStruct :: Ptr ImageSwapchainCreateInfoKHR -> IO ImageSwapchainCreateInfoKHR
peekCStruct Ptr ImageSwapchainCreateInfoKHR
p = do
swapchain <- forall a. Storable a => Ptr a -> IO a
peek @SwapchainKHR ((Ptr ImageSwapchainCreateInfoKHR
p Ptr ImageSwapchainCreateInfoKHR -> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr SwapchainKHR))
pure $ ImageSwapchainCreateInfoKHR
swapchain
instance Storable ImageSwapchainCreateInfoKHR where
sizeOf :: ImageSwapchainCreateInfoKHR -> Int
sizeOf ~ImageSwapchainCreateInfoKHR
_ = Int
24
alignment :: ImageSwapchainCreateInfoKHR -> Int
alignment ~ImageSwapchainCreateInfoKHR
_ = Int
8
peek :: Ptr ImageSwapchainCreateInfoKHR -> IO ImageSwapchainCreateInfoKHR
peek = Ptr ImageSwapchainCreateInfoKHR -> IO ImageSwapchainCreateInfoKHR
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr ImageSwapchainCreateInfoKHR
-> ImageSwapchainCreateInfoKHR -> IO ()
poke Ptr ImageSwapchainCreateInfoKHR
ptr ImageSwapchainCreateInfoKHR
poked = Ptr ImageSwapchainCreateInfoKHR
-> ImageSwapchainCreateInfoKHR -> IO () -> IO ()
forall b.
Ptr ImageSwapchainCreateInfoKHR
-> ImageSwapchainCreateInfoKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr ImageSwapchainCreateInfoKHR
ptr ImageSwapchainCreateInfoKHR
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero ImageSwapchainCreateInfoKHR where
zero :: ImageSwapchainCreateInfoKHR
zero = SwapchainKHR -> ImageSwapchainCreateInfoKHR
ImageSwapchainCreateInfoKHR
SwapchainKHR
forall a. Zero a => a
zero
data BindImageMemorySwapchainInfoKHR = BindImageMemorySwapchainInfoKHR
{
BindImageMemorySwapchainInfoKHR -> SwapchainKHR
swapchain :: SwapchainKHR
,
BindImageMemorySwapchainInfoKHR -> Word32
imageIndex :: Word32
}
deriving (Typeable, BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> Bool
(BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> Bool)
-> (BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> Bool)
-> Eq BindImageMemorySwapchainInfoKHR
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> Bool
== :: BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> Bool
$c/= :: BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> Bool
/= :: BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (BindImageMemorySwapchainInfoKHR)
#endif
deriving instance Show BindImageMemorySwapchainInfoKHR
instance ToCStruct BindImageMemorySwapchainInfoKHR where
withCStruct :: forall b.
BindImageMemorySwapchainInfoKHR
-> (Ptr BindImageMemorySwapchainInfoKHR -> IO b) -> IO b
withCStruct BindImageMemorySwapchainInfoKHR
x Ptr BindImageMemorySwapchainInfoKHR -> IO b
f = Int -> (Ptr BindImageMemorySwapchainInfoKHR -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
32 ((Ptr BindImageMemorySwapchainInfoKHR -> IO b) -> IO b)
-> (Ptr BindImageMemorySwapchainInfoKHR -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr BindImageMemorySwapchainInfoKHR
p -> Ptr BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> IO b -> IO b
forall b.
Ptr BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr BindImageMemorySwapchainInfoKHR
p BindImageMemorySwapchainInfoKHR
x (Ptr BindImageMemorySwapchainInfoKHR -> IO b
f Ptr BindImageMemorySwapchainInfoKHR
p)
pokeCStruct :: forall b.
Ptr BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> IO b -> IO b
pokeCStruct Ptr BindImageMemorySwapchainInfoKHR
p BindImageMemorySwapchainInfoKHR{Word32
SwapchainKHR
swapchain :: BindImageMemorySwapchainInfoKHR -> SwapchainKHR
imageIndex :: BindImageMemorySwapchainInfoKHR -> Word32
swapchain :: SwapchainKHR
imageIndex :: Word32
..} IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr BindImageMemorySwapchainInfoKHR
p Ptr BindImageMemorySwapchainInfoKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_BIND_IMAGE_MEMORY_SWAPCHAIN_INFO_KHR)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr BindImageMemorySwapchainInfoKHR
p Ptr BindImageMemorySwapchainInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr SwapchainKHR -> SwapchainKHR -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr BindImageMemorySwapchainInfoKHR
p Ptr BindImageMemorySwapchainInfoKHR -> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr SwapchainKHR)) (SwapchainKHR
swapchain)
Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr BindImageMemorySwapchainInfoKHR
p Ptr BindImageMemorySwapchainInfoKHR -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr Word32)) (Word32
imageIndex)
IO b
f
cStructSize :: Int
cStructSize = Int
32
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b. Ptr BindImageMemorySwapchainInfoKHR -> IO b -> IO b
pokeZeroCStruct Ptr BindImageMemorySwapchainInfoKHR
p IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr BindImageMemorySwapchainInfoKHR
p Ptr BindImageMemorySwapchainInfoKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_BIND_IMAGE_MEMORY_SWAPCHAIN_INFO_KHR)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr BindImageMemorySwapchainInfoKHR
p Ptr BindImageMemorySwapchainInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr SwapchainKHR -> SwapchainKHR -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr BindImageMemorySwapchainInfoKHR
p Ptr BindImageMemorySwapchainInfoKHR -> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr SwapchainKHR)) (SwapchainKHR
forall a. Zero a => a
zero)
Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr BindImageMemorySwapchainInfoKHR
p Ptr BindImageMemorySwapchainInfoKHR -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr Word32)) (Word32
forall a. Zero a => a
zero)
IO b
f
instance FromCStruct BindImageMemorySwapchainInfoKHR where
peekCStruct :: Ptr BindImageMemorySwapchainInfoKHR
-> IO BindImageMemorySwapchainInfoKHR
peekCStruct Ptr BindImageMemorySwapchainInfoKHR
p = do
swapchain <- forall a. Storable a => Ptr a -> IO a
peek @SwapchainKHR ((Ptr BindImageMemorySwapchainInfoKHR
p Ptr BindImageMemorySwapchainInfoKHR -> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr SwapchainKHR))
imageIndex <- peek @Word32 ((p `plusPtr` 24 :: Ptr Word32))
pure $ BindImageMemorySwapchainInfoKHR
swapchain imageIndex
instance Storable BindImageMemorySwapchainInfoKHR where
sizeOf :: BindImageMemorySwapchainInfoKHR -> Int
sizeOf ~BindImageMemorySwapchainInfoKHR
_ = Int
32
alignment :: BindImageMemorySwapchainInfoKHR -> Int
alignment ~BindImageMemorySwapchainInfoKHR
_ = Int
8
peek :: Ptr BindImageMemorySwapchainInfoKHR
-> IO BindImageMemorySwapchainInfoKHR
peek = Ptr BindImageMemorySwapchainInfoKHR
-> IO BindImageMemorySwapchainInfoKHR
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> IO ()
poke Ptr BindImageMemorySwapchainInfoKHR
ptr BindImageMemorySwapchainInfoKHR
poked = Ptr BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> IO () -> IO ()
forall b.
Ptr BindImageMemorySwapchainInfoKHR
-> BindImageMemorySwapchainInfoKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr BindImageMemorySwapchainInfoKHR
ptr BindImageMemorySwapchainInfoKHR
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero BindImageMemorySwapchainInfoKHR where
zero :: BindImageMemorySwapchainInfoKHR
zero = SwapchainKHR -> Word32 -> BindImageMemorySwapchainInfoKHR
BindImageMemorySwapchainInfoKHR
SwapchainKHR
forall a. Zero a => a
zero
Word32
forall a. Zero a => a
zero
data AcquireNextImageInfoKHR = AcquireNextImageInfoKHR
{
AcquireNextImageInfoKHR -> SwapchainKHR
swapchain :: SwapchainKHR
,
AcquireNextImageInfoKHR -> Word64
timeout :: Word64
,
AcquireNextImageInfoKHR -> Semaphore
semaphore :: Semaphore
,
AcquireNextImageInfoKHR -> Fence
fence :: Fence
,
AcquireNextImageInfoKHR -> Word32
deviceMask :: Word32
}
deriving (Typeable, AcquireNextImageInfoKHR -> AcquireNextImageInfoKHR -> Bool
(AcquireNextImageInfoKHR -> AcquireNextImageInfoKHR -> Bool)
-> (AcquireNextImageInfoKHR -> AcquireNextImageInfoKHR -> Bool)
-> Eq AcquireNextImageInfoKHR
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: AcquireNextImageInfoKHR -> AcquireNextImageInfoKHR -> Bool
== :: AcquireNextImageInfoKHR -> AcquireNextImageInfoKHR -> Bool
$c/= :: AcquireNextImageInfoKHR -> AcquireNextImageInfoKHR -> Bool
/= :: AcquireNextImageInfoKHR -> AcquireNextImageInfoKHR -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (AcquireNextImageInfoKHR)
#endif
deriving instance Show AcquireNextImageInfoKHR
instance ToCStruct AcquireNextImageInfoKHR where
withCStruct :: forall b.
AcquireNextImageInfoKHR
-> (Ptr AcquireNextImageInfoKHR -> IO b) -> IO b
withCStruct AcquireNextImageInfoKHR
x Ptr AcquireNextImageInfoKHR -> IO b
f = Int -> (Ptr AcquireNextImageInfoKHR -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
56 ((Ptr AcquireNextImageInfoKHR -> IO b) -> IO b)
-> (Ptr AcquireNextImageInfoKHR -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr AcquireNextImageInfoKHR
p -> Ptr AcquireNextImageInfoKHR
-> AcquireNextImageInfoKHR -> IO b -> IO b
forall b.
Ptr AcquireNextImageInfoKHR
-> AcquireNextImageInfoKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr AcquireNextImageInfoKHR
p AcquireNextImageInfoKHR
x (Ptr AcquireNextImageInfoKHR -> IO b
f Ptr AcquireNextImageInfoKHR
p)
pokeCStruct :: forall b.
Ptr AcquireNextImageInfoKHR
-> AcquireNextImageInfoKHR -> IO b -> IO b
pokeCStruct Ptr AcquireNextImageInfoKHR
p AcquireNextImageInfoKHR{Word32
Word64
Semaphore
Fence
SwapchainKHR
swapchain :: AcquireNextImageInfoKHR -> SwapchainKHR
timeout :: AcquireNextImageInfoKHR -> Word64
semaphore :: AcquireNextImageInfoKHR -> Semaphore
fence :: AcquireNextImageInfoKHR -> Fence
deviceMask :: AcquireNextImageInfoKHR -> Word32
swapchain :: SwapchainKHR
timeout :: Word64
semaphore :: Semaphore
fence :: Fence
deviceMask :: Word32
..} IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_ACQUIRE_NEXT_IMAGE_INFO_KHR)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr SwapchainKHR -> SwapchainKHR -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr SwapchainKHR)) (SwapchainKHR
swapchain)
Ptr Word64 -> Word64 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr Word64
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr Word64)) (Word64
timeout)
Ptr Semaphore -> Semaphore -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr Semaphore
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
32 :: Ptr Semaphore)) (Semaphore
semaphore)
Ptr Fence -> Fence -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr Fence
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
40 :: Ptr Fence)) (Fence
fence)
Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
48 :: Ptr Word32)) (Word32
deviceMask)
IO b
f
cStructSize :: Int
cStructSize = Int
56
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b. Ptr AcquireNextImageInfoKHR -> IO b -> IO b
pokeZeroCStruct Ptr AcquireNextImageInfoKHR
p IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_ACQUIRE_NEXT_IMAGE_INFO_KHR)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr SwapchainKHR -> SwapchainKHR -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr SwapchainKHR)) (SwapchainKHR
forall a. Zero a => a
zero)
Ptr Word64 -> Word64 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr Word64
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24 :: Ptr Word64)) (Word64
forall a. Zero a => a
zero)
Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
48 :: Ptr Word32)) (Word32
forall a. Zero a => a
zero)
IO b
f
instance FromCStruct AcquireNextImageInfoKHR where
peekCStruct :: Ptr AcquireNextImageInfoKHR -> IO AcquireNextImageInfoKHR
peekCStruct Ptr AcquireNextImageInfoKHR
p = do
swapchain <- forall a. Storable a => Ptr a -> IO a
peek @SwapchainKHR ((Ptr AcquireNextImageInfoKHR
p Ptr AcquireNextImageInfoKHR -> Int -> Ptr SwapchainKHR
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr SwapchainKHR))
timeout <- peek @Word64 ((p `plusPtr` 24 :: Ptr Word64))
semaphore <- peek @Semaphore ((p `plusPtr` 32 :: Ptr Semaphore))
fence <- peek @Fence ((p `plusPtr` 40 :: Ptr Fence))
deviceMask <- peek @Word32 ((p `plusPtr` 48 :: Ptr Word32))
pure $ AcquireNextImageInfoKHR
swapchain timeout semaphore fence deviceMask
instance Storable AcquireNextImageInfoKHR where
sizeOf :: AcquireNextImageInfoKHR -> Int
sizeOf ~AcquireNextImageInfoKHR
_ = Int
56
alignment :: AcquireNextImageInfoKHR -> Int
alignment ~AcquireNextImageInfoKHR
_ = Int
8
peek :: Ptr AcquireNextImageInfoKHR -> IO AcquireNextImageInfoKHR
peek = Ptr AcquireNextImageInfoKHR -> IO AcquireNextImageInfoKHR
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr AcquireNextImageInfoKHR -> AcquireNextImageInfoKHR -> IO ()
poke Ptr AcquireNextImageInfoKHR
ptr AcquireNextImageInfoKHR
poked = Ptr AcquireNextImageInfoKHR
-> AcquireNextImageInfoKHR -> IO () -> IO ()
forall b.
Ptr AcquireNextImageInfoKHR
-> AcquireNextImageInfoKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr AcquireNextImageInfoKHR
ptr AcquireNextImageInfoKHR
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero AcquireNextImageInfoKHR where
zero :: AcquireNextImageInfoKHR
zero = SwapchainKHR
-> Word64
-> Semaphore
-> Fence
-> Word32
-> AcquireNextImageInfoKHR
AcquireNextImageInfoKHR
SwapchainKHR
forall a. Zero a => a
zero
Word64
forall a. Zero a => a
zero
Semaphore
forall a. Zero a => a
zero
Fence
forall a. Zero a => a
zero
Word32
forall a. Zero a => a
zero
data DeviceGroupPresentInfoKHR = DeviceGroupPresentInfoKHR
{
DeviceGroupPresentInfoKHR -> Vector Word32
deviceMasks :: Vector Word32
,
DeviceGroupPresentInfoKHR
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
mode :: DeviceGroupPresentModeFlagBitsKHR
}
deriving (Typeable)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (DeviceGroupPresentInfoKHR)
#endif
deriving instance Show DeviceGroupPresentInfoKHR
instance ToCStruct DeviceGroupPresentInfoKHR where
withCStruct :: forall b.
DeviceGroupPresentInfoKHR
-> (Ptr DeviceGroupPresentInfoKHR -> IO b) -> IO b
withCStruct DeviceGroupPresentInfoKHR
x Ptr DeviceGroupPresentInfoKHR -> IO b
f = Int -> (Ptr DeviceGroupPresentInfoKHR -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
40 ((Ptr DeviceGroupPresentInfoKHR -> IO b) -> IO b)
-> (Ptr DeviceGroupPresentInfoKHR -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr DeviceGroupPresentInfoKHR
p -> Ptr DeviceGroupPresentInfoKHR
-> DeviceGroupPresentInfoKHR -> IO b -> IO b
forall b.
Ptr DeviceGroupPresentInfoKHR
-> DeviceGroupPresentInfoKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr DeviceGroupPresentInfoKHR
p DeviceGroupPresentInfoKHR
x (Ptr DeviceGroupPresentInfoKHR -> IO b
f Ptr DeviceGroupPresentInfoKHR
p)
pokeCStruct :: forall b.
Ptr DeviceGroupPresentInfoKHR
-> DeviceGroupPresentInfoKHR -> IO b -> IO b
pokeCStruct Ptr DeviceGroupPresentInfoKHR
p DeviceGroupPresentInfoKHR{Vector Word32
"modes" ::: DeviceGroupPresentModeFlagsKHR
deviceMasks :: DeviceGroupPresentInfoKHR -> Vector Word32
mode :: DeviceGroupPresentInfoKHR
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
deviceMasks :: Vector Word32
mode :: "modes" ::: DeviceGroupPresentModeFlagsKHR
..} IO b
f = ContT b IO b -> IO b
forall (m :: * -> *) r. Monad m => ContT r m r -> m r
evalContT (ContT b IO b -> IO b) -> ContT b IO b -> IO b
forall a b. (a -> b) -> a -> b
$ do
IO () -> ContT b IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT b m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT b IO ()) -> IO () -> ContT b IO ()
forall a b. (a -> b) -> a -> b
$ Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentInfoKHR
p Ptr DeviceGroupPresentInfoKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_DEVICE_GROUP_PRESENT_INFO_KHR)
IO () -> ContT b IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT b m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT b IO ()) -> IO () -> ContT b IO ()
forall a b. (a -> b) -> a -> b
$ Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentInfoKHR
p Ptr DeviceGroupPresentInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
IO () -> ContT b IO ()
forall (m :: * -> *) a. Monad m => m a -> ContT b m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (IO () -> ContT b IO ()) -> IO () -> ContT b IO ()
forall a b. (a -> b) -> a -> b
$ Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentInfoKHR
p Ptr DeviceGroupPresentInfoKHR -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Word32)) ((Int -> Word32
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Vector Word32 -> Int
forall a. Vector a -> Int
Data.Vector.length (Vector Word32 -> Int) -> Vector Word32 -> Int
forall a b. (a -> b) -> a -> b
$ (Vector Word32
deviceMasks)) :: Word32))
pPDeviceMasks' <- ((Ptr Word32 -> IO b) -> IO b) -> ContT b IO (Ptr Word32)
forall {k} (r :: k) (m :: k -> *) a.
((a -> m r) -> m r) -> ContT r m a
ContT (((Ptr Word32 -> IO b) -> IO b) -> ContT b IO (Ptr Word32))
-> ((Ptr Word32 -> IO b) -> IO b) -> ContT b IO (Ptr Word32)
forall a b. (a -> b) -> a -> b
$ forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes @Word32 ((Vector Word32 -> Int
forall a. Vector a -> Int
Data.Vector.length (Vector Word32
deviceMasks)) Int -> Int -> Int
forall a. Num a => a -> a -> a
* Int
4)
lift $ Data.Vector.imapM_ (\Int
i Word32
e -> Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr Word32
pPDeviceMasks' Ptr Word32 -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Word32) (Word32
e)) (deviceMasks)
lift $ poke ((p `plusPtr` 24 :: Ptr (Ptr Word32))) (pPDeviceMasks')
lift $ poke ((p `plusPtr` 32 :: Ptr DeviceGroupPresentModeFlagBitsKHR)) (mode)
lift $ f
cStructSize :: Int
cStructSize = Int
40
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b. Ptr DeviceGroupPresentInfoKHR -> IO b -> IO b
pokeZeroCStruct Ptr DeviceGroupPresentInfoKHR
p IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentInfoKHR
p Ptr DeviceGroupPresentInfoKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_DEVICE_GROUP_PRESENT_INFO_KHR)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentInfoKHR
p Ptr DeviceGroupPresentInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupPresentInfoKHR
p Ptr DeviceGroupPresentInfoKHR
-> Int -> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
32 :: Ptr DeviceGroupPresentModeFlagBitsKHR)) ("modes" ::: DeviceGroupPresentModeFlagsKHR
forall a. Zero a => a
zero)
IO b
f
instance FromCStruct DeviceGroupPresentInfoKHR where
peekCStruct :: Ptr DeviceGroupPresentInfoKHR -> IO DeviceGroupPresentInfoKHR
peekCStruct Ptr DeviceGroupPresentInfoKHR
p = do
swapchainCount <- forall a. Storable a => Ptr a -> IO a
peek @Word32 ((Ptr DeviceGroupPresentInfoKHR
p Ptr DeviceGroupPresentInfoKHR -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr Word32))
pDeviceMasks <- peek @(Ptr Word32) ((p `plusPtr` 24 :: Ptr (Ptr Word32)))
pDeviceMasks' <- generateM (fromIntegral swapchainCount) (\Int
i -> forall a. Storable a => Ptr a -> IO a
peek @Word32 ((Ptr Word32
pDeviceMasks Ptr Word32 -> Int -> Ptr Word32
forall a. Ptr a -> Int -> Ptr a
`advancePtrBytes` (Int
4 Int -> Int -> Int
forall a. Num a => a -> a -> a
* (Int
i)) :: Ptr Word32)))
mode <- peek @DeviceGroupPresentModeFlagBitsKHR ((p `plusPtr` 32 :: Ptr DeviceGroupPresentModeFlagBitsKHR))
pure $ DeviceGroupPresentInfoKHR
pDeviceMasks' mode
instance Zero DeviceGroupPresentInfoKHR where
zero :: DeviceGroupPresentInfoKHR
zero = Vector Word32
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> DeviceGroupPresentInfoKHR
DeviceGroupPresentInfoKHR
Vector Word32
forall a. Monoid a => a
mempty
"modes" ::: DeviceGroupPresentModeFlagsKHR
forall a. Zero a => a
zero
data DeviceGroupSwapchainCreateInfoKHR = DeviceGroupSwapchainCreateInfoKHR
{
DeviceGroupSwapchainCreateInfoKHR
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
modes :: DeviceGroupPresentModeFlagsKHR }
deriving (Typeable, DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> Bool
(DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> Bool)
-> (DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> Bool)
-> Eq DeviceGroupSwapchainCreateInfoKHR
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> Bool
== :: DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> Bool
$c/= :: DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> Bool
/= :: DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> Bool
Eq)
#if defined(GENERIC_INSTANCES)
deriving instance Generic (DeviceGroupSwapchainCreateInfoKHR)
#endif
deriving instance Show DeviceGroupSwapchainCreateInfoKHR
instance ToCStruct DeviceGroupSwapchainCreateInfoKHR where
withCStruct :: forall b.
DeviceGroupSwapchainCreateInfoKHR
-> (Ptr DeviceGroupSwapchainCreateInfoKHR -> IO b) -> IO b
withCStruct DeviceGroupSwapchainCreateInfoKHR
x Ptr DeviceGroupSwapchainCreateInfoKHR -> IO b
f = Int -> (Ptr DeviceGroupSwapchainCreateInfoKHR -> IO b) -> IO b
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
24 ((Ptr DeviceGroupSwapchainCreateInfoKHR -> IO b) -> IO b)
-> (Ptr DeviceGroupSwapchainCreateInfoKHR -> IO b) -> IO b
forall a b. (a -> b) -> a -> b
$ \Ptr DeviceGroupSwapchainCreateInfoKHR
p -> Ptr DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> IO b -> IO b
forall b.
Ptr DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr DeviceGroupSwapchainCreateInfoKHR
p DeviceGroupSwapchainCreateInfoKHR
x (Ptr DeviceGroupSwapchainCreateInfoKHR -> IO b
f Ptr DeviceGroupSwapchainCreateInfoKHR
p)
pokeCStruct :: forall b.
Ptr DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> IO b -> IO b
pokeCStruct Ptr DeviceGroupSwapchainCreateInfoKHR
p DeviceGroupSwapchainCreateInfoKHR{"modes" ::: DeviceGroupPresentModeFlagsKHR
modes :: DeviceGroupSwapchainCreateInfoKHR
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
modes :: "modes" ::: DeviceGroupPresentModeFlagsKHR
..} IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupSwapchainCreateInfoKHR
p Ptr DeviceGroupSwapchainCreateInfoKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_DEVICE_GROUP_SWAPCHAIN_CREATE_INFO_KHR)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupSwapchainCreateInfoKHR
p Ptr DeviceGroupSwapchainCreateInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupSwapchainCreateInfoKHR
p Ptr DeviceGroupSwapchainCreateInfoKHR
-> Int -> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr DeviceGroupPresentModeFlagsKHR)) ("modes" ::: DeviceGroupPresentModeFlagsKHR
modes)
IO b
f
cStructSize :: Int
cStructSize = Int
24
cStructAlignment :: Int
cStructAlignment = Int
8
pokeZeroCStruct :: forall b. Ptr DeviceGroupSwapchainCreateInfoKHR -> IO b -> IO b
pokeZeroCStruct Ptr DeviceGroupSwapchainCreateInfoKHR
p IO b
f = do
Ptr StructureType -> StructureType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupSwapchainCreateInfoKHR
p Ptr DeviceGroupSwapchainCreateInfoKHR -> Int -> Ptr StructureType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: Ptr StructureType)) (StructureType
STRUCTURE_TYPE_DEVICE_GROUP_SWAPCHAIN_CREATE_INFO_KHR)
Ptr (Ptr ()) -> Ptr () -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupSwapchainCreateInfoKHR
p Ptr DeviceGroupSwapchainCreateInfoKHR -> Int -> Ptr (Ptr ())
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8 :: Ptr (Ptr ()))) (Ptr ()
forall a. Ptr a
nullPtr)
Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke ((Ptr DeviceGroupSwapchainCreateInfoKHR
p Ptr DeviceGroupSwapchainCreateInfoKHR
-> Int -> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr DeviceGroupPresentModeFlagsKHR)) ("modes" ::: DeviceGroupPresentModeFlagsKHR
forall a. Zero a => a
zero)
IO b
f
instance FromCStruct DeviceGroupSwapchainCreateInfoKHR where
peekCStruct :: Ptr DeviceGroupSwapchainCreateInfoKHR
-> IO DeviceGroupSwapchainCreateInfoKHR
peekCStruct Ptr DeviceGroupSwapchainCreateInfoKHR
p = do
modes <- forall a. Storable a => Ptr a -> IO a
peek @DeviceGroupPresentModeFlagsKHR ((Ptr DeviceGroupSwapchainCreateInfoKHR
p Ptr DeviceGroupSwapchainCreateInfoKHR
-> Int -> Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16 :: Ptr DeviceGroupPresentModeFlagsKHR))
pure $ DeviceGroupSwapchainCreateInfoKHR
modes
instance Storable DeviceGroupSwapchainCreateInfoKHR where
sizeOf :: DeviceGroupSwapchainCreateInfoKHR -> Int
sizeOf ~DeviceGroupSwapchainCreateInfoKHR
_ = Int
24
alignment :: DeviceGroupSwapchainCreateInfoKHR -> Int
alignment ~DeviceGroupSwapchainCreateInfoKHR
_ = Int
8
peek :: Ptr DeviceGroupSwapchainCreateInfoKHR
-> IO DeviceGroupSwapchainCreateInfoKHR
peek = Ptr DeviceGroupSwapchainCreateInfoKHR
-> IO DeviceGroupSwapchainCreateInfoKHR
forall a. FromCStruct a => Ptr a -> IO a
peekCStruct
poke :: Ptr DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> IO ()
poke Ptr DeviceGroupSwapchainCreateInfoKHR
ptr DeviceGroupSwapchainCreateInfoKHR
poked = Ptr DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> IO () -> IO ()
forall b.
Ptr DeviceGroupSwapchainCreateInfoKHR
-> DeviceGroupSwapchainCreateInfoKHR -> IO b -> IO b
forall a b. ToCStruct a => Ptr a -> a -> IO b -> IO b
pokeCStruct Ptr DeviceGroupSwapchainCreateInfoKHR
ptr DeviceGroupSwapchainCreateInfoKHR
poked (() -> IO ()
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure ())
instance Zero DeviceGroupSwapchainCreateInfoKHR where
zero :: DeviceGroupSwapchainCreateInfoKHR
zero = ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> DeviceGroupSwapchainCreateInfoKHR
DeviceGroupSwapchainCreateInfoKHR
"modes" ::: DeviceGroupPresentModeFlagsKHR
forall a. Zero a => a
zero
type DeviceGroupPresentModeFlagsKHR = DeviceGroupPresentModeFlagBitsKHR
newtype DeviceGroupPresentModeFlagBitsKHR = DeviceGroupPresentModeFlagBitsKHR Flags
deriving newtype (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
(("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool)
-> Eq ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
== :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
$c/= :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
/= :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
Eq, Eq ("modes" ::: DeviceGroupPresentModeFlagsKHR)
Eq ("modes" ::: DeviceGroupPresentModeFlagsKHR) =>
(("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Ordering)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Ord ("modes" ::: DeviceGroupPresentModeFlagsKHR)
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Ordering
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
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 :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Ordering
compare :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Ordering
$c< :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
< :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
$c<= :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
<= :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
$c> :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
> :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
$c>= :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
>= :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
$cmax :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
max :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
$cmin :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
min :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
Ord, Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
(("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int)
-> (Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> (Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ())
-> (forall b.
Ptr b -> Int -> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> (forall b.
Ptr b
-> Int -> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ())
-> (Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR))
-> (Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ())
-> Storable ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall b.
Ptr b -> Int -> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall b.
Ptr b
-> Int -> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> 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 :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
sizeOf :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
$calignment :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
alignment :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
$cpeekElemOff :: Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
peekElemOff :: Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
$cpokeElemOff :: Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
pokeElemOff :: Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
$cpeekByteOff :: forall b.
Ptr b -> Int -> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
peekByteOff :: forall b.
Ptr b -> Int -> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
$cpokeByteOff :: forall b.
Ptr b
-> Int -> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
pokeByteOff :: forall b.
Ptr b
-> Int -> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
$cpeek :: Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
peek :: Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> IO ("modes" ::: DeviceGroupPresentModeFlagsKHR)
$cpoke :: Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
poke :: Ptr ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> IO ()
Storable, "modes" ::: DeviceGroupPresentModeFlagsKHR
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Zero ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall a. a -> Zero a
$czero :: "modes" ::: DeviceGroupPresentModeFlagsKHR
zero :: "modes" ::: DeviceGroupPresentModeFlagsKHR
Zero, Eq ("modes" ::: DeviceGroupPresentModeFlagsKHR)
"modes" ::: DeviceGroupPresentModeFlagsKHR
Eq ("modes" ::: DeviceGroupPresentModeFlagsKHR) =>
(("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int -> Bool)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Maybe Int)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int)
-> Bits ("modes" ::: DeviceGroupPresentModeFlagsKHR)
Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Maybe Int
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int -> Bool
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
forall a.
Eq a =>
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> a
-> (Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> Bool)
-> (a -> Maybe Int)
-> (a -> Int)
-> (a -> Bool)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int)
-> Bits a
$c.&. :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
.&. :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
$c.|. :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
.|. :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
$cxor :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
xor :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
$ccomplement :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
complement :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> "modes" ::: DeviceGroupPresentModeFlagsKHR
$cshift :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
shift :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$crotate :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
rotate :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$czeroBits :: "modes" ::: DeviceGroupPresentModeFlagsKHR
zeroBits :: "modes" ::: DeviceGroupPresentModeFlagsKHR
$cbit :: Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
bit :: Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$csetBit :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
setBit :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$cclearBit :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
clearBit :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$ccomplementBit :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
complementBit :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$ctestBit :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int -> Bool
testBit :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int -> Bool
$cbitSizeMaybe :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Maybe Int
bitSizeMaybe :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Maybe Int
$cbitSize :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
bitSize :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
$cisSigned :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
isSigned :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Bool
$cshiftL :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
shiftL :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$cunsafeShiftL :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
unsafeShiftL :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$cshiftR :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
shiftR :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$cunsafeShiftR :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
unsafeShiftR :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$crotateL :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
rotateL :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$crotateR :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
rotateR :: ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> Int -> "modes" ::: DeviceGroupPresentModeFlagsKHR
$cpopCount :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
popCount :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
Bits, Bits ("modes" ::: DeviceGroupPresentModeFlagsKHR)
Bits ("modes" ::: DeviceGroupPresentModeFlagsKHR) =>
(("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int)
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int)
-> FiniteBits ("modes" ::: DeviceGroupPresentModeFlagsKHR)
("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
forall b.
Bits b =>
(b -> Int) -> (b -> Int) -> (b -> Int) -> FiniteBits b
$cfiniteBitSize :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
finiteBitSize :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
$ccountLeadingZeros :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
countLeadingZeros :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
$ccountTrailingZeros :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
countTrailingZeros :: ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Int
FiniteBits)
pattern $mDEVICE_GROUP_PRESENT_MODE_LOCAL_BIT_KHR :: forall {r}.
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ((# #) -> r) -> ((# #) -> r) -> r
$bDEVICE_GROUP_PRESENT_MODE_LOCAL_BIT_KHR :: "modes" ::: DeviceGroupPresentModeFlagsKHR
DEVICE_GROUP_PRESENT_MODE_LOCAL_BIT_KHR = DeviceGroupPresentModeFlagBitsKHR 0x00000001
pattern $mDEVICE_GROUP_PRESENT_MODE_REMOTE_BIT_KHR :: forall {r}.
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ((# #) -> r) -> ((# #) -> r) -> r
$bDEVICE_GROUP_PRESENT_MODE_REMOTE_BIT_KHR :: "modes" ::: DeviceGroupPresentModeFlagsKHR
DEVICE_GROUP_PRESENT_MODE_REMOTE_BIT_KHR = DeviceGroupPresentModeFlagBitsKHR 0x00000002
pattern $mDEVICE_GROUP_PRESENT_MODE_SUM_BIT_KHR :: forall {r}.
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ((# #) -> r) -> ((# #) -> r) -> r
$bDEVICE_GROUP_PRESENT_MODE_SUM_BIT_KHR :: "modes" ::: DeviceGroupPresentModeFlagsKHR
DEVICE_GROUP_PRESENT_MODE_SUM_BIT_KHR = DeviceGroupPresentModeFlagBitsKHR 0x00000004
pattern $mDEVICE_GROUP_PRESENT_MODE_LOCAL_MULTI_DEVICE_BIT_KHR :: forall {r}.
("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ((# #) -> r) -> ((# #) -> r) -> r
$bDEVICE_GROUP_PRESENT_MODE_LOCAL_MULTI_DEVICE_BIT_KHR :: "modes" ::: DeviceGroupPresentModeFlagsKHR
DEVICE_GROUP_PRESENT_MODE_LOCAL_MULTI_DEVICE_BIT_KHR = DeviceGroupPresentModeFlagBitsKHR 0x00000008
conNameDeviceGroupPresentModeFlagBitsKHR :: String
conNameDeviceGroupPresentModeFlagBitsKHR :: String
conNameDeviceGroupPresentModeFlagBitsKHR = String
"DeviceGroupPresentModeFlagBitsKHR"
enumPrefixDeviceGroupPresentModeFlagBitsKHR :: String
enumPrefixDeviceGroupPresentModeFlagBitsKHR :: String
enumPrefixDeviceGroupPresentModeFlagBitsKHR = String
"DEVICE_GROUP_PRESENT_MODE_"
showTableDeviceGroupPresentModeFlagBitsKHR :: [(DeviceGroupPresentModeFlagBitsKHR, String)]
showTableDeviceGroupPresentModeFlagBitsKHR :: [("modes" ::: DeviceGroupPresentModeFlagsKHR, String)]
showTableDeviceGroupPresentModeFlagBitsKHR =
[
( "modes" ::: DeviceGroupPresentModeFlagsKHR
DEVICE_GROUP_PRESENT_MODE_LOCAL_BIT_KHR
, String
"LOCAL_BIT_KHR"
)
,
( "modes" ::: DeviceGroupPresentModeFlagsKHR
DEVICE_GROUP_PRESENT_MODE_REMOTE_BIT_KHR
, String
"REMOTE_BIT_KHR"
)
,
( "modes" ::: DeviceGroupPresentModeFlagsKHR
DEVICE_GROUP_PRESENT_MODE_SUM_BIT_KHR
, String
"SUM_BIT_KHR"
)
,
( "modes" ::: DeviceGroupPresentModeFlagsKHR
DEVICE_GROUP_PRESENT_MODE_LOCAL_MULTI_DEVICE_BIT_KHR
, String
"LOCAL_MULTI_DEVICE_BIT_KHR"
)
]
instance Show DeviceGroupPresentModeFlagBitsKHR where
showsPrec :: Int -> ("modes" ::: DeviceGroupPresentModeFlagsKHR) -> ShowS
showsPrec =
String
-> [("modes" ::: DeviceGroupPresentModeFlagsKHR, String)]
-> String
-> (("modes" ::: DeviceGroupPresentModeFlagsKHR) -> Word32)
-> (Word32 -> ShowS)
-> Int
-> ("modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ShowS
forall a i.
Eq a =>
String
-> [(a, String)]
-> String
-> (a -> i)
-> (i -> ShowS)
-> Int
-> a
-> ShowS
enumShowsPrec
String
enumPrefixDeviceGroupPresentModeFlagBitsKHR
[("modes" ::: DeviceGroupPresentModeFlagsKHR, String)]
showTableDeviceGroupPresentModeFlagBitsKHR
String
conNameDeviceGroupPresentModeFlagBitsKHR
(\(DeviceGroupPresentModeFlagBitsKHR Word32
x) -> Word32
x)
(\Word32
x -> String -> ShowS
showString String
"0x" ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Word32 -> ShowS
forall a. Integral a => a -> ShowS
showHex Word32
x)
instance Read DeviceGroupPresentModeFlagBitsKHR where
readPrec :: ReadPrec ("modes" ::: DeviceGroupPresentModeFlagsKHR)
readPrec =
String
-> [("modes" ::: DeviceGroupPresentModeFlagsKHR, String)]
-> String
-> (Word32 -> "modes" ::: DeviceGroupPresentModeFlagsKHR)
-> ReadPrec ("modes" ::: DeviceGroupPresentModeFlagsKHR)
forall i a.
Read i =>
String -> [(a, String)] -> String -> (i -> a) -> ReadPrec a
enumReadPrec
String
enumPrefixDeviceGroupPresentModeFlagBitsKHR
[("modes" ::: DeviceGroupPresentModeFlagsKHR, String)]
showTableDeviceGroupPresentModeFlagBitsKHR
String
conNameDeviceGroupPresentModeFlagBitsKHR
Word32 -> "modes" ::: DeviceGroupPresentModeFlagsKHR
DeviceGroupPresentModeFlagBitsKHR
type SwapchainCreateFlagsKHR = SwapchainCreateFlagBitsKHR
newtype SwapchainCreateFlagBitsKHR = SwapchainCreateFlagBitsKHR Flags
deriving newtype (SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
(SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool)
-> (SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool)
-> Eq SwapchainCreateFlagsKHR
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
== :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
$c/= :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
/= :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
Eq, Eq SwapchainCreateFlagsKHR
Eq SwapchainCreateFlagsKHR =>
(SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Ordering)
-> (SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool)
-> (SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool)
-> (SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool)
-> (SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool)
-> (SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR)
-> Ord SwapchainCreateFlagsKHR
SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Ordering
SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
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 :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Ordering
compare :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Ordering
$c< :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
< :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
$c<= :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
<= :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
$c> :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
> :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
$c>= :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
>= :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> Bool
$cmax :: SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
max :: SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
$cmin :: SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
min :: SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
Ord, Ptr SwapchainCreateFlagsKHR -> IO SwapchainCreateFlagsKHR
Ptr SwapchainCreateFlagsKHR -> Int -> IO SwapchainCreateFlagsKHR
Ptr SwapchainCreateFlagsKHR
-> Int -> SwapchainCreateFlagsKHR -> IO ()
Ptr SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> IO ()
SwapchainCreateFlagsKHR -> Int
(SwapchainCreateFlagsKHR -> Int)
-> (SwapchainCreateFlagsKHR -> Int)
-> (Ptr SwapchainCreateFlagsKHR
-> Int -> IO SwapchainCreateFlagsKHR)
-> (Ptr SwapchainCreateFlagsKHR
-> Int -> SwapchainCreateFlagsKHR -> IO ())
-> (forall b. Ptr b -> Int -> IO SwapchainCreateFlagsKHR)
-> (forall b. Ptr b -> Int -> SwapchainCreateFlagsKHR -> IO ())
-> (Ptr SwapchainCreateFlagsKHR -> IO SwapchainCreateFlagsKHR)
-> (Ptr SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> IO ())
-> Storable SwapchainCreateFlagsKHR
forall b. Ptr b -> Int -> IO SwapchainCreateFlagsKHR
forall b. Ptr b -> Int -> SwapchainCreateFlagsKHR -> 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 :: SwapchainCreateFlagsKHR -> Int
sizeOf :: SwapchainCreateFlagsKHR -> Int
$calignment :: SwapchainCreateFlagsKHR -> Int
alignment :: SwapchainCreateFlagsKHR -> Int
$cpeekElemOff :: Ptr SwapchainCreateFlagsKHR -> Int -> IO SwapchainCreateFlagsKHR
peekElemOff :: Ptr SwapchainCreateFlagsKHR -> Int -> IO SwapchainCreateFlagsKHR
$cpokeElemOff :: Ptr SwapchainCreateFlagsKHR
-> Int -> SwapchainCreateFlagsKHR -> IO ()
pokeElemOff :: Ptr SwapchainCreateFlagsKHR
-> Int -> SwapchainCreateFlagsKHR -> IO ()
$cpeekByteOff :: forall b. Ptr b -> Int -> IO SwapchainCreateFlagsKHR
peekByteOff :: forall b. Ptr b -> Int -> IO SwapchainCreateFlagsKHR
$cpokeByteOff :: forall b. Ptr b -> Int -> SwapchainCreateFlagsKHR -> IO ()
pokeByteOff :: forall b. Ptr b -> Int -> SwapchainCreateFlagsKHR -> IO ()
$cpeek :: Ptr SwapchainCreateFlagsKHR -> IO SwapchainCreateFlagsKHR
peek :: Ptr SwapchainCreateFlagsKHR -> IO SwapchainCreateFlagsKHR
$cpoke :: Ptr SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> IO ()
poke :: Ptr SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR -> IO ()
Storable, SwapchainCreateFlagsKHR
SwapchainCreateFlagsKHR -> Zero SwapchainCreateFlagsKHR
forall a. a -> Zero a
$czero :: SwapchainCreateFlagsKHR
zero :: SwapchainCreateFlagsKHR
Zero, Eq SwapchainCreateFlagsKHR
SwapchainCreateFlagsKHR
Eq SwapchainCreateFlagsKHR =>
(SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR)
-> SwapchainCreateFlagsKHR
-> (Int -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int -> Bool)
-> (SwapchainCreateFlagsKHR -> Maybe Int)
-> (SwapchainCreateFlagsKHR -> Int)
-> (SwapchainCreateFlagsKHR -> Bool)
-> (SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR)
-> (SwapchainCreateFlagsKHR -> Int)
-> Bits SwapchainCreateFlagsKHR
Int -> SwapchainCreateFlagsKHR
SwapchainCreateFlagsKHR -> Bool
SwapchainCreateFlagsKHR -> Int
SwapchainCreateFlagsKHR -> Maybe Int
SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
SwapchainCreateFlagsKHR -> Int -> Bool
SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
forall a.
Eq a =>
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> a
-> (Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> Bool)
-> (a -> Maybe Int)
-> (a -> Int)
-> (a -> Bool)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int -> a)
-> (a -> Int)
-> Bits a
$c.&. :: SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
.&. :: SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
$c.|. :: SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
.|. :: SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
$cxor :: SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
xor :: SwapchainCreateFlagsKHR
-> SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
$ccomplement :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
complement :: SwapchainCreateFlagsKHR -> SwapchainCreateFlagsKHR
$cshift :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
shift :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
$crotate :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
rotate :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
$czeroBits :: SwapchainCreateFlagsKHR
zeroBits :: SwapchainCreateFlagsKHR
$cbit :: Int -> SwapchainCreateFlagsKHR
bit :: Int -> SwapchainCreateFlagsKHR
$csetBit :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
setBit :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
$cclearBit :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
clearBit :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
$ccomplementBit :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
complementBit :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
$ctestBit :: SwapchainCreateFlagsKHR -> Int -> Bool
testBit :: SwapchainCreateFlagsKHR -> Int -> Bool
$cbitSizeMaybe :: SwapchainCreateFlagsKHR -> Maybe Int
bitSizeMaybe :: SwapchainCreateFlagsKHR -> Maybe Int
$cbitSize :: SwapchainCreateFlagsKHR -> Int
bitSize :: SwapchainCreateFlagsKHR -> Int
$cisSigned :: SwapchainCreateFlagsKHR -> Bool
isSigned :: SwapchainCreateFlagsKHR -> Bool
$cshiftL :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
shiftL :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
$cunsafeShiftL :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
unsafeShiftL :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
$cshiftR :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
shiftR :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
$cunsafeShiftR :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
unsafeShiftR :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
$crotateL :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
rotateL :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
$crotateR :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
rotateR :: SwapchainCreateFlagsKHR -> Int -> SwapchainCreateFlagsKHR
$cpopCount :: SwapchainCreateFlagsKHR -> Int
popCount :: SwapchainCreateFlagsKHR -> Int
Bits, Bits SwapchainCreateFlagsKHR
Bits SwapchainCreateFlagsKHR =>
(SwapchainCreateFlagsKHR -> Int)
-> (SwapchainCreateFlagsKHR -> Int)
-> (SwapchainCreateFlagsKHR -> Int)
-> FiniteBits SwapchainCreateFlagsKHR
SwapchainCreateFlagsKHR -> Int
forall b.
Bits b =>
(b -> Int) -> (b -> Int) -> (b -> Int) -> FiniteBits b
$cfiniteBitSize :: SwapchainCreateFlagsKHR -> Int
finiteBitSize :: SwapchainCreateFlagsKHR -> Int
$ccountLeadingZeros :: SwapchainCreateFlagsKHR -> Int
countLeadingZeros :: SwapchainCreateFlagsKHR -> Int
$ccountTrailingZeros :: SwapchainCreateFlagsKHR -> Int
countTrailingZeros :: SwapchainCreateFlagsKHR -> Int
FiniteBits)
pattern $mSWAPCHAIN_CREATE_DEFERRED_MEMORY_ALLOCATION_BIT_KHR :: forall {r}.
SwapchainCreateFlagsKHR -> ((# #) -> r) -> ((# #) -> r) -> r
$bSWAPCHAIN_CREATE_DEFERRED_MEMORY_ALLOCATION_BIT_KHR :: SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_DEFERRED_MEMORY_ALLOCATION_BIT_KHR = SwapchainCreateFlagBitsKHR 0x00000008
pattern $mSWAPCHAIN_CREATE_PRESENT_WAIT_2_BIT_KHR :: forall {r}.
SwapchainCreateFlagsKHR -> ((# #) -> r) -> ((# #) -> r) -> r
$bSWAPCHAIN_CREATE_PRESENT_WAIT_2_BIT_KHR :: SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_PRESENT_WAIT_2_BIT_KHR = SwapchainCreateFlagBitsKHR 0x00000080
pattern $mSWAPCHAIN_CREATE_PRESENT_ID_2_BIT_KHR :: forall {r}.
SwapchainCreateFlagsKHR -> ((# #) -> r) -> ((# #) -> r) -> r
$bSWAPCHAIN_CREATE_PRESENT_ID_2_BIT_KHR :: SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_PRESENT_ID_2_BIT_KHR = SwapchainCreateFlagBitsKHR 0x00000040
pattern $mSWAPCHAIN_CREATE_PRESENT_TIMING_BIT_EXT :: forall {r}.
SwapchainCreateFlagsKHR -> ((# #) -> r) -> ((# #) -> r) -> r
$bSWAPCHAIN_CREATE_PRESENT_TIMING_BIT_EXT :: SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_PRESENT_TIMING_BIT_EXT = SwapchainCreateFlagBitsKHR 0x00000200
pattern $mSWAPCHAIN_CREATE_MUTABLE_FORMAT_BIT_KHR :: forall {r}.
SwapchainCreateFlagsKHR -> ((# #) -> r) -> ((# #) -> r) -> r
$bSWAPCHAIN_CREATE_MUTABLE_FORMAT_BIT_KHR :: SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_MUTABLE_FORMAT_BIT_KHR = SwapchainCreateFlagBitsKHR 0x00000004
pattern $mSWAPCHAIN_CREATE_SPLIT_INSTANCE_BIND_REGIONS_BIT_KHR :: forall {r}.
SwapchainCreateFlagsKHR -> ((# #) -> r) -> ((# #) -> r) -> r
$bSWAPCHAIN_CREATE_SPLIT_INSTANCE_BIND_REGIONS_BIT_KHR :: SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_SPLIT_INSTANCE_BIND_REGIONS_BIT_KHR = SwapchainCreateFlagBitsKHR 0x00000001
pattern $mSWAPCHAIN_CREATE_PROTECTED_BIT_KHR :: forall {r}.
SwapchainCreateFlagsKHR -> ((# #) -> r) -> ((# #) -> r) -> r
$bSWAPCHAIN_CREATE_PROTECTED_BIT_KHR :: SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_PROTECTED_BIT_KHR = SwapchainCreateFlagBitsKHR 0x00000002
conNameSwapchainCreateFlagBitsKHR :: String
conNameSwapchainCreateFlagBitsKHR :: String
conNameSwapchainCreateFlagBitsKHR = String
"SwapchainCreateFlagBitsKHR"
enumPrefixSwapchainCreateFlagBitsKHR :: String
enumPrefixSwapchainCreateFlagBitsKHR :: String
enumPrefixSwapchainCreateFlagBitsKHR = String
"SWAPCHAIN_CREATE_"
showTableSwapchainCreateFlagBitsKHR :: [(SwapchainCreateFlagBitsKHR, String)]
showTableSwapchainCreateFlagBitsKHR :: [(SwapchainCreateFlagsKHR, String)]
showTableSwapchainCreateFlagBitsKHR =
[
( SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_DEFERRED_MEMORY_ALLOCATION_BIT_KHR
, String
"DEFERRED_MEMORY_ALLOCATION_BIT_KHR"
)
,
( SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_PRESENT_WAIT_2_BIT_KHR
, String
"PRESENT_WAIT_2_BIT_KHR"
)
,
( SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_PRESENT_ID_2_BIT_KHR
, String
"PRESENT_ID_2_BIT_KHR"
)
,
( SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_PRESENT_TIMING_BIT_EXT
, String
"PRESENT_TIMING_BIT_EXT"
)
,
( SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_MUTABLE_FORMAT_BIT_KHR
, String
"MUTABLE_FORMAT_BIT_KHR"
)
,
( SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_SPLIT_INSTANCE_BIND_REGIONS_BIT_KHR
, String
"SPLIT_INSTANCE_BIND_REGIONS_BIT_KHR"
)
,
( SwapchainCreateFlagsKHR
SWAPCHAIN_CREATE_PROTECTED_BIT_KHR
, String
"PROTECTED_BIT_KHR"
)
]
instance Show SwapchainCreateFlagBitsKHR where
showsPrec :: Int -> SwapchainCreateFlagsKHR -> ShowS
showsPrec =
String
-> [(SwapchainCreateFlagsKHR, String)]
-> String
-> (SwapchainCreateFlagsKHR -> Word32)
-> (Word32 -> ShowS)
-> Int
-> SwapchainCreateFlagsKHR
-> ShowS
forall a i.
Eq a =>
String
-> [(a, String)]
-> String
-> (a -> i)
-> (i -> ShowS)
-> Int
-> a
-> ShowS
enumShowsPrec
String
enumPrefixSwapchainCreateFlagBitsKHR
[(SwapchainCreateFlagsKHR, String)]
showTableSwapchainCreateFlagBitsKHR
String
conNameSwapchainCreateFlagBitsKHR
(\(SwapchainCreateFlagBitsKHR Word32
x) -> Word32
x)
(\Word32
x -> String -> ShowS
showString String
"0x" ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Word32 -> ShowS
forall a. Integral a => a -> ShowS
showHex Word32
x)
instance Read SwapchainCreateFlagBitsKHR where
readPrec :: ReadPrec SwapchainCreateFlagsKHR
readPrec =
String
-> [(SwapchainCreateFlagsKHR, String)]
-> String
-> (Word32 -> SwapchainCreateFlagsKHR)
-> ReadPrec SwapchainCreateFlagsKHR
forall i a.
Read i =>
String -> [(a, String)] -> String -> (i -> a) -> ReadPrec a
enumReadPrec
String
enumPrefixSwapchainCreateFlagBitsKHR
[(SwapchainCreateFlagsKHR, String)]
showTableSwapchainCreateFlagBitsKHR
String
conNameSwapchainCreateFlagBitsKHR
Word32 -> SwapchainCreateFlagsKHR
SwapchainCreateFlagBitsKHR
type KHR_SWAPCHAIN_SPEC_VERSION = 70
pattern KHR_SWAPCHAIN_SPEC_VERSION :: forall a . Integral a => a
pattern $mKHR_SWAPCHAIN_SPEC_VERSION :: forall {r} {a}.
Integral a =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bKHR_SWAPCHAIN_SPEC_VERSION :: forall a. Integral a => a
KHR_SWAPCHAIN_SPEC_VERSION = 70
type KHR_SWAPCHAIN_EXTENSION_NAME = "VK_KHR_swapchain"
pattern KHR_SWAPCHAIN_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $mKHR_SWAPCHAIN_EXTENSION_NAME :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bKHR_SWAPCHAIN_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
KHR_SWAPCHAIN_EXTENSION_NAME = "VK_KHR_swapchain"