Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulevulkan-3.27GHC2021

Vulkan.Requirement

4 types
2 classes

Packagevulkan-3.27
Exports6
LanguageGHC2021
LicenceBSD-3-Clause
SourceRequirement.hs

Vulkan requirements

2 declarations

datadata InstanceRequirement where

A requirement on a Vulkan Instance.

Constructors

RequireInstanceVersion :: Word32 -> InstanceRequirement
Require a minimum Vulkan instance version.
- version :: Word32
RequireInstanceLayer :: ByteString -> Word32 -> InstanceRequirement
Require a Vulkan layer.
- instanceLayerName :: ByteString
- instanceLayerMinVersion :: Word32
  The implementationVersion of the layer must meet or exceed this version
RequireInstanceExtension :: Maybe ByteString -> ByteString -> Word32 -> InstanceRequirement
Require a Vulkan instance extension.
- instanceExtensionLayerName :: Maybe ByteString
- instanceExtensionName :: ByteString
- instanceExtensionMinVersion :: Word32

datadata DeviceRequirement where

Constructors

RequireDeviceVersion :: Word32 -> DeviceRequirement
Require a minimum device version.
- version :: Word32
RequireDeviceFeature :: KnownFeatureStruct struct => ByteString -> (struct -> Bool) -> (struct -> struct) -> DeviceRequirement
Require a Vulkan physical device feature.
- featureName :: ByteString
- checkFeature :: struct -> Bool
- enableFeature :: struct -> struct
RequireDeviceProperty :: KnownPropertyStruct struct => ByteString -> (struct -> Bool) -> DeviceRequirement
Require a Vulkan physical device property.
- propertyName :: ByteString
- checkProperty :: struct -> Bool
RequireDeviceExtension :: Maybe ByteString -> ByteString -> Word32 -> DeviceRequirement
Require a Vulkan device extension.
- deviceExtensionLayerName :: Maybe ByteString
- deviceExtensionName :: ByteString
- deviceExtensionMinVersion :: Word32

Utility functionality for handling structure chains

4 declarations

classclass Typeable feat => KnownFeatureStruct feat where

A Vulkan structure that can appear in PhysicalDeviceFeatures2.

Methods

sFeatureStruct :: SFeatureStruct feat

Instances2KnownFeatureStruct

KnownFeatureStruct PhysicalDeviceFeaturesDefined in vulkan-3.27 · Vulkan.Requirement
(Typeable feat, Show feat, Extends PhysicalDeviceFeatures2 feat, Extends DeviceCreateInfo feat, Zero feat, FromCStruct feat, ToCStruct feat) => KnownFeatureStruct featDefined in vulkan-3.27 · Vulkan.Requirement

classclass Typeable prop => KnownPropertyStruct prop where

A Vulkan structure that can appear in PhysicalDeviceProperties2.

Methods

sPropertyStruct :: SPropertyStruct prop

Instances2KnownPropertyStruct

KnownPropertyStruct PhysicalDevicePropertiesDefined in vulkan-3.27 · Vulkan.Requirement
(Typeable prop, Extends PhysicalDeviceProperties2 prop, FromCStruct prop, ToCStruct prop) => KnownPropertyStruct propDefined in vulkan-3.27 · Vulkan.Requirement

datadata SFeatureStruct feat where

Singleton for a Vulkan structure that can appear in PhysicalDeviceFeatures2.

It is either PhysicalDeviceFeatures, or it Extends PhysicalDeviceFeatures2.

Constructors

BasicFeatureStruct :: SFeatureStruct PhysicalDeviceFeatures
ExtendedFeatureStruct :: (Show feat, Extends PhysicalDeviceFeatures2 feat, Extends DeviceCreateInfo feat, Zero feat, FromCStruct feat, ToCStruct feat) => SFeatureStruct feat

datadata SPropertyStruct prop where

Singleton for a Vulkan structure that can appear in PhysicalDeviceProperties2.

It is either PhysicalDeviceProperties, or it Extends PhysicalDeviceProperties2.

Constructors

BasicPropertyStruct :: SPropertyStruct PhysicalDeviceProperties
ExtendedPropertyStruct :: (Typeable prop, Extends PhysicalDeviceProperties2 prop, FromCStruct prop, ToCStruct prop) => SPropertyStruct prop