Safe Haskell	None
Language	Haskell2010

Vulkan.Extensions.VK_EXT_validation_features

Synopsis

data ValidationFeaturesEXT = ValidationFeaturesEXT {
- enabledValidationFeatures :: Vector ValidationFeatureEnableEXT
- disabledValidationFeatures :: Vector ValidationFeatureDisableEXT
}
newtype ValidationFeatureEnableEXT where
newtype ValidationFeatureDisableEXT where
- ValidationFeatureDisableEXT Int32
- pattern VALIDATION_FEATURE_DISABLE_ALL_EXT :: ValidationFeatureDisableEXT
- pattern VALIDATION_FEATURE_DISABLE_SHADERS_EXT :: ValidationFeatureDisableEXT
- pattern VALIDATION_FEATURE_DISABLE_THREAD_SAFETY_EXT :: ValidationFeatureDisableEXT
- pattern VALIDATION_FEATURE_DISABLE_API_PARAMETERS_EXT :: ValidationFeatureDisableEXT
- pattern VALIDATION_FEATURE_DISABLE_OBJECT_LIFETIMES_EXT :: ValidationFeatureDisableEXT
- pattern VALIDATION_FEATURE_DISABLE_CORE_CHECKS_EXT :: ValidationFeatureDisableEXT
- pattern VALIDATION_FEATURE_DISABLE_UNIQUE_HANDLES_EXT :: ValidationFeatureDisableEXT
type EXT_VALIDATION_FEATURES_SPEC_VERSION = 4
pattern EXT_VALIDATION_FEATURES_SPEC_VERSION :: forall a. Integral a => a
type EXT_VALIDATION_FEATURES_EXTENSION_NAME = "VK_EXT_validation_features"
pattern EXT_VALIDATION_FEATURES_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a

Documentation

data ValidationFeaturesEXT Source #

VkValidationFeaturesEXT - Specify validation features to enable or disable for a Vulkan instance

Valid Usage

If the pEnabledValidationFeatures array contains VALIDATION_FEATURE_ENABLE_GPU_ASSISTED_RESERVE_BINDING_SLOT_EXT, then it must also contain VALIDATION_FEATURE_ENABLE_GPU_ASSISTED_EXT

If the pEnabledValidationFeatures array contains VALIDATION_FEATURE_ENABLE_DEBUG_PRINTF_EXT, then it must not contain VALIDATION_FEATURE_ENABLE_GPU_ASSISTED_EXT

Valid Usage (Implicit)

sType must be STRUCTURE_TYPE_VALIDATION_FEATURES_EXT

If enabledValidationFeatureCount is not 0, pEnabledValidationFeatures must be a valid pointer to an array of enabledValidationFeatureCount valid ValidationFeatureEnableEXT values
If disabledValidationFeatureCount is not 0, pDisabledValidationFeatures must be a valid pointer to an array of disabledValidationFeatureCount valid ValidationFeatureDisableEXT values

pattern VALIDATION_FEATURE_ENABLE_GPU_ASSISTED_EXT :: ValidationFeatureEnableEXT	`VALIDATION_FEATURE_ENABLE_GPU_ASSISTED_EXT` specifies that GPU-assisted validation is enabled. Activating this feature instruments shader programs to generate additional diagnostic data. This feature is disabled by default.
pattern VALIDATION_FEATURE_ENABLE_GPU_ASSISTED_RESERVE_BINDING_SLOT_EXT :: ValidationFeatureEnableEXT	`VALIDATION_FEATURE_ENABLE_GPU_ASSISTED_RESERVE_BINDING_SLOT_EXT` specifies that the validation layers reserve a descriptor set binding slot for their own use. The layer reports a value for `PhysicalDeviceLimits`::`maxBoundDescriptorSets` that is one less than the value reported by the device. If the device supports the binding of only one descriptor set, the validation layer does not perform GPU-assisted validation. This feature is disabled by default.
pattern VALIDATION_FEATURE_ENABLE_BEST_PRACTICES_EXT :: ValidationFeatureEnableEXT	`VALIDATION_FEATURE_ENABLE_BEST_PRACTICES_EXT` specifies that Vulkan best-practices validation is enabled. Activating this feature enables the output of warnings related to common misuse of the API, but which are not explicitly prohibited by the specification. This feature is disabled by default.
pattern VALIDATION_FEATURE_ENABLE_DEBUG_PRINTF_EXT :: ValidationFeatureEnableEXT	`VALIDATION_FEATURE_ENABLE_DEBUG_PRINTF_EXT` specifies that the layers will process `debugPrintfEXT` operations in shaders and send the resulting output to the debug callback. This feature is disabled by default.
pattern VALIDATION_FEATURE_ENABLE_SYNCHRONIZATION_VALIDATION_EXT :: ValidationFeatureEnableEXT	`VALIDATION_FEATURE_ENABLE_SYNCHRONIZATION_VALIDATION_EXT` specifies that Vulkan synchronization validation is enabled. This feature reports resource access conflicts due to missing or incorrect synchronization operations between actions (Draw, Copy, Dispatch, Blit) reading or writing the same regions of memory. This feature is disabled by default.

