{-# LANGUAGE TypeApplications #-}


-- | Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
-- License    : LGPL-2.1
-- Maintainer : Iñaki García Etxebarria
-- 
-- A structure which contains a single enum value, its name, and its
-- nickname.

#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif

module GI.GObject.Structs.EnumValue
    ( 

-- * Exported types
    EnumValue(..)                           ,
    newZeroEnumValue                        ,


 -- * Methods

#if defined(ENABLE_OVERLOADING)
    ResolveEnumValueMethod                  ,
#endif



 -- * Properties


-- ** value #attr:value#
-- | the enum value

#if defined(ENABLE_OVERLOADING)
    enumValue_value                         ,
#endif
    getEnumValueValue                       ,
    setEnumValueValue                       ,


-- ** valueName #attr:valueName#
-- | the name of the value

    clearEnumValueValueName                 ,
#if defined(ENABLE_OVERLOADING)
    enumValue_valueName                     ,
#endif
    getEnumValueValueName                   ,
    setEnumValueValueName                   ,


-- ** valueNick #attr:valueNick#
-- | the nickname of the value

    clearEnumValueValueNick                 ,
#if defined(ENABLE_OVERLOADING)
    enumValue_valueNick                     ,
#endif
    getEnumValueValueNick                   ,
    setEnumValueValueNick                   ,




    ) where

import Data.GI.Base.ShortPrelude
import qualified Data.GI.Base.ShortPrelude as SP
import qualified Data.GI.Base.Overloading as O
import qualified Prelude as P

import qualified Data.GI.Base.Attributes as GI.Attributes
import qualified Data.GI.Base.BasicTypes as B.Types
import qualified Data.GI.Base.ManagedPtr as B.ManagedPtr
import qualified Data.GI.Base.GArray as B.GArray
import qualified Data.GI.Base.GClosure as B.GClosure
import qualified Data.GI.Base.GError as B.GError
import qualified Data.GI.Base.GVariant as B.GVariant
import qualified Data.GI.Base.GValue as B.GValue
import qualified Data.GI.Base.GParamSpec as B.GParamSpec
import qualified Data.GI.Base.CallStack as B.CallStack
import qualified Data.GI.Base.Properties as B.Properties
import qualified Data.GI.Base.Signals as B.Signals
import qualified Control.Monad.IO.Class as MIO
import qualified Data.Text as T
import qualified Data.ByteString.Char8 as B
import qualified Data.Map as Map
import qualified Foreign.Ptr as FP
import qualified GHC.OverloadedLabels as OL
import qualified GHC.Records as R


-- | Memory-managed wrapper type.
newtype EnumValue = EnumValue (SP.ManagedPtr EnumValue)
    deriving (EnumValue -> EnumValue -> Bool
(EnumValue -> EnumValue -> Bool)
-> (EnumValue -> EnumValue -> Bool) -> Eq EnumValue
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: EnumValue -> EnumValue -> Bool
$c/= :: EnumValue -> EnumValue -> Bool
== :: EnumValue -> EnumValue -> Bool
$c== :: EnumValue -> EnumValue -> Bool
Eq)

instance SP.ManagedPtrNewtype EnumValue where
    toManagedPtr :: EnumValue -> ManagedPtr EnumValue
toManagedPtr (EnumValue ManagedPtr EnumValue
p) = ManagedPtr EnumValue
p

instance BoxedPtr EnumValue where
    boxedPtrCopy :: EnumValue -> IO EnumValue
boxedPtrCopy = \EnumValue
p -> EnumValue -> (Ptr EnumValue -> IO EnumValue) -> IO EnumValue
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
B.ManagedPtr.withManagedPtr EnumValue
p (Int -> Ptr EnumValue -> IO (Ptr EnumValue)
forall a. (HasCallStack, CallocPtr a) => Int -> Ptr a -> IO (Ptr a)
copyBytes Int
24 (Ptr EnumValue -> IO (Ptr EnumValue))
-> (Ptr EnumValue -> IO EnumValue) -> Ptr EnumValue -> IO EnumValue
forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> (ManagedPtr EnumValue -> EnumValue)
-> Ptr EnumValue -> IO EnumValue
forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
B.ManagedPtr.wrapPtr ManagedPtr EnumValue -> EnumValue
EnumValue)
    boxedPtrFree :: EnumValue -> IO ()
boxedPtrFree = \EnumValue
x -> EnumValue -> (Ptr EnumValue -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
SP.withManagedPtr EnumValue
x Ptr EnumValue -> IO ()
forall a. Ptr a -> IO ()
SP.freeMem
instance CallocPtr EnumValue where
    boxedPtrCalloc :: IO (Ptr EnumValue)
boxedPtrCalloc = Int -> IO (Ptr EnumValue)
forall a. Int -> IO (Ptr a)
callocBytes Int
24


-- | Construct a `EnumValue` struct initialized to zero.
newZeroEnumValue :: MonadIO m => m EnumValue
newZeroEnumValue :: forall (m :: * -> *). MonadIO m => m EnumValue
newZeroEnumValue = IO EnumValue -> m EnumValue
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO EnumValue -> m EnumValue) -> IO EnumValue -> m EnumValue
forall a b. (a -> b) -> a -> b
$ IO (Ptr EnumValue)
forall a. CallocPtr a => IO (Ptr a)
boxedPtrCalloc IO (Ptr EnumValue)
-> (Ptr EnumValue -> IO EnumValue) -> IO EnumValue
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (ManagedPtr EnumValue -> EnumValue)
-> Ptr EnumValue -> IO EnumValue
forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr EnumValue -> EnumValue
EnumValue

instance tag ~ 'AttrSet => Constructible EnumValue tag where
    new :: forall (m :: * -> *).
MonadIO m =>
(ManagedPtr EnumValue -> EnumValue)
-> [AttrOp EnumValue tag] -> m EnumValue
new ManagedPtr EnumValue -> EnumValue
_ [AttrOp EnumValue tag]
attrs = do
        EnumValue
o <- m EnumValue
forall (m :: * -> *). MonadIO m => m EnumValue
newZeroEnumValue
        EnumValue -> [AttrOp EnumValue 'AttrSet] -> m ()
forall o (m :: * -> *).
MonadIO m =>
o -> [AttrOp o 'AttrSet] -> m ()
GI.Attributes.set EnumValue
o [AttrOp EnumValue tag]
[AttrOp EnumValue 'AttrSet]
attrs
        EnumValue -> m EnumValue
forall (m :: * -> *) a. Monad m => a -> m a
return EnumValue
o


-- | Get the value of the “@value@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' enumValue #value
-- @
getEnumValueValue :: MonadIO m => EnumValue -> m Int32
getEnumValueValue :: forall (m :: * -> *). MonadIO m => EnumValue -> m Int32
getEnumValueValue EnumValue
s = IO Int32 -> m Int32
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Int32 -> m Int32) -> IO Int32 -> m Int32
forall a b. (a -> b) -> a -> b
$ EnumValue -> (Ptr EnumValue -> IO Int32) -> IO Int32
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumValue
s ((Ptr EnumValue -> IO Int32) -> IO Int32)
-> (Ptr EnumValue -> IO Int32) -> IO Int32
forall a b. (a -> b) -> a -> b
$ \Ptr EnumValue
ptr -> do
    Int32
val <- Ptr Int32 -> IO Int32
forall a. Storable a => Ptr a -> IO a
peek (Ptr EnumValue
ptr Ptr EnumValue -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) :: IO Int32
    Int32 -> IO Int32
forall (m :: * -> *) a. Monad m => a -> m a
return Int32
val

-- | Set the value of the “@value@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' enumValue [ #value 'Data.GI.Base.Attributes.:=' value ]
-- @
setEnumValueValue :: MonadIO m => EnumValue -> Int32 -> m ()
setEnumValueValue :: forall (m :: * -> *). MonadIO m => EnumValue -> Int32 -> m ()
setEnumValueValue EnumValue
s Int32
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EnumValue -> (Ptr EnumValue -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumValue
s ((Ptr EnumValue -> IO ()) -> IO ())
-> (Ptr EnumValue -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EnumValue
ptr -> do
    Ptr Int32 -> Int32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EnumValue
ptr Ptr EnumValue -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) (Int32
val :: Int32)

#if defined(ENABLE_OVERLOADING)
data EnumValueValueFieldInfo
instance AttrInfo EnumValueValueFieldInfo where
    type AttrBaseTypeConstraint EnumValueValueFieldInfo = (~) EnumValue
    type AttrAllowedOps EnumValueValueFieldInfo = '[ 'AttrSet, 'AttrGet]
    type AttrSetTypeConstraint EnumValueValueFieldInfo = (~) Int32
    type AttrTransferTypeConstraint EnumValueValueFieldInfo = (~)Int32
    type AttrTransferType EnumValueValueFieldInfo = Int32
    type AttrGetType EnumValueValueFieldInfo = Int32
    type AttrLabel EnumValueValueFieldInfo = "value"
    type AttrOrigin EnumValueValueFieldInfo = EnumValue
    attrGet = getEnumValueValue
    attrSet = setEnumValueValue
    attrConstruct = undefined
    attrClear = undefined
    attrTransfer _ v = do
        return v

enumValue_value :: AttrLabelProxy "value"
enumValue_value = AttrLabelProxy

#endif


-- | Get the value of the “@value_name@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' enumValue #valueName
-- @
getEnumValueValueName :: MonadIO m => EnumValue -> m (Maybe T.Text)
getEnumValueValueName :: forall (m :: * -> *). MonadIO m => EnumValue -> m (Maybe Text)
getEnumValueValueName EnumValue
s = IO (Maybe Text) -> m (Maybe Text)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe Text) -> m (Maybe Text))
-> IO (Maybe Text) -> m (Maybe Text)
forall a b. (a -> b) -> a -> b
$ EnumValue -> (Ptr EnumValue -> IO (Maybe Text)) -> IO (Maybe Text)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumValue
s ((Ptr EnumValue -> IO (Maybe Text)) -> IO (Maybe Text))
-> (Ptr EnumValue -> IO (Maybe Text)) -> IO (Maybe Text)
forall a b. (a -> b) -> a -> b
$ \Ptr EnumValue
ptr -> do
    CString
val <- Ptr CString -> IO CString
forall a. Storable a => Ptr a -> IO a
peek (Ptr EnumValue
ptr Ptr EnumValue -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) :: IO CString
    Maybe Text
result <- CString -> (CString -> IO Text) -> IO (Maybe Text)
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
SP.convertIfNonNull CString
val ((CString -> IO Text) -> IO (Maybe Text))
-> (CString -> IO Text) -> IO (Maybe Text)
forall a b. (a -> b) -> a -> b
$ \CString
val' -> do
        Text
val'' <- HasCallStack => CString -> IO Text
CString -> IO Text
cstringToText CString
val'
        Text -> IO Text
forall (m :: * -> *) a. Monad m => a -> m a
return Text
val''
    Maybe Text -> IO (Maybe Text)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe Text
result

-- | Set the value of the “@value_name@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' enumValue [ #valueName 'Data.GI.Base.Attributes.:=' value ]
-- @
setEnumValueValueName :: MonadIO m => EnumValue -> CString -> m ()
setEnumValueValueName :: forall (m :: * -> *). MonadIO m => EnumValue -> CString -> m ()
setEnumValueValueName EnumValue
s CString
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EnumValue -> (Ptr EnumValue -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumValue
s ((Ptr EnumValue -> IO ()) -> IO ())
-> (Ptr EnumValue -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EnumValue
ptr -> do
    Ptr CString -> CString -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EnumValue
ptr Ptr EnumValue -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) (CString
val :: CString)

-- | Set the value of the “@value_name@” field to `Nothing`.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.clear' #valueName
-- @
clearEnumValueValueName :: MonadIO m => EnumValue -> m ()
clearEnumValueValueName :: forall (m :: * -> *). MonadIO m => EnumValue -> m ()
clearEnumValueValueName EnumValue
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EnumValue -> (Ptr EnumValue -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumValue
s ((Ptr EnumValue -> IO ()) -> IO ())
-> (Ptr EnumValue -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EnumValue
ptr -> do
    Ptr CString -> CString -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EnumValue
ptr Ptr EnumValue -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) (CString
forall a. Ptr a
FP.nullPtr :: CString)

#if defined(ENABLE_OVERLOADING)
data EnumValueValueNameFieldInfo
instance AttrInfo EnumValueValueNameFieldInfo where
    type AttrBaseTypeConstraint EnumValueValueNameFieldInfo = (~) EnumValue
    type AttrAllowedOps EnumValueValueNameFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint EnumValueValueNameFieldInfo = (~) CString
    type AttrTransferTypeConstraint EnumValueValueNameFieldInfo = (~)CString
    type AttrTransferType EnumValueValueNameFieldInfo = CString
    type AttrGetType EnumValueValueNameFieldInfo = Maybe T.Text
    type AttrLabel EnumValueValueNameFieldInfo = "value_name"
    type AttrOrigin EnumValueValueNameFieldInfo = EnumValue
    attrGet = getEnumValueValueName
    attrSet = setEnumValueValueName
    attrConstruct = undefined
    attrClear = clearEnumValueValueName
    attrTransfer _ v = do
        return v

enumValue_valueName :: AttrLabelProxy "valueName"
enumValue_valueName = AttrLabelProxy

#endif


-- | Get the value of the “@value_nick@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' enumValue #valueNick
-- @
getEnumValueValueNick :: MonadIO m => EnumValue -> m (Maybe T.Text)
getEnumValueValueNick :: forall (m :: * -> *). MonadIO m => EnumValue -> m (Maybe Text)
getEnumValueValueNick EnumValue
s = IO (Maybe Text) -> m (Maybe Text)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe Text) -> m (Maybe Text))
-> IO (Maybe Text) -> m (Maybe Text)
forall a b. (a -> b) -> a -> b
$ EnumValue -> (Ptr EnumValue -> IO (Maybe Text)) -> IO (Maybe Text)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumValue
s ((Ptr EnumValue -> IO (Maybe Text)) -> IO (Maybe Text))
-> (Ptr EnumValue -> IO (Maybe Text)) -> IO (Maybe Text)
forall a b. (a -> b) -> a -> b
$ \Ptr EnumValue
ptr -> do
    CString
val <- Ptr CString -> IO CString
forall a. Storable a => Ptr a -> IO a
peek (Ptr EnumValue
ptr Ptr EnumValue -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) :: IO CString
    Maybe Text
result <- CString -> (CString -> IO Text) -> IO (Maybe Text)
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
SP.convertIfNonNull CString
val ((CString -> IO Text) -> IO (Maybe Text))
-> (CString -> IO Text) -> IO (Maybe Text)
forall a b. (a -> b) -> a -> b
$ \CString
val' -> do
        Text
val'' <- HasCallStack => CString -> IO Text
CString -> IO Text
cstringToText CString
val'
        Text -> IO Text
forall (m :: * -> *) a. Monad m => a -> m a
return Text
val''
    Maybe Text -> IO (Maybe Text)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe Text
result

-- | Set the value of the “@value_nick@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' enumValue [ #valueNick 'Data.GI.Base.Attributes.:=' value ]
-- @
setEnumValueValueNick :: MonadIO m => EnumValue -> CString -> m ()
setEnumValueValueNick :: forall (m :: * -> *). MonadIO m => EnumValue -> CString -> m ()
setEnumValueValueNick EnumValue
s CString
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EnumValue -> (Ptr EnumValue -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumValue
s ((Ptr EnumValue -> IO ()) -> IO ())
-> (Ptr EnumValue -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EnumValue
ptr -> do
    Ptr CString -> CString -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EnumValue
ptr Ptr EnumValue -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) (CString
val :: CString)

-- | Set the value of the “@value_nick@” field to `Nothing`.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.clear' #valueNick
-- @
clearEnumValueValueNick :: MonadIO m => EnumValue -> m ()
clearEnumValueValueNick :: forall (m :: * -> *). MonadIO m => EnumValue -> m ()
clearEnumValueValueNick EnumValue
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EnumValue -> (Ptr EnumValue -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumValue
s ((Ptr EnumValue -> IO ()) -> IO ())
-> (Ptr EnumValue -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EnumValue
ptr -> do
    Ptr CString -> CString -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EnumValue
ptr Ptr EnumValue -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) (CString
forall a. Ptr a
FP.nullPtr :: CString)

#if defined(ENABLE_OVERLOADING)
data EnumValueValueNickFieldInfo
instance AttrInfo EnumValueValueNickFieldInfo where
    type AttrBaseTypeConstraint EnumValueValueNickFieldInfo = (~) EnumValue
    type AttrAllowedOps EnumValueValueNickFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint EnumValueValueNickFieldInfo = (~) CString
    type AttrTransferTypeConstraint EnumValueValueNickFieldInfo = (~)CString
    type AttrTransferType EnumValueValueNickFieldInfo = CString
    type AttrGetType EnumValueValueNickFieldInfo = Maybe T.Text
    type AttrLabel EnumValueValueNickFieldInfo = "value_nick"
    type AttrOrigin EnumValueValueNickFieldInfo = EnumValue
    attrGet = getEnumValueValueNick
    attrSet = setEnumValueValueNick
    attrConstruct = undefined
    attrClear = clearEnumValueValueNick
    attrTransfer _ v = do
        return v

enumValue_valueNick :: AttrLabelProxy "valueNick"
enumValue_valueNick = AttrLabelProxy

#endif



#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList EnumValue
type instance O.AttributeList EnumValue = EnumValueAttributeList
type EnumValueAttributeList = ('[ '("value", EnumValueValueFieldInfo), '("valueName", EnumValueValueNameFieldInfo), '("valueNick", EnumValueValueNickFieldInfo)] :: [(Symbol, *)])
#endif

#if defined(ENABLE_OVERLOADING)
type family ResolveEnumValueMethod (t :: Symbol) (o :: *) :: * where
    ResolveEnumValueMethod l o = O.MethodResolutionFailed l o

instance (info ~ ResolveEnumValueMethod t EnumValue, O.OverloadedMethod info EnumValue p) => OL.IsLabel t (EnumValue -> p) where
#if MIN_VERSION_base(4,10,0)
    fromLabel = O.overloadedMethod @info
#else
    fromLabel _ = O.overloadedMethod @info
#endif

#if MIN_VERSION_base(4,13,0)
instance (info ~ ResolveEnumValueMethod t EnumValue, O.OverloadedMethod info EnumValue p, R.HasField t EnumValue p) => R.HasField t EnumValue p where
    getField = O.overloadedMethod @info

#endif

instance (info ~ ResolveEnumValueMethod t EnumValue, O.OverloadedMethodInfo info EnumValue) => OL.IsLabel t (O.MethodProxy info EnumValue) where
#if MIN_VERSION_base(4,10,0)
    fromLabel = O.MethodProxy
#else
    fromLabel _ = O.MethodProxy
#endif

#endif