Documentation

pattern STRUCTURE_TYPE_PHYSICAL_DEVICE_FEATURES_2_KHR :: StructureType Source #

pattern STRUCTURE_TYPE_PHYSICAL_DEVICE_PROPERTIES_2_KHR :: StructureType Source #

pattern STRUCTURE_TYPE_FORMAT_PROPERTIES_2_KHR :: StructureType Source #

pattern STRUCTURE_TYPE_IMAGE_FORMAT_PROPERTIES_2_KHR :: StructureType Source #

pattern STRUCTURE_TYPE_PHYSICAL_DEVICE_IMAGE_FORMAT_INFO_2_KHR :: StructureType Source #

pattern STRUCTURE_TYPE_QUEUE_FAMILY_PROPERTIES_2_KHR :: StructureType Source #

pattern STRUCTURE_TYPE_PHYSICAL_DEVICE_MEMORY_PROPERTIES_2_KHR :: StructureType Source #

pattern STRUCTURE_TYPE_SPARSE_IMAGE_FORMAT_PROPERTIES_2_KHR :: StructureType Source #

pattern STRUCTURE_TYPE_PHYSICAL_DEVICE_SPARSE_IMAGE_FORMAT_INFO_2_KHR :: StructureType Source #

getPhysicalDeviceFeatures2KHR :: forall (a :: [Type]) io. (Extendss PhysicalDeviceFeatures2 a, PokeChain a, PeekChain a, MonadIO io) => PhysicalDevice -> io (PhysicalDeviceFeatures2 a) Source #

getPhysicalDeviceProperties2KHR :: forall (a :: [Type]) io. (Extendss PhysicalDeviceProperties2 a, PokeChain a, PeekChain a, MonadIO io) => PhysicalDevice -> io (PhysicalDeviceProperties2 a) Source #

getPhysicalDeviceFormatProperties2KHR :: forall (a :: [Type]) io. (Extendss FormatProperties2 a, PokeChain a, PeekChain a, MonadIO io) => PhysicalDevice -> Format -> io (FormatProperties2 a) Source #

getPhysicalDeviceImageFormatProperties2KHR :: forall (a :: [Type]) (b :: [Type]) io. (Extendss PhysicalDeviceImageFormatInfo2 a, Extendss ImageFormatProperties2 b, PokeChain a, PokeChain b, PeekChain b, MonadIO io) => PhysicalDevice -> PhysicalDeviceImageFormatInfo2 a -> io (ImageFormatProperties2 b) Source #

getPhysicalDeviceQueueFamilyProperties2KHR :: forall (a :: [Type]) io. (Extendss QueueFamilyProperties2 a, PokeChain a, PeekChain a, MonadIO io) => PhysicalDevice -> io ("queueFamilyProperties" ::: Vector (QueueFamilyProperties2 a)) Source #

getPhysicalDeviceMemoryProperties2KHR :: forall (a :: [Type]) io. (Extendss PhysicalDeviceMemoryProperties2 a, PokeChain a, PeekChain a, MonadIO io) => PhysicalDevice -> io (PhysicalDeviceMemoryProperties2 a) Source #

getPhysicalDeviceSparseImageFormatProperties2KHR :: MonadIO io => PhysicalDevice -> PhysicalDeviceSparseImageFormatInfo2 -> io ("properties" ::: Vector SparseImageFormatProperties2) Source #

type PhysicalDeviceFeatures2KHR = PhysicalDeviceFeatures2 Source #

type PhysicalDeviceProperties2KHR = PhysicalDeviceProperties2 Source #

type FormatProperties2KHR = FormatProperties2 Source #

type ImageFormatProperties2KHR = ImageFormatProperties2 Source #

type PhysicalDeviceImageFormatInfo2KHR = PhysicalDeviceImageFormatInfo2 Source #

type QueueFamilyProperties2KHR = QueueFamilyProperties2 Source #

type PhysicalDeviceMemoryProperties2KHR = PhysicalDeviceMemoryProperties2 Source #

type SparseImageFormatProperties2KHR = SparseImageFormatProperties2 Source #

type PhysicalDeviceSparseImageFormatInfo2KHR = PhysicalDeviceSparseImageFormatInfo2 Source #

type KHR_GET_PHYSICAL_DEVICE_PROPERTIES_2_SPEC_VERSION = 2 Source #

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

type KHR_GET_PHYSICAL_DEVICE_PROPERTIES_2_EXTENSION_NAME = "VK_KHR_get_physical_device_properties2" Source #

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