Instances

Instances details

Eq ValidationFeatureEnableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods (==) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool # (/=) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool #
Ord ValidationFeatureEnableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods compare :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Ordering # (<) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool # (<=) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool # (>) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool # (>=) :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> Bool # max :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT # min :: ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT #
Read ValidationFeatureEnableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods readsPrec :: Int -> ReadS ValidationFeatureEnableEXT # readList :: ReadS [ValidationFeatureEnableEXT] # readPrec :: ReadPrec ValidationFeatureEnableEXT # readListPrec :: ReadPrec [ValidationFeatureEnableEXT] #
Show ValidationFeatureEnableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods showsPrec :: Int -> ValidationFeatureEnableEXT -> ShowS # show :: ValidationFeatureEnableEXT -> String # showList :: [ValidationFeatureEnableEXT] -> ShowS #
Storable ValidationFeatureEnableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods sizeOf :: ValidationFeatureEnableEXT -> Int # alignment :: ValidationFeatureEnableEXT -> Int # peekElemOff :: Ptr ValidationFeatureEnableEXT -> Int -> IO ValidationFeatureEnableEXT # pokeElemOff :: Ptr ValidationFeatureEnableEXT -> Int -> ValidationFeatureEnableEXT -> IO () # peekByteOff :: Ptr b -> Int -> IO ValidationFeatureEnableEXT # pokeByteOff :: Ptr b -> Int -> ValidationFeatureEnableEXT -> IO () # peek :: Ptr ValidationFeatureEnableEXT -> IO ValidationFeatureEnableEXT # poke :: Ptr ValidationFeatureEnableEXT -> ValidationFeatureEnableEXT -> IO () #
Zero ValidationFeatureEnableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods zero :: ValidationFeatureEnableEXT Source #

newtype ValidationFeatureDisableEXT Source #

VkValidationFeatureDisableEXT - Specify validation features to disable

pattern VALIDATION_FEATURE_DISABLE_ALL_EXT :: ValidationFeatureDisableEXT	`VALIDATION_FEATURE_DISABLE_ALL_EXT` specifies that all validation checks are disabled.
pattern VALIDATION_FEATURE_DISABLE_SHADERS_EXT :: ValidationFeatureDisableEXT	`VALIDATION_FEATURE_DISABLE_SHADERS_EXT` specifies that shader validation is disabled. This feature is enabled by default.
pattern VALIDATION_FEATURE_DISABLE_THREAD_SAFETY_EXT :: ValidationFeatureDisableEXT	`VALIDATION_FEATURE_DISABLE_THREAD_SAFETY_EXT` specifies that thread safety validation is disabled. This feature is enabled by default.
pattern VALIDATION_FEATURE_DISABLE_API_PARAMETERS_EXT :: ValidationFeatureDisableEXT	`VALIDATION_FEATURE_DISABLE_API_PARAMETERS_EXT` specifies that stateless parameter validation is disabled. This feature is enabled by default.
pattern VALIDATION_FEATURE_DISABLE_OBJECT_LIFETIMES_EXT :: ValidationFeatureDisableEXT	`VALIDATION_FEATURE_DISABLE_OBJECT_LIFETIMES_EXT` specifies that object lifetime validation is disabled. This feature is enabled by default.
pattern VALIDATION_FEATURE_DISABLE_CORE_CHECKS_EXT :: ValidationFeatureDisableEXT	`VALIDATION_FEATURE_DISABLE_CORE_CHECKS_EXT` specifies that core validation checks are disabled. This feature is enabled by default. If this feature is disabled, the shader validation and GPU-assisted validation features are also disabled.
pattern VALIDATION_FEATURE_DISABLE_UNIQUE_HANDLES_EXT :: ValidationFeatureDisableEXT	`VALIDATION_FEATURE_DISABLE_UNIQUE_HANDLES_EXT` specifies that protection against duplicate non-dispatchable object handles is disabled. This feature is enabled by default.

