#define ENABLE_OVERLOADING (MIN_VERSION_haskell_gi_overloading(1,0,0) \
&& !defined(__HADDOCK_VERSION__))
module GI.Gtk.Structs.BindingEntry
(
BindingEntry(..) ,
newZeroBindingEntry ,
noBindingEntry ,
bindingEntryAddSignalFromString ,
bindingEntryAddSignall ,
bindingEntryRemove ,
bindingEntrySkip ,
#if ENABLE_OVERLOADING
bindingEntry_bindingSet ,
#endif
clearBindingEntryBindingSet ,
getBindingEntryBindingSet ,
setBindingEntryBindingSet ,
#if ENABLE_OVERLOADING
bindingEntry_destroyed ,
#endif
getBindingEntryDestroyed ,
setBindingEntryDestroyed ,
#if ENABLE_OVERLOADING
bindingEntry_hashNext ,
#endif
clearBindingEntryHashNext ,
getBindingEntryHashNext ,
setBindingEntryHashNext ,
#if ENABLE_OVERLOADING
bindingEntry_inEmission ,
#endif
getBindingEntryInEmission ,
setBindingEntryInEmission ,
#if ENABLE_OVERLOADING
bindingEntry_keyval ,
#endif
getBindingEntryKeyval ,
setBindingEntryKeyval ,
#if ENABLE_OVERLOADING
bindingEntry_marksUnbound ,
#endif
getBindingEntryMarksUnbound ,
setBindingEntryMarksUnbound ,
#if ENABLE_OVERLOADING
bindingEntry_modifiers ,
#endif
getBindingEntryModifiers ,
setBindingEntryModifiers ,
#if ENABLE_OVERLOADING
bindingEntry_setNext ,
#endif
clearBindingEntrySetNext ,
getBindingEntrySetNext ,
setBindingEntrySetNext ,
#if ENABLE_OVERLOADING
bindingEntry_signals ,
#endif
clearBindingEntrySignals ,
getBindingEntrySignals ,
setBindingEntrySignals ,
) 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.ManagedPtr as B.ManagedPtr
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.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 GI.GLib.Enums as GLib.Enums
import qualified GI.Gdk.Flags as Gdk.Flags
import {-# SOURCE #-} qualified GI.Gtk.Structs.BindingArg as Gtk.BindingArg
import {-# SOURCE #-} qualified GI.Gtk.Structs.BindingSet as Gtk.BindingSet
import {-# SOURCE #-} qualified GI.Gtk.Structs.BindingSignal as Gtk.BindingSignal
newtype BindingEntry = BindingEntry (ManagedPtr BindingEntry)
instance WrappedPtr BindingEntry where
wrappedPtrCalloc = callocBytes 56
wrappedPtrCopy = \p -> withManagedPtr p (copyBytes 56 >=> wrapPtr BindingEntry)
wrappedPtrFree = Just ptr_to_g_free
newZeroBindingEntry :: MonadIO m => m BindingEntry
newZeroBindingEntry = liftIO $ wrappedPtrCalloc >>= wrapPtr BindingEntry
instance tag ~ 'AttrSet => Constructible BindingEntry tag where
new _ attrs = do
o <- newZeroBindingEntry
GI.Attributes.set o attrs
return o
noBindingEntry :: Maybe BindingEntry
noBindingEntry = Nothing
getBindingEntryKeyval :: MonadIO m => BindingEntry -> m Word32
getBindingEntryKeyval s = liftIO $ withManagedPtr s $ \ptr -> do
val <- peek (ptr `plusPtr` 0) :: IO Word32
return val
setBindingEntryKeyval :: MonadIO m => BindingEntry -> Word32 -> m ()
setBindingEntryKeyval s val = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 0) (val :: Word32)
#if ENABLE_OVERLOADING
data BindingEntryKeyvalFieldInfo
instance AttrInfo BindingEntryKeyvalFieldInfo where
type AttrAllowedOps BindingEntryKeyvalFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint BindingEntryKeyvalFieldInfo = (~) Word32
type AttrBaseTypeConstraint BindingEntryKeyvalFieldInfo = (~) BindingEntry
type AttrGetType BindingEntryKeyvalFieldInfo = Word32
type AttrLabel BindingEntryKeyvalFieldInfo = "keyval"
type AttrOrigin BindingEntryKeyvalFieldInfo = BindingEntry
attrGet _ = getBindingEntryKeyval
attrSet _ = setBindingEntryKeyval
attrConstruct = undefined
attrClear _ = undefined
bindingEntry_keyval :: AttrLabelProxy "keyval"
bindingEntry_keyval = AttrLabelProxy
#endif
getBindingEntryModifiers :: MonadIO m => BindingEntry -> m [Gdk.Flags.ModifierType]
getBindingEntryModifiers s = liftIO $ withManagedPtr s $ \ptr -> do
val <- peek (ptr `plusPtr` 4) :: IO CUInt
let val' = wordToGFlags val
return val'
setBindingEntryModifiers :: MonadIO m => BindingEntry -> [Gdk.Flags.ModifierType] -> m ()
setBindingEntryModifiers s val = liftIO $ withManagedPtr s $ \ptr -> do
let val' = gflagsToWord val
poke (ptr `plusPtr` 4) (val' :: CUInt)
#if ENABLE_OVERLOADING
data BindingEntryModifiersFieldInfo
instance AttrInfo BindingEntryModifiersFieldInfo where
type AttrAllowedOps BindingEntryModifiersFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint BindingEntryModifiersFieldInfo = (~) [Gdk.Flags.ModifierType]
type AttrBaseTypeConstraint BindingEntryModifiersFieldInfo = (~) BindingEntry
type AttrGetType BindingEntryModifiersFieldInfo = [Gdk.Flags.ModifierType]
type AttrLabel BindingEntryModifiersFieldInfo = "modifiers"
type AttrOrigin BindingEntryModifiersFieldInfo = BindingEntry
attrGet _ = getBindingEntryModifiers
attrSet _ = setBindingEntryModifiers
attrConstruct = undefined
attrClear _ = undefined
bindingEntry_modifiers :: AttrLabelProxy "modifiers"
bindingEntry_modifiers = AttrLabelProxy
#endif
getBindingEntryBindingSet :: MonadIO m => BindingEntry -> m (Maybe Gtk.BindingSet.BindingSet)
getBindingEntryBindingSet s = liftIO $ withManagedPtr s $ \ptr -> do
val <- peek (ptr `plusPtr` 8) :: IO (Ptr Gtk.BindingSet.BindingSet)
result <- SP.convertIfNonNull val $ \val' -> do
val'' <- (newPtr Gtk.BindingSet.BindingSet) val'
return val''
return result
setBindingEntryBindingSet :: MonadIO m => BindingEntry -> Ptr Gtk.BindingSet.BindingSet -> m ()
setBindingEntryBindingSet s val = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 8) (val :: Ptr Gtk.BindingSet.BindingSet)
clearBindingEntryBindingSet :: MonadIO m => BindingEntry -> m ()
clearBindingEntryBindingSet s = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 8) (FP.nullPtr :: Ptr Gtk.BindingSet.BindingSet)
#if ENABLE_OVERLOADING
data BindingEntryBindingSetFieldInfo
instance AttrInfo BindingEntryBindingSetFieldInfo where
type AttrAllowedOps BindingEntryBindingSetFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
type AttrSetTypeConstraint BindingEntryBindingSetFieldInfo = (~) (Ptr Gtk.BindingSet.BindingSet)
type AttrBaseTypeConstraint BindingEntryBindingSetFieldInfo = (~) BindingEntry
type AttrGetType BindingEntryBindingSetFieldInfo = Maybe Gtk.BindingSet.BindingSet
type AttrLabel BindingEntryBindingSetFieldInfo = "binding_set"
type AttrOrigin BindingEntryBindingSetFieldInfo = BindingEntry
attrGet _ = getBindingEntryBindingSet
attrSet _ = setBindingEntryBindingSet
attrConstruct = undefined
attrClear _ = clearBindingEntryBindingSet
bindingEntry_bindingSet :: AttrLabelProxy "bindingSet"
bindingEntry_bindingSet = AttrLabelProxy
#endif
getBindingEntryDestroyed :: MonadIO m => BindingEntry -> m Word32
getBindingEntryDestroyed s = liftIO $ withManagedPtr s $ \ptr -> do
val <- peek (ptr `plusPtr` 16) :: IO Word32
return val
setBindingEntryDestroyed :: MonadIO m => BindingEntry -> Word32 -> m ()
setBindingEntryDestroyed s val = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 16) (val :: Word32)
#if ENABLE_OVERLOADING
data BindingEntryDestroyedFieldInfo
instance AttrInfo BindingEntryDestroyedFieldInfo where
type AttrAllowedOps BindingEntryDestroyedFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint BindingEntryDestroyedFieldInfo = (~) Word32
type AttrBaseTypeConstraint BindingEntryDestroyedFieldInfo = (~) BindingEntry
type AttrGetType BindingEntryDestroyedFieldInfo = Word32
type AttrLabel BindingEntryDestroyedFieldInfo = "destroyed"
type AttrOrigin BindingEntryDestroyedFieldInfo = BindingEntry
attrGet _ = getBindingEntryDestroyed
attrSet _ = setBindingEntryDestroyed
attrConstruct = undefined
attrClear _ = undefined
bindingEntry_destroyed :: AttrLabelProxy "destroyed"
bindingEntry_destroyed = AttrLabelProxy
#endif
getBindingEntryInEmission :: MonadIO m => BindingEntry -> m Word32
getBindingEntryInEmission s = liftIO $ withManagedPtr s $ \ptr -> do
val <- peek (ptr `plusPtr` 20) :: IO Word32
return val
setBindingEntryInEmission :: MonadIO m => BindingEntry -> Word32 -> m ()
setBindingEntryInEmission s val = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 20) (val :: Word32)
#if ENABLE_OVERLOADING
data BindingEntryInEmissionFieldInfo
instance AttrInfo BindingEntryInEmissionFieldInfo where
type AttrAllowedOps BindingEntryInEmissionFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint BindingEntryInEmissionFieldInfo = (~) Word32
type AttrBaseTypeConstraint BindingEntryInEmissionFieldInfo = (~) BindingEntry
type AttrGetType BindingEntryInEmissionFieldInfo = Word32
type AttrLabel BindingEntryInEmissionFieldInfo = "in_emission"
type AttrOrigin BindingEntryInEmissionFieldInfo = BindingEntry
attrGet _ = getBindingEntryInEmission
attrSet _ = setBindingEntryInEmission
attrConstruct = undefined
attrClear _ = undefined
bindingEntry_inEmission :: AttrLabelProxy "inEmission"
bindingEntry_inEmission = AttrLabelProxy
#endif
getBindingEntryMarksUnbound :: MonadIO m => BindingEntry -> m Word32
getBindingEntryMarksUnbound s = liftIO $ withManagedPtr s $ \ptr -> do
val <- peek (ptr `plusPtr` 24) :: IO Word32
return val
setBindingEntryMarksUnbound :: MonadIO m => BindingEntry -> Word32 -> m ()
setBindingEntryMarksUnbound s val = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 24) (val :: Word32)
#if ENABLE_OVERLOADING
data BindingEntryMarksUnboundFieldInfo
instance AttrInfo BindingEntryMarksUnboundFieldInfo where
type AttrAllowedOps BindingEntryMarksUnboundFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint BindingEntryMarksUnboundFieldInfo = (~) Word32
type AttrBaseTypeConstraint BindingEntryMarksUnboundFieldInfo = (~) BindingEntry
type AttrGetType BindingEntryMarksUnboundFieldInfo = Word32
type AttrLabel BindingEntryMarksUnboundFieldInfo = "marks_unbound"
type AttrOrigin BindingEntryMarksUnboundFieldInfo = BindingEntry
attrGet _ = getBindingEntryMarksUnbound
attrSet _ = setBindingEntryMarksUnbound
attrConstruct = undefined
attrClear _ = undefined
bindingEntry_marksUnbound :: AttrLabelProxy "marksUnbound"
bindingEntry_marksUnbound = AttrLabelProxy
#endif
getBindingEntrySetNext :: MonadIO m => BindingEntry -> m (Maybe BindingEntry)
getBindingEntrySetNext s = liftIO $ withManagedPtr s $ \ptr -> do
val <- peek (ptr `plusPtr` 32) :: IO (Ptr BindingEntry)
result <- SP.convertIfNonNull val $ \val' -> do
val'' <- (newPtr BindingEntry) val'
return val''
return result
setBindingEntrySetNext :: MonadIO m => BindingEntry -> Ptr BindingEntry -> m ()
setBindingEntrySetNext s val = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 32) (val :: Ptr BindingEntry)
clearBindingEntrySetNext :: MonadIO m => BindingEntry -> m ()
clearBindingEntrySetNext s = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 32) (FP.nullPtr :: Ptr BindingEntry)
#if ENABLE_OVERLOADING
data BindingEntrySetNextFieldInfo
instance AttrInfo BindingEntrySetNextFieldInfo where
type AttrAllowedOps BindingEntrySetNextFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
type AttrSetTypeConstraint BindingEntrySetNextFieldInfo = (~) (Ptr BindingEntry)
type AttrBaseTypeConstraint BindingEntrySetNextFieldInfo = (~) BindingEntry
type AttrGetType BindingEntrySetNextFieldInfo = Maybe BindingEntry
type AttrLabel BindingEntrySetNextFieldInfo = "set_next"
type AttrOrigin BindingEntrySetNextFieldInfo = BindingEntry
attrGet _ = getBindingEntrySetNext
attrSet _ = setBindingEntrySetNext
attrConstruct = undefined
attrClear _ = clearBindingEntrySetNext
bindingEntry_setNext :: AttrLabelProxy "setNext"
bindingEntry_setNext = AttrLabelProxy
#endif
getBindingEntryHashNext :: MonadIO m => BindingEntry -> m (Maybe BindingEntry)
getBindingEntryHashNext s = liftIO $ withManagedPtr s $ \ptr -> do
val <- peek (ptr `plusPtr` 40) :: IO (Ptr BindingEntry)
result <- SP.convertIfNonNull val $ \val' -> do
val'' <- (newPtr BindingEntry) val'
return val''
return result
setBindingEntryHashNext :: MonadIO m => BindingEntry -> Ptr BindingEntry -> m ()
setBindingEntryHashNext s val = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 40) (val :: Ptr BindingEntry)
clearBindingEntryHashNext :: MonadIO m => BindingEntry -> m ()
clearBindingEntryHashNext s = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 40) (FP.nullPtr :: Ptr BindingEntry)
#if ENABLE_OVERLOADING
data BindingEntryHashNextFieldInfo
instance AttrInfo BindingEntryHashNextFieldInfo where
type AttrAllowedOps BindingEntryHashNextFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
type AttrSetTypeConstraint BindingEntryHashNextFieldInfo = (~) (Ptr BindingEntry)
type AttrBaseTypeConstraint BindingEntryHashNextFieldInfo = (~) BindingEntry
type AttrGetType BindingEntryHashNextFieldInfo = Maybe BindingEntry
type AttrLabel BindingEntryHashNextFieldInfo = "hash_next"
type AttrOrigin BindingEntryHashNextFieldInfo = BindingEntry
attrGet _ = getBindingEntryHashNext
attrSet _ = setBindingEntryHashNext
attrConstruct = undefined
attrClear _ = clearBindingEntryHashNext
bindingEntry_hashNext :: AttrLabelProxy "hashNext"
bindingEntry_hashNext = AttrLabelProxy
#endif
getBindingEntrySignals :: MonadIO m => BindingEntry -> m (Maybe Gtk.BindingSignal.BindingSignal)
getBindingEntrySignals s = liftIO $ withManagedPtr s $ \ptr -> do
val <- peek (ptr `plusPtr` 48) :: IO (Ptr Gtk.BindingSignal.BindingSignal)
result <- SP.convertIfNonNull val $ \val' -> do
val'' <- (newPtr Gtk.BindingSignal.BindingSignal) val'
return val''
return result
setBindingEntrySignals :: MonadIO m => BindingEntry -> Ptr Gtk.BindingSignal.BindingSignal -> m ()
setBindingEntrySignals s val = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 48) (val :: Ptr Gtk.BindingSignal.BindingSignal)
clearBindingEntrySignals :: MonadIO m => BindingEntry -> m ()
clearBindingEntrySignals s = liftIO $ withManagedPtr s $ \ptr -> do
poke (ptr `plusPtr` 48) (FP.nullPtr :: Ptr Gtk.BindingSignal.BindingSignal)
#if ENABLE_OVERLOADING
data BindingEntrySignalsFieldInfo
instance AttrInfo BindingEntrySignalsFieldInfo where
type AttrAllowedOps BindingEntrySignalsFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
type AttrSetTypeConstraint BindingEntrySignalsFieldInfo = (~) (Ptr Gtk.BindingSignal.BindingSignal)
type AttrBaseTypeConstraint BindingEntrySignalsFieldInfo = (~) BindingEntry
type AttrGetType BindingEntrySignalsFieldInfo = Maybe Gtk.BindingSignal.BindingSignal
type AttrLabel BindingEntrySignalsFieldInfo = "signals"
type AttrOrigin BindingEntrySignalsFieldInfo = BindingEntry
attrGet _ = getBindingEntrySignals
attrSet _ = setBindingEntrySignals
attrConstruct = undefined
attrClear _ = clearBindingEntrySignals
bindingEntry_signals :: AttrLabelProxy "signals"
bindingEntry_signals = AttrLabelProxy
#endif
#if ENABLE_OVERLOADING
instance O.HasAttributeList BindingEntry
type instance O.AttributeList BindingEntry = BindingEntryAttributeList
type BindingEntryAttributeList = ('[ '("keyval", BindingEntryKeyvalFieldInfo), '("modifiers", BindingEntryModifiersFieldInfo), '("bindingSet", BindingEntryBindingSetFieldInfo), '("destroyed", BindingEntryDestroyedFieldInfo), '("inEmission", BindingEntryInEmissionFieldInfo), '("marksUnbound", BindingEntryMarksUnboundFieldInfo), '("setNext", BindingEntrySetNextFieldInfo), '("hashNext", BindingEntryHashNextFieldInfo), '("signals", BindingEntrySignalsFieldInfo)] :: [(Symbol, *)])
#endif
foreign import ccall "gtk_binding_entry_add_signal_from_string" gtk_binding_entry_add_signal_from_string ::
Ptr Gtk.BindingSet.BindingSet ->
CString ->
IO CUInt
bindingEntryAddSignalFromString ::
(B.CallStack.HasCallStack, MonadIO m) =>
Gtk.BindingSet.BindingSet
-> T.Text
-> m GLib.Enums.TokenType
bindingEntryAddSignalFromString bindingSet signalDesc = liftIO $ do
bindingSet' <- unsafeManagedPtrGetPtr bindingSet
signalDesc' <- textToCString signalDesc
result <- gtk_binding_entry_add_signal_from_string bindingSet' signalDesc'
let result' = (toEnum . fromIntegral) result
touchManagedPtr bindingSet
freeMem signalDesc'
return result'
#if ENABLE_OVERLOADING
#endif
foreign import ccall "gtk_binding_entry_add_signall" gtk_binding_entry_add_signall ::
Ptr Gtk.BindingSet.BindingSet ->
Word32 ->
CUInt ->
CString ->
Ptr (GSList (Ptr Gtk.BindingArg.BindingArg)) ->
IO ()
bindingEntryAddSignall ::
(B.CallStack.HasCallStack, MonadIO m) =>
Gtk.BindingSet.BindingSet
-> Word32
-> [Gdk.Flags.ModifierType]
-> T.Text
-> [Gtk.BindingArg.BindingArg]
-> m ()
bindingEntryAddSignall bindingSet keyval modifiers signalName bindingArgs = liftIO $ do
bindingSet' <- unsafeManagedPtrGetPtr bindingSet
let modifiers' = gflagsToWord modifiers
signalName' <- textToCString signalName
bindingArgs' <- mapM unsafeManagedPtrGetPtr bindingArgs
bindingArgs'' <- packGSList bindingArgs'
gtk_binding_entry_add_signall bindingSet' keyval modifiers' signalName' bindingArgs''
touchManagedPtr bindingSet
mapM_ touchManagedPtr bindingArgs
freeMem signalName'
g_slist_free bindingArgs''
return ()
#if ENABLE_OVERLOADING
#endif
foreign import ccall "gtk_binding_entry_remove" gtk_binding_entry_remove ::
Ptr Gtk.BindingSet.BindingSet ->
Word32 ->
CUInt ->
IO ()
bindingEntryRemove ::
(B.CallStack.HasCallStack, MonadIO m) =>
Gtk.BindingSet.BindingSet
-> Word32
-> [Gdk.Flags.ModifierType]
-> m ()
bindingEntryRemove bindingSet keyval modifiers = liftIO $ do
bindingSet' <- unsafeManagedPtrGetPtr bindingSet
let modifiers' = gflagsToWord modifiers
gtk_binding_entry_remove bindingSet' keyval modifiers'
touchManagedPtr bindingSet
return ()
#if ENABLE_OVERLOADING
#endif
foreign import ccall "gtk_binding_entry_skip" gtk_binding_entry_skip ::
Ptr Gtk.BindingSet.BindingSet ->
Word32 ->
CUInt ->
IO ()
bindingEntrySkip ::
(B.CallStack.HasCallStack, MonadIO m) =>
Gtk.BindingSet.BindingSet
-> Word32
-> [Gdk.Flags.ModifierType]
-> m ()
bindingEntrySkip bindingSet keyval modifiers = liftIO $ do
bindingSet' <- unsafeManagedPtrGetPtr bindingSet
let modifiers' = gflagsToWord modifiers
gtk_binding_entry_skip bindingSet' keyval modifiers'
touchManagedPtr bindingSet
return ()
#if ENABLE_OVERLOADING
#endif
#if ENABLE_OVERLOADING
type family ResolveBindingEntryMethod (t :: Symbol) (o :: *) :: * where
ResolveBindingEntryMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveBindingEntryMethod t BindingEntry, O.MethodInfo info BindingEntry p) => OL.IsLabel t (BindingEntry -> p) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)
#else
fromLabel _ = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)
#endif
#endif