Safe Haskell	None
Language	Haskell2010

Vulkan.Extensions.VK_VALVE_fragment_density_map_layered

Description

Name

VK_VALVE_fragment_density_map_layered - device extension

VK_VALVE_fragment_density_map_layered

Name String: VK_VALVE_fragment_density_map_layered

Extension Type: Device extension
Registered Extension Number: 612
Revision: 1
Ratification Status: Not ratified
Extension and Version Dependencies

VK_KHR_maintenance5 or

Vulkan Version 1.4 and VK_EXT_fragment_density_map

Contact

Connor Abbott @cwabbott0%0A*Here describe the issue or question you have about the VK_VALVE_fragment_density_map_layered extension*

Other Extension Metadata

Last Modified Date: 2025-06-06

Interactions and External Dependencies

Interacts with Vulkan 1.1.
Interacts with Vulkan 1.3.
Interacts with Vulkan 1.4.
Interacts with VK_EXT_fragment_density_map.

IP Status

No known IP claims.

Contributors

Connor Abbott, VALVE
Mike Blumenkrantz, VALVE

Description

This extension enables the use of layered fragment density maps.

New Structures

Extending GraphicsPipelineCreateInfo:
- PipelineFragmentDensityMapLayeredCreateInfoVALVE

Extending PhysicalDeviceFeatures2, DeviceCreateInfo:
- PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE
Extending PhysicalDeviceProperties2:
- PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE

New Enum Constants

VALVE_FRAGMENT_DENSITY_MAP_LAYERED_EXTENSION_NAME

Version History

Revision 1, 2025-06-06 (Mike Blumenkrantz)
- Initial version

Document Notes

For more information, see the Vulkan Specification.

This page is a generated document. Fixes and changes should be made to the generator scripts, not directly.

Synopsis

data PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE = PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE {
- maxFragmentDensityMapLayers :: Word32
}
data PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE = PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE {
- fragmentDensityMapLayered :: Bool
}
data PipelineFragmentDensityMapLayeredCreateInfoVALVE = PipelineFragmentDensityMapLayeredCreateInfoVALVE {
- maxFragmentDensityMapLayers :: Word32
}
type VALVE_FRAGMENT_DENSITY_MAP_LAYERED_SPEC_VERSION = 1
pattern VALVE_FRAGMENT_DENSITY_MAP_LAYERED_SPEC_VERSION :: Integral a => a
type VALVE_FRAGMENT_DENSITY_MAP_LAYERED_EXTENSION_NAME = "VK_VALVE_fragment_density_map_layered"
pattern VALVE_FRAGMENT_DENSITY_MAP_LAYERED_EXTENSION_NAME :: (Eq a, IsString a) => a

Documentation

data PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE Source #

VkPhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE - Structure describing fragment density map layered properties that can be supported by an implementation

Description

If the PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE structure is included in the pNext chain of the PhysicalDeviceProperties2 structure passed to getPhysicalDeviceProperties2, it is filled in with each corresponding implementation-dependent property.

Valid Usage (Implicit)

Eq PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods (==) :: PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> Bool # (/=) :: PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> Bool #
Storable PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods sizeOf :: PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> Int # alignment :: PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> Int # peekElemOff :: Ptr PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> Int -> IO PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE # pokeElemOff :: Ptr PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> Int -> PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> IO () # peekByteOff :: Ptr b -> Int -> IO PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE # pokeByteOff :: Ptr b -> Int -> PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> IO () # peek :: Ptr PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> IO PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE # poke :: Ptr PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> IO () #
Show PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods showsPrec :: Int -> PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> ShowS # show :: PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> String # showList :: [PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE] -> ShowS #
FromCStruct PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods peekCStruct :: Ptr PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> IO PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE Source #
ToCStruct PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods withCStruct :: PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> (Ptr PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> IO b) -> IO b Source # pokeCStruct :: Ptr PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> IO b -> IO b Source # withZeroCStruct :: (Ptr PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> IO b) -> IO b Source # pokeZeroCStruct :: Ptr PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE -> IO b -> IO b Source # cStructSize :: Int Source # cStructAlignment :: Int Source #
Zero PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods zero :: PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE Source #

data PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE Source #

VkPhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE - Structure describing additional layered fragment density map features that can be supported by an implementation

Members

This structure describes the following feature:

Description

If the PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE structure is included in the pNext chain of the PhysicalDeviceFeatures2 structure passed to getPhysicalDeviceFeatures2, it is filled in to indicate whether each corresponding feature is supported. If the application wishes to use a Device with any features described by PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE, it must add an instance of the structure, with the desired feature members set to TRUE, to the pNext chain of DeviceCreateInfo when creating the Device.

Valid Usage (Implicit)

Eq PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods (==) :: PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> Bool # (/=) :: PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> Bool #
Storable PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods sizeOf :: PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> Int # alignment :: PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> Int # peekElemOff :: Ptr PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> Int -> IO PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE # pokeElemOff :: Ptr PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> Int -> PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> IO () # peekByteOff :: Ptr b -> Int -> IO PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE # pokeByteOff :: Ptr b -> Int -> PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> IO () # peek :: Ptr PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> IO PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE # poke :: Ptr PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> IO () #
Show PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods showsPrec :: Int -> PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> ShowS # show :: PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> String # showList :: [PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE] -> ShowS #
FromCStruct PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods peekCStruct :: Ptr PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> IO PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE Source #
ToCStruct PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods withCStruct :: PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> (Ptr PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> IO b) -> IO b Source # pokeCStruct :: Ptr PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> IO b -> IO b Source # withZeroCStruct :: (Ptr PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> IO b) -> IO b Source # pokeZeroCStruct :: Ptr PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE -> IO b -> IO b Source # cStructSize :: Int Source # cStructAlignment :: Int Source #
Zero PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods zero :: PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE Source #

