Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- 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 #
Instances
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 #
Instances
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 #
Instances
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
device
is a logical device associated withdisplay
.
display
is the display whose power state is modified.pDisplayPowerInfo
is an instance ofVkDisplayPowerInfoEXT
specifying the new power state ofdisplay
.
Valid Usage (Implicit)
device
must be a validVkDevice
handle
display
must be a validVkDisplayKHR
handlepDisplayPowerInfo
must be a valid pointer to a validVkDisplayPowerInfoEXT
structure
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
device
is a logical device on which the event may occur.
pDeviceEventInfo
is a pointer to an instance of theVkDeviceEventInfoEXT
structure describing the event of interest to the application.pAllocator
controls host memory allocation as described in the Memory Allocation chapter.pFence
points to a handle in which the resulting fence object is returned.
Valid Usage (Implicit)
device
must be a validVkDevice
handle
pDeviceEventInfo
must be a valid pointer to a validVkDeviceEventInfoEXT
structure- If
pAllocator
is notNULL
,pAllocator
must be a valid pointer to a validVkAllocationCallbacks
structure pFence
must be a valid pointer to aVkFence
handle
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
device
is a logical device associated withdisplay
display
is the display on which the event may occur.pDisplayEventInfo
is a pointer to an instance of theVkDisplayEventInfoEXT
structure describing the event of interest to the application.pAllocator
controls host memory allocation as described in the Memory Allocation chapter.pFence
points to a handle in which the resulting fence object is returned.
Valid Usage (Implicit)
device
must be a validVkDevice
handle
display
must be a validVkDisplayKHR
handlepDisplayEventInfo
must be a valid pointer to a validVkDisplayEventInfoEXT
structure- If
pAllocator
is notNULL
,pAllocator
must be a valid pointer to a validVkAllocationCallbacks
structure pFence
must be a valid pointer to aVkFence
handle
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
device
is theVkDevice
associated withswapchain
.
swapchain
is the swapchain from which to query the counter value.counter
is the counter to query.pCounterValue
will 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
swapchain
must have been processed by the presentation engine.
Valid Usage (Implicit)
device
must be a validVkDevice
handle
swapchain
must be a validVkSwapchainKHR
handlecounter
must be a validVkSurfaceCounterFlagBitsEXT
valuepCounterValue
must be a valid pointer to auint64_t
value- Both of
device
, andswapchain
must have been created, allocated, or retrieved from the sameVkInstance
Return Codes
[Success]
- VK_SUCCESS
[Failure]
- VK_ERROR_DEVICE_LOST
VK_ERROR_OUT_OF_DATE_KHR
See Also
data VkDisplayPowerInfoEXT Source #
VkDisplayPowerInfoEXT - Describe the power state of a display
Valid Usage (Implicit)
sType
must beVK_STRUCTURE_TYPE_DISPLAY_POWER_INFO_EXT
pNext
must beNULL
powerState
must be a validVkDisplayPowerStateEXT
value
See Also
VkDisplayPowerStateEXT
, VkStructureType
,
vkDisplayPowerControlEXT
VkDisplayPowerInfoEXT | |
|
Instances
Eq VkDisplayPowerInfoEXT Source # | |
(==) :: VkDisplayPowerInfoEXT -> VkDisplayPowerInfoEXT -> Bool # (/=) :: VkDisplayPowerInfoEXT -> VkDisplayPowerInfoEXT -> Bool # | |
Show VkDisplayPowerInfoEXT Source # | |
showsPrec :: Int -> VkDisplayPowerInfoEXT -> ShowS # show :: VkDisplayPowerInfoEXT -> String # showList :: [VkDisplayPowerInfoEXT] -> ShowS # | |
Storable VkDisplayPowerInfoEXT Source # | |
sizeOf :: VkDisplayPowerInfoEXT -> Int # alignment :: VkDisplayPowerInfoEXT -> Int # peekElemOff :: Ptr VkDisplayPowerInfoEXT -> Int -> IO VkDisplayPowerInfoEXT # pokeElemOff :: Ptr VkDisplayPowerInfoEXT -> Int -> VkDisplayPowerInfoEXT -> IO () # peekByteOff :: Ptr b -> Int -> IO VkDisplayPowerInfoEXT # pokeByteOff :: Ptr b -> Int -> VkDisplayPowerInfoEXT -> IO () # peek :: Ptr VkDisplayPowerInfoEXT -> IO VkDisplayPowerInfoEXT # poke :: Ptr VkDisplayPowerInfoEXT -> VkDisplayPowerInfoEXT -> IO () # |
data VkDeviceEventInfoEXT Source #
VkDeviceEventInfoEXT - Describe a device event to create
Valid Usage (Implicit)
sType
must beVK_STRUCTURE_TYPE_DEVICE_EVENT_INFO_EXT
pNext
must beNULL
deviceEvent
must be a validVkDeviceEventTypeEXT
value
See Also
VkDeviceEventTypeEXT
, VkStructureType
,
vkRegisterDeviceEventEXT
VkDeviceEventInfoEXT | |
|
Instances
Eq VkDeviceEventInfoEXT Source # | |
(==) :: VkDeviceEventInfoEXT -> VkDeviceEventInfoEXT -> Bool # (/=) :: VkDeviceEventInfoEXT -> VkDeviceEventInfoEXT -> Bool # | |
Show VkDeviceEventInfoEXT Source # | |
showsPrec :: Int -> VkDeviceEventInfoEXT -> ShowS # show :: VkDeviceEventInfoEXT -> String # showList :: [VkDeviceEventInfoEXT] -> ShowS # | |
Storable VkDeviceEventInfoEXT Source # | |
sizeOf :: VkDeviceEventInfoEXT -> Int # alignment :: VkDeviceEventInfoEXT -> Int # peekElemOff :: Ptr VkDeviceEventInfoEXT -> Int -> IO VkDeviceEventInfoEXT # pokeElemOff :: Ptr VkDeviceEventInfoEXT -> Int -> VkDeviceEventInfoEXT -> IO () # peekByteOff :: Ptr b -> Int -> IO VkDeviceEventInfoEXT # pokeByteOff :: Ptr b -> Int -> VkDeviceEventInfoEXT -> IO () # peek :: Ptr VkDeviceEventInfoEXT -> IO VkDeviceEventInfoEXT # poke :: Ptr VkDeviceEventInfoEXT -> VkDeviceEventInfoEXT -> IO () # |
data VkDisplayEventInfoEXT Source #
VkDisplayEventInfoEXT - Describe a display event to create
Valid Usage (Implicit)
sType
must beVK_STRUCTURE_TYPE_DISPLAY_EVENT_INFO_EXT
pNext
must beNULL
displayEvent
must be a validVkDisplayEventTypeEXT
value
See Also
VkDisplayEventTypeEXT
, VkStructureType
,
vkRegisterDisplayEventEXT
VkDisplayEventInfoEXT | |
|
Instances
Eq VkDisplayEventInfoEXT Source # | |
(==) :: VkDisplayEventInfoEXT -> VkDisplayEventInfoEXT -> Bool # (/=) :: VkDisplayEventInfoEXT -> VkDisplayEventInfoEXT -> Bool # | |
Show VkDisplayEventInfoEXT Source # | |
showsPrec :: Int -> VkDisplayEventInfoEXT -> ShowS # show :: VkDisplayEventInfoEXT -> String # showList :: [VkDisplayEventInfoEXT] -> ShowS # | |
Storable VkDisplayEventInfoEXT Source # | |
sizeOf :: VkDisplayEventInfoEXT -> Int # alignment :: VkDisplayEventInfoEXT -> Int # peekElemOff :: Ptr VkDisplayEventInfoEXT -> Int -> IO VkDisplayEventInfoEXT # pokeElemOff :: Ptr VkDisplayEventInfoEXT -> Int -> VkDisplayEventInfoEXT -> IO () # peekByteOff :: Ptr b -> Int -> IO VkDisplayEventInfoEXT # pokeByteOff :: Ptr b -> Int -> VkDisplayEventInfoEXT -> IO () # peek :: Ptr VkDisplayEventInfoEXT -> IO VkDisplayEventInfoEXT # poke :: Ptr VkDisplayEventInfoEXT -> VkDisplayEventInfoEXT -> IO () # |
data VkSwapchainCounterCreateInfoEXT Source #
VkSwapchainCounterCreateInfoEXT - Specify the surface counters desired
Valid Usage
- The bits in
surfaceCounters
must be supported byVkSwapchainCreateInfoKHR
::surface
, as reported byvkGetPhysicalDeviceSurfaceCapabilities2EXT
.
Valid Usage (Implicit)
sType
must beVK_STRUCTURE_TYPE_SWAPCHAIN_COUNTER_CREATE_INFO_EXT
surfaceCounters
must be a valid combination ofVkSurfaceCounterFlagBitsEXT
values
See Also
VkSwapchainCounterCreateInfoEXT | |
|