Safe Haskell	None
Language	Haskell2010

Vulkan.CStruct.Extends

Synopsis

data BaseOutStructure = BaseOutStructure {
- sType :: StructureType
- next :: Ptr BaseOutStructure
}
data BaseInStructure = BaseInStructure {
- sType :: StructureType
- next :: Ptr BaseInStructure
}
type family Extends (a :: [Type] -> Type) (b :: Type) :: Constraint where ...
class PeekChain es where
- peekChain :: Ptr (Chain es) -> IO (Chain es)
class PokeChain es where
- withChain :: Chain es -> (Ptr (Chain es) -> IO a) -> IO a
- withZeroChain :: (Ptr (Chain es) -> IO a) -> IO a
type family Chain (xs :: [a]) = (r :: a) | r -> xs where ...
type family Extendss (p :: [Type] -> Type) (xs :: [Type]) :: Constraint where ...
data SomeStruct (a :: [Type] -> Type) where
- SomeStruct :: forall a es. (Extendss a es, PokeChain es, Show (Chain es)) => a es -> SomeStruct a
extendSomeStruct :: (Extensible a, Extends a e, ToCStruct e, Show e) => e -> SomeStruct a -> SomeStruct a
withSomeStruct :: forall a b. SomeStruct a -> (forall es. (Extendss a es, PokeChain es, Show (Chain es)) => a es -> b) -> b
withSomeCStruct :: forall a b. (forall es. (Extendss a es, PokeChain es) => ToCStruct (a es)) => SomeStruct a -> (forall es. (Extendss a es, PokeChain es) => Ptr (a es) -> IO b) -> IO b
peekSomeCStruct :: forall a. (Extensible a, forall es. (Extendss a es, PeekChain es) => FromCStruct (a es)) => Ptr (SomeStruct a) -> IO (SomeStruct a)
pokeSomeCStruct :: (forall es. (Extendss a es, PokeChain es) => ToCStruct (a es)) => Ptr (SomeStruct a) -> SomeStruct a -> IO b -> IO b
forgetExtensions :: Ptr (a es) -> Ptr (SomeStruct a)
class Extensible (a :: [Type] -> Type) where
- extensibleType :: StructureType
- getNext :: a es -> Chain es
- setNext :: a ds -> Chain es -> a es
- extends :: forall e b proxy. Typeable e => proxy e -> (Extends a e => b) -> Maybe b
pattern (::&) :: Extensible a => a es' -> Chain es -> a es
pattern (:&) :: e -> Chain es -> Chain (e ': es)

Documentation

data BaseOutStructure Source #

VkBaseOutStructure - Base structure for a read-only pointer chain

Description

BaseOutStructure can be used to facilitate iterating through a structure pointer chain that returns data back to the application.

Description

BaseInStructure can be used to facilitate iterating through a read-only structure pointer chain.

Eq BaseInStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods (==) :: BaseInStructure -> BaseInStructure -> Bool # (/=) :: BaseInStructure -> BaseInStructure -> Bool #
Show BaseInStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods showsPrec :: Int -> BaseInStructure -> ShowS # show :: BaseInStructure -> String # showList :: [BaseInStructure] -> ShowS #
Generic BaseInStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Associated Types type Rep BaseInStructure :: Type -> Type # Methods from :: BaseInStructure -> Rep BaseInStructure x # to :: Rep BaseInStructure x -> BaseInStructure #
Storable BaseInStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods sizeOf :: BaseInStructure -> Int # alignment :: BaseInStructure -> Int # peekElemOff :: Ptr BaseInStructure -> Int -> IO BaseInStructure # pokeElemOff :: Ptr BaseInStructure -> Int -> BaseInStructure -> IO () # peekByteOff :: Ptr b -> Int -> IO BaseInStructure # pokeByteOff :: Ptr b -> Int -> BaseInStructure -> IO () # peek :: Ptr BaseInStructure -> IO BaseInStructure # poke :: Ptr BaseInStructure -> BaseInStructure -> IO () #
FromCStruct BaseInStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods peekCStruct :: Ptr BaseInStructure -> IO BaseInStructure Source #
ToCStruct BaseInStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods withCStruct :: BaseInStructure -> (Ptr BaseInStructure -> IO b) -> IO b Source # pokeCStruct :: Ptr BaseInStructure -> BaseInStructure -> IO b -> IO b Source # withZeroCStruct :: (Ptr BaseInStructure -> IO b) -> IO b Source # pokeZeroCStruct :: Ptr BaseInStructure -> IO b -> IO b Source # cStructSize :: Int Source # cStructAlignment :: Int Source #
Zero BaseInStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods zero :: BaseInStructure Source #
type Rep BaseInStructure Source #
Instance details Defined in Vulkan.CStruct.Extends type Rep BaseInStructure = D1 ('MetaData "BaseInStructure" "Vulkan.CStruct.Extends" "vulkan-3.5-inplace" 'False) (C1 ('MetaCons "BaseInStructure" 'PrefixI 'True) (S1 ('MetaSel ('Just "sType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StructureType) :*: S1 ('MetaSel ('Just "next") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Ptr BaseInStructure))))

type family Extends (a :: [Type] -> Type) (b :: Type) :: Constraint where ... Source #

Equations

Extends AccelerationStructureBuildGeometryInfoKHR DeferredOperationInfoKHR = ()
Extends AndroidHardwareBufferPropertiesANDROID AndroidHardwareBufferFormatPropertiesANDROID = ()
Extends AttachmentDescription2 AttachmentDescriptionStencilLayout = ()
Extends AttachmentReference2 AttachmentReferenceStencilLayout = ()
Extends BindBufferMemoryInfo BindBufferMemoryDeviceGroupInfo = ()
Extends BindImageMemoryInfo BindImageMemoryDeviceGroupInfo = ()
Extends BindImageMemoryInfo BindImageMemorySwapchainInfoKHR = ()
Extends BindImageMemoryInfo BindImagePlaneMemoryInfo = ()
Extends BindSparseInfo DeviceGroupBindSparseInfo = ()
Extends BindSparseInfo TimelineSemaphoreSubmitInfo = ()
Extends BufferCreateInfo DedicatedAllocationBufferCreateInfoNV = ()
Extends BufferCreateInfo ExternalMemoryBufferCreateInfo = ()
Extends BufferCreateInfo BufferOpaqueCaptureAddressCreateInfo = ()
Extends BufferCreateInfo BufferDeviceAddressCreateInfoEXT = ()
Extends CommandBufferBeginInfo DeviceGroupCommandBufferBeginInfo = ()
Extends CommandBufferInheritanceInfo CommandBufferInheritanceConditionalRenderingInfoEXT = ()
Extends CommandBufferInheritanceInfo CommandBufferInheritanceRenderPassTransformInfoQCOM = ()
Extends ComputePipelineCreateInfo PipelineCreationFeedbackCreateInfoEXT = ()
Extends ComputePipelineCreateInfo PipelineCompilerControlCreateInfoAMD = ()
Extends CopyAccelerationStructureInfoKHR DeferredOperationInfoKHR = ()
Extends CopyAccelerationStructureToMemoryInfoKHR DeferredOperationInfoKHR = ()
Extends CopyMemoryToAccelerationStructureInfoKHR DeferredOperationInfoKHR = ()
Extends DescriptorPoolCreateInfo DescriptorPoolInlineUniformBlockCreateInfoEXT = ()
Extends DescriptorSetAllocateInfo DescriptorSetVariableDescriptorCountAllocateInfo = ()
Extends DescriptorSetLayoutCreateInfo DescriptorSetLayoutBindingFlagsCreateInfo = ()
Extends DescriptorSetLayoutSupport DescriptorSetVariableDescriptorCountLayoutSupport = ()
Extends DeviceCreateInfo PhysicalDeviceDeviceGeneratedCommandsFeaturesNV = ()
Extends DeviceCreateInfo DevicePrivateDataCreateInfoEXT = ()
Extends DeviceCreateInfo PhysicalDevicePrivateDataFeaturesEXT = ()
Extends DeviceCreateInfo (PhysicalDeviceFeatures2 '[]) = ()
Extends DeviceCreateInfo PhysicalDeviceVariablePointersFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceMultiviewFeatures = ()
Extends DeviceCreateInfo DeviceGroupDeviceCreateInfo = ()
Extends DeviceCreateInfo PhysicalDevice16BitStorageFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceShaderSubgroupExtendedTypesFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceSamplerYcbcrConversionFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceProtectedMemoryFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceBlendOperationAdvancedFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceInlineUniformBlockFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceShaderDrawParametersFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceShaderFloat16Int8Features = ()
Extends DeviceCreateInfo PhysicalDeviceHostQueryResetFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceDescriptorIndexingFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceTimelineSemaphoreFeatures = ()
Extends DeviceCreateInfo PhysicalDevice8BitStorageFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceConditionalRenderingFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceVulkanMemoryModelFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceShaderAtomicInt64Features = ()
Extends DeviceCreateInfo PhysicalDeviceVertexAttributeDivisorFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceASTCDecodeFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceTransformFeedbackFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceRepresentativeFragmentTestFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceExclusiveScissorFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceCornerSampledImageFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceComputeShaderDerivativesFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceFragmentShaderBarycentricFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceShaderImageFootprintFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceDedicatedAllocationImageAliasingFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceShadingRateImageFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceMeshShaderFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceRayTracingFeaturesKHR = ()
Extends DeviceCreateInfo DeviceMemoryOverallocationCreateInfoAMD = ()
Extends DeviceCreateInfo PhysicalDeviceFragmentDensityMapFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceScalarBlockLayoutFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceUniformBufferStandardLayoutFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceDepthClipEnableFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceMemoryPriorityFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceBufferDeviceAddressFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceBufferDeviceAddressFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceImagelessFramebufferFeatures = ()
Extends DeviceCreateInfo PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceCooperativeMatrixFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceYcbcrImageArraysFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDevicePerformanceQueryFeaturesKHR = ()
Extends DeviceCreateInfo PhysicalDeviceCoverageReductionModeFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceShaderIntegerFunctions2FeaturesINTEL = ()
Extends DeviceCreateInfo PhysicalDeviceShaderClockFeaturesKHR = ()
Extends DeviceCreateInfo PhysicalDeviceIndexTypeUint8FeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceShaderSMBuiltinsFeaturesNV = ()
Extends DeviceCreateInfo PhysicalDeviceFragmentShaderInterlockFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceSeparateDepthStencilLayoutsFeatures = ()
Extends DeviceCreateInfo PhysicalDevicePipelineExecutablePropertiesFeaturesKHR = ()
Extends DeviceCreateInfo PhysicalDeviceShaderDemoteToHelperInvocationFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceTexelBufferAlignmentFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceSubgroupSizeControlFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceLineRasterizationFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDevicePipelineCreationCacheControlFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceVulkan11Features = ()
Extends DeviceCreateInfo PhysicalDeviceVulkan12Features = ()
Extends DeviceCreateInfo PhysicalDeviceCoherentMemoryFeaturesAMD = ()
Extends DeviceCreateInfo PhysicalDeviceCustomBorderColorFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceExtendedDynamicStateFeaturesEXT = ()
Extends DeviceCreateInfo PhysicalDeviceDiagnosticsConfigFeaturesNV = ()
Extends DeviceCreateInfo DeviceDiagnosticsConfigCreateInfoNV = ()
Extends DeviceCreateInfo PhysicalDeviceRobustness2FeaturesEXT = ()
Extends DeviceQueueCreateInfo DeviceQueueGlobalPriorityCreateInfoEXT = ()
Extends FenceCreateInfo ExportFenceCreateInfo = ()
Extends FenceCreateInfo ExportFenceWin32HandleInfoKHR = ()
Extends FormatProperties2 DrmFormatModifierPropertiesListEXT = ()
Extends FramebufferCreateInfo FramebufferAttachmentsCreateInfo = ()
Extends GraphicsPipelineCreateInfo GraphicsPipelineShaderGroupsCreateInfoNV = ()
Extends GraphicsPipelineCreateInfo PipelineDiscardRectangleStateCreateInfoEXT = ()
Extends GraphicsPipelineCreateInfo PipelineRepresentativeFragmentTestStateCreateInfoNV = ()
Extends GraphicsPipelineCreateInfo PipelineCreationFeedbackCreateInfoEXT = ()
Extends GraphicsPipelineCreateInfo PipelineCompilerControlCreateInfoAMD = ()
Extends ImageCreateInfo DedicatedAllocationImageCreateInfoNV = ()
Extends ImageCreateInfo ExternalMemoryImageCreateInfoNV = ()
Extends ImageCreateInfo ExternalMemoryImageCreateInfo = ()
Extends ImageCreateInfo ImageSwapchainCreateInfoKHR = ()
Extends ImageCreateInfo ImageFormatListCreateInfo = ()
Extends ImageCreateInfo ExternalFormatANDROID = ()
Extends ImageCreateInfo ImageDrmFormatModifierListCreateInfoEXT = ()
Extends ImageCreateInfo ImageDrmFormatModifierExplicitCreateInfoEXT = ()
Extends ImageCreateInfo ImageStencilUsageCreateInfo = ()
Extends ImageFormatProperties2 ExternalImageFormatProperties = ()
Extends ImageFormatProperties2 SamplerYcbcrConversionImageFormatProperties = ()
Extends ImageFormatProperties2 TextureLODGatherFormatPropertiesAMD = ()
Extends ImageFormatProperties2 AndroidHardwareBufferUsageANDROID = ()
Extends ImageFormatProperties2 FilterCubicImageViewImageFormatPropertiesEXT = ()
Extends ImageMemoryBarrier SampleLocationsInfoEXT = ()
Extends ImageMemoryRequirementsInfo2 ImagePlaneMemoryRequirementsInfo = ()
Extends ImageViewCreateInfo ImageViewUsageCreateInfo = ()
Extends ImageViewCreateInfo SamplerYcbcrConversionInfo = ()
Extends ImageViewCreateInfo ImageViewASTCDecodeModeEXT = ()
Extends InstanceCreateInfo DebugReportCallbackCreateInfoEXT = ()
Extends InstanceCreateInfo ValidationFlagsEXT = ()
Extends InstanceCreateInfo ValidationFeaturesEXT = ()
Extends InstanceCreateInfo DebugUtilsMessengerCreateInfoEXT = ()
Extends MemoryAllocateInfo DedicatedAllocationMemoryAllocateInfoNV = ()
Extends MemoryAllocateInfo ExportMemoryAllocateInfoNV = ()
Extends MemoryAllocateInfo ImportMemoryWin32HandleInfoNV = ()
Extends MemoryAllocateInfo ExportMemoryWin32HandleInfoNV = ()
Extends MemoryAllocateInfo ExportMemoryAllocateInfo = ()
Extends MemoryAllocateInfo ImportMemoryWin32HandleInfoKHR = ()
Extends MemoryAllocateInfo ExportMemoryWin32HandleInfoKHR = ()
Extends MemoryAllocateInfo ImportMemoryFdInfoKHR = ()
Extends MemoryAllocateInfo MemoryAllocateFlagsInfo = ()
Extends MemoryAllocateInfo MemoryDedicatedAllocateInfo = ()
Extends MemoryAllocateInfo ImportMemoryHostPointerInfoEXT = ()
Extends MemoryAllocateInfo ImportAndroidHardwareBufferInfoANDROID = ()
Extends MemoryAllocateInfo MemoryPriorityAllocateInfoEXT = ()
Extends MemoryAllocateInfo MemoryOpaqueCaptureAddressAllocateInfo = ()
Extends MemoryRequirements2 MemoryDedicatedRequirements = ()
Extends PhysicalDeviceExternalSemaphoreInfo SemaphoreTypeCreateInfo = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceDeviceGeneratedCommandsFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDevicePrivateDataFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceVariablePointersFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceMultiviewFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDevice16BitStorageFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceShaderSubgroupExtendedTypesFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceSamplerYcbcrConversionFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceProtectedMemoryFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceBlendOperationAdvancedFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceInlineUniformBlockFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceShaderDrawParametersFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceShaderFloat16Int8Features = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceHostQueryResetFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceDescriptorIndexingFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceTimelineSemaphoreFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDevice8BitStorageFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceConditionalRenderingFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceVulkanMemoryModelFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceShaderAtomicInt64Features = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceVertexAttributeDivisorFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceASTCDecodeFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceTransformFeedbackFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceRepresentativeFragmentTestFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceExclusiveScissorFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceCornerSampledImageFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceComputeShaderDerivativesFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceFragmentShaderBarycentricFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceShaderImageFootprintFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceDedicatedAllocationImageAliasingFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceShadingRateImageFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceMeshShaderFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceRayTracingFeaturesKHR = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceFragmentDensityMapFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceScalarBlockLayoutFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceUniformBufferStandardLayoutFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceDepthClipEnableFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceMemoryPriorityFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceBufferDeviceAddressFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceBufferDeviceAddressFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceImagelessFramebufferFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceTextureCompressionASTCHDRFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceCooperativeMatrixFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceYcbcrImageArraysFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDevicePerformanceQueryFeaturesKHR = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceCoverageReductionModeFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceShaderIntegerFunctions2FeaturesINTEL = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceShaderClockFeaturesKHR = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceIndexTypeUint8FeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceShaderSMBuiltinsFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceFragmentShaderInterlockFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceSeparateDepthStencilLayoutsFeatures = ()
Extends PhysicalDeviceFeatures2 PhysicalDevicePipelineExecutablePropertiesFeaturesKHR = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceShaderDemoteToHelperInvocationFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceTexelBufferAlignmentFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceSubgroupSizeControlFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceLineRasterizationFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDevicePipelineCreationCacheControlFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceVulkan11Features = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceVulkan12Features = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceCoherentMemoryFeaturesAMD = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceCustomBorderColorFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceExtendedDynamicStateFeaturesEXT = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceDiagnosticsConfigFeaturesNV = ()
Extends PhysicalDeviceFeatures2 PhysicalDeviceRobustness2FeaturesEXT = ()
Extends PhysicalDeviceImageFormatInfo2 PhysicalDeviceExternalImageFormatInfo = ()
Extends PhysicalDeviceImageFormatInfo2 ImageFormatListCreateInfo = ()
Extends PhysicalDeviceImageFormatInfo2 PhysicalDeviceImageDrmFormatModifierInfoEXT = ()
Extends PhysicalDeviceImageFormatInfo2 ImageStencilUsageCreateInfo = ()
Extends PhysicalDeviceImageFormatInfo2 PhysicalDeviceImageViewImageFormatInfoEXT = ()
Extends PhysicalDeviceMemoryProperties2 PhysicalDeviceMemoryBudgetPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceDeviceGeneratedCommandsPropertiesNV = ()
Extends PhysicalDeviceProperties2 PhysicalDevicePushDescriptorPropertiesKHR = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceDriverProperties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceIDProperties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceMultiviewProperties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceDiscardRectanglePropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceMultiviewPerViewAttributesPropertiesNVX = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceSubgroupProperties = ()
Extends PhysicalDeviceProperties2 PhysicalDevicePointClippingProperties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceProtectedMemoryProperties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceSamplerFilterMinmaxProperties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceSampleLocationsPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceBlendOperationAdvancedPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceInlineUniformBlockPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceMaintenance3Properties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceFloatControlsProperties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceExternalMemoryHostPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceConservativeRasterizationPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceShaderCorePropertiesAMD = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceShaderCoreProperties2AMD = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceDescriptorIndexingProperties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceTimelineSemaphoreProperties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceVertexAttributeDivisorPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDevicePCIBusInfoPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceDepthStencilResolveProperties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceTransformFeedbackPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceShadingRateImagePropertiesNV = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceMeshShaderPropertiesNV = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceRayTracingPropertiesKHR = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceRayTracingPropertiesNV = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceFragmentDensityMapPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceCooperativeMatrixPropertiesNV = ()
Extends PhysicalDeviceProperties2 PhysicalDevicePerformanceQueryPropertiesKHR = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceShaderSMBuiltinsPropertiesNV = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceTexelBufferAlignmentPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceSubgroupSizeControlPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceLineRasterizationPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceVulkan11Properties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceVulkan12Properties = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceCustomBorderColorPropertiesEXT = ()
Extends PhysicalDeviceProperties2 PhysicalDeviceRobustness2PropertiesEXT = ()
Extends PhysicalDeviceSurfaceInfo2KHR SurfaceFullScreenExclusiveInfoEXT = ()
Extends PhysicalDeviceSurfaceInfo2KHR SurfaceFullScreenExclusiveWin32InfoEXT = ()
Extends PipelineColorBlendStateCreateInfo PipelineColorBlendAdvancedStateCreateInfoEXT = ()
Extends PipelineMultisampleStateCreateInfo PipelineCoverageToColorStateCreateInfoNV = ()
Extends PipelineMultisampleStateCreateInfo PipelineSampleLocationsStateCreateInfoEXT = ()
Extends PipelineMultisampleStateCreateInfo PipelineCoverageModulationStateCreateInfoNV = ()
Extends PipelineMultisampleStateCreateInfo PipelineCoverageReductionStateCreateInfoNV = ()
Extends PipelineRasterizationStateCreateInfo PipelineRasterizationStateRasterizationOrderAMD = ()
Extends PipelineRasterizationStateCreateInfo PipelineRasterizationConservativeStateCreateInfoEXT = ()
Extends PipelineRasterizationStateCreateInfo PipelineRasterizationStateStreamCreateInfoEXT = ()
Extends PipelineRasterizationStateCreateInfo PipelineRasterizationDepthClipStateCreateInfoEXT = ()
Extends PipelineRasterizationStateCreateInfo PipelineRasterizationLineStateCreateInfoEXT = ()
Extends PipelineShaderStageCreateInfo PipelineShaderStageRequiredSubgroupSizeCreateInfoEXT = ()
Extends PipelineTessellationStateCreateInfo PipelineTessellationDomainOriginStateCreateInfo = ()
Extends PipelineVertexInputStateCreateInfo PipelineVertexInputDivisorStateCreateInfoEXT = ()
Extends PipelineViewportStateCreateInfo PipelineViewportWScalingStateCreateInfoNV = ()
Extends PipelineViewportStateCreateInfo PipelineViewportSwizzleStateCreateInfoNV = ()
Extends PipelineViewportStateCreateInfo PipelineViewportExclusiveScissorStateCreateInfoNV = ()
Extends PipelineViewportStateCreateInfo PipelineViewportShadingRateImageStateCreateInfoNV = ()
Extends PipelineViewportStateCreateInfo PipelineViewportCoarseSampleOrderStateCreateInfoNV = ()
Extends PresentInfoKHR DisplayPresentInfoKHR = ()
Extends PresentInfoKHR PresentRegionsKHR = ()
Extends PresentInfoKHR DeviceGroupPresentInfoKHR = ()
Extends PresentInfoKHR PresentTimesInfoGOOGLE = ()
Extends PresentInfoKHR PresentFrameTokenGGP = ()
Extends QueryPoolCreateInfo QueryPoolPerformanceCreateInfoKHR = ()
Extends QueryPoolCreateInfo QueryPoolPerformanceQueryCreateInfoINTEL = ()
Extends QueueFamilyProperties2 QueueFamilyCheckpointPropertiesNV = ()
Extends RayTracingPipelineCreateInfoKHR PipelineCreationFeedbackCreateInfoEXT = ()
Extends RayTracingPipelineCreateInfoKHR DeferredOperationInfoKHR = ()
Extends RayTracingPipelineCreateInfoNV PipelineCreationFeedbackCreateInfoEXT = ()
Extends RenderPassBeginInfo DeviceGroupRenderPassBeginInfo = ()
Extends RenderPassBeginInfo RenderPassSampleLocationsBeginInfoEXT = ()
Extends RenderPassBeginInfo RenderPassAttachmentBeginInfo = ()
Extends RenderPassBeginInfo RenderPassTransformBeginInfoQCOM = ()
Extends RenderPassCreateInfo RenderPassMultiviewCreateInfo = ()
Extends RenderPassCreateInfo RenderPassInputAttachmentAspectCreateInfo = ()
Extends RenderPassCreateInfo RenderPassFragmentDensityMapCreateInfoEXT = ()
Extends RenderPassCreateInfo2 RenderPassFragmentDensityMapCreateInfoEXT = ()
Extends SamplerCreateInfo SamplerYcbcrConversionInfo = ()
Extends SamplerCreateInfo SamplerReductionModeCreateInfo = ()
Extends SamplerCreateInfo SamplerCustomBorderColorCreateInfoEXT = ()
Extends SamplerYcbcrConversionCreateInfo ExternalFormatANDROID = ()
Extends SemaphoreCreateInfo ExportSemaphoreCreateInfo = ()
Extends SemaphoreCreateInfo ExportSemaphoreWin32HandleInfoKHR = ()
Extends SemaphoreCreateInfo SemaphoreTypeCreateInfo = ()
Extends ShaderModuleCreateInfo ShaderModuleValidationCacheCreateInfoEXT = ()
Extends SubmitInfo Win32KeyedMutexAcquireReleaseInfoNV = ()
Extends SubmitInfo Win32KeyedMutexAcquireReleaseInfoKHR = ()
Extends SubmitInfo D3D12FenceSubmitInfoKHR = ()
Extends SubmitInfo DeviceGroupSubmitInfo = ()
Extends SubmitInfo ProtectedSubmitInfo = ()
Extends SubmitInfo TimelineSemaphoreSubmitInfo = ()
Extends SubmitInfo PerformanceQuerySubmitInfoKHR = ()
Extends SubpassDescription2 SubpassDescriptionDepthStencilResolve = ()
Extends SurfaceCapabilities2KHR DisplayNativeHdrSurfaceCapabilitiesAMD = ()
Extends SurfaceCapabilities2KHR SharedPresentSurfaceCapabilitiesKHR = ()
Extends SurfaceCapabilities2KHR SurfaceProtectedCapabilitiesKHR = ()
Extends SurfaceCapabilities2KHR SurfaceCapabilitiesFullScreenExclusiveEXT = ()
Extends SwapchainCreateInfoKHR SwapchainCounterCreateInfoEXT = ()
Extends SwapchainCreateInfoKHR DeviceGroupSwapchainCreateInfoKHR = ()
Extends SwapchainCreateInfoKHR SwapchainDisplayNativeHdrCreateInfoAMD = ()
Extends SwapchainCreateInfoKHR ImageFormatListCreateInfo = ()
Extends SwapchainCreateInfoKHR SurfaceFullScreenExclusiveInfoEXT = ()
Extends SwapchainCreateInfoKHR SurfaceFullScreenExclusiveWin32InfoEXT = ()
Extends WriteDescriptorSet WriteDescriptorSetInlineUniformBlockEXT = ()
Extends WriteDescriptorSet WriteDescriptorSetAccelerationStructureKHR = ()
Extends a b = TypeError ((ShowType a :<>: Text " is not extended by ") :<>: ShowType b)

class PeekChain es where Source #

Methods

peekChain :: Ptr (Chain es) -> IO (Chain es) Source #

Instances

Instances details

PeekChain ('[] :: [Type]) Source #
Instance details Defined in Vulkan.CStruct.Extends Methods peekChain :: Ptr (Chain '[]) -> IO (Chain '[]) Source #
(FromCStruct e, PeekChain es) => PeekChain (e ': es) Source #
Instance details Defined in Vulkan.CStruct.Extends Methods peekChain :: Ptr (Chain (e ': es)) -> IO (Chain (e ': es)) Source #

class PokeChain es where Source #

Methods

withChain :: Chain es -> (Ptr (Chain es) -> IO a) -> IO a Source #

withZeroChain :: (Ptr (Chain es) -> IO a) -> IO a Source #

Instances

Instances details

PokeChain ('[] :: [Type]) Source #
Instance details Defined in Vulkan.CStruct.Extends Methods withChain :: Chain '[] -> (Ptr (Chain '[]) -> IO a) -> IO a Source # withZeroChain :: (Ptr (Chain '[]) -> IO a) -> IO a Source #
(ToCStruct e, PokeChain es) => PokeChain (e ': es) Source #
Instance details Defined in Vulkan.CStruct.Extends Methods withChain :: Chain (e ': es) -> (Ptr (Chain (e ': es)) -> IO a) -> IO a Source # withZeroChain :: (Ptr (Chain (e ': es)) -> IO a) -> IO a Source #

type family Chain (xs :: [a]) = (r :: a) | r -> xs where ... Source #

Equations

Chain '[] = ()
Chain (x ': xs) = (x, Chain xs)

type family Extendss (p :: [Type] -> Type) (xs :: [Type]) :: Constraint where ... Source #

Equations

Extendss p '[] = ()
Extendss p (x ': xs) = (Extends p x, Extendss p xs)

data SomeStruct (a :: [Type] -> Type) where Source #

Constructors

SomeStruct :: forall a es. (Extendss a es, PokeChain es, Show (Chain es)) => a es -> SomeStruct a

Instances

Instances details

(forall (es :: [Type]). Show (Chain es) => Show (a es)) => Show (SomeStruct a) Source #
Instance details Defined in Vulkan.CStruct.Extends Methods showsPrec :: Int -> SomeStruct a -> ShowS # show :: SomeStruct a -> String # showList :: [SomeStruct a] -> ShowS #
Zero (a ('[] :: [Type])) => Zero (SomeStruct a) Source #	The constraint is so on this instance to encourage type inference
Instance details Defined in Vulkan.CStruct.Extends Methods zero :: SomeStruct a Source #

extendSomeStruct :: (Extensible a, Extends a e, ToCStruct e, Show e) => e -> SomeStruct a -> SomeStruct a Source #

Add an extension to the beginning of the struct chain

This can be used to optionally extend structs based on some condition (for example, an extension or layer being available)

withSomeStruct :: forall a b. SomeStruct a -> (forall es. (Extendss a es, PokeChain es, Show (Chain es)) => a es -> b) -> b Source #

Consume a SomeStruct value

withSomeCStruct :: forall a b. (forall es. (Extendss a es, PokeChain es) => ToCStruct (a es)) => SomeStruct a -> (forall es. (Extendss a es, PokeChain es) => Ptr (a es) -> IO b) -> IO b Source #

Write the C representation of some extended a and use the pointer, the pointer must not be returned from the continuation.

peekSomeCStruct :: forall a. (Extensible a, forall es. (Extendss a es, PeekChain es) => FromCStruct (a es)) => Ptr (SomeStruct a) -> IO (SomeStruct a) Source #

Given a pointer to a struct with an unknown chain, peek the struct and its chain.

pokeSomeCStruct Source #

Arguments

:: (forall es. (Extendss a es, PokeChain es) => ToCStruct (a es))
=> Ptr (SomeStruct a)	Pointer to some memory at least the size of the head of the struct chain.
-> SomeStruct a	The struct to poke
-> IO b	Computation to run while the poked tail is valid
-> IO b

Given some memory for the head of the chain, allocate and poke the tail and run an action.

forgetExtensions :: Ptr (a es) -> Ptr (SomeStruct a) Source #

Forget which extensions a pointed-to struct has by casting the pointer

class Extensible (a :: [Type] -> Type) where Source #

Methods

extensibleType :: StructureType Source #

getNext :: a es -> Chain es Source #

setNext :: a ds -> Chain es -> a es Source #

extends :: forall e b proxy. Typeable e => proxy e -> (Extends a e => b) -> Maybe b Source #

Instances

Instances details

Extensible BufferCreateInfo Source #
Instance details Defined in Vulkan.Core10.Buffer Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). BufferCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). BufferCreateInfo ds -> Chain es -> BufferCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends BufferCreateInfo e => b) -> Maybe b Source #
Extensible CommandBufferInheritanceInfo Source #
Instance details Defined in Vulkan.Core10.CommandBuffer Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). CommandBufferInheritanceInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). CommandBufferInheritanceInfo ds -> Chain es -> CommandBufferInheritanceInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends CommandBufferInheritanceInfo e => b) -> Maybe b Source #
Extensible CommandBufferBeginInfo Source #
Instance details Defined in Vulkan.Core10.CommandBuffer Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). CommandBufferBeginInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). CommandBufferBeginInfo ds -> Chain es -> CommandBufferBeginInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends CommandBufferBeginInfo e => b) -> Maybe b Source #
Extensible RenderPassBeginInfo Source #
Instance details Defined in Vulkan.Core10.CommandBufferBuilding Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). RenderPassBeginInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). RenderPassBeginInfo ds -> Chain es -> RenderPassBeginInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends RenderPassBeginInfo e => b) -> Maybe b Source #
Extensible WriteDescriptorSet Source #
Instance details Defined in Vulkan.Core10.DescriptorSet Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). WriteDescriptorSet es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). WriteDescriptorSet ds -> Chain es -> WriteDescriptorSet es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends WriteDescriptorSet e => b) -> Maybe b Source #
Extensible DescriptorSetLayoutCreateInfo Source #
Instance details Defined in Vulkan.Core10.DescriptorSet Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). DescriptorSetLayoutCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). DescriptorSetLayoutCreateInfo ds -> Chain es -> DescriptorSetLayoutCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends DescriptorSetLayoutCreateInfo e => b) -> Maybe b Source #
Extensible DescriptorSetAllocateInfo Source #
Instance details Defined in Vulkan.Core10.DescriptorSet Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). DescriptorSetAllocateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). DescriptorSetAllocateInfo ds -> Chain es -> DescriptorSetAllocateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends DescriptorSetAllocateInfo e => b) -> Maybe b Source #
Extensible DescriptorPoolCreateInfo Source #
Instance details Defined in Vulkan.Core10.DescriptorSet Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). DescriptorPoolCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). DescriptorPoolCreateInfo ds -> Chain es -> DescriptorPoolCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends DescriptorPoolCreateInfo e => b) -> Maybe b Source #
Extensible DeviceQueueCreateInfo Source #
Instance details Defined in Vulkan.Core10.Device Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). DeviceQueueCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). DeviceQueueCreateInfo ds -> Chain es -> DeviceQueueCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends DeviceQueueCreateInfo e => b) -> Maybe b Source #
Extensible DeviceCreateInfo Source #
Instance details Defined in Vulkan.Core10.Device Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). DeviceCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). DeviceCreateInfo ds -> Chain es -> DeviceCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends DeviceCreateInfo e => b) -> Maybe b Source #
Extensible InstanceCreateInfo Source #
Instance details Defined in Vulkan.Core10.DeviceInitialization Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). InstanceCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). InstanceCreateInfo ds -> Chain es -> InstanceCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends InstanceCreateInfo e => b) -> Maybe b Source #
Extensible FenceCreateInfo Source #
Instance details Defined in Vulkan.Core10.Fence Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). FenceCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). FenceCreateInfo ds -> Chain es -> FenceCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends FenceCreateInfo e => b) -> Maybe b Source #
Extensible ImageCreateInfo Source #
Instance details Defined in Vulkan.Core10.Image Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). ImageCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). ImageCreateInfo ds -> Chain es -> ImageCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends ImageCreateInfo e => b) -> Maybe b Source #
Extensible ImageViewCreateInfo Source #
Instance details Defined in Vulkan.Core10.ImageView Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). ImageViewCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). ImageViewCreateInfo ds -> Chain es -> ImageViewCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends ImageViewCreateInfo e => b) -> Maybe b Source #
Extensible MemoryAllocateInfo Source #
Instance details Defined in Vulkan.Core10.Memory Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). MemoryAllocateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). MemoryAllocateInfo ds -> Chain es -> MemoryAllocateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends MemoryAllocateInfo e => b) -> Maybe b Source #
Extensible ImageMemoryBarrier Source #
Instance details Defined in Vulkan.Core10.OtherTypes Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). ImageMemoryBarrier es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). ImageMemoryBarrier ds -> Chain es -> ImageMemoryBarrier es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends ImageMemoryBarrier e => b) -> Maybe b Source #
Extensible RenderPassCreateInfo Source #
Instance details Defined in Vulkan.Core10.Pass Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). RenderPassCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). RenderPassCreateInfo ds -> Chain es -> RenderPassCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends RenderPassCreateInfo e => b) -> Maybe b Source #
Extensible FramebufferCreateInfo Source #
Instance details Defined in Vulkan.Core10.Pass Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). FramebufferCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). FramebufferCreateInfo ds -> Chain es -> FramebufferCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends FramebufferCreateInfo e => b) -> Maybe b Source #
Extensible PipelineViewportStateCreateInfo Source #
Instance details Defined in Vulkan.Core10.Pipeline Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PipelineViewportStateCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PipelineViewportStateCreateInfo ds -> Chain es -> PipelineViewportStateCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineViewportStateCreateInfo e => b) -> Maybe b Source #
Extensible PipelineVertexInputStateCreateInfo Source #
Instance details Defined in Vulkan.Core10.Pipeline Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PipelineVertexInputStateCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PipelineVertexInputStateCreateInfo ds -> Chain es -> PipelineVertexInputStateCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineVertexInputStateCreateInfo e => b) -> Maybe b Source #
Extensible PipelineTessellationStateCreateInfo Source #
Instance details Defined in Vulkan.Core10.Pipeline Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PipelineTessellationStateCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PipelineTessellationStateCreateInfo ds -> Chain es -> PipelineTessellationStateCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineTessellationStateCreateInfo e => b) -> Maybe b Source #
Extensible PipelineShaderStageCreateInfo Source #
Instance details Defined in Vulkan.Core10.Pipeline Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PipelineShaderStageCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PipelineShaderStageCreateInfo ds -> Chain es -> PipelineShaderStageCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineShaderStageCreateInfo e => b) -> Maybe b Source #
Extensible PipelineRasterizationStateCreateInfo Source #
Instance details Defined in Vulkan.Core10.Pipeline Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PipelineRasterizationStateCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PipelineRasterizationStateCreateInfo ds -> Chain es -> PipelineRasterizationStateCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineRasterizationStateCreateInfo e => b) -> Maybe b Source #
Extensible PipelineMultisampleStateCreateInfo Source #
Instance details Defined in Vulkan.Core10.Pipeline Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PipelineMultisampleStateCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PipelineMultisampleStateCreateInfo ds -> Chain es -> PipelineMultisampleStateCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineMultisampleStateCreateInfo e => b) -> Maybe b Source #
Extensible PipelineColorBlendStateCreateInfo Source #
Instance details Defined in Vulkan.Core10.Pipeline Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PipelineColorBlendStateCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PipelineColorBlendStateCreateInfo ds -> Chain es -> PipelineColorBlendStateCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PipelineColorBlendStateCreateInfo e => b) -> Maybe b Source #
Extensible GraphicsPipelineCreateInfo Source #
Instance details Defined in Vulkan.Core10.Pipeline Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). GraphicsPipelineCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). GraphicsPipelineCreateInfo ds -> Chain es -> GraphicsPipelineCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends GraphicsPipelineCreateInfo e => b) -> Maybe b Source #
Extensible ComputePipelineCreateInfo Source #
Instance details Defined in Vulkan.Core10.Pipeline Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). ComputePipelineCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). ComputePipelineCreateInfo ds -> Chain es -> ComputePipelineCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends ComputePipelineCreateInfo e => b) -> Maybe b Source #
Extensible QueryPoolCreateInfo Source #
Instance details Defined in Vulkan.Core10.Query Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). QueryPoolCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). QueryPoolCreateInfo ds -> Chain es -> QueryPoolCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends QueryPoolCreateInfo e => b) -> Maybe b Source #
Extensible SubmitInfo Source #
Instance details Defined in Vulkan.Core10.Queue Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). SubmitInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). SubmitInfo ds -> Chain es -> SubmitInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends SubmitInfo e => b) -> Maybe b Source #
Extensible SemaphoreCreateInfo Source #
Instance details Defined in Vulkan.Core10.QueueSemaphore Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). SemaphoreCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). SemaphoreCreateInfo ds -> Chain es -> SemaphoreCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends SemaphoreCreateInfo e => b) -> Maybe b Source #
Extensible SamplerCreateInfo Source #
Instance details Defined in Vulkan.Core10.Sampler Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). SamplerCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). SamplerCreateInfo ds -> Chain es -> SamplerCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends SamplerCreateInfo e => b) -> Maybe b Source #
Extensible ShaderModuleCreateInfo Source #
Instance details Defined in Vulkan.Core10.Shader Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). ShaderModuleCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). ShaderModuleCreateInfo ds -> Chain es -> ShaderModuleCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends ShaderModuleCreateInfo e => b) -> Maybe b Source #
Extensible BindSparseInfo Source #
Instance details Defined in Vulkan.Core10.SparseResourceMemoryManagement Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). BindSparseInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). BindSparseInfo ds -> Chain es -> BindSparseInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends BindSparseInfo e => b) -> Maybe b Source #
Extensible BindImageMemoryInfo Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_bind_memory2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). BindImageMemoryInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). BindImageMemoryInfo ds -> Chain es -> BindImageMemoryInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends BindImageMemoryInfo e => b) -> Maybe b Source #
Extensible BindBufferMemoryInfo Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_bind_memory2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). BindBufferMemoryInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). BindBufferMemoryInfo ds -> Chain es -> BindBufferMemoryInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends BindBufferMemoryInfo e => b) -> Maybe b Source #
Extensible PhysicalDeviceExternalSemaphoreInfo Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_external_semaphore_capabilities Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PhysicalDeviceExternalSemaphoreInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PhysicalDeviceExternalSemaphoreInfo ds -> Chain es -> PhysicalDeviceExternalSemaphoreInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PhysicalDeviceExternalSemaphoreInfo e => b) -> Maybe b Source #
Extensible MemoryRequirements2 Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_get_memory_requirements2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). MemoryRequirements2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). MemoryRequirements2 ds -> Chain es -> MemoryRequirements2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends MemoryRequirements2 e => b) -> Maybe b Source #
Extensible ImageMemoryRequirementsInfo2 Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_get_memory_requirements2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). ImageMemoryRequirementsInfo2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). ImageMemoryRequirementsInfo2 ds -> Chain es -> ImageMemoryRequirementsInfo2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends ImageMemoryRequirementsInfo2 e => b) -> Maybe b Source #
Extensible QueueFamilyProperties2 Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). QueueFamilyProperties2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). QueueFamilyProperties2 ds -> Chain es -> QueueFamilyProperties2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends QueueFamilyProperties2 e => b) -> Maybe b Source #
Extensible PhysicalDeviceProperties2 Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PhysicalDeviceProperties2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PhysicalDeviceProperties2 ds -> Chain es -> PhysicalDeviceProperties2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PhysicalDeviceProperties2 e => b) -> Maybe b Source #
Extensible PhysicalDeviceMemoryProperties2 Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PhysicalDeviceMemoryProperties2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PhysicalDeviceMemoryProperties2 ds -> Chain es -> PhysicalDeviceMemoryProperties2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PhysicalDeviceMemoryProperties2 e => b) -> Maybe b Source #
Extensible PhysicalDeviceImageFormatInfo2 Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PhysicalDeviceImageFormatInfo2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PhysicalDeviceImageFormatInfo2 ds -> Chain es -> PhysicalDeviceImageFormatInfo2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PhysicalDeviceImageFormatInfo2 e => b) -> Maybe b Source #
Extensible PhysicalDeviceFeatures2 Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PhysicalDeviceFeatures2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PhysicalDeviceFeatures2 ds -> Chain es -> PhysicalDeviceFeatures2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PhysicalDeviceFeatures2 e => b) -> Maybe b Source #
Extensible ImageFormatProperties2 Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). ImageFormatProperties2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). ImageFormatProperties2 ds -> Chain es -> ImageFormatProperties2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends ImageFormatProperties2 e => b) -> Maybe b Source #
Extensible FormatProperties2 Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). FormatProperties2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). FormatProperties2 ds -> Chain es -> FormatProperties2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends FormatProperties2 e => b) -> Maybe b Source #
Extensible DescriptorSetLayoutSupport Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_maintenance3 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). DescriptorSetLayoutSupport es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). DescriptorSetLayoutSupport ds -> Chain es -> DescriptorSetLayoutSupport es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends DescriptorSetLayoutSupport e => b) -> Maybe b Source #
Extensible SamplerYcbcrConversionCreateInfo Source #
Instance details Defined in Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). SamplerYcbcrConversionCreateInfo es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). SamplerYcbcrConversionCreateInfo ds -> Chain es -> SamplerYcbcrConversionCreateInfo es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends SamplerYcbcrConversionCreateInfo e => b) -> Maybe b Source #
Extensible SubpassDescription2 Source #
Instance details Defined in Vulkan.Core12.Promoted_From_VK_KHR_create_renderpass2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). SubpassDescription2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). SubpassDescription2 ds -> Chain es -> SubpassDescription2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends SubpassDescription2 e => b) -> Maybe b Source #
Extensible RenderPassCreateInfo2 Source #
Instance details Defined in Vulkan.Core12.Promoted_From_VK_KHR_create_renderpass2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). RenderPassCreateInfo2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). RenderPassCreateInfo2 ds -> Chain es -> RenderPassCreateInfo2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends RenderPassCreateInfo2 e => b) -> Maybe b Source #
Extensible AttachmentReference2 Source #
Instance details Defined in Vulkan.Core12.Promoted_From_VK_KHR_create_renderpass2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). AttachmentReference2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). AttachmentReference2 ds -> Chain es -> AttachmentReference2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends AttachmentReference2 e => b) -> Maybe b Source #
Extensible AttachmentDescription2 Source #
Instance details Defined in Vulkan.Core12.Promoted_From_VK_KHR_create_renderpass2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). AttachmentDescription2 es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). AttachmentDescription2 ds -> Chain es -> AttachmentDescription2 es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends AttachmentDescription2 e => b) -> Maybe b Source #
Extensible AndroidHardwareBufferPropertiesANDROID Source #
Instance details Defined in Vulkan.Extensions.VK_ANDROID_external_memory_android_hardware_buffer Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). AndroidHardwareBufferPropertiesANDROID es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). AndroidHardwareBufferPropertiesANDROID ds -> Chain es -> AndroidHardwareBufferPropertiesANDROID es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends AndroidHardwareBufferPropertiesANDROID e => b) -> Maybe b Source #
Extensible SurfaceCapabilities2KHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_get_surface_capabilities2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). SurfaceCapabilities2KHR es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). SurfaceCapabilities2KHR ds -> Chain es -> SurfaceCapabilities2KHR es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends SurfaceCapabilities2KHR e => b) -> Maybe b Source #
Extensible PhysicalDeviceSurfaceInfo2KHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_get_surface_capabilities2 Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PhysicalDeviceSurfaceInfo2KHR es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PhysicalDeviceSurfaceInfo2KHR ds -> Chain es -> PhysicalDeviceSurfaceInfo2KHR es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PhysicalDeviceSurfaceInfo2KHR e => b) -> Maybe b Source #
Extensible RayTracingPipelineCreateInfoKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_ray_tracing Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). RayTracingPipelineCreateInfoKHR es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). RayTracingPipelineCreateInfoKHR ds -> Chain es -> RayTracingPipelineCreateInfoKHR es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends RayTracingPipelineCreateInfoKHR e => b) -> Maybe b Source #
Extensible CopyMemoryToAccelerationStructureInfoKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_ray_tracing Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). CopyMemoryToAccelerationStructureInfoKHR es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). CopyMemoryToAccelerationStructureInfoKHR ds -> Chain es -> CopyMemoryToAccelerationStructureInfoKHR es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends CopyMemoryToAccelerationStructureInfoKHR e => b) -> Maybe b Source #
Extensible CopyAccelerationStructureToMemoryInfoKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_ray_tracing Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). CopyAccelerationStructureToMemoryInfoKHR es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). CopyAccelerationStructureToMemoryInfoKHR ds -> Chain es -> CopyAccelerationStructureToMemoryInfoKHR es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends CopyAccelerationStructureToMemoryInfoKHR e => b) -> Maybe b Source #
Extensible CopyAccelerationStructureInfoKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_ray_tracing Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). CopyAccelerationStructureInfoKHR es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). CopyAccelerationStructureInfoKHR ds -> Chain es -> CopyAccelerationStructureInfoKHR es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends CopyAccelerationStructureInfoKHR e => b) -> Maybe b Source #
Extensible AccelerationStructureBuildGeometryInfoKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_ray_tracing Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). AccelerationStructureBuildGeometryInfoKHR es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). AccelerationStructureBuildGeometryInfoKHR ds -> Chain es -> AccelerationStructureBuildGeometryInfoKHR es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends AccelerationStructureBuildGeometryInfoKHR e => b) -> Maybe b Source #
Extensible SwapchainCreateInfoKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_swapchain Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). SwapchainCreateInfoKHR es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). SwapchainCreateInfoKHR ds -> Chain es -> SwapchainCreateInfoKHR es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends SwapchainCreateInfoKHR e => b) -> Maybe b Source #
Extensible PresentInfoKHR Source #
Instance details Defined in Vulkan.Extensions.VK_KHR_swapchain Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). PresentInfoKHR es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). PresentInfoKHR ds -> Chain es -> PresentInfoKHR es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends PresentInfoKHR e => b) -> Maybe b Source #
Extensible RayTracingPipelineCreateInfoNV Source #
Instance details Defined in Vulkan.Extensions.VK_NV_ray_tracing Methods extensibleType :: StructureType Source # getNext :: forall (es :: [Type]). RayTracingPipelineCreateInfoNV es -> Chain es Source # setNext :: forall (ds :: [Type]) (es :: [Type]). RayTracingPipelineCreateInfoNV ds -> Chain es -> RayTracingPipelineCreateInfoNV es Source # extends :: forall e b proxy. Typeable e => proxy e -> (Extends RayTracingPipelineCreateInfoNV e => b) -> Maybe b Source #