data PipelineFragmentDensityMapLayeredCreateInfoVALVE Source #

VkPipelineFragmentDensityMapLayeredCreateInfoVALVE - Structure specifying layered fragment density map info

Valid Usage (Implicit)

Eq PipelineFragmentDensityMapLayeredCreateInfoVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods (==) :: PipelineFragmentDensityMapLayeredCreateInfoVALVE -> PipelineFragmentDensityMapLayeredCreateInfoVALVE -> Bool # (/=) :: PipelineFragmentDensityMapLayeredCreateInfoVALVE -> PipelineFragmentDensityMapLayeredCreateInfoVALVE -> Bool #
Storable PipelineFragmentDensityMapLayeredCreateInfoVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods sizeOf :: PipelineFragmentDensityMapLayeredCreateInfoVALVE -> Int # alignment :: PipelineFragmentDensityMapLayeredCreateInfoVALVE -> Int # peekElemOff :: Ptr PipelineFragmentDensityMapLayeredCreateInfoVALVE -> Int -> IO PipelineFragmentDensityMapLayeredCreateInfoVALVE # pokeElemOff :: Ptr PipelineFragmentDensityMapLayeredCreateInfoVALVE -> Int -> PipelineFragmentDensityMapLayeredCreateInfoVALVE -> IO () # peekByteOff :: Ptr b -> Int -> IO PipelineFragmentDensityMapLayeredCreateInfoVALVE # pokeByteOff :: Ptr b -> Int -> PipelineFragmentDensityMapLayeredCreateInfoVALVE -> IO () # peek :: Ptr PipelineFragmentDensityMapLayeredCreateInfoVALVE -> IO PipelineFragmentDensityMapLayeredCreateInfoVALVE # poke :: Ptr PipelineFragmentDensityMapLayeredCreateInfoVALVE -> PipelineFragmentDensityMapLayeredCreateInfoVALVE -> IO () #
Show PipelineFragmentDensityMapLayeredCreateInfoVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods showsPrec :: Int -> PipelineFragmentDensityMapLayeredCreateInfoVALVE -> ShowS # show :: PipelineFragmentDensityMapLayeredCreateInfoVALVE -> String # showList :: [PipelineFragmentDensityMapLayeredCreateInfoVALVE] -> ShowS #
FromCStruct PipelineFragmentDensityMapLayeredCreateInfoVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods peekCStruct :: Ptr PipelineFragmentDensityMapLayeredCreateInfoVALVE -> IO PipelineFragmentDensityMapLayeredCreateInfoVALVE Source #
ToCStruct PipelineFragmentDensityMapLayeredCreateInfoVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods withCStruct :: PipelineFragmentDensityMapLayeredCreateInfoVALVE -> (Ptr PipelineFragmentDensityMapLayeredCreateInfoVALVE -> IO b) -> IO b Source # pokeCStruct :: Ptr PipelineFragmentDensityMapLayeredCreateInfoVALVE -> PipelineFragmentDensityMapLayeredCreateInfoVALVE -> IO b -> IO b Source # withZeroCStruct :: (Ptr PipelineFragmentDensityMapLayeredCreateInfoVALVE -> IO b) -> IO b Source # pokeZeroCStruct :: Ptr PipelineFragmentDensityMapLayeredCreateInfoVALVE -> IO b -> IO b Source # cStructSize :: Int Source # cStructAlignment :: Int Source #
Zero PipelineFragmentDensityMapLayeredCreateInfoVALVE Source #
Instance details Defined in Vulkan.Extensions.VK_VALVE_fragment_density_map_layered Methods zero :: PipelineFragmentDensityMapLayeredCreateInfoVALVE Source #

type VALVE_FRAGMENT_DENSITY_MAP_LAYERED_SPEC_VERSION = 1 Source #

pattern VALVE_FRAGMENT_DENSITY_MAP_LAYERED_SPEC_VERSION :: Integral a => a Source #

type VALVE_FRAGMENT_DENSITY_MAP_LAYERED_EXTENSION_NAME = "VK_VALVE_fragment_density_map_layered" Source #

pattern VALVE_FRAGMENT_DENSITY_MAP_LAYERED_EXTENSION_NAME :: (Eq a, IsString a) => a Source #

Name

VK_VALVE_fragment_density_map_layered

Other Extension Metadata

Description

New Structures

New Enum Constants

Version History

See Also

Document Notes

Documentation

Description

Valid Usage (Implicit)

See Also

Instances

Members

Description

Valid Usage (Implicit)

See Also

Instances

Valid Usage (Implicit)

See Also

Instances

PhysicalDeviceFragmentDensityMapLayeredPropertiesVALVE
Fields maxFragmentDensityMapLayers :: Word32 `maxFragmentDensityMapLayers` is the maximum number of layers to use with a layered fragment density map.

PhysicalDeviceFragmentDensityMapLayeredFeaturesVALVE
Fields fragmentDensityMapLayered :: Bool `fragmentDensityMapLayered` specifies whether the implementation supports layered fragment density maps.

PipelineFragmentDensityMapLayeredCreateInfoVALVE
Fields maxFragmentDensityMapLayers :: Word32 `maxFragmentDensityMapLayers` is the maximum number of layers which can be used with a fragment density map. `maxFragmentDensityMapLayers` must be less than or equal to maxFragmentDensityMapLayers