{-# language CPP #-}
-- No documentation found for Chapter "Result"
module Vulkan.Core10.Enums.Result  (Result( SUCCESS
                                          , NOT_READY
                                          , TIMEOUT
                                          , EVENT_SET
                                          , EVENT_RESET
                                          , INCOMPLETE
                                          , ERROR_OUT_OF_HOST_MEMORY
                                          , ERROR_OUT_OF_DEVICE_MEMORY
                                          , ERROR_INITIALIZATION_FAILED
                                          , ERROR_DEVICE_LOST
                                          , ERROR_MEMORY_MAP_FAILED
                                          , ERROR_LAYER_NOT_PRESENT
                                          , ERROR_EXTENSION_NOT_PRESENT
                                          , ERROR_FEATURE_NOT_PRESENT
                                          , ERROR_INCOMPATIBLE_DRIVER
                                          , ERROR_TOO_MANY_OBJECTS
                                          , ERROR_FORMAT_NOT_SUPPORTED
                                          , ERROR_FRAGMENTED_POOL
                                          , ERROR_UNKNOWN
                                          , ERROR_NOT_ENOUGH_SPACE_KHR
                                          , PIPELINE_BINARY_MISSING_KHR
                                          , INCOMPATIBLE_SHADER_BINARY_EXT
                                          , ERROR_COMPRESSION_EXHAUSTED_EXT
                                          , OPERATION_NOT_DEFERRED_KHR
                                          , OPERATION_DEFERRED_KHR
                                          , THREAD_DONE_KHR
                                          , THREAD_IDLE_KHR
                                          , ERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT
                                          , ERROR_PRESENT_TIMING_QUEUE_FULL_EXT
                                          , ERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT
                                          , ERROR_INVALID_SHADER_NV
                                          , ERROR_INCOMPATIBLE_DISPLAY_KHR
                                          , ERROR_OUT_OF_DATE_KHR
                                          , SUBOPTIMAL_KHR
                                          , ERROR_NATIVE_WINDOW_IN_USE_KHR
                                          , ERROR_SURFACE_LOST_KHR
                                          , ERROR_NO_PIPELINE_MATCH
                                          , ERROR_INVALID_PIPELINE_CACHE_DATA
                                          , ERROR_NOT_PERMITTED
                                          , PIPELINE_COMPILE_REQUIRED
                                          , ERROR_FRAGMENTATION
                                          , ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS
                                          , ERROR_INVALID_EXTERNAL_HANDLE
                                          , ERROR_OUT_OF_POOL_MEMORY
                                          , ERROR_VALIDATION_FAILED
                                          , ..
                                          )) where

import Vulkan.Internal.Utils (enumReadPrec)
import Vulkan.Internal.Utils (enumShowsPrec)
import GHC.Show (showsPrec)
import Vulkan.Zero (Zero)
import Foreign.Storable (Storable)
import Data.Int (Int32)
import GHC.Read (Read(readPrec))
import GHC.Show (Show(showsPrec))

-- | VkResult - Vulkan command return codes
--
-- = Description
--
-- -   'SUCCESS' Command successfully completed
--
-- -   'NOT_READY' A fence or query has not yet completed
--
-- -   'TIMEOUT' A wait operation has not completed in the specified time
--
-- -   'EVENT_SET' An event is signaled
--
-- -   'EVENT_RESET' An event is unsignaled
--
-- -   'INCOMPLETE' A return array was too small for the result
--
-- -   'SUBOPTIMAL_KHR' A swapchain no longer matches the surface
--     properties exactly, but /can/ still be used to present to the
--     surface successfully.
--
-- -   'THREAD_IDLE_KHR' A deferred operation is not complete but there is
--     currently no work for this thread to do at the time of this call.
--
-- -   'THREAD_DONE_KHR' A deferred operation is not complete but there is
--     no work remaining to assign to additional threads.
--
-- -   'OPERATION_DEFERRED_KHR' A deferred operation was requested and at
--     least some of the work was deferred.
--
-- -   'OPERATION_NOT_DEFERRED_KHR' A deferred operation was requested and
--     no operations were deferred.
--
-- -   'PIPELINE_COMPILE_REQUIRED' A requested pipeline creation would have
--     required compilation, but the application requested compilation to
--     not be performed.
--
-- -   'PIPELINE_BINARY_MISSING_KHR' The application attempted to create a
--     pipeline binary by querying an internal cache, but the internal
--     cache entry did not exist.
--
-- -   'INCOMPATIBLE_SHADER_BINARY_EXT' The provided binary shader code is
--     not compatible with this device.
--
--     In the initial version of the @VK_EXT_shader_object@ extension, this
--     return code was named
--     'Vulkan.Extensions.VK_EXT_shader_object.ERROR_INCOMPATIBLE_SHADER_BINARY_EXT'
--     and improperly described as an error code. The name has been
--     changed, but the old name is retained as an alias for compatibility
--     with old code.
--
-- -   'ERROR_OUT_OF_HOST_MEMORY' A host memory allocation has failed.
--
-- -   'ERROR_OUT_OF_DEVICE_MEMORY' A device memory allocation has failed.
--
-- -   'ERROR_INITIALIZATION_FAILED' Initialization of an object could not
--     be completed for implementation-specific reasons.
--
-- -   'ERROR_DEVICE_LOST' The logical or physical device has been lost.
--     See
--     <https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#devsandqueues-lost-device Lost Device>
--
-- -   'ERROR_MEMORY_MAP_FAILED' Mapping of a memory object has failed.
--
-- -   'ERROR_LAYER_NOT_PRESENT' A requested layer is not present or could
--     not be loaded.
--
-- -   'ERROR_EXTENSION_NOT_PRESENT' A requested extension is not
--     supported.
--
-- -   'ERROR_FEATURE_NOT_PRESENT' A requested feature is not supported.
--
-- -   'ERROR_INCOMPATIBLE_DRIVER' The requested version of Vulkan is not
--     supported by the driver or is otherwise incompatible for
--     implementation-specific reasons.
--
-- -   'ERROR_TOO_MANY_OBJECTS' Too many objects of the type have already
--     been created.
--
-- -   'ERROR_FORMAT_NOT_SUPPORTED' A requested format is not supported on
--     this device.
--
-- -   'ERROR_FRAGMENTED_POOL' A pool allocation has failed due to
--     fragmentation of the pool’s memory. This /must/ only be returned if
--     no attempt to allocate host or device memory was made to accommodate
--     the new allocation. This /should/ be returned in preference to
--     'ERROR_OUT_OF_POOL_MEMORY', but only if the implementation is
--     certain that the pool allocation failure was due to fragmentation.
--
-- -   'ERROR_SURFACE_LOST_KHR' A surface is no longer available.
--
-- -   'ERROR_NATIVE_WINDOW_IN_USE_KHR' The requested window is already in
--     use by Vulkan or another API in a manner which prevents it from
--     being used again.
--
-- -   'ERROR_OUT_OF_DATE_KHR' A surface has changed in such a way that it
--     is no longer compatible with the swapchain, and further presentation
--     requests using the swapchain will fail. Applications /must/ query
--     the new surface properties and recreate their swapchain if they wish
--     to continue presenting to the surface.
--
-- -   'ERROR_INCOMPATIBLE_DISPLAY_KHR' The display used by a swapchain
--     does not use the same presentable image layout, or is incompatible
--     in a way that prevents sharing an image.
--
-- -   'ERROR_INVALID_SHADER_NV' One or more shaders failed to compile or
--     link. More details are reported back to the application via
--     @VK_EXT_debug_report@ if enabled.
--
-- -   'ERROR_OUT_OF_POOL_MEMORY' A pool memory allocation has failed. This
--     /must/ only be returned if no attempt to allocate host or device
--     memory was made to accommodate the new allocation. If the failure
--     was definitely due to fragmentation of the pool,
--     'ERROR_FRAGMENTED_POOL' /should/ be returned instead.
--
-- -   'ERROR_INVALID_EXTERNAL_HANDLE' An external handle is not a valid
--     handle of the specified type.
--
-- -   'ERROR_FRAGMENTATION' A descriptor pool creation has failed due to
--     fragmentation.
--
-- -   'Vulkan.Extensions.VK_EXT_buffer_device_address.ERROR_INVALID_DEVICE_ADDRESS_EXT'
--     A buffer creation failed because the requested address is not
--     available.
--
-- -   'ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS' A buffer creation or memory
--     allocation failed because the requested address is not available. A
--     shader group handle assignment failed because the requested shader
--     group handle information is no longer valid.
--
-- -   'ERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT' An operation on a
--     swapchain created with
--     'Vulkan.Extensions.VK_EXT_full_screen_exclusive.FULL_SCREEN_EXCLUSIVE_APPLICATION_CONTROLLED_EXT'
--     failed as it did not have exclusive full-screen access. This /may/
--     occur due to implementation-dependent reasons, outside of the
--     application’s control.
--
-- -   'ERROR_VALIDATION_FAILED' A command failed because invalid usage was
--     detected by the implementation or a validation layer. This /may/
--     result in the command not being dispatched to the ICD.
--
-- -   'ERROR_COMPRESSION_EXHAUSTED_EXT' An image creation failed because
--     internal resources required for compression are exhausted. This
--     /must/ only be returned when fixed-rate compression is requested.
--
-- -   <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkResult VK_ERROR_IMAGE_USAGE_NOT_SUPPORTED_KHR>
--     The requested
--     'Vulkan.Core10.Enums.ImageUsageFlagBits.ImageUsageFlags' are not
--     supported.
--
-- -   <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkResult VK_ERROR_VIDEO_PICTURE_LAYOUT_NOT_SUPPORTED_KHR>
--     The requested video picture layout is not supported.
--
-- -   <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkResult VK_ERROR_VIDEO_PROFILE_OPERATION_NOT_SUPPORTED_KHR>
--     A video profile operation specified via
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkVideoProfileInfoKHR VkVideoProfileInfoKHR>::@videoCodecOperation@
--     is not supported.
--
-- -   <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkResult VK_ERROR_VIDEO_PROFILE_FORMAT_NOT_SUPPORTED_KHR>
--     Format parameters in a requested
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkVideoProfileInfoKHR VkVideoProfileInfoKHR>
--     chain are not supported.
--
-- -   <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkResult VK_ERROR_VIDEO_PROFILE_CODEC_NOT_SUPPORTED_KHR>
--     Codec-specific parameters in a requested
--     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkVideoProfileInfoKHR VkVideoProfileInfoKHR>
--     chain are not supported.
--
-- -   <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkResult VK_ERROR_VIDEO_STD_VERSION_NOT_SUPPORTED_KHR>
--     The specified video Std header version is not supported.
--
-- -   <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VkResult VK_ERROR_INVALID_VIDEO_STD_PARAMETERS_KHR>
--     The specified Video Std parameters do not adhere to the syntactic or
--     semantic requirements of the used video compression standard, or
--     values derived from parameters according to the rules defined by the
--     used video compression standard do not adhere to the capabilities of
--     the video compression standard or the implementation.
--
-- -   'ERROR_NOT_PERMITTED' The driver implementation has denied a request
--     to acquire a priority above the default priority
--     ('Vulkan.Extensions.VK_EXT_global_priority.QUEUE_GLOBAL_PRIORITY_MEDIUM_EXT')
--     because the application does not have sufficient privileges.
--
-- -   'ERROR_NOT_ENOUGH_SPACE_KHR' The application did not provide enough
--     space to return all the required data.
--
-- -   'ERROR_UNKNOWN' An unknown error has occurred; either the
--     application has provided invalid input, or an implementation failure
--     has occurred.
--
-- If a command returns a runtime error, unless otherwise specified any
-- output parameters will have undefined contents, except that if the
-- output parameter is a structure with @sType@ and @pNext@ fields, those
-- fields will be unmodified. Any structures chained from @pNext@ will also
-- have undefined contents, except that @sType@ and @pNext@ will be
-- unmodified.
--
-- @VK_ERROR_OUT_OF_*_MEMORY@ errors do not modify any currently existing
-- Vulkan objects. Objects that have already been successfully created
-- /can/ still be used by the application.
--
-- As a general rule, @Free@, @Release@, and @Reset@ commands do not return
-- 'ERROR_OUT_OF_HOST_MEMORY', while any other command with a return code
-- /may/ return it. Any exceptions from this rule are described for those
-- commands.
--
-- 'ERROR_UNKNOWN' will be returned by an implementation when an unexpected
-- error occurs that cannot be attributed to valid behavior of the
-- application and implementation. Under these conditions, it /may/ be
-- returned from any command returning a 'Result'.
--
-- 'ERROR_UNKNOWN' is not expected to ever be returned if the application
-- behavior is valid, and if the implementation is bug-free. If
-- 'ERROR_UNKNOWN' is returned, the application should be checked against
-- the latest validation layers to verify correct behavior as much as
-- possible. If no issues are identified it could be an implementation
-- issue, and the implementor should be contacted for support.
--
-- Any command returning a 'Result' /may/ return 'ERROR_VALIDATION_FAILED'
-- if a violation of valid usage is detected.
--
-- Performance-critical commands generally do not have return codes. If a
-- runtime error occurs in such commands, the implementation will defer
-- reporting the error until a specified point. For commands that record
-- into command buffers (@vkCmd*@) runtime errors are reported by
-- 'Vulkan.Core10.CommandBuffer.endCommandBuffer'.
--
-- = See Also
--
-- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_VERSION_1_0 VK_VERSION_1_0>,
-- 'Vulkan.Core14.Promoted_From_VK_KHR_maintenance6AdditionalFunctionality'.BindMemoryStatus',
-- 'Vulkan.Extensions.VK_KHR_swapchain.PresentInfoKHR'
newtype Result = Result Int32
  deriving newtype (Result -> Result -> Bool
(Result -> Result -> Bool)
-> (Result -> Result -> Bool) -> Eq Result
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Result -> Result -> Bool
== :: Result -> Result -> Bool
$c/= :: Result -> Result -> Bool
/= :: Result -> Result -> Bool
Eq, Eq Result
Eq Result =>
(Result -> Result -> Ordering)
-> (Result -> Result -> Bool)
-> (Result -> Result -> Bool)
-> (Result -> Result -> Bool)
-> (Result -> Result -> Bool)
-> (Result -> Result -> Result)
-> (Result -> Result -> Result)
-> Ord Result
Result -> Result -> Bool
Result -> Result -> Ordering
Result -> Result -> Result
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
$ccompare :: Result -> Result -> Ordering
compare :: Result -> Result -> Ordering
$c< :: Result -> Result -> Bool
< :: Result -> Result -> Bool
$c<= :: Result -> Result -> Bool
<= :: Result -> Result -> Bool
$c> :: Result -> Result -> Bool
> :: Result -> Result -> Bool
$c>= :: Result -> Result -> Bool
>= :: Result -> Result -> Bool
$cmax :: Result -> Result -> Result
max :: Result -> Result -> Result
$cmin :: Result -> Result -> Result
min :: Result -> Result -> Result
Ord, Ptr Result -> IO Result
Ptr Result -> Int -> IO Result
Ptr Result -> Int -> Result -> IO ()
Ptr Result -> Result -> IO ()
Result -> Int
(Result -> Int)
-> (Result -> Int)
-> (Ptr Result -> Int -> IO Result)
-> (Ptr Result -> Int -> Result -> IO ())
-> (forall b. Ptr b -> Int -> IO Result)
-> (forall b. Ptr b -> Int -> Result -> IO ())
-> (Ptr Result -> IO Result)
-> (Ptr Result -> Result -> IO ())
-> Storable Result
forall b. Ptr b -> Int -> IO Result
forall b. Ptr b -> Int -> Result -> IO ()
forall a.
(a -> Int)
-> (a -> Int)
-> (Ptr a -> Int -> IO a)
-> (Ptr a -> Int -> a -> IO ())
-> (forall b. Ptr b -> Int -> IO a)
-> (forall b. Ptr b -> Int -> a -> IO ())
-> (Ptr a -> IO a)
-> (Ptr a -> a -> IO ())
-> Storable a
$csizeOf :: Result -> Int
sizeOf :: Result -> Int
$calignment :: Result -> Int
alignment :: Result -> Int
$cpeekElemOff :: Ptr Result -> Int -> IO Result
peekElemOff :: Ptr Result -> Int -> IO Result
$cpokeElemOff :: Ptr Result -> Int -> Result -> IO ()
pokeElemOff :: Ptr Result -> Int -> Result -> IO ()
$cpeekByteOff :: forall b. Ptr b -> Int -> IO Result
peekByteOff :: forall b. Ptr b -> Int -> IO Result
$cpokeByteOff :: forall b. Ptr b -> Int -> Result -> IO ()
pokeByteOff :: forall b. Ptr b -> Int -> Result -> IO ()
$cpeek :: Ptr Result -> IO Result
peek :: Ptr Result -> IO Result
$cpoke :: Ptr Result -> Result -> IO ()
poke :: Ptr Result -> Result -> IO ()
Storable, Result
Result -> Zero Result
forall a. a -> Zero a
$czero :: Result
zero :: Result
Zero)

-- No documentation found for Nested "VkResult" "VK_SUCCESS"
pattern $mSUCCESS :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bSUCCESS :: Result
SUCCESS = Result 0

-- No documentation found for Nested "VkResult" "VK_NOT_READY"
pattern $mNOT_READY :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bNOT_READY :: Result
NOT_READY = Result 1

-- No documentation found for Nested "VkResult" "VK_TIMEOUT"
pattern $mTIMEOUT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bTIMEOUT :: Result
TIMEOUT = Result 2

-- No documentation found for Nested "VkResult" "VK_EVENT_SET"
pattern $mEVENT_SET :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bEVENT_SET :: Result
EVENT_SET = Result 3

-- No documentation found for Nested "VkResult" "VK_EVENT_RESET"
pattern $mEVENT_RESET :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bEVENT_RESET :: Result
EVENT_RESET = Result 4

-- No documentation found for Nested "VkResult" "VK_INCOMPLETE"
pattern $mINCOMPLETE :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bINCOMPLETE :: Result
INCOMPLETE = Result 5

-- No documentation found for Nested "VkResult" "VK_ERROR_OUT_OF_HOST_MEMORY"
pattern $mERROR_OUT_OF_HOST_MEMORY :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_OUT_OF_HOST_MEMORY :: Result
ERROR_OUT_OF_HOST_MEMORY = Result (-1)

-- No documentation found for Nested "VkResult" "VK_ERROR_OUT_OF_DEVICE_MEMORY"
pattern $mERROR_OUT_OF_DEVICE_MEMORY :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_OUT_OF_DEVICE_MEMORY :: Result
ERROR_OUT_OF_DEVICE_MEMORY = Result (-2)

-- No documentation found for Nested "VkResult" "VK_ERROR_INITIALIZATION_FAILED"
pattern $mERROR_INITIALIZATION_FAILED :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_INITIALIZATION_FAILED :: Result
ERROR_INITIALIZATION_FAILED = Result (-3)

-- No documentation found for Nested "VkResult" "VK_ERROR_DEVICE_LOST"
pattern $mERROR_DEVICE_LOST :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_DEVICE_LOST :: Result
ERROR_DEVICE_LOST = Result (-4)

-- No documentation found for Nested "VkResult" "VK_ERROR_MEMORY_MAP_FAILED"
pattern $mERROR_MEMORY_MAP_FAILED :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_MEMORY_MAP_FAILED :: Result
ERROR_MEMORY_MAP_FAILED = Result (-5)

-- No documentation found for Nested "VkResult" "VK_ERROR_LAYER_NOT_PRESENT"
pattern $mERROR_LAYER_NOT_PRESENT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_LAYER_NOT_PRESENT :: Result
ERROR_LAYER_NOT_PRESENT = Result (-6)

-- No documentation found for Nested "VkResult" "VK_ERROR_EXTENSION_NOT_PRESENT"
pattern $mERROR_EXTENSION_NOT_PRESENT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_EXTENSION_NOT_PRESENT :: Result
ERROR_EXTENSION_NOT_PRESENT = Result (-7)

-- No documentation found for Nested "VkResult" "VK_ERROR_FEATURE_NOT_PRESENT"
pattern $mERROR_FEATURE_NOT_PRESENT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_FEATURE_NOT_PRESENT :: Result
ERROR_FEATURE_NOT_PRESENT = Result (-8)

-- No documentation found for Nested "VkResult" "VK_ERROR_INCOMPATIBLE_DRIVER"
pattern $mERROR_INCOMPATIBLE_DRIVER :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_INCOMPATIBLE_DRIVER :: Result
ERROR_INCOMPATIBLE_DRIVER = Result (-9)

-- No documentation found for Nested "VkResult" "VK_ERROR_TOO_MANY_OBJECTS"
pattern $mERROR_TOO_MANY_OBJECTS :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_TOO_MANY_OBJECTS :: Result
ERROR_TOO_MANY_OBJECTS = Result (-10)

-- No documentation found for Nested "VkResult" "VK_ERROR_FORMAT_NOT_SUPPORTED"
pattern $mERROR_FORMAT_NOT_SUPPORTED :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_FORMAT_NOT_SUPPORTED :: Result
ERROR_FORMAT_NOT_SUPPORTED = Result (-11)

-- No documentation found for Nested "VkResult" "VK_ERROR_FRAGMENTED_POOL"
pattern $mERROR_FRAGMENTED_POOL :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_FRAGMENTED_POOL :: Result
ERROR_FRAGMENTED_POOL = Result (-12)

-- No documentation found for Nested "VkResult" "VK_ERROR_UNKNOWN"
pattern $mERROR_UNKNOWN :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_UNKNOWN :: Result
ERROR_UNKNOWN = Result (-13)

-- No documentation found for Nested "VkResult" "VK_ERROR_NOT_ENOUGH_SPACE_KHR"
pattern $mERROR_NOT_ENOUGH_SPACE_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_NOT_ENOUGH_SPACE_KHR :: Result
ERROR_NOT_ENOUGH_SPACE_KHR = Result (-1000483000)

-- No documentation found for Nested "VkResult" "VK_PIPELINE_BINARY_MISSING_KHR"
pattern $mPIPELINE_BINARY_MISSING_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_BINARY_MISSING_KHR :: Result
PIPELINE_BINARY_MISSING_KHR = Result 1000483000

-- No documentation found for Nested "VkResult" "VK_INCOMPATIBLE_SHADER_BINARY_EXT"
pattern $mINCOMPATIBLE_SHADER_BINARY_EXT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bINCOMPATIBLE_SHADER_BINARY_EXT :: Result
INCOMPATIBLE_SHADER_BINARY_EXT = Result 1000482000

-- No documentation found for Nested "VkResult" "VK_ERROR_COMPRESSION_EXHAUSTED_EXT"
pattern $mERROR_COMPRESSION_EXHAUSTED_EXT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_COMPRESSION_EXHAUSTED_EXT :: Result
ERROR_COMPRESSION_EXHAUSTED_EXT = Result (-1000338000)

-- No documentation found for Nested "VkResult" "VK_OPERATION_NOT_DEFERRED_KHR"
pattern $mOPERATION_NOT_DEFERRED_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bOPERATION_NOT_DEFERRED_KHR :: Result
OPERATION_NOT_DEFERRED_KHR = Result 1000268003

-- No documentation found for Nested "VkResult" "VK_OPERATION_DEFERRED_KHR"
pattern $mOPERATION_DEFERRED_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bOPERATION_DEFERRED_KHR :: Result
OPERATION_DEFERRED_KHR = Result 1000268002

-- No documentation found for Nested "VkResult" "VK_THREAD_DONE_KHR"
pattern $mTHREAD_DONE_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bTHREAD_DONE_KHR :: Result
THREAD_DONE_KHR = Result 1000268001

-- No documentation found for Nested "VkResult" "VK_THREAD_IDLE_KHR"
pattern $mTHREAD_IDLE_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bTHREAD_IDLE_KHR :: Result
THREAD_IDLE_KHR = Result 1000268000

-- No documentation found for Nested "VkResult" "VK_ERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT"
pattern $mERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT :: Result
ERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT = Result (-1000255000)

-- No documentation found for Nested "VkResult" "VK_ERROR_PRESENT_TIMING_QUEUE_FULL_EXT"
pattern $mERROR_PRESENT_TIMING_QUEUE_FULL_EXT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_PRESENT_TIMING_QUEUE_FULL_EXT :: Result
ERROR_PRESENT_TIMING_QUEUE_FULL_EXT = Result (-1000208000)

-- No documentation found for Nested "VkResult" "VK_ERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT"
pattern $mERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT :: Result
ERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT = Result (-1000158000)

-- No documentation found for Nested "VkResult" "VK_ERROR_INVALID_SHADER_NV"
pattern $mERROR_INVALID_SHADER_NV :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_INVALID_SHADER_NV :: Result
ERROR_INVALID_SHADER_NV = Result (-1000012000)

-- No documentation found for Nested "VkResult" "VK_ERROR_INCOMPATIBLE_DISPLAY_KHR"
pattern $mERROR_INCOMPATIBLE_DISPLAY_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_INCOMPATIBLE_DISPLAY_KHR :: Result
ERROR_INCOMPATIBLE_DISPLAY_KHR = Result (-1000003001)

-- No documentation found for Nested "VkResult" "VK_ERROR_OUT_OF_DATE_KHR"
pattern $mERROR_OUT_OF_DATE_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_OUT_OF_DATE_KHR :: Result
ERROR_OUT_OF_DATE_KHR = Result (-1000001004)

-- No documentation found for Nested "VkResult" "VK_SUBOPTIMAL_KHR"
pattern $mSUBOPTIMAL_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bSUBOPTIMAL_KHR :: Result
SUBOPTIMAL_KHR = Result 1000001003

-- No documentation found for Nested "VkResult" "VK_ERROR_NATIVE_WINDOW_IN_USE_KHR"
pattern $mERROR_NATIVE_WINDOW_IN_USE_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_NATIVE_WINDOW_IN_USE_KHR :: Result
ERROR_NATIVE_WINDOW_IN_USE_KHR = Result (-1000000001)

-- No documentation found for Nested "VkResult" "VK_ERROR_SURFACE_LOST_KHR"
pattern $mERROR_SURFACE_LOST_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_SURFACE_LOST_KHR :: Result
ERROR_SURFACE_LOST_KHR = Result (-1000000000)

-- No documentation found for Nested "VkResult" "VK_ERROR_NO_PIPELINE_MATCH"
pattern $mERROR_NO_PIPELINE_MATCH :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_NO_PIPELINE_MATCH :: Result
ERROR_NO_PIPELINE_MATCH = Result (-1000298001)

-- No documentation found for Nested "VkResult" "VK_ERROR_INVALID_PIPELINE_CACHE_DATA"
pattern $mERROR_INVALID_PIPELINE_CACHE_DATA :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_INVALID_PIPELINE_CACHE_DATA :: Result
ERROR_INVALID_PIPELINE_CACHE_DATA = Result (-1000298000)

-- No documentation found for Nested "VkResult" "VK_ERROR_NOT_PERMITTED"
pattern $mERROR_NOT_PERMITTED :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_NOT_PERMITTED :: Result
ERROR_NOT_PERMITTED = Result (-1000174001)

-- No documentation found for Nested "VkResult" "VK_PIPELINE_COMPILE_REQUIRED"
pattern $mPIPELINE_COMPILE_REQUIRED :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bPIPELINE_COMPILE_REQUIRED :: Result
PIPELINE_COMPILE_REQUIRED = Result 1000297000

-- No documentation found for Nested "VkResult" "VK_ERROR_FRAGMENTATION"
pattern $mERROR_FRAGMENTATION :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_FRAGMENTATION :: Result
ERROR_FRAGMENTATION = Result (-1000161000)

-- No documentation found for Nested "VkResult" "VK_ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS"
pattern $mERROR_INVALID_OPAQUE_CAPTURE_ADDRESS :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_INVALID_OPAQUE_CAPTURE_ADDRESS :: Result
ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS = Result (-1000257000)

-- No documentation found for Nested "VkResult" "VK_ERROR_INVALID_EXTERNAL_HANDLE"
pattern $mERROR_INVALID_EXTERNAL_HANDLE :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_INVALID_EXTERNAL_HANDLE :: Result
ERROR_INVALID_EXTERNAL_HANDLE = Result (-1000072003)

-- No documentation found for Nested "VkResult" "VK_ERROR_OUT_OF_POOL_MEMORY"
pattern $mERROR_OUT_OF_POOL_MEMORY :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_OUT_OF_POOL_MEMORY :: Result
ERROR_OUT_OF_POOL_MEMORY = Result (-1000069000)

-- No documentation found for Nested "VkResult" "VK_ERROR_VALIDATION_FAILED"
pattern $mERROR_VALIDATION_FAILED :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
$bERROR_VALIDATION_FAILED :: Result
ERROR_VALIDATION_FAILED = Result (-1000011001)

{-# COMPLETE
  SUCCESS
  , NOT_READY
  , TIMEOUT
  , EVENT_SET
  , EVENT_RESET
  , INCOMPLETE
  , ERROR_OUT_OF_HOST_MEMORY
  , ERROR_OUT_OF_DEVICE_MEMORY
  , ERROR_INITIALIZATION_FAILED
  , ERROR_DEVICE_LOST
  , ERROR_MEMORY_MAP_FAILED
  , ERROR_LAYER_NOT_PRESENT
  , ERROR_EXTENSION_NOT_PRESENT
  , ERROR_FEATURE_NOT_PRESENT
  , ERROR_INCOMPATIBLE_DRIVER
  , ERROR_TOO_MANY_OBJECTS
  , ERROR_FORMAT_NOT_SUPPORTED
  , ERROR_FRAGMENTED_POOL
  , ERROR_UNKNOWN
  , ERROR_NOT_ENOUGH_SPACE_KHR
  , PIPELINE_BINARY_MISSING_KHR
  , INCOMPATIBLE_SHADER_BINARY_EXT
  , ERROR_COMPRESSION_EXHAUSTED_EXT
  , OPERATION_NOT_DEFERRED_KHR
  , OPERATION_DEFERRED_KHR
  , THREAD_DONE_KHR
  , THREAD_IDLE_KHR
  , ERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT
  , ERROR_PRESENT_TIMING_QUEUE_FULL_EXT
  , ERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT
  , ERROR_INVALID_SHADER_NV
  , ERROR_INCOMPATIBLE_DISPLAY_KHR
  , ERROR_OUT_OF_DATE_KHR
  , SUBOPTIMAL_KHR
  , ERROR_NATIVE_WINDOW_IN_USE_KHR
  , ERROR_SURFACE_LOST_KHR
  , ERROR_NO_PIPELINE_MATCH
  , ERROR_INVALID_PIPELINE_CACHE_DATA
  , ERROR_NOT_PERMITTED
  , PIPELINE_COMPILE_REQUIRED
  , ERROR_FRAGMENTATION
  , ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS
  , ERROR_INVALID_EXTERNAL_HANDLE
  , ERROR_OUT_OF_POOL_MEMORY
  , ERROR_VALIDATION_FAILED ::
    Result
  #-}

conNameResult :: String
conNameResult :: String
conNameResult = String
"Result"

enumPrefixResult :: String
enumPrefixResult :: String
enumPrefixResult = String
""

showTableResult :: [(Result, String)]
showTableResult :: [(Result, String)]
showTableResult =
  [ (Result
SUCCESS, String
"SUCCESS")
  , (Result
NOT_READY, String
"NOT_READY")
  , (Result
TIMEOUT, String
"TIMEOUT")
  , (Result
EVENT_SET, String
"EVENT_SET")
  , (Result
EVENT_RESET, String
"EVENT_RESET")
  , (Result
INCOMPLETE, String
"INCOMPLETE")
  , (Result
ERROR_OUT_OF_HOST_MEMORY, String
"ERROR_OUT_OF_HOST_MEMORY")
  , (Result
ERROR_OUT_OF_DEVICE_MEMORY, String
"ERROR_OUT_OF_DEVICE_MEMORY")
  , (Result
ERROR_INITIALIZATION_FAILED, String
"ERROR_INITIALIZATION_FAILED")
  , (Result
ERROR_DEVICE_LOST, String
"ERROR_DEVICE_LOST")
  , (Result
ERROR_MEMORY_MAP_FAILED, String
"ERROR_MEMORY_MAP_FAILED")
  , (Result
ERROR_LAYER_NOT_PRESENT, String
"ERROR_LAYER_NOT_PRESENT")
  , (Result
ERROR_EXTENSION_NOT_PRESENT, String
"ERROR_EXTENSION_NOT_PRESENT")
  , (Result
ERROR_FEATURE_NOT_PRESENT, String
"ERROR_FEATURE_NOT_PRESENT")
  , (Result
ERROR_INCOMPATIBLE_DRIVER, String
"ERROR_INCOMPATIBLE_DRIVER")
  , (Result
ERROR_TOO_MANY_OBJECTS, String
"ERROR_TOO_MANY_OBJECTS")
  , (Result
ERROR_FORMAT_NOT_SUPPORTED, String
"ERROR_FORMAT_NOT_SUPPORTED")
  , (Result
ERROR_FRAGMENTED_POOL, String
"ERROR_FRAGMENTED_POOL")
  , (Result
ERROR_UNKNOWN, String
"ERROR_UNKNOWN")
  , (Result
ERROR_NOT_ENOUGH_SPACE_KHR, String
"ERROR_NOT_ENOUGH_SPACE_KHR")
  , (Result
PIPELINE_BINARY_MISSING_KHR, String
"PIPELINE_BINARY_MISSING_KHR")
  ,
    ( Result
INCOMPATIBLE_SHADER_BINARY_EXT
    , String
"INCOMPATIBLE_SHADER_BINARY_EXT"
    )
  ,
    ( Result
ERROR_COMPRESSION_EXHAUSTED_EXT
    , String
"ERROR_COMPRESSION_EXHAUSTED_EXT"
    )
  , (Result
OPERATION_NOT_DEFERRED_KHR, String
"OPERATION_NOT_DEFERRED_KHR")
  , (Result
OPERATION_DEFERRED_KHR, String
"OPERATION_DEFERRED_KHR")
  , (Result
THREAD_DONE_KHR, String
"THREAD_DONE_KHR")
  , (Result
THREAD_IDLE_KHR, String
"THREAD_IDLE_KHR")
  ,
    ( Result
ERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT
    , String
"ERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT"
    )
  ,
    ( Result
ERROR_PRESENT_TIMING_QUEUE_FULL_EXT
    , String
"ERROR_PRESENT_TIMING_QUEUE_FULL_EXT"
    )
  ,
    ( Result
ERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT
    , String
"ERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT"
    )
  , (Result
ERROR_INVALID_SHADER_NV, String
"ERROR_INVALID_SHADER_NV")
  ,
    ( Result
ERROR_INCOMPATIBLE_DISPLAY_KHR
    , String
"ERROR_INCOMPATIBLE_DISPLAY_KHR"
    )
  , (Result
ERROR_OUT_OF_DATE_KHR, String
"ERROR_OUT_OF_DATE_KHR")
  , (Result
SUBOPTIMAL_KHR, String
"SUBOPTIMAL_KHR")
  ,
    ( Result
ERROR_NATIVE_WINDOW_IN_USE_KHR
    , String
"ERROR_NATIVE_WINDOW_IN_USE_KHR"
    )
  , (Result
ERROR_SURFACE_LOST_KHR, String
"ERROR_SURFACE_LOST_KHR")
  , (Result
ERROR_NO_PIPELINE_MATCH, String
"ERROR_NO_PIPELINE_MATCH")
  ,
    ( Result
ERROR_INVALID_PIPELINE_CACHE_DATA
    , String
"ERROR_INVALID_PIPELINE_CACHE_DATA"
    )
  , (Result
ERROR_NOT_PERMITTED, String
"ERROR_NOT_PERMITTED")
  , (Result
PIPELINE_COMPILE_REQUIRED, String
"PIPELINE_COMPILE_REQUIRED")
  , (Result
ERROR_FRAGMENTATION, String
"ERROR_FRAGMENTATION")
  ,
    ( Result
ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS
    , String
"ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS"
    )
  ,
    ( Result
ERROR_INVALID_EXTERNAL_HANDLE
    , String
"ERROR_INVALID_EXTERNAL_HANDLE"
    )
  , (Result
ERROR_OUT_OF_POOL_MEMORY, String
"ERROR_OUT_OF_POOL_MEMORY")
  , (Result
ERROR_VALIDATION_FAILED, String
"ERROR_VALIDATION_FAILED")
  ]

instance Show Result where
  showsPrec :: Int -> Result -> ShowS
showsPrec =
    String
-> [(Result, String)]
-> String
-> (Result -> Int32)
-> (Int32 -> ShowS)
-> Int
-> Result
-> ShowS
forall a i.
Eq a =>
String
-> [(a, String)]
-> String
-> (a -> i)
-> (i -> ShowS)
-> Int
-> a
-> ShowS
enumShowsPrec
      String
enumPrefixResult
      [(Result, String)]
showTableResult
      String
conNameResult
      (\(Result Int32
x) -> Int32
x)
      (Int -> Int32 -> ShowS
forall a. Show a => Int -> a -> ShowS
showsPrec Int
11)

instance Read Result where
  readPrec :: ReadPrec Result
readPrec =
    String
-> [(Result, String)]
-> String
-> (Int32 -> Result)
-> ReadPrec Result
forall i a.
Read i =>
String -> [(a, String)] -> String -> (i -> a) -> ReadPrec a
enumReadPrec
      String
enumPrefixResult
      [(Result, String)]
showTableResult
      String
conNameResult
      Int32 -> Result
Result