pattern (::&) :: Extensible a => a es' -> Chain es -> a es infix 6 Source #

A pattern synonym to separate the head of a struct chain from the tail, use in conjunction with :& to extract several members.

Head{..} ::& () <- returningNoTail a b c
-- Equivalent to
Head{..} <- returningNoTail @'[] a b c

Head{..} ::& Foo{..} :& Bar{..} :& () <- returningWithTail a b c

myFun (Head{..} :&& Foo{..} :& ())

pattern (:&) :: e -> Chain es -> Chain (e ': es) infixr 7 Source #

View the head and tail of a Chain, see ::&

Equivalent to (,)

Eq BaseOutStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods (==) :: BaseOutStructure -> BaseOutStructure -> Bool # (/=) :: BaseOutStructure -> BaseOutStructure -> Bool #
Show BaseOutStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods showsPrec :: Int -> BaseOutStructure -> ShowS # show :: BaseOutStructure -> String # showList :: [BaseOutStructure] -> ShowS #
Generic BaseOutStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Associated Types type Rep BaseOutStructure :: Type -> Type # Methods from :: BaseOutStructure -> Rep BaseOutStructure x # to :: Rep BaseOutStructure x -> BaseOutStructure #
Storable BaseOutStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods sizeOf :: BaseOutStructure -> Int # alignment :: BaseOutStructure -> Int # peekElemOff :: Ptr BaseOutStructure -> Int -> IO BaseOutStructure # pokeElemOff :: Ptr BaseOutStructure -> Int -> BaseOutStructure -> IO () # peekByteOff :: Ptr b -> Int -> IO BaseOutStructure # pokeByteOff :: Ptr b -> Int -> BaseOutStructure -> IO () # peek :: Ptr BaseOutStructure -> IO BaseOutStructure # poke :: Ptr BaseOutStructure -> BaseOutStructure -> IO () #
FromCStruct BaseOutStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods peekCStruct :: Ptr BaseOutStructure -> IO BaseOutStructure Source #
ToCStruct BaseOutStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods withCStruct :: BaseOutStructure -> (Ptr BaseOutStructure -> IO b) -> IO b Source # pokeCStruct :: Ptr BaseOutStructure -> BaseOutStructure -> IO b -> IO b Source # withZeroCStruct :: (Ptr BaseOutStructure -> IO b) -> IO b Source # pokeZeroCStruct :: Ptr BaseOutStructure -> IO b -> IO b Source # cStructSize :: Int Source # cStructAlignment :: Int Source #
Zero BaseOutStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods zero :: BaseOutStructure Source #
type Rep BaseOutStructure Source #
Instance details Defined in Vulkan.CStruct.Extends type Rep BaseOutStructure = D1 ('MetaData "BaseOutStructure" "Vulkan.CStruct.Extends" "vulkan-3.5-inplace" 'False) (C1 ('MetaCons "BaseOutStructure" 'PrefixI 'True) (S1 ('MetaSel ('Just "sType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 StructureType) :*: S1 ('MetaSel ('Just "next") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Ptr BaseOutStructure))))

Documentation

Description

See Also

Instances

Description

See Also

Instances

Instances

Instances

Instances

Instances

BaseOutStructure
Fields sType :: StructureType `sType` is the structure type of the structure being iterated through. next :: Ptr BaseOutStructure `pNext` is `NULL` or a pointer to the next structure in a structure chain.

BaseInStructure
Fields sType :: StructureType `sType` is the structure type of the structure being iterated through. next :: Ptr BaseInStructure `pNext` is `NULL` or a pointer to the next structure in a structure chain.