| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Graphics.Vulkan.Extensions.VK_EXT_display_control
- newtype VkDisplayPowerStateEXT = VkDisplayPowerStateEXT Int32
- pattern VK_DISPLAY_POWER_STATE_OFF_EXT :: VkDisplayPowerStateEXT
- pattern VK_DISPLAY_POWER_STATE_SUSPEND_EXT :: VkDisplayPowerStateEXT
- pattern VK_DISPLAY_POWER_STATE_ON_EXT :: VkDisplayPowerStateEXT
- newtype VkDeviceEventTypeEXT = VkDeviceEventTypeEXT Int32
- pattern VK_DEVICE_EVENT_TYPE_DISPLAY_HOTPLUG_EXT :: VkDeviceEventTypeEXT
- newtype VkDisplayEventTypeEXT = VkDisplayEventTypeEXT Int32
- pattern VK_DISPLAY_EVENT_TYPE_FIRST_PIXEL_OUT_EXT :: VkDisplayEventTypeEXT
- pattern VK_STRUCTURE_TYPE_DISPLAY_POWER_INFO_EXT :: VkStructureType
- pattern VK_STRUCTURE_TYPE_DEVICE_EVENT_INFO_EXT :: VkStructureType
- pattern VK_STRUCTURE_TYPE_DISPLAY_EVENT_INFO_EXT :: VkStructureType
- pattern VK_STRUCTURE_TYPE_SWAPCHAIN_COUNTER_CREATE_INFO_EXT :: VkStructureType
- pattern VK_EXT_DISPLAY_CONTROL_SPEC_VERSION :: Integral a => a
- pattern VK_EXT_DISPLAY_CONTROL_EXTENSION_NAME :: (Eq a, IsString a) => a
- vkDisplayPowerControlEXT :: ("device" ::: VkDevice) -> ("display" ::: VkDisplayKHR) -> ("pDisplayPowerInfo" ::: Ptr VkDisplayPowerInfoEXT) -> IO VkResult
- vkRegisterDeviceEventEXT :: ("device" ::: VkDevice) -> ("pDeviceEventInfo" ::: Ptr VkDeviceEventInfoEXT) -> ("pAllocator" ::: Ptr VkAllocationCallbacks) -> ("pFence" ::: Ptr VkFence) -> IO VkResult
- vkRegisterDisplayEventEXT :: ("device" ::: VkDevice) -> ("display" ::: VkDisplayKHR) -> ("pDisplayEventInfo" ::: Ptr VkDisplayEventInfoEXT) -> ("pAllocator" ::: Ptr VkAllocationCallbacks) -> ("pFence" ::: Ptr VkFence) -> IO VkResult
- vkGetSwapchainCounterEXT :: ("device" ::: VkDevice) -> ("swapchain" ::: VkSwapchainKHR) -> ("counter" ::: VkSurfaceCounterFlagBitsEXT) -> ("pCounterValue" ::: Ptr Word64) -> IO VkResult
- data VkDisplayPowerInfoEXT = VkDisplayPowerInfoEXT {}
- data VkDeviceEventInfoEXT = VkDeviceEventInfoEXT {}
- data VkDisplayEventInfoEXT = VkDisplayEventInfoEXT {}
- data VkSwapchainCounterCreateInfoEXT = VkSwapchainCounterCreateInfoEXT {}
Documentation
newtype VkDisplayPowerStateEXT Source #
Constructors
| VkDisplayPowerStateEXT Int32 |
pattern VK_DISPLAY_POWER_STATE_OFF_EXT :: VkDisplayPowerStateEXT Source #
VK_DISPLAY_POWER_STATE_OFF_EXT specifies that the display is powered
down.
pattern VK_DISPLAY_POWER_STATE_SUSPEND_EXT :: VkDisplayPowerStateEXT Source #
VK_DISPLAY_POWER_STATE_SUSPEND_EXT specifies that the display is put
into a low power mode, from which it may be able to transition back to
VK_DISPLAY_POWER_STATE_ON_EXT more quickly than if it were in
VK_DISPLAY_POWER_STATE_OFF_EXT. This state may be the same as
VK_DISPLAY_POWER_STATE_OFF_EXT.
pattern VK_DISPLAY_POWER_STATE_ON_EXT :: VkDisplayPowerStateEXT Source #
VK_DISPLAY_POWER_STATE_ON_EXT specifies that the display is powered
on.
newtype VkDeviceEventTypeEXT Source #
Constructors
| VkDeviceEventTypeEXT Int32 |
pattern VK_DEVICE_EVENT_TYPE_DISPLAY_HOTPLUG_EXT :: VkDeviceEventTypeEXT Source #
VK_DEVICE_EVENT_TYPE_DISPLAY_HOTPLUG_EXT specifies that the fence is
signaled when a display is plugged into or unplugged from the specified
device. Applications can use this notification to determine when they
need to re-enumerate the available displays on a device.
newtype VkDisplayEventTypeEXT Source #
Constructors
| VkDisplayEventTypeEXT Int32 |
pattern VK_DISPLAY_EVENT_TYPE_FIRST_PIXEL_OUT_EXT :: VkDisplayEventTypeEXT Source #
VK_DISPLAY_EVENT_TYPE_FIRST_PIXEL_OUT_EXT specifies that the fence is
signaled when the first pixel of the next display refresh cycle leaves
the display engine for the display.
pattern VK_EXT_DISPLAY_CONTROL_SPEC_VERSION :: Integral a => a Source #
pattern VK_EXT_DISPLAY_CONTROL_EXTENSION_NAME :: (Eq a, IsString a) => a Source #
vkDisplayPowerControlEXT :: ("device" ::: VkDevice) -> ("display" ::: VkDisplayKHR) -> ("pDisplayPowerInfo" ::: Ptr VkDisplayPowerInfoEXT) -> IO VkResult Source #
vkDisplayPowerControlEXT - Set the power state of a display
Parameters
deviceis a logical device associated withdisplay.
displayis the display whose power state is modified.pDisplayPowerInfois an instance ofVkDisplayPowerInfoEXTspecifying the new power state ofdisplay.
Description
Valid Usage (Implicit)
devicemust be a validVkDevicehandle
displaymust be a validVkDisplayKHRhandlepDisplayPowerInfomust be a valid pointer to a validVkDisplayPowerInfoEXTstructure
Return Codes
- Success
- -
VK_SUCCESS
See Also
vkRegisterDeviceEventEXT :: ("device" ::: VkDevice) -> ("pDeviceEventInfo" ::: Ptr VkDeviceEventInfoEXT) -> ("pAllocator" ::: Ptr VkAllocationCallbacks) -> ("pFence" ::: Ptr VkFence) -> IO VkResult Source #
vkRegisterDeviceEventEXT - Signal a fence when a device event occurs
Parameters
deviceis a logical device on which the event may occur.
pDeviceEventInfois a pointer to an instance of theVkDeviceEventInfoEXTstructure describing the event of interest to the application.pAllocatorcontrols host memory allocation as described in the Memory Allocation chapter.pFencepoints to a handle in which the resulting fence object is returned.
Description
Valid Usage (Implicit)
devicemust be a validVkDevicehandle
pDeviceEventInfomust be a valid pointer to a validVkDeviceEventInfoEXTstructure- If
pAllocatoris notNULL,pAllocatormust be a valid pointer to a validVkAllocationCallbacksstructure pFencemust be a valid pointer to aVkFencehandle
Return Codes
- Success
- -
VK_SUCCESS
See Also
VkAllocationCallbacks,
VkDevice,
VkDeviceEventInfoEXT, VkFence
vkRegisterDisplayEventEXT :: ("device" ::: VkDevice) -> ("display" ::: VkDisplayKHR) -> ("pDisplayEventInfo" ::: Ptr VkDisplayEventInfoEXT) -> ("pAllocator" ::: Ptr VkAllocationCallbacks) -> ("pFence" ::: Ptr VkFence) -> IO VkResult Source #
vkRegisterDisplayEventEXT - Signal a fence when a display event occurs
Parameters
deviceis a logical device associated withdisplay
displayis the display on which the event may occur.pDisplayEventInfois a pointer to an instance of theVkDisplayEventInfoEXTstructure describing the event of interest to the application.pAllocatorcontrols host memory allocation as described in the Memory Allocation chapter.pFencepoints to a handle in which the resulting fence object is returned.
Description
Valid Usage (Implicit)
devicemust be a validVkDevicehandle
displaymust be a validVkDisplayKHRhandlepDisplayEventInfomust be a valid pointer to a validVkDisplayEventInfoEXTstructure- If
pAllocatoris notNULL,pAllocatormust be a valid pointer to a validVkAllocationCallbacksstructure pFencemust be a valid pointer to aVkFencehandle
Return Codes
- Success
- -
VK_SUCCESS
See Also
VkAllocationCallbacks,
VkDevice,
VkDisplayEventInfoEXT,
VkDisplayKHR,
VkFence
vkGetSwapchainCounterEXT :: ("device" ::: VkDevice) -> ("swapchain" ::: VkSwapchainKHR) -> ("counter" ::: VkSurfaceCounterFlagBitsEXT) -> ("pCounterValue" ::: Ptr Word64) -> IO VkResult Source #
vkGetSwapchainCounterEXT - Query the current value of a surface counter
Parameters
deviceis theVkDeviceassociated withswapchain.
swapchainis the swapchain from which to query the counter value.counteris the counter to query.pCounterValuewill return the current value of the counter.
Description
If a counter is not available because the swapchain is out of date, the
implementation may return VK_ERROR_OUT_OF_DATE_KHR.
Valid Usage
- One or more present commands on
swapchainmust have been processed by the presentation engine.
Valid Usage (Implicit)
devicemust be a validVkDevicehandle
swapchainmust be a validVkSwapchainKHRhandlecountermust be a validVkSurfaceCounterFlagBitsEXTvaluepCounterValuemust be a valid pointer to auint64_tvalue- Both of
device, andswapchainmust have been created, allocated, or retrieved from the sameVkInstance
Return Codes
- Success
- -
VK_SUCCESS
- Failure
- -
VK_ERROR_DEVICE_LOSTVK_ERROR_OUT_OF_DATE_KHR
See Also
data VkDisplayPowerInfoEXT Source #
VkDisplayPowerInfoEXT - Describe the power state of a display
Description
Valid Usage (Implicit)
sTypemust beVK_STRUCTURE_TYPE_DISPLAY_POWER_INFO_EXT
pNextmust beNULLpowerStatemust be a validVkDisplayPowerStateEXTvalue
See Also
VkDisplayPowerStateEXT, VkStructureType,
vkDisplayPowerControlEXT
Constructors
| VkDisplayPowerInfoEXT | |
Fields
| |
data VkDeviceEventInfoEXT Source #
VkDeviceEventInfoEXT - Describe a device event to create
Description
Valid Usage (Implicit)
sTypemust beVK_STRUCTURE_TYPE_DEVICE_EVENT_INFO_EXT
pNextmust beNULLdeviceEventmust be a validVkDeviceEventTypeEXTvalue
See Also
VkDeviceEventTypeEXT, VkStructureType,
vkRegisterDeviceEventEXT
Constructors
| VkDeviceEventInfoEXT | |
Fields
| |
data VkDisplayEventInfoEXT Source #
VkDisplayEventInfoEXT - Describe a display event to create
Description
Valid Usage (Implicit)
sTypemust beVK_STRUCTURE_TYPE_DISPLAY_EVENT_INFO_EXT
pNextmust beNULLdisplayEventmust be a validVkDisplayEventTypeEXTvalue
See Also
VkDisplayEventTypeEXT, VkStructureType,
vkRegisterDisplayEventEXT
Constructors
| VkDisplayEventInfoEXT | |
Fields
| |
data VkSwapchainCounterCreateInfoEXT Source #
VkSwapchainCounterCreateInfoEXT - Specify the surface counters desired
Description
Valid Usage
- The bits in
surfaceCountersmust be supported byVkSwapchainCreateInfoKHR::surface, as reported byvkGetPhysicalDeviceSurfaceCapabilities2EXT.
Valid Usage (Implicit)
sTypemust beVK_STRUCTURE_TYPE_SWAPCHAIN_COUNTER_CREATE_INFO_EXT
surfaceCountersmust be a valid combination ofVkSurfaceCounterFlagBitsEXTvalues
See Also
Constructors
| VkSwapchainCounterCreateInfoEXT | |
Fields
| |