-
-
Save ThreeOfTwelve/96a02a3029a76cfa8b486dd776f0cf39 to your computer and use it in GitHub Desktop.
Vulkan update diff
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/CStruct/Extends.hs b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/CStruct/Extends.hs | |
| index 9d6a42c..22b9433 100644 | |
| --- a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/CStruct/Extends.hs | |
| +++ b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/CStruct/Extends.hs | |
| @@ -433,6 +433,7 @@ import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_graphics_pipeline_library (Physic | |
| import {-# SOURCE #-} Vulkan.Core11.Promoted_From_VK_KHR_device_group_creation (PhysicalDeviceGroupProperties) | |
| import {-# SOURCE #-} Vulkan.Core12.Promoted_From_VK_EXT_host_query_reset (PhysicalDeviceHostQueryResetFeatures) | |
| import {-# SOURCE #-} Vulkan.Core11.Promoted_From_VK_KHR_external_memory_capabilities (PhysicalDeviceIDProperties) | |
| +import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_image_2d_view_of_3d (PhysicalDeviceImage2DViewOf3DFeaturesEXT) | |
| import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_image_drm_format_modifier (PhysicalDeviceImageDrmFormatModifierInfoEXT) | |
| import {-# SOURCE #-} Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2 (PhysicalDeviceImageFormatInfo2) | |
| import {-# SOURCE #-} Vulkan.Core13.Promoted_From_VK_EXT_image_robustness (PhysicalDeviceImageRobustnessFeatures) | |
| @@ -959,6 +960,7 @@ type family Extends (a :: [Type] -> Type) (b :: Type) :: Constraint where | |
| Extends DeviceCreateInfo PhysicalDeviceFragmentShadingRateFeaturesKHR = () | |
| Extends DeviceCreateInfo PhysicalDeviceShaderTerminateInvocationFeatures = () | |
| Extends DeviceCreateInfo PhysicalDeviceFragmentShadingRateEnumsFeaturesNV = () | |
| + Extends DeviceCreateInfo PhysicalDeviceImage2DViewOf3DFeaturesEXT = () | |
| Extends DeviceCreateInfo PhysicalDeviceMutableDescriptorTypeFeaturesVALVE = () | |
| Extends DeviceCreateInfo PhysicalDeviceDepthClipControlFeaturesEXT = () | |
| Extends DeviceCreateInfo PhysicalDeviceVertexInputDynamicStateFeaturesEXT = () | |
| @@ -1135,6 +1137,7 @@ type family Extends (a :: [Type] -> Type) (b :: Type) :: Constraint where | |
| Extends PhysicalDeviceFeatures2 PhysicalDeviceFragmentShadingRateFeaturesKHR = () | |
| Extends PhysicalDeviceFeatures2 PhysicalDeviceShaderTerminateInvocationFeatures = () | |
| Extends PhysicalDeviceFeatures2 PhysicalDeviceFragmentShadingRateEnumsFeaturesNV = () | |
| + Extends PhysicalDeviceFeatures2 PhysicalDeviceImage2DViewOf3DFeaturesEXT = () | |
| Extends PhysicalDeviceFeatures2 PhysicalDeviceMutableDescriptorTypeFeaturesVALVE = () | |
| Extends PhysicalDeviceFeatures2 PhysicalDeviceDepthClipControlFeaturesEXT = () | |
| Extends PhysicalDeviceFeatures2 PhysicalDeviceVertexInputDynamicStateFeaturesEXT = () | |
| @@ -1696,6 +1699,7 @@ peekChainHead ty p c = case ty of | |
| STRUCTURE_TYPE_PHYSICAL_DEVICE_FRAGMENT_SHADING_RATE_ENUMS_FEATURES_NV -> go @PhysicalDeviceFragmentShadingRateEnumsFeaturesNV | |
| STRUCTURE_TYPE_PHYSICAL_DEVICE_FRAGMENT_SHADING_RATE_ENUMS_PROPERTIES_NV -> go @PhysicalDeviceFragmentShadingRateEnumsPropertiesNV | |
| STRUCTURE_TYPE_PIPELINE_FRAGMENT_SHADING_RATE_ENUM_STATE_CREATE_INFO_NV -> go @PipelineFragmentShadingRateEnumStateCreateInfoNV | |
| + STRUCTURE_TYPE_PHYSICAL_DEVICE_IMAGE_2D_VIEW_OF_3D_FEATURES_EXT -> go @PhysicalDeviceImage2DViewOf3DFeaturesEXT | |
| STRUCTURE_TYPE_PHYSICAL_DEVICE_MUTABLE_DESCRIPTOR_TYPE_FEATURES_VALVE -> go @PhysicalDeviceMutableDescriptorTypeFeaturesVALVE | |
| STRUCTURE_TYPE_MUTABLE_DESCRIPTOR_TYPE_CREATE_INFO_VALVE -> go @MutableDescriptorTypeCreateInfoVALVE | |
| STRUCTURE_TYPE_PHYSICAL_DEVICE_DEPTH_CLIP_CONTROL_FEATURES_EXT -> go @PhysicalDeviceDepthClipControlFeaturesEXT | |
| @@ -2088,6 +2092,7 @@ infix 6 ::& | |
| {-# complete (::&) :: PhysicalDeviceFragmentShadingRateEnumsFeaturesNV #-} | |
| {-# complete (::&) :: PhysicalDeviceFragmentShadingRateEnumsPropertiesNV #-} | |
| {-# complete (::&) :: PipelineFragmentShadingRateEnumStateCreateInfoNV #-} | |
| +{-# complete (::&) :: PhysicalDeviceImage2DViewOf3DFeaturesEXT #-} | |
| {-# complete (::&) :: PhysicalDeviceMutableDescriptorTypeFeaturesVALVE #-} | |
| {-# complete (::&) :: MutableDescriptorTypeCreateInfoVALVE #-} | |
| {-# complete (::&) :: PhysicalDeviceDepthClipControlFeaturesEXT #-} | |
| diff --git a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Core10/Device.hs b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Core10/Device.hs | |
| index 4d78264..b27e14e 100644 | |
| --- a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Core10/Device.hs | |
| +++ b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Core10/Device.hs | |
| @@ -130,6 +130,7 @@ import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_fragment_shading_rate (PhysicalDe | |
| import {-# SOURCE #-} Vulkan.Extensions.VK_KHR_global_priority (PhysicalDeviceGlobalPriorityQueryFeaturesKHR) | |
| import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_graphics_pipeline_library (PhysicalDeviceGraphicsPipelineLibraryFeaturesEXT) | |
| import {-# SOURCE #-} Vulkan.Core12.Promoted_From_VK_EXT_host_query_reset (PhysicalDeviceHostQueryResetFeatures) | |
| +import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_image_2d_view_of_3d (PhysicalDeviceImage2DViewOf3DFeaturesEXT) | |
| import {-# SOURCE #-} Vulkan.Core13.Promoted_From_VK_EXT_image_robustness (PhysicalDeviceImageRobustnessFeatures) | |
| import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_image_view_min_lod (PhysicalDeviceImageViewMinLodFeaturesEXT) | |
| import {-# SOURCE #-} Vulkan.Core12.Promoted_From_VK_KHR_imageless_framebuffer (PhysicalDeviceImagelessFramebufferFeatures) | |
| @@ -408,6 +409,7 @@ instance Extensible DeviceCreateInfo where | |
| | Just Refl <- eqT @e @PhysicalDeviceVertexInputDynamicStateFeaturesEXT = Just f | |
| | Just Refl <- eqT @e @PhysicalDeviceDepthClipControlFeaturesEXT = Just f | |
| | Just Refl <- eqT @e @PhysicalDeviceMutableDescriptorTypeFeaturesVALVE = Just f | |
| + | Just Refl <- eqT @e @PhysicalDeviceImage2DViewOf3DFeaturesEXT = Just f | |
| | Just Refl <- eqT @e @PhysicalDeviceFragmentShadingRateEnumsFeaturesNV = Just f | |
| | Just Refl <- eqT @e @PhysicalDeviceShaderTerminateInvocationFeatures = Just f | |
| | Just Refl <- eqT @e @PhysicalDeviceFragmentShadingRateFeaturesKHR = Just f | |
| diff --git a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Core10/Enums/ImageCreateFlagBits.hs b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Core10/Enums/ImageCreateFlagBits.hs | |
| index 859ea49..19e6d71 100644 | |
| --- a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Core10/Enums/ImageCreateFlagBits.hs | |
| +++ b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Core10/Enums/ImageCreateFlagBits.hs | |
| @@ -7,6 +7,7 @@ module Vulkan.Core10.Enums.ImageCreateFlagBits ( ImageCreateFlags | |
| , IMAGE_CREATE_MUTABLE_FORMAT_BIT | |
| , IMAGE_CREATE_CUBE_COMPATIBLE_BIT | |
| , IMAGE_CREATE_FRAGMENT_DENSITY_MAP_OFFSET_BIT_QCOM | |
| + , IMAGE_CREATE_2D_VIEW_COMPATIBLE_BIT_EXT | |
| , IMAGE_CREATE_SUBSAMPLED_BIT_EXT | |
| , IMAGE_CREATE_SAMPLE_LOCATIONS_COMPATIBLE_DEPTH_BIT_EXT | |
| , IMAGE_CREATE_CORNER_SAMPLED_BIT_NV | |
| @@ -50,6 +51,8 @@ pattern IMAGE_CREATE_MUTABLE_FORMAT_BIT = ImageCreateFlagBits | |
| pattern IMAGE_CREATE_CUBE_COMPATIBLE_BIT = ImageCreateFlagBits 0x00000010 | |
| -- No documentation found for Nested "VkImageCreateFlagBits" "VK_IMAGE_CREATE_FRAGMENT_DENSITY_MAP_OFFSET_BIT_QCOM" | |
| pattern IMAGE_CREATE_FRAGMENT_DENSITY_MAP_OFFSET_BIT_QCOM = ImageCreateFlagBits 0x00008000 | |
| +-- No documentation found for Nested "VkImageCreateFlagBits" "VK_IMAGE_CREATE_2D_VIEW_COMPATIBLE_BIT_EXT" | |
| +pattern IMAGE_CREATE_2D_VIEW_COMPATIBLE_BIT_EXT = ImageCreateFlagBits 0x00020000 | |
| -- No documentation found for Nested "VkImageCreateFlagBits" "VK_IMAGE_CREATE_SUBSAMPLED_BIT_EXT" | |
| pattern IMAGE_CREATE_SUBSAMPLED_BIT_EXT = ImageCreateFlagBits 0x00004000 | |
| -- No documentation found for Nested "VkImageCreateFlagBits" "VK_IMAGE_CREATE_SAMPLE_LOCATIONS_COMPATIBLE_DEPTH_BIT_EXT" | |
| @@ -85,6 +88,7 @@ showTableImageCreateFlagBits = | |
| , (IMAGE_CREATE_MUTABLE_FORMAT_BIT , "MUTABLE_FORMAT_BIT") | |
| , (IMAGE_CREATE_CUBE_COMPATIBLE_BIT , "CUBE_COMPATIBLE_BIT") | |
| , (IMAGE_CREATE_FRAGMENT_DENSITY_MAP_OFFSET_BIT_QCOM, "FRAGMENT_DENSITY_MAP_OFFSET_BIT_QCOM") | |
| + , (IMAGE_CREATE_2D_VIEW_COMPATIBLE_BIT_EXT , "2D_VIEW_COMPATIBLE_BIT_EXT") | |
| , (IMAGE_CREATE_SUBSAMPLED_BIT_EXT , "SUBSAMPLED_BIT_EXT") | |
| , (IMAGE_CREATE_SAMPLE_LOCATIONS_COMPATIBLE_DEPTH_BIT_EXT, "SAMPLE_LOCATIONS_COMPATIBLE_DEPTH_BIT_EXT") | |
| , (IMAGE_CREATE_CORNER_SAMPLED_BIT_NV , "CORNER_SAMPLED_BIT_NV") | |
| diff --git a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Core10/Enums/StructureType.hs b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Core10/Enums/StructureType.hs | |
| index 914c95b..01e14b3 100644 | |
| --- a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Core10/Enums/StructureType.hs | |
| +++ b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Core10/Enums/StructureType.hs | |
| @@ -59,6 +59,7 @@ module Vulkan.Core10.Enums.StructureType (StructureType( STRUCTURE_TYPE_APPLICA | |
| , STRUCTURE_TYPE_PHYSICAL_DEVICE_PAGEABLE_DEVICE_LOCAL_MEMORY_FEATURES_EXT | |
| , STRUCTURE_TYPE_SAMPLER_BORDER_COLOR_COMPONENT_MAPPING_CREATE_INFO_EXT | |
| , STRUCTURE_TYPE_PHYSICAL_DEVICE_BORDER_COLOR_SWIZZLE_FEATURES_EXT | |
| + , STRUCTURE_TYPE_PHYSICAL_DEVICE_IMAGE_2D_VIEW_OF_3D_FEATURES_EXT | |
| , STRUCTURE_TYPE_PHYSICAL_DEVICE_MULTI_DRAW_PROPERTIES_EXT | |
| , STRUCTURE_TYPE_PHYSICAL_DEVICE_MULTI_DRAW_FEATURES_EXT | |
| , STRUCTURE_TYPE_IMAGE_VIEW_MIN_LOD_CREATE_INFO_EXT | |
| @@ -710,6 +711,8 @@ pattern STRUCTURE_TYPE_PHYSICAL_DEVICE_PAGEABLE_DEVICE_LOCAL_MEMORY_FEATURES_EXT | |
| pattern STRUCTURE_TYPE_SAMPLER_BORDER_COLOR_COMPONENT_MAPPING_CREATE_INFO_EXT = StructureType 1000411001 | |
| -- No documentation found for Nested "VkStructureType" "VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_BORDER_COLOR_SWIZZLE_FEATURES_EXT" | |
| pattern STRUCTURE_TYPE_PHYSICAL_DEVICE_BORDER_COLOR_SWIZZLE_FEATURES_EXT = StructureType 1000411000 | |
| +-- No documentation found for Nested "VkStructureType" "VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_IMAGE_2D_VIEW_OF_3D_FEATURES_EXT" | |
| +pattern STRUCTURE_TYPE_PHYSICAL_DEVICE_IMAGE_2D_VIEW_OF_3D_FEATURES_EXT = StructureType 1000393000 | |
| -- No documentation found for Nested "VkStructureType" "VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_MULTI_DRAW_PROPERTIES_EXT" | |
| pattern STRUCTURE_TYPE_PHYSICAL_DEVICE_MULTI_DRAW_PROPERTIES_EXT = StructureType 1000392001 | |
| -- No documentation found for Nested "VkStructureType" "VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_MULTI_DRAW_FEATURES_EXT" | |
| @@ -1803,6 +1806,7 @@ pattern STRUCTURE_TYPE_PHYSICAL_DEVICE_SUBGROUP_PROPERTIES = StructureType | |
| STRUCTURE_TYPE_PHYSICAL_DEVICE_PAGEABLE_DEVICE_LOCAL_MEMORY_FEATURES_EXT, | |
| STRUCTURE_TYPE_SAMPLER_BORDER_COLOR_COMPONENT_MAPPING_CREATE_INFO_EXT, | |
| STRUCTURE_TYPE_PHYSICAL_DEVICE_BORDER_COLOR_SWIZZLE_FEATURES_EXT, | |
| + STRUCTURE_TYPE_PHYSICAL_DEVICE_IMAGE_2D_VIEW_OF_3D_FEATURES_EXT, | |
| STRUCTURE_TYPE_PHYSICAL_DEVICE_MULTI_DRAW_PROPERTIES_EXT, | |
| STRUCTURE_TYPE_PHYSICAL_DEVICE_MULTI_DRAW_FEATURES_EXT, | |
| STRUCTURE_TYPE_IMAGE_VIEW_MIN_LOD_CREATE_INFO_EXT, | |
| @@ -2404,6 +2408,9 @@ showTableStructureType = | |
| , ( STRUCTURE_TYPE_PHYSICAL_DEVICE_BORDER_COLOR_SWIZZLE_FEATURES_EXT | |
| , "PHYSICAL_DEVICE_BORDER_COLOR_SWIZZLE_FEATURES_EXT" | |
| ) | |
| + , ( STRUCTURE_TYPE_PHYSICAL_DEVICE_IMAGE_2D_VIEW_OF_3D_FEATURES_EXT | |
| + , "PHYSICAL_DEVICE_IMAGE_2D_VIEW_OF_3D_FEATURES_EXT" | |
| + ) | |
| , (STRUCTURE_TYPE_PHYSICAL_DEVICE_MULTI_DRAW_PROPERTIES_EXT , "PHYSICAL_DEVICE_MULTI_DRAW_PROPERTIES_EXT") | |
| , (STRUCTURE_TYPE_PHYSICAL_DEVICE_MULTI_DRAW_FEATURES_EXT , "PHYSICAL_DEVICE_MULTI_DRAW_FEATURES_EXT") | |
| , (STRUCTURE_TYPE_IMAGE_VIEW_MIN_LOD_CREATE_INFO_EXT , "IMAGE_VIEW_MIN_LOD_CREATE_INFO_EXT") | |
| diff --git a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Core11/Promoted_From_VK_KHR_get_physical_device_properties2.hs b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Core11/Promoted_From_VK_KHR_get_physical_device_properties2.hs | |
| index 91e4a73..808bc6c 100644 | |
| --- a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Core11/Promoted_From_VK_KHR_get_physical_device_properties2.hs | |
| +++ b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Core11/Promoted_From_VK_KHR_get_physical_device_properties2.hs | |
| @@ -154,6 +154,7 @@ import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_graphics_pipeline_library (Physic | |
| import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_graphics_pipeline_library (PhysicalDeviceGraphicsPipelineLibraryPropertiesEXT) | |
| import {-# SOURCE #-} Vulkan.Core12.Promoted_From_VK_EXT_host_query_reset (PhysicalDeviceHostQueryResetFeatures) | |
| import {-# SOURCE #-} Vulkan.Core11.Promoted_From_VK_KHR_external_memory_capabilities (PhysicalDeviceIDProperties) | |
| +import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_image_2d_view_of_3d (PhysicalDeviceImage2DViewOf3DFeaturesEXT) | |
| import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_image_drm_format_modifier (PhysicalDeviceImageDrmFormatModifierInfoEXT) | |
| import {-# SOURCE #-} Vulkan.Core13.Promoted_From_VK_EXT_image_robustness (PhysicalDeviceImageRobustnessFeatures) | |
| import {-# SOURCE #-} Vulkan.Extensions.VK_EXT_filter_cubic (PhysicalDeviceImageViewImageFormatInfoEXT) | |
| @@ -520,6 +521,7 @@ instance Extensible PhysicalDeviceFeatures2 where | |
| | Just Refl <- eqT @e @PhysicalDeviceVertexInputDynamicStateFeaturesEXT = Just f | |
| | Just Refl <- eqT @e @PhysicalDeviceDepthClipControlFeaturesEXT = Just f | |
| | Just Refl <- eqT @e @PhysicalDeviceMutableDescriptorTypeFeaturesVALVE = Just f | |
| + | Just Refl <- eqT @e @PhysicalDeviceImage2DViewOf3DFeaturesEXT = Just f | |
| | Just Refl <- eqT @e @PhysicalDeviceFragmentShadingRateEnumsFeaturesNV = Just f | |
| | Just Refl <- eqT @e @PhysicalDeviceShaderTerminateInvocationFeatures = Just f | |
| | Just Refl <- eqT @e @PhysicalDeviceFragmentShadingRateFeaturesKHR = Just f | |
| diff --git a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Core13/Enums/PipelineStageFlags2.hs b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Core13/Enums/PipelineStageFlags2.hs | |
| index fddd229..f7c77af 100644 | |
| --- a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Core13/Enums/PipelineStageFlags2.hs | |
| +++ b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Core13/Enums/PipelineStageFlags2.hs | |
| @@ -140,7 +140,7 @@ pattern PIPELINE_STAGE_2_TRANSFER_BIT = PIPELINE_STAGE_2_ALL_TRANSFER_BIT_KHR | |
| -- No documentation found for TopLevel "VK_PIPELINE_STAGE_2_TRANSFER_BIT_KHR" | |
| -pattern PIPELINE_STAGE_2_TRANSFER_BIT_KHR = PIPELINE_STAGE_2_TRANSFER_BIT | |
| +pattern PIPELINE_STAGE_2_TRANSFER_BIT_KHR = PIPELINE_STAGE_2_ALL_TRANSFER_BIT | |
| -- No documentation found for TopLevel "VK_PIPELINE_STAGE_2_BOTTOM_OF_PIPE_BIT_KHR" | |
| diff --git a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Extensions/Dependencies.hs b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Extensions/Dependencies.hs | |
| index 87ba601..a00674a 100644 | |
| --- a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Extensions/Dependencies.hs | |
| +++ b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Extensions/Dependencies.hs | |
| @@ -48,6 +48,7 @@ import Vulkan.Extensions.VK_EXT_graphics_pipeline_library (pattern EXT_GRAPHICS_ | |
| import Vulkan.Extensions.VK_EXT_hdr_metadata (pattern EXT_HDR_METADATA_EXTENSION_NAME) | |
| import Vulkan.Extensions.VK_EXT_headless_surface (pattern EXT_HEADLESS_SURFACE_EXTENSION_NAME) | |
| import Vulkan.Extensions.VK_EXT_host_query_reset (pattern EXT_HOST_QUERY_RESET_EXTENSION_NAME) | |
| +import Vulkan.Extensions.VK_EXT_image_2d_view_of_3d (pattern EXT_IMAGE_2D_VIEW_OF_3D_EXTENSION_NAME) | |
| import Vulkan.Extensions.VK_EXT_image_drm_format_modifier (pattern EXT_IMAGE_DRM_FORMAT_MODIFIER_EXTENSION_NAME) | |
| import Vulkan.Extensions.VK_EXT_image_robustness (pattern EXT_IMAGE_ROBUSTNESS_EXTENSION_NAME) | |
| import Vulkan.Extensions.VK_EXT_image_view_min_lod (pattern EXT_IMAGE_VIEW_MIN_LOD_EXTENSION_NAME) | |
| @@ -613,7 +614,9 @@ extensionDependencies = \case | |
| [EXT_TRANSFORM_FEEDBACK_EXTENSION_NAME, KHR_GET_PHYSICAL_DEVICE_PROPERTIES_2_EXTENSION_NAME] | |
| EXT_GLOBAL_PRIORITY_QUERY_EXTENSION_NAME -> | |
| [EXT_GLOBAL_PRIORITY_EXTENSION_NAME, KHR_GET_PHYSICAL_DEVICE_PROPERTIES_2_EXTENSION_NAME] | |
| - EXT_IMAGE_VIEW_MIN_LOD_EXTENSION_NAME -> [KHR_GET_PHYSICAL_DEVICE_PROPERTIES_2_EXTENSION_NAME] | |
| + EXT_IMAGE_VIEW_MIN_LOD_EXTENSION_NAME -> [KHR_GET_PHYSICAL_DEVICE_PROPERTIES_2_EXTENSION_NAME] | |
| + EXT_IMAGE_2D_VIEW_OF_3D_EXTENSION_NAME -> | |
| + [KHR_MAINTENANCE_1_EXTENSION_NAME, KHR_GET_PHYSICAL_DEVICE_PROPERTIES_2_EXTENSION_NAME] | |
| EXT_BORDER_COLOR_SWIZZLE_EXTENSION_NAME -> [EXT_CUSTOM_BORDER_COLOR_EXTENSION_NAME] | |
| EXT_PAGEABLE_DEVICE_LOCAL_MEMORY_EXTENSION_NAME -> | |
| [EXT_MEMORY_PRIORITY_EXTENSION_NAME, KHR_GET_PHYSICAL_DEVICE_PROPERTIES_2_EXTENSION_NAME] | |
| diff --git a/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Extensions/VK_EXT_image_2d_view_of_3d.hs b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Extensions/VK_EXT_image_2d_view_of_3d.hs | |
| new file mode 100644 | |
| index 0000000..a4a8911 | |
| --- /dev/null | |
| +++ b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Extensions/VK_EXT_image_2d_view_of_3d.hs | |
| @@ -0,0 +1,93 @@ | |
| +{-# language CPP #-} | |
| +-- No documentation found for Chapter "VK_EXT_image_2d_view_of_3d" | |
| +module Vulkan.Extensions.VK_EXT_image_2d_view_of_3d ( PhysicalDeviceImage2DViewOf3DFeaturesEXT(..) | |
| + , EXT_IMAGE_2D_VIEW_OF_3D_SPEC_VERSION | |
| + , pattern EXT_IMAGE_2D_VIEW_OF_3D_SPEC_VERSION | |
| + , EXT_IMAGE_2D_VIEW_OF_3D_EXTENSION_NAME | |
| + , pattern EXT_IMAGE_2D_VIEW_OF_3D_EXTENSION_NAME | |
| + ) where | |
| + | |
| +import Foreign.Marshal.Alloc (allocaBytes) | |
| +import Foreign.Ptr (nullPtr) | |
| +import Foreign.Ptr (plusPtr) | |
| +import Vulkan.CStruct (FromCStruct) | |
| +import Vulkan.CStruct (FromCStruct(..)) | |
| +import Vulkan.CStruct (ToCStruct) | |
| +import Vulkan.CStruct (ToCStruct(..)) | |
| +import Vulkan.Zero (Zero(..)) | |
| +import Data.String (IsString) | |
| +import Data.Typeable (Typeable) | |
| +import Foreign.Storable (Storable) | |
| +import Foreign.Storable (Storable(peek)) | |
| +import Foreign.Storable (Storable(poke)) | |
| +import qualified Foreign.Storable (Storable(..)) | |
| +import GHC.Generics (Generic) | |
| +import Foreign.Ptr (Ptr) | |
| +import Data.Kind (Type) | |
| +import Vulkan.Core10.FundamentalTypes (bool32ToBool) | |
| +import Vulkan.Core10.FundamentalTypes (boolToBool32) | |
| +import Vulkan.Core10.FundamentalTypes (Bool32) | |
| +import Vulkan.Core10.Enums.StructureType (StructureType) | |
| +import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_PHYSICAL_DEVICE_IMAGE_2D_VIEW_OF_3D_FEATURES_EXT)) | |
| +-- No documentation found for TopLevel "VkPhysicalDeviceImage2DViewOf3DFeaturesEXT" | |
| +data PhysicalDeviceImage2DViewOf3DFeaturesEXT = PhysicalDeviceImage2DViewOf3DFeaturesEXT | |
| + { -- No documentation found for Nested "VkPhysicalDeviceImage2DViewOf3DFeaturesEXT" "image2DViewOf3D" | |
| + image2DViewOf3D :: Bool | |
| + , -- No documentation found for Nested "VkPhysicalDeviceImage2DViewOf3DFeaturesEXT" "sampler2DViewOf3D" | |
| + sampler2DViewOf3D :: Bool | |
| + } | |
| + deriving (Typeable, Eq) | |
| +#if defined(GENERIC_INSTANCES) | |
| +deriving instance Generic (PhysicalDeviceImage2DViewOf3DFeaturesEXT) | |
| +#endif | |
| +deriving instance Show PhysicalDeviceImage2DViewOf3DFeaturesEXT | |
| + | |
| +instance ToCStruct PhysicalDeviceImage2DViewOf3DFeaturesEXT where | |
| + withCStruct x f = allocaBytes 24 $ \p -> pokeCStruct p x (f p) | |
| + pokeCStruct p PhysicalDeviceImage2DViewOf3DFeaturesEXT{..} f = do | |
| + poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PHYSICAL_DEVICE_IMAGE_2D_VIEW_OF_3D_FEATURES_EXT) | |
| + poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr) | |
| + poke ((p `plusPtr` 16 :: Ptr Bool32)) (boolToBool32 (image2DViewOf3D)) | |
| + poke ((p `plusPtr` 20 :: Ptr Bool32)) (boolToBool32 (sampler2DViewOf3D)) | |
| + f | |
| + cStructSize = 24 | |
| + cStructAlignment = 8 | |
| + pokeZeroCStruct p f = do | |
| + poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_PHYSICAL_DEVICE_IMAGE_2D_VIEW_OF_3D_FEATURES_EXT) | |
| + poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr) | |
| + poke ((p `plusPtr` 16 :: Ptr Bool32)) (boolToBool32 (zero)) | |
| + poke ((p `plusPtr` 20 :: Ptr Bool32)) (boolToBool32 (zero)) | |
| + f | |
| + | |
| +instance FromCStruct PhysicalDeviceImage2DViewOf3DFeaturesEXT where | |
| + peekCStruct p = do | |
| + image2DViewOf3D <- peek @Bool32 ((p `plusPtr` 16 :: Ptr Bool32)) | |
| + sampler2DViewOf3D <- peek @Bool32 ((p `plusPtr` 20 :: Ptr Bool32)) | |
| + pure $ PhysicalDeviceImage2DViewOf3DFeaturesEXT | |
| + (bool32ToBool image2DViewOf3D) (bool32ToBool sampler2DViewOf3D) | |
| + | |
| +instance Storable PhysicalDeviceImage2DViewOf3DFeaturesEXT where | |
| + sizeOf ~_ = 24 | |
| + alignment ~_ = 8 | |
| + peek = peekCStruct | |
| + poke ptr poked = pokeCStruct ptr poked (pure ()) | |
| + | |
| +instance Zero PhysicalDeviceImage2DViewOf3DFeaturesEXT where | |
| + zero = PhysicalDeviceImage2DViewOf3DFeaturesEXT | |
| + zero | |
| + zero | |
| + | |
| + | |
| +type EXT_IMAGE_2D_VIEW_OF_3D_SPEC_VERSION = 1 | |
| + | |
| +-- No documentation found for TopLevel "VK_EXT_IMAGE_2D_VIEW_OF_3D_SPEC_VERSION" | |
| +pattern EXT_IMAGE_2D_VIEW_OF_3D_SPEC_VERSION :: forall a . Integral a => a | |
| +pattern EXT_IMAGE_2D_VIEW_OF_3D_SPEC_VERSION = 1 | |
| + | |
| + | |
| +type EXT_IMAGE_2D_VIEW_OF_3D_EXTENSION_NAME = "VK_EXT_image_2d_view_of_3d" | |
| + | |
| +-- No documentation found for TopLevel "VK_EXT_IMAGE_2D_VIEW_OF_3D_EXTENSION_NAME" | |
| +pattern EXT_IMAGE_2D_VIEW_OF_3D_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a | |
| +pattern EXT_IMAGE_2D_VIEW_OF_3D_EXTENSION_NAME = "VK_EXT_image_2d_view_of_3d" | |
| + | |
| diff --git a/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Extensions/VK_EXT_image_2d_view_of_3d.hs-boot b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Extensions/VK_EXT_image_2d_view_of_3d.hs-boot | |
| new file mode 100644 | |
| index 0000000..33d7220 | |
| --- /dev/null | |
| +++ b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Extensions/VK_EXT_image_2d_view_of_3d.hs-boot | |
| @@ -0,0 +1,15 @@ | |
| +{-# language CPP #-} | |
| +-- No documentation found for Chapter "VK_EXT_image_2d_view_of_3d" | |
| +module Vulkan.Extensions.VK_EXT_image_2d_view_of_3d (PhysicalDeviceImage2DViewOf3DFeaturesEXT) where | |
| + | |
| +import Vulkan.CStruct (FromCStruct) | |
| +import Vulkan.CStruct (ToCStruct) | |
| +import Data.Kind (Type) | |
| + | |
| +data PhysicalDeviceImage2DViewOf3DFeaturesEXT | |
| + | |
| +instance ToCStruct PhysicalDeviceImage2DViewOf3DFeaturesEXT | |
| +instance Show PhysicalDeviceImage2DViewOf3DFeaturesEXT | |
| + | |
| +instance FromCStruct PhysicalDeviceImage2DViewOf3DFeaturesEXT | |
| + | |
| diff --git a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Extensions.hs b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Extensions.hs | |
| index 400d9e3..571026d 100644 | |
| --- a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Extensions.hs | |
| +++ b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Extensions.hs | |
| @@ -65,6 +65,7 @@ module Vulkan.Extensions ( module Vulkan.Extensions.Dependencies | |
| , module Vulkan.Extensions.VK_EXT_hdr_metadata | |
| , module Vulkan.Extensions.VK_EXT_headless_surface | |
| , module Vulkan.Extensions.VK_EXT_host_query_reset | |
| + , module Vulkan.Extensions.VK_EXT_image_2d_view_of_3d | |
| , module Vulkan.Extensions.VK_EXT_image_drm_format_modifier | |
| , module Vulkan.Extensions.VK_EXT_image_robustness | |
| , module Vulkan.Extensions.VK_EXT_image_view_min_lod | |
| @@ -337,6 +338,7 @@ import Vulkan.Extensions.VK_EXT_graphics_pipeline_library | |
| import Vulkan.Extensions.VK_EXT_hdr_metadata | |
| import Vulkan.Extensions.VK_EXT_headless_surface | |
| import Vulkan.Extensions.VK_EXT_host_query_reset | |
| +import Vulkan.Extensions.VK_EXT_image_2d_view_of_3d | |
| import Vulkan.Extensions.VK_EXT_image_drm_format_modifier | |
| import Vulkan.Extensions.VK_EXT_image_robustness | |
| import Vulkan.Extensions.VK_EXT_image_view_min_lod | |
| diff --git a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Version.hs b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Version.hs | |
| index 615c53f..60df5ce 100644 | |
| --- a/nix/store/hj4q09b8nm8a9aqafx7lc9a8vmz1n9ac-vulkan-gen/Vulkan/Version.hs | |
| +++ b/nix/store/jjj01pgq8z8m6k3gj3vq6giw1177naks-vulkan-gen/Vulkan/Version.hs | |
| @@ -19,11 +19,11 @@ import Data.Bits (shiftR) | |
| import Data.Word (Word32) | |
| pattern HEADER_VERSION :: Word32 | |
| -pattern HEADER_VERSION = 210 | |
| +pattern HEADER_VERSION = 211 | |
| pattern HEADER_VERSION_COMPLETE :: Word32 | |
| -pattern HEADER_VERSION_COMPLETE = MAKE_API_VERSION 1 3 210 | |
| +pattern HEADER_VERSION_COMPLETE = MAKE_API_VERSION 1 3 211 | |
| pattern MAKE_API_VERSION :: Word32 -> Word32 -> Word32 -> Word32 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment