{-# language CPP #-}
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_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_NOT_PERMITTED_KHR
, ERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT
, ERROR_INVALID_SHADER_NV
, ERROR_VALIDATION_FAILED_EXT
, 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_VALIDATION_FAILED
, PIPELINE_COMPILE_REQUIRED
, ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS
, ERROR_FRAGMENTATION
, ERROR_INVALID_EXTERNAL_HANDLE
, ERROR_OUT_OF_POOL_MEMORY
, ..
)) 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))
newtype Result = Result Int32
deriving newtype (Result -> Result -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Result -> Result -> Bool
$c/= :: Result -> Result -> Bool
== :: Result -> Result -> Bool
$c== :: Result -> Result -> Bool
Eq, Eq 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
min :: Result -> Result -> Result
$cmin :: Result -> Result -> Result
max :: Result -> Result -> Result
$cmax :: Result -> Result -> Result
>= :: Result -> Result -> Bool
$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
compare :: Result -> Result -> Ordering
$ccompare :: Result -> Result -> Ordering
Ord, Ptr Result -> IO Result
Ptr Result -> Int -> IO Result
Ptr Result -> Int -> Result -> IO ()
Ptr Result -> Result -> IO ()
Result -> Int
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
poke :: Ptr Result -> Result -> IO ()
$cpoke :: Ptr Result -> Result -> IO ()
peek :: Ptr Result -> IO Result
$cpeek :: Ptr Result -> IO Result
pokeByteOff :: forall b. Ptr b -> Int -> Result -> IO ()
$cpokeByteOff :: forall b. Ptr b -> Int -> Result -> IO ()
peekByteOff :: forall b. Ptr b -> Int -> IO Result
$cpeekByteOff :: forall b. Ptr b -> Int -> IO Result
pokeElemOff :: Ptr Result -> Int -> Result -> IO ()
$cpokeElemOff :: Ptr Result -> Int -> Result -> IO ()
peekElemOff :: Ptr Result -> Int -> IO Result
$cpeekElemOff :: Ptr Result -> Int -> IO Result
alignment :: Result -> Int
$calignment :: Result -> Int
sizeOf :: Result -> Int
$csizeOf :: Result -> Int
Storable, Result
forall a. a -> Zero a
zero :: Result
$czero :: Result
Zero)
pattern $bSUCCESS :: Result
$mSUCCESS :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
SUCCESS = Result 0
pattern $bNOT_READY :: Result
$mNOT_READY :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
NOT_READY = Result 1
pattern $bTIMEOUT :: Result
$mTIMEOUT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
TIMEOUT = Result 2
pattern $bEVENT_SET :: Result
$mEVENT_SET :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
EVENT_SET = Result 3
pattern $bEVENT_RESET :: Result
$mEVENT_RESET :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
EVENT_RESET = Result 4
pattern $bINCOMPLETE :: Result
$mINCOMPLETE :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
INCOMPLETE = Result 5
pattern $bERROR_OUT_OF_HOST_MEMORY :: Result
$mERROR_OUT_OF_HOST_MEMORY :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_OUT_OF_HOST_MEMORY = Result (-1)
pattern $bERROR_OUT_OF_DEVICE_MEMORY :: Result
$mERROR_OUT_OF_DEVICE_MEMORY :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_OUT_OF_DEVICE_MEMORY = Result (-2)
pattern $bERROR_INITIALIZATION_FAILED :: Result
$mERROR_INITIALIZATION_FAILED :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_INITIALIZATION_FAILED = Result (-3)
pattern $bERROR_DEVICE_LOST :: Result
$mERROR_DEVICE_LOST :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_DEVICE_LOST = Result (-4)
pattern $bERROR_MEMORY_MAP_FAILED :: Result
$mERROR_MEMORY_MAP_FAILED :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_MEMORY_MAP_FAILED = Result (-5)
pattern $bERROR_LAYER_NOT_PRESENT :: Result
$mERROR_LAYER_NOT_PRESENT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_LAYER_NOT_PRESENT = Result (-6)
pattern $bERROR_EXTENSION_NOT_PRESENT :: Result
$mERROR_EXTENSION_NOT_PRESENT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_EXTENSION_NOT_PRESENT = Result (-7)
pattern $bERROR_FEATURE_NOT_PRESENT :: Result
$mERROR_FEATURE_NOT_PRESENT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_FEATURE_NOT_PRESENT = Result (-8)
pattern $bERROR_INCOMPATIBLE_DRIVER :: Result
$mERROR_INCOMPATIBLE_DRIVER :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_INCOMPATIBLE_DRIVER = Result (-9)
pattern $bERROR_TOO_MANY_OBJECTS :: Result
$mERROR_TOO_MANY_OBJECTS :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_TOO_MANY_OBJECTS = Result (-10)
pattern $bERROR_FORMAT_NOT_SUPPORTED :: Result
$mERROR_FORMAT_NOT_SUPPORTED :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_FORMAT_NOT_SUPPORTED = Result (-11)
pattern $bERROR_FRAGMENTED_POOL :: Result
$mERROR_FRAGMENTED_POOL :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_FRAGMENTED_POOL = Result (-12)
pattern $bERROR_UNKNOWN :: Result
$mERROR_UNKNOWN :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_UNKNOWN = Result (-13)
pattern $bERROR_INCOMPATIBLE_SHADER_BINARY_EXT :: Result
$mERROR_INCOMPATIBLE_SHADER_BINARY_EXT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_INCOMPATIBLE_SHADER_BINARY_EXT = Result 1000482000
pattern $bERROR_COMPRESSION_EXHAUSTED_EXT :: Result
$mERROR_COMPRESSION_EXHAUSTED_EXT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_COMPRESSION_EXHAUSTED_EXT = Result (-1000338000)
pattern $bOPERATION_NOT_DEFERRED_KHR :: Result
$mOPERATION_NOT_DEFERRED_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
OPERATION_NOT_DEFERRED_KHR = Result 1000268003
pattern $bOPERATION_DEFERRED_KHR :: Result
$mOPERATION_DEFERRED_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
OPERATION_DEFERRED_KHR = Result 1000268002
pattern $bTHREAD_DONE_KHR :: Result
$mTHREAD_DONE_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
THREAD_DONE_KHR = Result 1000268001
pattern $bTHREAD_IDLE_KHR :: Result
$mTHREAD_IDLE_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
THREAD_IDLE_KHR = Result 1000268000
pattern $bERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT :: Result
$mERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_FULL_SCREEN_EXCLUSIVE_MODE_LOST_EXT = Result (-1000255000)
pattern $bERROR_NOT_PERMITTED_KHR :: Result
$mERROR_NOT_PERMITTED_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_NOT_PERMITTED_KHR = Result (-1000174001)
pattern $bERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT :: Result
$mERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT = Result (-1000158000)
pattern $bERROR_INVALID_SHADER_NV :: Result
$mERROR_INVALID_SHADER_NV :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_INVALID_SHADER_NV = Result (-1000012000)
pattern $bERROR_VALIDATION_FAILED_EXT :: Result
$mERROR_VALIDATION_FAILED_EXT :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_VALIDATION_FAILED_EXT = Result (-1000011001)
pattern $bERROR_INCOMPATIBLE_DISPLAY_KHR :: Result
$mERROR_INCOMPATIBLE_DISPLAY_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_INCOMPATIBLE_DISPLAY_KHR = Result (-1000003001)
pattern $bERROR_OUT_OF_DATE_KHR :: Result
$mERROR_OUT_OF_DATE_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_OUT_OF_DATE_KHR = Result (-1000001004)
pattern $bSUBOPTIMAL_KHR :: Result
$mSUBOPTIMAL_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
SUBOPTIMAL_KHR = Result 1000001003
pattern $bERROR_NATIVE_WINDOW_IN_USE_KHR :: Result
$mERROR_NATIVE_WINDOW_IN_USE_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_NATIVE_WINDOW_IN_USE_KHR = Result (-1000000001)
pattern $bERROR_SURFACE_LOST_KHR :: Result
$mERROR_SURFACE_LOST_KHR :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_SURFACE_LOST_KHR = Result (-1000000000)
pattern $bERROR_NO_PIPELINE_MATCH :: Result
$mERROR_NO_PIPELINE_MATCH :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_NO_PIPELINE_MATCH = Result (-1000298001)
pattern $bERROR_INVALID_PIPELINE_CACHE_DATA :: Result
$mERROR_INVALID_PIPELINE_CACHE_DATA :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_INVALID_PIPELINE_CACHE_DATA = Result (-1000298000)
pattern $bERROR_VALIDATION_FAILED :: Result
$mERROR_VALIDATION_FAILED :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_VALIDATION_FAILED = Result (-1000011001)
pattern $bPIPELINE_COMPILE_REQUIRED :: Result
$mPIPELINE_COMPILE_REQUIRED :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
PIPELINE_COMPILE_REQUIRED = Result 1000297000
pattern $bERROR_INVALID_OPAQUE_CAPTURE_ADDRESS :: Result
$mERROR_INVALID_OPAQUE_CAPTURE_ADDRESS :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS = Result (-1000257000)
pattern $bERROR_FRAGMENTATION :: Result
$mERROR_FRAGMENTATION :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_FRAGMENTATION = Result (-1000161000)
pattern $bERROR_INVALID_EXTERNAL_HANDLE :: Result
$mERROR_INVALID_EXTERNAL_HANDLE :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_INVALID_EXTERNAL_HANDLE = Result (-1000072003)
pattern $bERROR_OUT_OF_POOL_MEMORY :: Result
$mERROR_OUT_OF_POOL_MEMORY :: forall {r}. Result -> ((# #) -> r) -> ((# #) -> r) -> r
ERROR_OUT_OF_POOL_MEMORY = Result (-1000069000)
{-# 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_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_NOT_PERMITTED_KHR
, ERROR_INVALID_DRM_FORMAT_MODIFIER_PLANE_LAYOUT_EXT
, ERROR_INVALID_SHADER_NV
, ERROR_VALIDATION_FAILED_EXT
, 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_VALIDATION_FAILED
, PIPELINE_COMPILE_REQUIRED
, ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS
, ERROR_FRAGMENTATION
, ERROR_INVALID_EXTERNAL_HANDLE
, ERROR_OUT_OF_POOL_MEMORY ::
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_INCOMPATIBLE_SHADER_BINARY_EXT
, String
"ERROR_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_NOT_PERMITTED_KHR, String
"ERROR_NOT_PERMITTED_KHR")
,
( 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_VALIDATION_FAILED_EXT, String
"ERROR_VALIDATION_FAILED_EXT")
,
( 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_VALIDATION_FAILED, String
"ERROR_VALIDATION_FAILED")
, (Result
PIPELINE_COMPILE_REQUIRED, String
"PIPELINE_COMPILE_REQUIRED")
,
( Result
ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS
, String
"ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS"
)
, (Result
ERROR_FRAGMENTATION, String
"ERROR_FRAGMENTATION")
,
( Result
ERROR_INVALID_EXTERNAL_HANDLE
, String
"ERROR_INVALID_EXTERNAL_HANDLE"
)
, (Result
ERROR_OUT_OF_POOL_MEMORY, String
"ERROR_OUT_OF_POOL_MEMORY")
]
instance Show Result where
showsPrec :: Int -> Result -> ShowS
showsPrec =
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)
(forall a. Show a => Int -> a -> ShowS
showsPrec Int
11)
instance Read Result where
readPrec :: ReadPrec Result
readPrec =
forall i a.
Read i =>
String -> [(a, String)] -> String -> (i -> a) -> ReadPrec a
enumReadPrec
String
enumPrefixResult
[(Result, String)]
showTableResult
String
conNameResult
Int32 -> Result
Result