| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
OpenXR.Extensions.XR_KHR_win32_convert_performance_counter_time
Description
Name
XR_KHR_win32_convert_performance_counter_time - instance extension
Specification
See XR_KHR_win32_convert_performance_counter_time in the main specification for complete information.
Registered Extension Number
36
Revision
1
Extension and Version Dependencies
- Requires OpenXR 1.0
See Also
convertTimeToWin32PerformanceCounterKHR,
convertWin32PerformanceCounterToTimeKHR
Document Notes
For more information, see the OpenXR Specification
This page is a generated document. Fixes and changes should be made to the generator scripts, not directly.
Synopsis
- convertTimeToWin32PerformanceCounterKHR :: forall io. MonadIO io => Instance -> Time -> io ("performanceCounter" ::: LARGE_INTEGER)
- convertWin32PerformanceCounterToTimeKHR :: forall io. MonadIO io => Instance -> ("performanceCounter" ::: LARGE_INTEGER) -> io Time
- type KHR_win32_convert_performance_counter_time_SPEC_VERSION = 1
- pattern KHR_win32_convert_performance_counter_time_SPEC_VERSION :: forall a. Integral a => a
- type KHR_WIN32_CONVERT_PERFORMANCE_COUNTER_TIME_EXTENSION_NAME = "XR_KHR_win32_convert_performance_counter_time"
- pattern KHR_WIN32_CONVERT_PERFORMANCE_COUNTER_TIME_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
- type LARGE_INTEGER = Word64
Documentation
convertTimeToWin32PerformanceCounterKHR Source #
Arguments
| :: forall io. MonadIO io | |
| => Instance |
|
| -> Time |
|
| -> io ("performanceCounter" ::: LARGE_INTEGER) |
xrConvertTimeToWin32PerformanceCounterKHR - Convert XrTime to Win32
QueryPerformanceCounter time
Parameter Descriptions
Description
The convertTimeToWin32PerformanceCounterKHR function converts an
https://www.khronos.org/registry/OpenXR/specs/1.0/html/xrspec.html#XrTime
to time as if generated by the QueryPerformanceCounter Windows
function.
If the output performanceCounter cannot represent the input time,
the runtime must return
ERROR_TIME_INVALID.
Valid Usage (Implicit)
-
The @@ extension must be enabled prior to calling
convertTimeToWin32PerformanceCounterKHR
-
instancemust be a validInstancehandle -
performanceCountermust be a pointer to aLARGE_INTEGERvalue
Return Codes
See Also
Instance,
https://www.khronos.org/registry/OpenXR/specs/1.0/html/xrspec.html#XrTime
convertWin32PerformanceCounterToTimeKHR Source #
Arguments
| :: forall io. MonadIO io | |
| => Instance |
|
| -> ("performanceCounter" ::: LARGE_INTEGER) |
|
| -> io Time |
xrConvertWin32PerformanceCounterToTimeKHR - Convert Win32
QueryPerformanceCounter time to XrTime
Parameter Descriptions
Description
The convertWin32PerformanceCounterToTimeKHR function converts a time
stamp obtained by the QueryPerformanceCounter Windows function to the
equivalent
https://www.khronos.org/registry/OpenXR/specs/1.0/html/xrspec.html#XrTime.
If the output time cannot represent the input performanceCounter,
the runtime must return
ERROR_TIME_INVALID.
Valid Usage (Implicit)
-
The @@ extension must be enabled prior to calling
convertWin32PerformanceCounterToTimeKHR
-
instancemust be a validInstancehandle -
performanceCountermust be a pointer to a validLARGE_INTEGERvalue -
timemust be a pointer to an https://www.khronos.org/registry/OpenXR/specs/1.0/html/xrspec.html#XrTime value
Return Codes
See Also
Instance,
https://www.khronos.org/registry/OpenXR/specs/1.0/html/xrspec.html#XrTime
pattern KHR_win32_convert_performance_counter_time_SPEC_VERSION :: forall a. Integral a => a Source #
type KHR_WIN32_CONVERT_PERFORMANCE_COUNTER_TIME_EXTENSION_NAME = "XR_KHR_win32_convert_performance_counter_time" Source #
pattern KHR_WIN32_CONVERT_PERFORMANCE_COUNTER_TIME_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a Source #
type LARGE_INTEGER = Word64 Source #