{-# LANGUAGE TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.Gdk.Structs.EventDND
(
EventDND(..) ,
newZeroEventDND ,
#if defined(ENABLE_OVERLOADING)
ResolveEventDNDMethod ,
#endif
clearEventDNDContext ,
#if defined(ENABLE_OVERLOADING)
eventDND_context ,
#endif
getEventDNDContext ,
setEventDNDContext ,
#if defined(ENABLE_OVERLOADING)
eventDND_sendEvent ,
#endif
getEventDNDSendEvent ,
setEventDNDSendEvent ,
#if defined(ENABLE_OVERLOADING)
eventDND_time ,
#endif
getEventDNDTime ,
setEventDNDTime ,
#if defined(ENABLE_OVERLOADING)
eventDND_type ,
#endif
getEventDNDType ,
setEventDNDType ,
clearEventDNDWindow ,
#if defined(ENABLE_OVERLOADING)
eventDND_window ,
#endif
getEventDNDWindow ,
setEventDNDWindow ,
#if defined(ENABLE_OVERLOADING)
eventDND_xRoot ,
#endif
getEventDNDXRoot ,
setEventDNDXRoot ,
#if defined(ENABLE_OVERLOADING)
eventDND_yRoot ,
#endif
getEventDNDYRoot ,
setEventDNDYRoot ,
) 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 qualified Data.Word as DW
import qualified Data.Int as DI
import qualified System.Posix.Types as SPT
import qualified Foreign.C.Types as FCT
#if MIN_VERSION_base(4,18,0)
import qualified GI.Cairo.Enums as Cairo.Enums
import qualified GI.Cairo.Structs.Context as Cairo.Context
import qualified GI.Cairo.Structs.FontOptions as Cairo.FontOptions
import qualified GI.Cairo.Structs.Pattern as Cairo.Pattern
import qualified GI.Cairo.Structs.Region as Cairo.Region
import qualified GI.Cairo.Structs.Surface as Cairo.Surface
import qualified GI.GLib.Callbacks as GLib.Callbacks
import qualified GI.GObject.Objects.Object as GObject.Object
import qualified GI.Gdk.Callbacks as Gdk.Callbacks
import {-# SOURCE #-} qualified GI.Gdk.Enums as Gdk.Enums
import {-# SOURCE #-} qualified GI.Gdk.Flags as Gdk.Flags
import {-# SOURCE #-} qualified GI.Gdk.Objects.AppLaunchContext as Gdk.AppLaunchContext
import {-# SOURCE #-} qualified GI.Gdk.Objects.Cursor as Gdk.Cursor
import {-# SOURCE #-} qualified GI.Gdk.Objects.Device as Gdk.Device
import {-# SOURCE #-} qualified GI.Gdk.Objects.DeviceManager as Gdk.DeviceManager
import {-# SOURCE #-} qualified GI.Gdk.Objects.DeviceTool as Gdk.DeviceTool
import {-# SOURCE #-} qualified GI.Gdk.Objects.Display as Gdk.Display
import {-# SOURCE #-} qualified GI.Gdk.Objects.DragContext as Gdk.DragContext
import {-# SOURCE #-} qualified GI.Gdk.Objects.DrawingContext as Gdk.DrawingContext
import {-# SOURCE #-} qualified GI.Gdk.Objects.FrameClock as Gdk.FrameClock
import {-# SOURCE #-} qualified GI.Gdk.Objects.GLContext as Gdk.GLContext
import {-# SOURCE #-} qualified GI.Gdk.Objects.Monitor as Gdk.Monitor
import {-# SOURCE #-} qualified GI.Gdk.Objects.Screen as Gdk.Screen
import {-# SOURCE #-} qualified GI.Gdk.Objects.Seat as Gdk.Seat
import {-# SOURCE #-} qualified GI.Gdk.Objects.Visual as Gdk.Visual
import {-# SOURCE #-} qualified GI.Gdk.Objects.Window as Gdk.Window
import {-# SOURCE #-} qualified GI.Gdk.Structs.Atom as Gdk.Atom
import {-# SOURCE #-} qualified GI.Gdk.Structs.Color as Gdk.Color
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventAny as Gdk.EventAny
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventButton as Gdk.EventButton
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventConfigure as Gdk.EventConfigure
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventCrossing as Gdk.EventCrossing
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventExpose as Gdk.EventExpose
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventFocus as Gdk.EventFocus
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventGrabBroken as Gdk.EventGrabBroken
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventKey as Gdk.EventKey
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventMotion as Gdk.EventMotion
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventOwnerChange as Gdk.EventOwnerChange
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventPadAxis as Gdk.EventPadAxis
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventPadButton as Gdk.EventPadButton
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventPadGroupMode as Gdk.EventPadGroupMode
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventProperty as Gdk.EventProperty
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventProximity as Gdk.EventProximity
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventScroll as Gdk.EventScroll
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventSelection as Gdk.EventSelection
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventSequence as Gdk.EventSequence
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventSetting as Gdk.EventSetting
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventTouch as Gdk.EventTouch
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventTouchpadPinch as Gdk.EventTouchpadPinch
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventTouchpadSwipe as Gdk.EventTouchpadSwipe
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventVisibility as Gdk.EventVisibility
import {-# SOURCE #-} qualified GI.Gdk.Structs.EventWindowState as Gdk.EventWindowState
import {-# SOURCE #-} qualified GI.Gdk.Structs.FrameTimings as Gdk.FrameTimings
import {-# SOURCE #-} qualified GI.Gdk.Structs.Geometry as Gdk.Geometry
import {-# SOURCE #-} qualified GI.Gdk.Structs.RGBA as Gdk.RGBA
import {-# SOURCE #-} qualified GI.Gdk.Structs.Rectangle as Gdk.Rectangle
import {-# SOURCE #-} qualified GI.Gdk.Structs.WindowAttr as Gdk.WindowAttr
import {-# SOURCE #-} qualified GI.Gdk.Unions.Event as Gdk.Event
import qualified GI.GdkPixbuf.Objects.Pixbuf as GdkPixbuf.Pixbuf
import qualified GI.Gio.Interfaces.Icon as Gio.Icon
import qualified GI.Gio.Objects.AppLaunchContext as Gio.AppLaunchContext
#else
import {-# SOURCE #-} qualified GI.Gdk.Enums as Gdk.Enums
import {-# SOURCE #-} qualified GI.Gdk.Objects.DragContext as Gdk.DragContext
import {-# SOURCE #-} qualified GI.Gdk.Objects.Window as Gdk.Window
#endif
newtype EventDND = EventDND (SP.ManagedPtr EventDND)
deriving (EventDND -> EventDND -> Bool
(EventDND -> EventDND -> Bool)
-> (EventDND -> EventDND -> Bool) -> Eq EventDND
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: EventDND -> EventDND -> Bool
== :: EventDND -> EventDND -> Bool
$c/= :: EventDND -> EventDND -> Bool
/= :: EventDND -> EventDND -> Bool
Eq)
instance SP.ManagedPtrNewtype EventDND where
toManagedPtr :: EventDND -> ManagedPtr EventDND
toManagedPtr (EventDND ManagedPtr EventDND
p) = ManagedPtr EventDND
p
instance BoxedPtr EventDND where
boxedPtrCopy :: EventDND -> IO EventDND
boxedPtrCopy = \EventDND
p -> EventDND -> (Ptr EventDND -> IO EventDND) -> IO EventDND
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
B.ManagedPtr.withManagedPtr EventDND
p (Int -> Ptr EventDND -> IO (Ptr EventDND)
forall a. (HasCallStack, CallocPtr a) => Int -> Ptr a -> IO (Ptr a)
copyBytes Int
40 (Ptr EventDND -> IO (Ptr EventDND))
-> (Ptr EventDND -> IO EventDND) -> Ptr EventDND -> IO EventDND
forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> (ManagedPtr EventDND -> EventDND) -> Ptr EventDND -> IO EventDND
forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
B.ManagedPtr.wrapPtr ManagedPtr EventDND -> EventDND
EventDND)
boxedPtrFree :: EventDND -> IO ()
boxedPtrFree = \EventDND
x -> EventDND -> (Ptr EventDND -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
SP.withManagedPtr EventDND
x Ptr EventDND -> IO ()
forall a. Ptr a -> IO ()
SP.freeMem
instance CallocPtr EventDND where
boxedPtrCalloc :: IO (Ptr EventDND)
boxedPtrCalloc = Int -> IO (Ptr EventDND)
forall a. Int -> IO (Ptr a)
callocBytes Int
40
newZeroEventDND :: MonadIO m => m EventDND
newZeroEventDND :: forall (m :: * -> *). MonadIO m => m EventDND
newZeroEventDND = IO EventDND -> m EventDND
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO EventDND -> m EventDND) -> IO EventDND -> m EventDND
forall a b. (a -> b) -> a -> b
$ IO (Ptr EventDND)
forall a. CallocPtr a => IO (Ptr a)
boxedPtrCalloc IO (Ptr EventDND) -> (Ptr EventDND -> IO EventDND) -> IO EventDND
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (ManagedPtr EventDND -> EventDND) -> Ptr EventDND -> IO EventDND
forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr EventDND -> EventDND
EventDND
instance tag ~ 'AttrSet => Constructible EventDND tag where
new :: forall (m :: * -> *).
MonadIO m =>
(ManagedPtr EventDND -> EventDND)
-> [AttrOp EventDND tag] -> m EventDND
new ManagedPtr EventDND -> EventDND
_ [AttrOp EventDND tag]
attrs = do
EventDND
o <- m EventDND
forall (m :: * -> *). MonadIO m => m EventDND
newZeroEventDND
EventDND -> [AttrOp EventDND 'AttrSet] -> m ()
forall o (m :: * -> *).
MonadIO m =>
o -> [AttrOp o 'AttrSet] -> m ()
GI.Attributes.set EventDND
o [AttrOp EventDND tag]
[AttrOp EventDND 'AttrSet]
attrs
EventDND -> m EventDND
forall a. a -> m a
forall (m :: * -> *) a. Monad m => a -> m a
return EventDND
o
getEventDNDType :: MonadIO m => EventDND -> m Gdk.Enums.EventType
getEventDNDType :: forall (m :: * -> *). MonadIO m => EventDND -> m EventType
getEventDNDType EventDND
s = IO EventType -> m EventType
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO EventType -> m EventType) -> IO EventType -> m EventType
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO EventType) -> IO EventType
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO EventType) -> IO EventType)
-> (Ptr EventDND -> IO EventType) -> IO EventType
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
CInt
val <- Ptr CInt -> IO CInt
forall a. Storable a => Ptr a -> IO a
peek (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) :: IO CInt
let val' :: EventType
val' = (Int -> EventType
forall a. Enum a => Int -> a
toEnum (Int -> EventType) -> (CInt -> Int) -> CInt -> EventType
forall b c a. (b -> c) -> (a -> b) -> a -> c
. CInt -> Int
forall a b. (Integral a, Num b) => a -> b
fromIntegral) CInt
val
EventType -> IO EventType
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return EventType
val'
setEventDNDType :: MonadIO m => EventDND -> Gdk.Enums.EventType -> m ()
setEventDNDType :: forall (m :: * -> *). MonadIO m => EventDND -> EventType -> m ()
setEventDNDType EventDND
s EventType
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO ()) -> IO ())
-> (Ptr EventDND -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
let val' :: CInt
val' = (Int -> CInt
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int -> CInt) -> (EventType -> Int) -> EventType -> CInt
forall b c a. (b -> c) -> (a -> b) -> a -> c
. EventType -> Int
forall a. Enum a => a -> Int
fromEnum) EventType
val
Ptr CInt -> CInt -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr CInt
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) (CInt
val' :: CInt)
#if defined(ENABLE_OVERLOADING)
data EventDNDTypeFieldInfo
instance AttrInfo EventDNDTypeFieldInfo where
type AttrBaseTypeConstraint EventDNDTypeFieldInfo = (~) EventDND
type AttrAllowedOps EventDNDTypeFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint EventDNDTypeFieldInfo = (~) Gdk.Enums.EventType
type AttrTransferTypeConstraint EventDNDTypeFieldInfo = (~)Gdk.Enums.EventType
type AttrTransferType EventDNDTypeFieldInfo = Gdk.Enums.EventType
type AttrGetType EventDNDTypeFieldInfo = Gdk.Enums.EventType
type AttrLabel EventDNDTypeFieldInfo = "type"
type AttrOrigin EventDNDTypeFieldInfo = EventDND
attrGet = getEventDNDType
attrSet = setEventDNDType
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gdk.Structs.EventDND.type"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk-3.0.29/docs/GI-Gdk-Structs-EventDND.html#g:attr:type"
})
eventDND_type :: AttrLabelProxy "type"
eventDND_type = AttrLabelProxy
#endif
getEventDNDWindow :: MonadIO m => EventDND -> m (Maybe Gdk.Window.Window)
getEventDNDWindow :: forall (m :: * -> *). MonadIO m => EventDND -> m (Maybe Window)
getEventDNDWindow EventDND
s = IO (Maybe Window) -> m (Maybe Window)
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe Window) -> m (Maybe Window))
-> IO (Maybe Window) -> m (Maybe Window)
forall a b. (a -> b) -> a -> b
$ EventDND
-> (Ptr EventDND -> IO (Maybe Window)) -> IO (Maybe Window)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO (Maybe Window)) -> IO (Maybe Window))
-> (Ptr EventDND -> IO (Maybe Window)) -> IO (Maybe Window)
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Ptr Window
val <- Ptr (Ptr Window) -> IO (Ptr Window)
forall a. Storable a => Ptr a -> IO a
peek (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr (Ptr Window)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) :: IO (Ptr Gdk.Window.Window)
Maybe Window
result <- Ptr Window -> (Ptr Window -> IO Window) -> IO (Maybe Window)
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
SP.convertIfNonNull Ptr Window
val ((Ptr Window -> IO Window) -> IO (Maybe Window))
-> (Ptr Window -> IO Window) -> IO (Maybe Window)
forall a b. (a -> b) -> a -> b
$ \Ptr Window
val' -> do
Window
val'' <- ((ManagedPtr Window -> Window) -> Ptr Window -> IO Window
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
newObject ManagedPtr Window -> Window
Gdk.Window.Window) Ptr Window
val'
Window -> IO Window
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Window
val''
Maybe Window -> IO (Maybe Window)
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe Window
result
setEventDNDWindow :: MonadIO m => EventDND -> Ptr Gdk.Window.Window -> m ()
setEventDNDWindow :: forall (m :: * -> *). MonadIO m => EventDND -> Ptr Window -> m ()
setEventDNDWindow EventDND
s Ptr Window
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO ()) -> IO ())
-> (Ptr EventDND -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Ptr (Ptr Window) -> Ptr Window -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr (Ptr Window)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) (Ptr Window
val :: Ptr Gdk.Window.Window)
clearEventDNDWindow :: MonadIO m => EventDND -> m ()
clearEventDNDWindow :: forall (m :: * -> *). MonadIO m => EventDND -> m ()
clearEventDNDWindow EventDND
s = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO ()) -> IO ())
-> (Ptr EventDND -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Ptr (Ptr Window) -> Ptr Window -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr (Ptr Window)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) (Ptr Window
forall a. Ptr a
FP.nullPtr :: Ptr Gdk.Window.Window)
#if defined(ENABLE_OVERLOADING)
data EventDNDWindowFieldInfo
instance AttrInfo EventDNDWindowFieldInfo where
type AttrBaseTypeConstraint EventDNDWindowFieldInfo = (~) EventDND
type AttrAllowedOps EventDNDWindowFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
type AttrSetTypeConstraint EventDNDWindowFieldInfo = (~) (Ptr Gdk.Window.Window)
type AttrTransferTypeConstraint EventDNDWindowFieldInfo = (~)(Ptr Gdk.Window.Window)
type AttrTransferType EventDNDWindowFieldInfo = (Ptr Gdk.Window.Window)
type AttrGetType EventDNDWindowFieldInfo = Maybe Gdk.Window.Window
type AttrLabel EventDNDWindowFieldInfo = "window"
type AttrOrigin EventDNDWindowFieldInfo = EventDND
attrGet = getEventDNDWindow
attrSet = setEventDNDWindow
attrConstruct = undefined
attrClear = clearEventDNDWindow
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gdk.Structs.EventDND.window"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk-3.0.29/docs/GI-Gdk-Structs-EventDND.html#g:attr:window"
})
eventDND_window :: AttrLabelProxy "window"
eventDND_window = AttrLabelProxy
#endif
getEventDNDSendEvent :: MonadIO m => EventDND -> m Int8
getEventDNDSendEvent :: forall (m :: * -> *). MonadIO m => EventDND -> m Int8
getEventDNDSendEvent EventDND
s = IO Int8 -> m Int8
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Int8 -> m Int8) -> IO Int8 -> m Int8
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO Int8) -> IO Int8
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO Int8) -> IO Int8)
-> (Ptr EventDND -> IO Int8) -> IO Int8
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Int8
val <- Ptr Int8 -> IO Int8
forall a. Storable a => Ptr a -> IO a
peek (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr Int8
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) :: IO Int8
Int8 -> IO Int8
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Int8
val
setEventDNDSendEvent :: MonadIO m => EventDND -> Int8 -> m ()
setEventDNDSendEvent :: forall (m :: * -> *). MonadIO m => EventDND -> Int8 -> m ()
setEventDNDSendEvent EventDND
s Int8
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO ()) -> IO ())
-> (Ptr EventDND -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Ptr Int8 -> Int8 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr Int8
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) (Int8
val :: Int8)
#if defined(ENABLE_OVERLOADING)
data EventDNDSendEventFieldInfo
instance AttrInfo EventDNDSendEventFieldInfo where
type AttrBaseTypeConstraint EventDNDSendEventFieldInfo = (~) EventDND
type AttrAllowedOps EventDNDSendEventFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint EventDNDSendEventFieldInfo = (~) Int8
type AttrTransferTypeConstraint EventDNDSendEventFieldInfo = (~)Int8
type AttrTransferType EventDNDSendEventFieldInfo = Int8
type AttrGetType EventDNDSendEventFieldInfo = Int8
type AttrLabel EventDNDSendEventFieldInfo = "send_event"
type AttrOrigin EventDNDSendEventFieldInfo = EventDND
attrGet = getEventDNDSendEvent
attrSet = setEventDNDSendEvent
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gdk.Structs.EventDND.sendEvent"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk-3.0.29/docs/GI-Gdk-Structs-EventDND.html#g:attr:sendEvent"
})
eventDND_sendEvent :: AttrLabelProxy "sendEvent"
eventDND_sendEvent = AttrLabelProxy
#endif
getEventDNDContext :: MonadIO m => EventDND -> m (Maybe Gdk.DragContext.DragContext)
getEventDNDContext :: forall (m :: * -> *).
MonadIO m =>
EventDND -> m (Maybe DragContext)
getEventDNDContext EventDND
s = IO (Maybe DragContext) -> m (Maybe DragContext)
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe DragContext) -> m (Maybe DragContext))
-> IO (Maybe DragContext) -> m (Maybe DragContext)
forall a b. (a -> b) -> a -> b
$ EventDND
-> (Ptr EventDND -> IO (Maybe DragContext))
-> IO (Maybe DragContext)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO (Maybe DragContext))
-> IO (Maybe DragContext))
-> (Ptr EventDND -> IO (Maybe DragContext))
-> IO (Maybe DragContext)
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Ptr DragContext
val <- Ptr (Ptr DragContext) -> IO (Ptr DragContext)
forall a. Storable a => Ptr a -> IO a
peek (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr (Ptr DragContext)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24) :: IO (Ptr Gdk.DragContext.DragContext)
Maybe DragContext
result <- Ptr DragContext
-> (Ptr DragContext -> IO DragContext) -> IO (Maybe DragContext)
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
SP.convertIfNonNull Ptr DragContext
val ((Ptr DragContext -> IO DragContext) -> IO (Maybe DragContext))
-> (Ptr DragContext -> IO DragContext) -> IO (Maybe DragContext)
forall a b. (a -> b) -> a -> b
$ \Ptr DragContext
val' -> do
DragContext
val'' <- ((ManagedPtr DragContext -> DragContext)
-> Ptr DragContext -> IO DragContext
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
newObject ManagedPtr DragContext -> DragContext
Gdk.DragContext.DragContext) Ptr DragContext
val'
DragContext -> IO DragContext
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return DragContext
val''
Maybe DragContext -> IO (Maybe DragContext)
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe DragContext
result
setEventDNDContext :: MonadIO m => EventDND -> Ptr Gdk.DragContext.DragContext -> m ()
setEventDNDContext :: forall (m :: * -> *).
MonadIO m =>
EventDND -> Ptr DragContext -> m ()
setEventDNDContext EventDND
s Ptr DragContext
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO ()) -> IO ())
-> (Ptr EventDND -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Ptr (Ptr DragContext) -> Ptr DragContext -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr (Ptr DragContext)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24) (Ptr DragContext
val :: Ptr Gdk.DragContext.DragContext)
clearEventDNDContext :: MonadIO m => EventDND -> m ()
clearEventDNDContext :: forall (m :: * -> *). MonadIO m => EventDND -> m ()
clearEventDNDContext EventDND
s = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO ()) -> IO ())
-> (Ptr EventDND -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Ptr (Ptr DragContext) -> Ptr DragContext -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr (Ptr DragContext)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24) (Ptr DragContext
forall a. Ptr a
FP.nullPtr :: Ptr Gdk.DragContext.DragContext)
#if defined(ENABLE_OVERLOADING)
data EventDNDContextFieldInfo
instance AttrInfo EventDNDContextFieldInfo where
type AttrBaseTypeConstraint EventDNDContextFieldInfo = (~) EventDND
type AttrAllowedOps EventDNDContextFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
type AttrSetTypeConstraint EventDNDContextFieldInfo = (~) (Ptr Gdk.DragContext.DragContext)
type AttrTransferTypeConstraint EventDNDContextFieldInfo = (~)(Ptr Gdk.DragContext.DragContext)
type AttrTransferType EventDNDContextFieldInfo = (Ptr Gdk.DragContext.DragContext)
type AttrGetType EventDNDContextFieldInfo = Maybe Gdk.DragContext.DragContext
type AttrLabel EventDNDContextFieldInfo = "context"
type AttrOrigin EventDNDContextFieldInfo = EventDND
attrGet = getEventDNDContext
attrSet = setEventDNDContext
attrConstruct = undefined
attrClear = clearEventDNDContext
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gdk.Structs.EventDND.context"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk-3.0.29/docs/GI-Gdk-Structs-EventDND.html#g:attr:context"
})
eventDND_context :: AttrLabelProxy "context"
eventDND_context = AttrLabelProxy
#endif
getEventDNDTime :: MonadIO m => EventDND -> m Word32
getEventDNDTime :: forall (m :: * -> *). MonadIO m => EventDND -> m Word32
getEventDNDTime EventDND
s = IO Word32 -> m Word32
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Word32 -> m Word32) -> IO Word32 -> m Word32
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO Word32) -> IO Word32
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO Word32) -> IO Word32)
-> (Ptr EventDND -> IO Word32) -> IO Word32
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Word32
val <- Ptr Word32 -> IO Word32
forall a. Storable a => Ptr a -> IO a
peek (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
32) :: IO Word32
Word32 -> IO Word32
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Word32
val
setEventDNDTime :: MonadIO m => EventDND -> Word32 -> m ()
setEventDNDTime :: forall (m :: * -> *). MonadIO m => EventDND -> Word32 -> m ()
setEventDNDTime EventDND
s Word32
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO ()) -> IO ())
-> (Ptr EventDND -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Ptr Word32 -> Word32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr Word32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
32) (Word32
val :: Word32)
#if defined(ENABLE_OVERLOADING)
data EventDNDTimeFieldInfo
instance AttrInfo EventDNDTimeFieldInfo where
type AttrBaseTypeConstraint EventDNDTimeFieldInfo = (~) EventDND
type AttrAllowedOps EventDNDTimeFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint EventDNDTimeFieldInfo = (~) Word32
type AttrTransferTypeConstraint EventDNDTimeFieldInfo = (~)Word32
type AttrTransferType EventDNDTimeFieldInfo = Word32
type AttrGetType EventDNDTimeFieldInfo = Word32
type AttrLabel EventDNDTimeFieldInfo = "time"
type AttrOrigin EventDNDTimeFieldInfo = EventDND
attrGet = getEventDNDTime
attrSet = setEventDNDTime
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gdk.Structs.EventDND.time"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk-3.0.29/docs/GI-Gdk-Structs-EventDND.html#g:attr:time"
})
eventDND_time :: AttrLabelProxy "time"
eventDND_time = AttrLabelProxy
#endif
getEventDNDXRoot :: MonadIO m => EventDND -> m FCT.CShort
getEventDNDXRoot :: forall (m :: * -> *). MonadIO m => EventDND -> m CShort
getEventDNDXRoot EventDND
s = IO CShort -> m CShort
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO CShort -> m CShort) -> IO CShort -> m CShort
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO CShort) -> IO CShort
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO CShort) -> IO CShort)
-> (Ptr EventDND -> IO CShort) -> IO CShort
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
CShort
val <- Ptr CShort -> IO CShort
forall a. Storable a => Ptr a -> IO a
peek (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr CShort
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
36) :: IO FCT.CShort
CShort -> IO CShort
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return CShort
val
setEventDNDXRoot :: MonadIO m => EventDND -> FCT.CShort -> m ()
setEventDNDXRoot :: forall (m :: * -> *). MonadIO m => EventDND -> CShort -> m ()
setEventDNDXRoot EventDND
s CShort
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO ()) -> IO ())
-> (Ptr EventDND -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Ptr CShort -> CShort -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr CShort
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
36) (CShort
val :: FCT.CShort)
#if defined(ENABLE_OVERLOADING)
data EventDNDXRootFieldInfo
instance AttrInfo EventDNDXRootFieldInfo where
type AttrBaseTypeConstraint EventDNDXRootFieldInfo = (~) EventDND
type AttrAllowedOps EventDNDXRootFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint EventDNDXRootFieldInfo = (~) FCT.CShort
type AttrTransferTypeConstraint EventDNDXRootFieldInfo = (~)FCT.CShort
type AttrTransferType EventDNDXRootFieldInfo = FCT.CShort
type AttrGetType EventDNDXRootFieldInfo = FCT.CShort
type AttrLabel EventDNDXRootFieldInfo = "x_root"
type AttrOrigin EventDNDXRootFieldInfo = EventDND
attrGet = getEventDNDXRoot
attrSet = setEventDNDXRoot
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gdk.Structs.EventDND.xRoot"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk-3.0.29/docs/GI-Gdk-Structs-EventDND.html#g:attr:xRoot"
})
eventDND_xRoot :: AttrLabelProxy "xRoot"
eventDND_xRoot = AttrLabelProxy
#endif
getEventDNDYRoot :: MonadIO m => EventDND -> m FCT.CShort
getEventDNDYRoot :: forall (m :: * -> *). MonadIO m => EventDND -> m CShort
getEventDNDYRoot EventDND
s = IO CShort -> m CShort
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO CShort -> m CShort) -> IO CShort -> m CShort
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO CShort) -> IO CShort
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO CShort) -> IO CShort)
-> (Ptr EventDND -> IO CShort) -> IO CShort
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
CShort
val <- Ptr CShort -> IO CShort
forall a. Storable a => Ptr a -> IO a
peek (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr CShort
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
38) :: IO FCT.CShort
CShort -> IO CShort
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return CShort
val
setEventDNDYRoot :: MonadIO m => EventDND -> FCT.CShort -> m ()
setEventDNDYRoot :: forall (m :: * -> *). MonadIO m => EventDND -> CShort -> m ()
setEventDNDYRoot EventDND
s CShort
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ EventDND -> (Ptr EventDND -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr EventDND
s ((Ptr EventDND -> IO ()) -> IO ())
-> (Ptr EventDND -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr EventDND
ptr -> do
Ptr CShort -> CShort -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr EventDND
ptr Ptr EventDND -> Int -> Ptr CShort
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
38) (CShort
val :: FCT.CShort)
#if defined(ENABLE_OVERLOADING)
data EventDNDYRootFieldInfo
instance AttrInfo EventDNDYRootFieldInfo where
type AttrBaseTypeConstraint EventDNDYRootFieldInfo = (~) EventDND
type AttrAllowedOps EventDNDYRootFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint EventDNDYRootFieldInfo = (~) FCT.CShort
type AttrTransferTypeConstraint EventDNDYRootFieldInfo = (~)FCT.CShort
type AttrTransferType EventDNDYRootFieldInfo = FCT.CShort
type AttrGetType EventDNDYRootFieldInfo = FCT.CShort
type AttrLabel EventDNDYRootFieldInfo = "y_root"
type AttrOrigin EventDNDYRootFieldInfo = EventDND
attrGet = getEventDNDYRoot
attrSet = setEventDNDYRoot
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gdk.Structs.EventDND.yRoot"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk-3.0.29/docs/GI-Gdk-Structs-EventDND.html#g:attr:yRoot"
})
eventDND_yRoot :: AttrLabelProxy "yRoot"
eventDND_yRoot = AttrLabelProxy
#endif
#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList EventDND
type instance O.AttributeList EventDND = EventDNDAttributeList
type EventDNDAttributeList = ('[ '("type", EventDNDTypeFieldInfo), '("window", EventDNDWindowFieldInfo), '("sendEvent", EventDNDSendEventFieldInfo), '("context", EventDNDContextFieldInfo), '("time", EventDNDTimeFieldInfo), '("xRoot", EventDNDXRootFieldInfo), '("yRoot", EventDNDYRootFieldInfo)] :: [(Symbol, DK.Type)])
#endif
#if defined(ENABLE_OVERLOADING)
type family ResolveEventDNDMethod (t :: Symbol) (o :: DK.Type) :: DK.Type where
ResolveEventDNDMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveEventDNDMethod t EventDND, O.OverloadedMethod info EventDND p) => OL.IsLabel t (EventDND -> 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 ~ ResolveEventDNDMethod t EventDND, O.OverloadedMethod info EventDND p, R.HasField t EventDND p) => R.HasField t EventDND p where
getField = O.overloadedMethod @info
#endif
instance (info ~ ResolveEventDNDMethod t EventDND, O.OverloadedMethodInfo info EventDND) => OL.IsLabel t (O.MethodProxy info EventDND) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.MethodProxy
#else
fromLabel _ = O.MethodProxy
#endif
#endif