{-# LANGUAGE TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.GObject.Structs.EnumClass
(
EnumClass(..) ,
newZeroEnumClass ,
#if defined(ENABLE_OVERLOADING)
ResolveEnumClassMethod ,
#endif
#if defined(ENABLE_OVERLOADING)
enumClass_gTypeClass ,
#endif
getEnumClassGTypeClass ,
#if defined(ENABLE_OVERLOADING)
enumClass_maximum ,
#endif
getEnumClassMaximum ,
setEnumClassMaximum ,
#if defined(ENABLE_OVERLOADING)
enumClass_minimum ,
#endif
getEnumClassMinimum ,
setEnumClassMinimum ,
#if defined(ENABLE_OVERLOADING)
enumClass_nValues ,
#endif
getEnumClassNValues ,
setEnumClassNValues ,
clearEnumClassValues ,
#if defined(ENABLE_OVERLOADING)
enumClass_values ,
#endif
getEnumClassValues ,
setEnumClassValues ,
) 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.GHashTable as B.GHT
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.Coerce as Coerce
import qualified Data.Text as T
import qualified Data.Kind as DK
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
import {-# SOURCE #-} qualified GI.GObject.Structs.EnumValue as GObject.EnumValue
import {-# SOURCE #-} qualified GI.GObject.Structs.TypeClass as GObject.TypeClass
newtype EnumClass = EnumClass (SP.ManagedPtr EnumClass)
deriving (EnumClass -> EnumClass -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: EnumClass -> EnumClass -> Bool
$c/= :: EnumClass -> EnumClass -> Bool
== :: EnumClass -> EnumClass -> Bool
$c== :: EnumClass -> EnumClass -> Bool
Eq)
instance SP.ManagedPtrNewtype EnumClass where
toManagedPtr :: EnumClass -> ManagedPtr EnumClass
toManagedPtr (EnumClass ManagedPtr EnumClass
p) = ManagedPtr EnumClass
p
instance BoxedPtr EnumClass where
boxedPtrCopy :: EnumClass -> IO EnumClass
boxedPtrCopy = \EnumClass
p -> forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
B.ManagedPtr.withManagedPtr EnumClass
p (forall a. (HasCallStack, CallocPtr a) => Int -> Ptr a -> IO (Ptr a)
copyBytes Int
32 forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
B.ManagedPtr.wrapPtr ManagedPtr EnumClass -> EnumClass
EnumClass)
boxedPtrFree :: EnumClass -> IO ()
boxedPtrFree = \EnumClass
x -> forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
SP.withManagedPtr EnumClass
x forall a. Ptr a -> IO ()
SP.freeMem
instance CallocPtr EnumClass where
boxedPtrCalloc :: IO (Ptr EnumClass)
boxedPtrCalloc = forall a. Int -> IO (Ptr a)
callocBytes Int
32
newZeroEnumClass :: MonadIO m => m EnumClass
newZeroEnumClass :: forall (m :: * -> *). MonadIO m => m EnumClass
newZeroEnumClass = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a. CallocPtr a => IO (Ptr a)
boxedPtrCalloc forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr EnumClass -> EnumClass
EnumClass
instance tag ~ 'AttrSet => Constructible EnumClass tag where
new :: forall (m :: * -> *).
MonadIO m =>
(ManagedPtr EnumClass -> EnumClass)
-> [AttrOp EnumClass tag] -> m EnumClass
new ManagedPtr EnumClass -> EnumClass
_ [AttrOp EnumClass tag]
attrs = do
EnumClass
o <- forall (m :: * -> *). MonadIO m => m EnumClass
newZeroEnumClass
forall o (m :: * -> *).
MonadIO m =>
o -> [AttrOp o 'AttrSet] -> m ()
GI.Attributes.set EnumClass
o [AttrOp EnumClass tag]
attrs
forall (m :: * -> *) a. Monad m => a -> m a
return EnumClass
o
getEnumClassGTypeClass :: MonadIO m => EnumClass -> m GObject.TypeClass.TypeClass
getEnumClassGTypeClass :: forall (m :: * -> *). MonadIO m => EnumClass -> m TypeClass
getEnumClassGTypeClass EnumClass
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumClass
s forall a b. (a -> b) -> a -> b
$ \Ptr EnumClass
ptr -> do
let val :: Ptr TypeClass
val = Ptr EnumClass
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0 :: (Ptr GObject.TypeClass.TypeClass)
TypeClass
val' <- (forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
newPtr ManagedPtr TypeClass -> TypeClass
GObject.TypeClass.TypeClass) Ptr TypeClass
val
forall (m :: * -> *) a. Monad m => a -> m a
return TypeClass
val'
#if defined(ENABLE_OVERLOADING)
data EnumClassGTypeClassFieldInfo
instance AttrInfo EnumClassGTypeClassFieldInfo where
type AttrBaseTypeConstraint EnumClassGTypeClassFieldInfo = (~) EnumClass
type AttrAllowedOps EnumClassGTypeClassFieldInfo = '[ 'AttrGet]
type AttrSetTypeConstraint EnumClassGTypeClassFieldInfo = (~) (Ptr GObject.TypeClass.TypeClass)
type AttrTransferTypeConstraint EnumClassGTypeClassFieldInfo = (~)(Ptr GObject.TypeClass.TypeClass)
type AttrTransferType EnumClassGTypeClassFieldInfo = (Ptr GObject.TypeClass.TypeClass)
type AttrGetType EnumClassGTypeClassFieldInfo = GObject.TypeClass.TypeClass
type AttrLabel EnumClassGTypeClassFieldInfo = "g_type_class"
type AttrOrigin EnumClassGTypeClassFieldInfo = EnumClass
attrGet = getEnumClassGTypeClass
attrSet = undefined
attrConstruct = undefined
attrClear = undefined
attrTransfer = undefined
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.GObject.Structs.EnumClass.gTypeClass"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gobject-2.0.28/docs/GI-GObject-Structs-EnumClass.html#g:attr:gTypeClass"
})
enumClass_gTypeClass :: AttrLabelProxy "gTypeClass"
enumClass_gTypeClass = AttrLabelProxy
#endif
getEnumClassMinimum :: MonadIO m => EnumClass -> m Int32
getEnumClassMinimum :: forall (m :: * -> *). MonadIO m => EnumClass -> m Int32
getEnumClassMinimum EnumClass
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumClass
s forall a b. (a -> b) -> a -> b
$ \Ptr EnumClass
ptr -> do
Int32
val <- forall a. Storable a => Ptr a -> IO a
peek (Ptr EnumClass
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) :: IO Int32
forall (m :: * -> *) a. Monad m => a -> m a
return Int32
val
setEnumClassMinimum :: MonadIO m => EnumClass -> Int32 -> m ()
setEnumClassMinimum :: forall (m :: * -> *). MonadIO m => EnumClass -> Int32 -> m ()
setEnumClassMinimum EnumClass
s Int32
val = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumClass
s forall a b. (a -> b) -> a -> b
$ \Ptr EnumClass
ptr -> do
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EnumClass
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) (Int32
val :: Int32)
#if defined(ENABLE_OVERLOADING)
data EnumClassMinimumFieldInfo
instance AttrInfo EnumClassMinimumFieldInfo where
type AttrBaseTypeConstraint EnumClassMinimumFieldInfo = (~) EnumClass
type AttrAllowedOps EnumClassMinimumFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint EnumClassMinimumFieldInfo = (~) Int32
type AttrTransferTypeConstraint EnumClassMinimumFieldInfo = (~)Int32
type AttrTransferType EnumClassMinimumFieldInfo = Int32
type AttrGetType EnumClassMinimumFieldInfo = Int32
type AttrLabel EnumClassMinimumFieldInfo = "minimum"
type AttrOrigin EnumClassMinimumFieldInfo = EnumClass
attrGet = getEnumClassMinimum
attrSet = setEnumClassMinimum
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.GObject.Structs.EnumClass.minimum"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gobject-2.0.28/docs/GI-GObject-Structs-EnumClass.html#g:attr:minimum"
})
enumClass_minimum :: AttrLabelProxy "minimum"
enumClass_minimum = AttrLabelProxy
#endif
getEnumClassMaximum :: MonadIO m => EnumClass -> m Int32
getEnumClassMaximum :: forall (m :: * -> *). MonadIO m => EnumClass -> m Int32
getEnumClassMaximum EnumClass
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumClass
s forall a b. (a -> b) -> a -> b
$ \Ptr EnumClass
ptr -> do
Int32
val <- forall a. Storable a => Ptr a -> IO a
peek (Ptr EnumClass
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
12) :: IO Int32
forall (m :: * -> *) a. Monad m => a -> m a
return Int32
val
setEnumClassMaximum :: MonadIO m => EnumClass -> Int32 -> m ()
setEnumClassMaximum :: forall (m :: * -> *). MonadIO m => EnumClass -> Int32 -> m ()
setEnumClassMaximum EnumClass
s Int32
val = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumClass
s forall a b. (a -> b) -> a -> b
$ \Ptr EnumClass
ptr -> do
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EnumClass
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
12) (Int32
val :: Int32)
#if defined(ENABLE_OVERLOADING)
data EnumClassMaximumFieldInfo
instance AttrInfo EnumClassMaximumFieldInfo where
type AttrBaseTypeConstraint EnumClassMaximumFieldInfo = (~) EnumClass
type AttrAllowedOps EnumClassMaximumFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint EnumClassMaximumFieldInfo = (~) Int32
type AttrTransferTypeConstraint EnumClassMaximumFieldInfo = (~)Int32
type AttrTransferType EnumClassMaximumFieldInfo = Int32
type AttrGetType EnumClassMaximumFieldInfo = Int32
type AttrLabel EnumClassMaximumFieldInfo = "maximum"
type AttrOrigin EnumClassMaximumFieldInfo = EnumClass
attrGet = getEnumClassMaximum
attrSet = setEnumClassMaximum
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.GObject.Structs.EnumClass.maximum"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gobject-2.0.28/docs/GI-GObject-Structs-EnumClass.html#g:attr:maximum"
})
enumClass_maximum :: AttrLabelProxy "maximum"
enumClass_maximum = AttrLabelProxy
#endif
getEnumClassNValues :: MonadIO m => EnumClass -> m Word32
getEnumClassNValues :: forall (m :: * -> *). MonadIO m => EnumClass -> m Word32
getEnumClassNValues EnumClass
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumClass
s forall a b. (a -> b) -> a -> b
$ \Ptr EnumClass
ptr -> do
Word32
val <- forall a. Storable a => Ptr a -> IO a
peek (Ptr EnumClass
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) :: IO Word32
forall (m :: * -> *) a. Monad m => a -> m a
return Word32
val
setEnumClassNValues :: MonadIO m => EnumClass -> Word32 -> m ()
setEnumClassNValues :: forall (m :: * -> *). MonadIO m => EnumClass -> Word32 -> m ()
setEnumClassNValues EnumClass
s Word32
val = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumClass
s forall a b. (a -> b) -> a -> b
$ \Ptr EnumClass
ptr -> do
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EnumClass
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) (Word32
val :: Word32)
#if defined(ENABLE_OVERLOADING)
data EnumClassNValuesFieldInfo
instance AttrInfo EnumClassNValuesFieldInfo where
type AttrBaseTypeConstraint EnumClassNValuesFieldInfo = (~) EnumClass
type AttrAllowedOps EnumClassNValuesFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint EnumClassNValuesFieldInfo = (~) Word32
type AttrTransferTypeConstraint EnumClassNValuesFieldInfo = (~)Word32
type AttrTransferType EnumClassNValuesFieldInfo = Word32
type AttrGetType EnumClassNValuesFieldInfo = Word32
type AttrLabel EnumClassNValuesFieldInfo = "n_values"
type AttrOrigin EnumClassNValuesFieldInfo = EnumClass
attrGet = getEnumClassNValues
attrSet = setEnumClassNValues
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.GObject.Structs.EnumClass.nValues"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gobject-2.0.28/docs/GI-GObject-Structs-EnumClass.html#g:attr:nValues"
})
enumClass_nValues :: AttrLabelProxy "nValues"
enumClass_nValues = AttrLabelProxy
#endif
getEnumClassValues :: MonadIO m => EnumClass -> m (Maybe GObject.EnumValue.EnumValue)
getEnumClassValues :: forall (m :: * -> *). MonadIO m => EnumClass -> m (Maybe EnumValue)
getEnumClassValues EnumClass
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumClass
s forall a b. (a -> b) -> a -> b
$ \Ptr EnumClass
ptr -> do
Ptr EnumValue
val <- forall a. Storable a => Ptr a -> IO a
peek (Ptr EnumClass
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24) :: IO (Ptr GObject.EnumValue.EnumValue)
Maybe EnumValue
result <- forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
SP.convertIfNonNull Ptr EnumValue
val forall a b. (a -> b) -> a -> b
$ \Ptr EnumValue
val' -> do
EnumValue
val'' <- (forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
newPtr ManagedPtr EnumValue -> EnumValue
GObject.EnumValue.EnumValue) Ptr EnumValue
val'
forall (m :: * -> *) a. Monad m => a -> m a
return EnumValue
val''
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe EnumValue
result
setEnumClassValues :: MonadIO m => EnumClass -> Ptr GObject.EnumValue.EnumValue -> m ()
setEnumClassValues :: forall (m :: * -> *).
MonadIO m =>
EnumClass -> Ptr EnumValue -> m ()
setEnumClassValues EnumClass
s Ptr EnumValue
val = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumClass
s forall a b. (a -> b) -> a -> b
$ \Ptr EnumClass
ptr -> do
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EnumClass
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24) (Ptr EnumValue
val :: Ptr GObject.EnumValue.EnumValue)
clearEnumClassValues :: MonadIO m => EnumClass -> m ()
clearEnumClassValues :: forall (m :: * -> *). MonadIO m => EnumClass -> m ()
clearEnumClassValues EnumClass
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EnumClass
s forall a b. (a -> b) -> a -> b
$ \Ptr EnumClass
ptr -> do
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EnumClass
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24) (forall a. Ptr a
FP.nullPtr :: Ptr GObject.EnumValue.EnumValue)
#if defined(ENABLE_OVERLOADING)
data EnumClassValuesFieldInfo
instance AttrInfo EnumClassValuesFieldInfo where
type AttrBaseTypeConstraint EnumClassValuesFieldInfo = (~) EnumClass
type AttrAllowedOps EnumClassValuesFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
type AttrSetTypeConstraint EnumClassValuesFieldInfo = (~) (Ptr GObject.EnumValue.EnumValue)
type AttrTransferTypeConstraint EnumClassValuesFieldInfo = (~)(Ptr GObject.EnumValue.EnumValue)
type AttrTransferType EnumClassValuesFieldInfo = (Ptr GObject.EnumValue.EnumValue)
type AttrGetType EnumClassValuesFieldInfo = Maybe GObject.EnumValue.EnumValue
type AttrLabel EnumClassValuesFieldInfo = "values"
type AttrOrigin EnumClassValuesFieldInfo = EnumClass
attrGet = getEnumClassValues
attrSet = setEnumClassValues
attrConstruct = undefined
attrClear = clearEnumClassValues
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.GObject.Structs.EnumClass.values"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gobject-2.0.28/docs/GI-GObject-Structs-EnumClass.html#g:attr:values"
})
enumClass_values :: AttrLabelProxy "values"
enumClass_values = AttrLabelProxy
#endif
#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList EnumClass
type instance O.AttributeList EnumClass = EnumClassAttributeList
type EnumClassAttributeList = ('[ '("gTypeClass", EnumClassGTypeClassFieldInfo), '("minimum", EnumClassMinimumFieldInfo), '("maximum", EnumClassMaximumFieldInfo), '("nValues", EnumClassNValuesFieldInfo), '("values", EnumClassValuesFieldInfo)] :: [(Symbol, DK.Type)])
#endif
#if defined(ENABLE_OVERLOADING)
type family ResolveEnumClassMethod (t :: Symbol) (o :: DK.Type) :: DK.Type where
ResolveEnumClassMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveEnumClassMethod t EnumClass, O.OverloadedMethod info EnumClass p) => OL.IsLabel t (EnumClass -> 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 ~ ResolveEnumClassMethod t EnumClass, O.OverloadedMethod info EnumClass p, R.HasField t EnumClass p) => R.HasField t EnumClass p where
getField = O.overloadedMethod @info
#endif
instance (info ~ ResolveEnumClassMethod t EnumClass, O.OverloadedMethodInfo info EnumClass) => OL.IsLabel t (O.MethodProxy info EnumClass) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.MethodProxy
#else
fromLabel _ = O.MethodProxy
#endif
#endif