Instances

Instances details

Eq ValidationFeatureDisableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods (==) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool # (/=) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool #
Ord ValidationFeatureDisableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods compare :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Ordering # (<) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool # (<=) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool # (>) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool # (>=) :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> Bool # max :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT # min :: ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT #
Read ValidationFeatureDisableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods readsPrec :: Int -> ReadS ValidationFeatureDisableEXT # readList :: ReadS [ValidationFeatureDisableEXT] # readPrec :: ReadPrec ValidationFeatureDisableEXT # readListPrec :: ReadPrec [ValidationFeatureDisableEXT] #
Show ValidationFeatureDisableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods showsPrec :: Int -> ValidationFeatureDisableEXT -> ShowS # show :: ValidationFeatureDisableEXT -> String # showList :: [ValidationFeatureDisableEXT] -> ShowS #
Storable ValidationFeatureDisableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods sizeOf :: ValidationFeatureDisableEXT -> Int # alignment :: ValidationFeatureDisableEXT -> Int # peekElemOff :: Ptr ValidationFeatureDisableEXT -> Int -> IO ValidationFeatureDisableEXT # pokeElemOff :: Ptr ValidationFeatureDisableEXT -> Int -> ValidationFeatureDisableEXT -> IO () # peekByteOff :: Ptr b -> Int -> IO ValidationFeatureDisableEXT # pokeByteOff :: Ptr b -> Int -> ValidationFeatureDisableEXT -> IO () # peek :: Ptr ValidationFeatureDisableEXT -> IO ValidationFeatureDisableEXT # poke :: Ptr ValidationFeatureDisableEXT -> ValidationFeatureDisableEXT -> IO () #
Zero ValidationFeatureDisableEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods zero :: ValidationFeatureDisableEXT Source #

type EXT_VALIDATION_FEATURES_SPEC_VERSION = 4 Source #

pattern EXT_VALIDATION_FEATURES_SPEC_VERSION :: forall a. Integral a => a Source #

type EXT_VALIDATION_FEATURES_EXTENSION_NAME = "VK_EXT_validation_features" Source #

pattern EXT_VALIDATION_FEATURES_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a Source #

Show ValidationFeaturesEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods showsPrec :: Int -> ValidationFeaturesEXT -> ShowS # show :: ValidationFeaturesEXT -> String # showList :: [ValidationFeaturesEXT] -> ShowS #
Generic ValidationFeaturesEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Associated Types type Rep ValidationFeaturesEXT :: Type -> Type # Methods from :: ValidationFeaturesEXT -> Rep ValidationFeaturesEXT x # to :: Rep ValidationFeaturesEXT x -> ValidationFeaturesEXT #
FromCStruct ValidationFeaturesEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods peekCStruct :: Ptr ValidationFeaturesEXT -> IO ValidationFeaturesEXT Source #
ToCStruct ValidationFeaturesEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods withCStruct :: ValidationFeaturesEXT -> (Ptr ValidationFeaturesEXT -> IO b) -> IO b Source # pokeCStruct :: Ptr ValidationFeaturesEXT -> ValidationFeaturesEXT -> IO b -> IO b Source # withZeroCStruct :: (Ptr ValidationFeaturesEXT -> IO b) -> IO b Source # pokeZeroCStruct :: Ptr ValidationFeaturesEXT -> IO b -> IO b Source # cStructSize :: Int Source # cStructAlignment :: Int Source #
Zero ValidationFeaturesEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features Methods zero :: ValidationFeaturesEXT Source #
type Rep ValidationFeaturesEXT Source #
Instance details Defined in Vulkan.Extensions.VK_EXT_validation_features type Rep ValidationFeaturesEXT = D1 ('MetaData "ValidationFeaturesEXT" "Vulkan.Extensions.VK_EXT_validation_features" "vulkan-3.6.5-inplace" 'False) (C1 ('MetaCons "ValidationFeaturesEXT" 'PrefixI 'True) (S1 ('MetaSel ('Just "enabledValidationFeatures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector ValidationFeatureEnableEXT)) :*: S1 ('MetaSel ('Just "disabledValidationFeatures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector ValidationFeatureDisableEXT))))

Documentation

Valid Usage

Valid Usage (Implicit)

See Also

Instances

See Also

Instances

See Also

Instances