Vulkan.CStruct.Extends

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.

See Also

VK_VERSION_1_0, BaseOutStructure, StructureType, getPhysicalDeviceQueueFamilyDataGraphEngineOperationPropertiesARM, getPipelinePropertiesEXT

VkBaseInStructure - Base structure for a read-only pointer chain

Description

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

See Also

VK_VERSION_1_0, BaseInStructure, StructureType

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)

Consume a SomeStruct value

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

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

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

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

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{..} :& ())

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

Equivalent to (,)