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
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.

Show BaseInStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods showsPrec :: Int -> BaseInStructure -> ShowS # show :: BaseInStructure -> String # showList :: [BaseInStructure] -> ShowS #
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 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 (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 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 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 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 #
Instance details Defined in Vulkan.CStruct.Extends Methods zero :: SomeStruct a Source #

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 #

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

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

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

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 (,)

Show BaseOutStructure Source #
Instance details Defined in Vulkan.CStruct.Extends Methods showsPrec :: Int -> BaseOutStructure -> ShowS # show :: BaseOutStructure -> String # showList :: [BaseOutStructure] -> ShowS #
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 #

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.