    {-# LANGUAGE ImplicitParams, RankNTypes, TypeApplications #-}

    -- | Copyright  : Will Thompson and Iñaki García Etxebarria
    -- License    : LGPL-2.1
    -- Maintainer : Iñaki García Etxebarria
    --
    -- Represents a collection of input devices that belong to a user.

    #if !defined(__HADDOCK_VERSION__)
    #define ENABLE_OVERLOADING
    #endif

    module GI.Gdk.Objects.Seat
        (

    -- * Exported types
        Seat(..)                                ,
        IsSeat                                  ,
        toSeat                                  ,

     -- * Methods
    -- |
    --
    --  === __Click to display all available methods, including inherited ones__
    -- ==== Methods
    -- [bindProperty]("GI.GObject.Objects.Object#g:method:bindProperty"), [bindPropertyFull]("GI.GObject.Objects.Object#g:method:bindPropertyFull"), [forceFloating]("GI.GObject.Objects.Object#g:method:forceFloating"), [freezeNotify]("GI.GObject.Objects.Object#g:method:freezeNotify"), [getv]("GI.GObject.Objects.Object#g:method:getv"), [isFloating]("GI.GObject.Objects.Object#g:method:isFloating"), [notify]("GI.GObject.Objects.Object#g:method:notify"), [notifyByPspec]("GI.GObject.Objects.Object#g:method:notifyByPspec"), [ref]("GI.GObject.Objects.Object#g:method:ref"), [refSink]("GI.GObject.Objects.Object#g:method:refSink"), [runDispose]("GI.GObject.Objects.Object#g:method:runDispose"), [stealData]("GI.GObject.Objects.Object#g:method:stealData"), [stealQdata]("GI.GObject.Objects.Object#g:method:stealQdata"), [thawNotify]("GI.GObject.Objects.Object#g:method:thawNotify"), [unref]("GI.GObject.Objects.Object#g:method:unref"), [watchClosure]("GI.GObject.Objects.Object#g:method:watchClosure").
    --
    -- ==== Getters
    -- [getCapabilities]("GI.Gdk.Objects.Seat#g:method:getCapabilities"), [getData]("GI.GObject.Objects.Object#g:method:getData"), [getDevices]("GI.Gdk.Objects.Seat#g:method:getDevices"), [getDisplay]("GI.Gdk.Objects.Seat#g:method:getDisplay"), [getKeyboard]("GI.Gdk.Objects.Seat#g:method:getKeyboard"), [getPointer]("GI.Gdk.Objects.Seat#g:method:getPointer"), [getProperty]("GI.GObject.Objects.Object#g:method:getProperty"), [getQdata]("GI.GObject.Objects.Object#g:method:getQdata"), [getTools]("GI.Gdk.Objects.Seat#g:method:getTools").
    --
    -- ==== Setters
    -- [setData]("GI.GObject.Objects.Object#g:method:setData"), [setDataFull]("GI.GObject.Objects.Object#g:method:setDataFull"), [setProperty]("GI.GObject.Objects.Object#g:method:setProperty").

    #if defined(ENABLE_OVERLOADING)
        ResolveSeatMethod                       ,
    #endif

    -- ** getCapabilities #method:getCapabilities#

    #if defined(ENABLE_OVERLOADING)
        SeatGetCapabilitiesMethodInfo           ,
    #endif
        seatGetCapabilities                     ,

    -- ** getDevices #method:getDevices#

    #if defined(ENABLE_OVERLOADING)
        SeatGetDevicesMethodInfo                ,
    #endif
        seatGetDevices                          ,

    -- ** getDisplay #method:getDisplay#

    #if defined(ENABLE_OVERLOADING)
        SeatGetDisplayMethodInfo                ,
    #endif
        seatGetDisplay                          ,

    -- ** getKeyboard #method:getKeyboard#

    #if defined(ENABLE_OVERLOADING)
        SeatGetKeyboardMethodInfo               ,
    #endif
        seatGetKeyboard                         ,

    -- ** getPointer #method:getPointer#

    #if defined(ENABLE_OVERLOADING)
        SeatGetPointerMethodInfo                ,
    #endif
        seatGetPointer                          ,

    -- ** getTools #method:getTools#

    #if defined(ENABLE_OVERLOADING)
        SeatGetToolsMethodInfo                  ,
    #endif
        seatGetTools                            ,

     -- * Properties

    -- ** display #attr:display#
    -- | @GdkDisplay@ of this seat.

    #if defined(ENABLE_OVERLOADING)
        SeatDisplayPropertyInfo                 ,
    #endif
        constructSeatDisplay                    ,
        getSeatDisplay                          ,
    #if defined(ENABLE_OVERLOADING)
        seatDisplay                             ,
    #endif

     -- * Signals

    -- ** deviceAdded #signal:deviceAdded#

        SeatDeviceAddedCallback                 ,
    #if defined(ENABLE_OVERLOADING)
        SeatDeviceAddedSignalInfo               ,
    #endif
        afterSeatDeviceAdded                    ,
        onSeatDeviceAdded                       ,

    -- ** deviceRemoved #signal:deviceRemoved#

        SeatDeviceRemovedCallback               ,
    #if defined(ENABLE_OVERLOADING)
        SeatDeviceRemovedSignalInfo             ,
    #endif
        afterSeatDeviceRemoved                  ,
        onSeatDeviceRemoved                     ,

    -- ** toolAdded #signal:toolAdded#

        SeatToolAddedCallback                   ,
    #if defined(ENABLE_OVERLOADING)
        SeatToolAddedSignalInfo                 ,
    #endif
        afterSeatToolAdded                      ,
        onSeatToolAdded                         ,

    -- ** toolRemoved #signal:toolRemoved#

        SeatToolRemovedCallback                 ,
    #if defined(ENABLE_OVERLOADING)
        SeatToolRemovedSignalInfo               ,
    #endif
        afterSeatToolRemoved                    ,
        onSeatToolRemoved                       ,

        ) 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

    -- Workaround for https://gitlab.haskell.org/ghc/ghc/-/issues/23392
    #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.Region as Cairo.Region
    import qualified GI.Cairo.Structs.Surface as Cairo.Surface
    import qualified GI.GLib.Callbacks as GLib.Callbacks
    import qualified GI.GLib.Structs.Bytes as GLib.Bytes
    import qualified GI.GLib.Structs.String as GLib.String
    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.Interfaces.Paintable as Gdk.Paintable
    import {-# SOURCE #-} qualified GI.Gdk.Objects.AppLaunchContext as Gdk.AppLaunchContext
    import {-# SOURCE #-} qualified GI.Gdk.Objects.CairoContext as Gdk.CairoContext
    import {-# SOURCE #-} qualified GI.Gdk.Objects.CicpParams as Gdk.CicpParams
    import {-# SOURCE #-} qualified GI.Gdk.Objects.Clipboard as Gdk.Clipboard
    import {-# SOURCE #-} qualified GI.Gdk.Objects.ContentProvider as Gdk.ContentProvider
    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.DeviceTool as Gdk.DeviceTool
    import {-# SOURCE #-} qualified GI.Gdk.Objects.Display as Gdk.Display
    import {-# SOURCE #-} qualified GI.Gdk.Objects.DrawContext as Gdk.DrawContext
    import {-# SOURCE #-} qualified GI.Gdk.Objects.Event as Gdk.Event
    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.Snapshot as Gdk.Snapshot
    import {-# SOURCE #-} qualified GI.Gdk.Objects.Surface as Gdk.Surface
    import {-# SOURCE #-} qualified GI.Gdk.Objects.Texture as Gdk.Texture
    import {-# SOURCE #-} qualified GI.Gdk.Objects.VulkanContext as Gdk.VulkanContext
    import {-# SOURCE #-} qualified GI.Gdk.Structs.ColorState as Gdk.ColorState
    import {-# SOURCE #-} qualified GI.Gdk.Structs.ContentFormats as Gdk.ContentFormats
    import {-# SOURCE #-} qualified GI.Gdk.Structs.DmabufFormats as Gdk.DmabufFormats
    import {-# SOURCE #-} qualified GI.Gdk.Structs.EventSequence as Gdk.EventSequence
    import {-# SOURCE #-} qualified GI.Gdk.Structs.FrameTimings as Gdk.FrameTimings
    import {-# SOURCE #-} qualified GI.Gdk.Structs.KeymapKey as Gdk.KeymapKey
    import {-# SOURCE #-} qualified GI.Gdk.Structs.Rectangle as Gdk.Rectangle
    import {-# SOURCE #-} qualified GI.Gdk.Structs.TimeCoord as Gdk.TimeCoord
    import qualified GI.GdkPixbuf.Objects.Pixbuf as GdkPixbuf.Pixbuf
    import qualified GI.Gio.Callbacks as Gio.Callbacks
    import qualified GI.Gio.Interfaces.AsyncResult as Gio.AsyncResult
    import qualified GI.Gio.Interfaces.File as Gio.File
    import qualified GI.Gio.Interfaces.Icon as Gio.Icon
    import qualified GI.Gio.Interfaces.ListModel as Gio.ListModel
    import qualified GI.Gio.Interfaces.LoadableIcon as Gio.LoadableIcon
    import qualified GI.Gio.Objects.AppLaunchContext as Gio.AppLaunchContext
    import qualified GI.Gio.Objects.Cancellable as Gio.Cancellable
    import qualified GI.Gio.Objects.InputStream as Gio.InputStream
    import qualified GI.Gio.Objects.OutputStream as Gio.OutputStream
    import qualified GI.Pango.Enums as Pango.Enums

    #else
    import qualified GI.GObject.Objects.Object as GObject.Object
    import {-# SOURCE #-} qualified GI.Gdk.Flags as Gdk.Flags
    import {-# SOURCE #-} qualified GI.Gdk.Objects.Device as Gdk.Device
    import {-# SOURCE #-} qualified GI.Gdk.Objects.DeviceTool as Gdk.DeviceTool
    import {-# SOURCE #-} qualified GI.Gdk.Objects.Display as Gdk.Display

    #endif

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

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

    foreign import ccall "gdk_seat_get_type"
        c_gdk_seat_get_type :: IO B.Types.GType

    instance B.Types.TypedObject Seat where
        glibType :: IO GType
    glibType = IO GType
    c_gdk_seat_get_type

    instance B.Types.GObject Seat

    -- | Type class for types which can be safely cast to t'Seat', for instance with `toSeat`.
    class (SP.GObject o, O.IsDescendantOf Seat o) => IsSeat o
    instance (SP.GObject o, O.IsDescendantOf Seat o) => IsSeat o

    instance O.HasParentTypes Seat
    type instance O.ParentTypes Seat = '[GObject.Object.Object]

    -- | Cast to t'Seat', for types for which this is known to be safe. For general casts, use 'Data.GI.Base.ManagedPtr.castTo'.
    toSeat :: (MIO.MonadIO m, IsSeat o) => o -> m Seat
    toSeat :: forall (m :: * -> *) o. (MonadIO m, IsSeat o) => o -> m Seat
    toSeat = IO Seat -> m Seat
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    MIO.liftIO (IO Seat -> m Seat) -> (o -> IO Seat) -> o -> m Seat
    forall b c a. (b -> c) -> (a -> b) -> a -> c
    . (ManagedPtr Seat -> Seat) -> o -> IO Seat
    forall o o'.
    (HasCallStack, ManagedPtrNewtype o, TypedObject o,
     ManagedPtrNewtype o', TypedObject o') =>
    (ManagedPtr o' -> o') -> o -> IO o'
    B.ManagedPtr.unsafeCastTo ManagedPtr Seat -> Seat
    Seat

    -- | Convert t'Seat' to and from t'Data.GI.Base.GValue.GValue'. See 'Data.GI.Base.GValue.toGValue' and 'Data.GI.Base.GValue.fromGValue'.
    instance B.GValue.IsGValue (Maybe Seat) where
        gvalueGType_ :: IO GType
    gvalueGType_ = IO GType
    c_gdk_seat_get_type
        gvalueSet_ :: Ptr GValue -> Maybe Seat -> IO ()
    gvalueSet_ Ptr GValue
    gv Maybe Seat
    P.Nothing = Ptr GValue -> Ptr Seat -> IO ()
    forall a. GObject a => Ptr GValue -> Ptr a -> IO ()
    B.GValue.set_object Ptr GValue
    gv (Ptr Seat
    forall a. Ptr a
    FP.nullPtr :: FP.Ptr Seat)
        gvalueSet_ Ptr GValue
    gv (P.Just Seat
    obj) = Seat -> (Ptr Seat -> IO ()) -> IO ()
    forall a c.
    (HasCallStack, ManagedPtrNewtype a) =>
    a -> (Ptr a -> IO c) -> IO c
    B.ManagedPtr.withManagedPtr Seat
    obj (Ptr GValue -> Ptr Seat -> IO ()
    forall a. GObject a => Ptr GValue -> Ptr a -> IO ()
    B.GValue.set_object Ptr GValue
    gv)
        gvalueGet_ :: Ptr GValue -> IO (Maybe Seat)
    gvalueGet_ Ptr GValue
    gv = do
            ptr <- Ptr GValue -> IO (Ptr Seat)
    forall a. GObject a => Ptr GValue -> IO (Ptr a)
    B.GValue.get_object Ptr GValue
    gv :: IO (FP.Ptr Seat)
            if ptr /= FP.nullPtr
            then P.Just <$> B.ManagedPtr.newObject Seat ptr
            else return P.Nothing

    #if defined(ENABLE_OVERLOADING)
    type family ResolveSeatMethod (t :: Symbol) (o :: DK.Type) :: DK.Type where
        ResolveSeatMethod "bindProperty" o = GObject.Object.ObjectBindPropertyMethodInfo
        ResolveSeatMethod "bindPropertyFull" o = GObject.Object.ObjectBindPropertyFullMethodInfo
        ResolveSeatMethod "forceFloating" o = GObject.Object.ObjectForceFloatingMethodInfo
        ResolveSeatMethod "freezeNotify" o = GObject.Object.ObjectFreezeNotifyMethodInfo
        ResolveSeatMethod "getv" o = GObject.Object.ObjectGetvMethodInfo
        ResolveSeatMethod "isFloating" o = GObject.Object.ObjectIsFloatingMethodInfo
        ResolveSeatMethod "notify" o = GObject.Object.ObjectNotifyMethodInfo
        ResolveSeatMethod "notifyByPspec" o = GObject.Object.ObjectNotifyByPspecMethodInfo
        ResolveSeatMethod "ref" o = GObject.Object.ObjectRefMethodInfo
        ResolveSeatMethod "refSink" o = GObject.Object.ObjectRefSinkMethodInfo
        ResolveSeatMethod "runDispose" o = GObject.Object.ObjectRunDisposeMethodInfo
        ResolveSeatMethod "stealData" o = GObject.Object.ObjectStealDataMethodInfo
        ResolveSeatMethod "stealQdata" o = GObject.Object.ObjectStealQdataMethodInfo
        ResolveSeatMethod "thawNotify" o = GObject.Object.ObjectThawNotifyMethodInfo
        ResolveSeatMethod "unref" o = GObject.Object.ObjectUnrefMethodInfo
        ResolveSeatMethod "watchClosure" o = GObject.Object.ObjectWatchClosureMethodInfo
        ResolveSeatMethod "getCapabilities" o = SeatGetCapabilitiesMethodInfo
        ResolveSeatMethod "getData" o = GObject.Object.ObjectGetDataMethodInfo
        ResolveSeatMethod "getDevices" o = SeatGetDevicesMethodInfo
        ResolveSeatMethod "getDisplay" o = SeatGetDisplayMethodInfo
        ResolveSeatMethod "getKeyboard" o = SeatGetKeyboardMethodInfo
        ResolveSeatMethod "getPointer" o = SeatGetPointerMethodInfo
        ResolveSeatMethod "getProperty" o = GObject.Object.ObjectGetPropertyMethodInfo
        ResolveSeatMethod "getQdata" o = GObject.Object.ObjectGetQdataMethodInfo
        ResolveSeatMethod "getTools" o = SeatGetToolsMethodInfo
        ResolveSeatMethod "setData" o = GObject.Object.ObjectSetDataMethodInfo
        ResolveSeatMethod "setDataFull" o = GObject.Object.ObjectSetDataFullMethodInfo
        ResolveSeatMethod "setProperty" o = GObject.Object.ObjectSetPropertyMethodInfo
        ResolveSeatMethod l o = O.MethodResolutionFailed l o

    instance (info ~ ResolveSeatMethod t Seat, O.OverloadedMethod info Seat p) => OL.IsLabel t (Seat -> 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 ~ ResolveSeatMethod t Seat, O.OverloadedMethod info Seat p, R.HasField t Seat p) => R.HasField t Seat p where
        getField = O.overloadedMethod @info

    #endif

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

    #endif

    -- signal Seat::device-added
    -- | Emitted when a new input device is related to this seat.
    type SeatDeviceAddedCallback =
        Gdk.Device.Device
        -- ^ /@device@/: the newly added @GdkDevice@.
        -> IO ()

    type C_SeatDeviceAddedCallback =
        Ptr Seat ->                             -- object
        Ptr Gdk.Device.Device ->
        Ptr () ->                               -- user_data
        IO ()

    -- | Generate a function pointer callable from C code, from a `C_SeatDeviceAddedCallback`.
    foreign import ccall "wrapper"
        mk_SeatDeviceAddedCallback :: C_SeatDeviceAddedCallback -> IO (FunPtr C_SeatDeviceAddedCallback)

    wrap_SeatDeviceAddedCallback ::
        GObject a => (a -> SeatDeviceAddedCallback) ->
        C_SeatDeviceAddedCallback
    wrap_SeatDeviceAddedCallback :: forall a.
    GObject a =>
    (a -> SeatDeviceAddedCallback) -> C_SeatDeviceAddedCallback
    wrap_SeatDeviceAddedCallback a -> SeatDeviceAddedCallback
    gi'cb Ptr Seat
    gi'selfPtr Ptr Device
    device Ptr ()
    _ = do
        device' <- ((ManagedPtr Device -> Device) -> Ptr Device -> IO Device
    forall a b.
    (HasCallStack, GObject a, GObject b) =>
    (ManagedPtr a -> a) -> Ptr b -> IO a
    newObject ManagedPtr Device -> Device
    Gdk.Device.Device) Ptr Device
    device
        B.ManagedPtr.withNewObject gi'selfPtr $ \Seat
    gi'self -> a -> SeatDeviceAddedCallback
    gi'cb (Seat -> a
    forall a b. Coercible a b => a -> b
    Coerce.coerce Seat
    gi'self)  Device
    device'

    -- | Connect a signal handler for the [deviceAdded](#signal:deviceAdded) signal, to be run before the default handler.
    -- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
    --
    -- @
    -- 'Data.GI.Base.Signals.on' seat #deviceAdded callback
    -- @
    --
    --
    onSeatDeviceAdded :: (IsSeat a, MonadIO m) => a -> ((?self :: a) => SeatDeviceAddedCallback) -> m SignalHandlerId
    onSeatDeviceAdded :: forall a (m :: * -> *).
    (IsSeat a, MonadIO m) =>
    a -> ((?self::a) => SeatDeviceAddedCallback) -> m SignalHandlerId
    onSeatDeviceAdded a
    obj (?self::a) => SeatDeviceAddedCallback
    cb = IO SignalHandlerId -> m SignalHandlerId
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO SignalHandlerId -> m SignalHandlerId)
    -> IO SignalHandlerId -> m SignalHandlerId
    forall a b. (a -> b) -> a -> b
    $ do
        let wrapped :: a -> SeatDeviceAddedCallback
    wrapped a
    self = let ?self = a
    ?self::a
    self in (?self::a) => SeatDeviceAddedCallback
    SeatDeviceAddedCallback
    cb
        let wrapped' :: C_SeatDeviceAddedCallback
    wrapped' = (a -> SeatDeviceAddedCallback) -> C_SeatDeviceAddedCallback
    forall a.
    GObject a =>
    (a -> SeatDeviceAddedCallback) -> C_SeatDeviceAddedCallback
    wrap_SeatDeviceAddedCallback a -> SeatDeviceAddedCallback
    wrapped
        wrapped'' <- C_SeatDeviceAddedCallback -> IO (FunPtr C_SeatDeviceAddedCallback)
    mk_SeatDeviceAddedCallback C_SeatDeviceAddedCallback
    wrapped'
        connectSignalFunPtr obj "device-added" wrapped'' SignalConnectBefore Nothing

    -- | Connect a signal handler for the [deviceAdded](#signal:deviceAdded) signal, to be run after the default handler.
    -- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
    --
    -- @
    -- 'Data.GI.Base.Signals.after' seat #deviceAdded callback
    -- @
    --
    --
    --
    -- By default the object invoking the signal is not passed to the callback.
    -- If you need to access it, you can use the implit @?self@ parameter.
    -- Note that this requires activating the @ImplicitParams@ GHC extension.
    --
    afterSeatDeviceAdded :: (IsSeat a, MonadIO m) => a -> ((?self :: a) => SeatDeviceAddedCallback) -> m SignalHandlerId
    afterSeatDeviceAdded :: forall a (m :: * -> *).
    (IsSeat a, MonadIO m) =>
    a -> ((?self::a) => SeatDeviceAddedCallback) -> m SignalHandlerId
    afterSeatDeviceAdded a
    obj (?self::a) => SeatDeviceAddedCallback
    cb = IO SignalHandlerId -> m SignalHandlerId
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO SignalHandlerId -> m SignalHandlerId)
    -> IO SignalHandlerId -> m SignalHandlerId
    forall a b. (a -> b) -> a -> b
    $ do
        let wrapped :: a -> SeatDeviceAddedCallback
    wrapped a
    self = let ?self = a
    ?self::a
    self in (?self::a) => SeatDeviceAddedCallback
    SeatDeviceAddedCallback
    cb
        let wrapped' :: C_SeatDeviceAddedCallback
    wrapped' = (a -> SeatDeviceAddedCallback) -> C_SeatDeviceAddedCallback
    forall a.
    GObject a =>
    (a -> SeatDeviceAddedCallback) -> C_SeatDeviceAddedCallback
    wrap_SeatDeviceAddedCallback a -> SeatDeviceAddedCallback
    wrapped
        wrapped'' <- C_SeatDeviceAddedCallback -> IO (FunPtr C_SeatDeviceAddedCallback)
    mk_SeatDeviceAddedCallback C_SeatDeviceAddedCallback
    wrapped'
        connectSignalFunPtr obj "device-added" wrapped'' SignalConnectAfter Nothing

    #if defined(ENABLE_OVERLOADING)
    data SeatDeviceAddedSignalInfo
    instance SignalInfo SeatDeviceAddedSignalInfo where
        type HaskellCallbackType SeatDeviceAddedSignalInfo = SeatDeviceAddedCallback
        connectSignal obj cb connectMode detail = do
            let cb' = wrap_SeatDeviceAddedCallback cb
            cb'' <- mk_SeatDeviceAddedCallback cb'
            connectSignalFunPtr obj "device-added" cb'' connectMode detail
        dbgSignalInfo = P.Just (O.ResolvedSymbolInfo {
            O.resolvedSymbolName = "GI.Gdk.Objects.Seat::device-added"
            , O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk4-4.0.10/docs/GI-Gdk-Objects-Seat.html#g:signal:deviceAdded"})

    #endif

    -- signal Seat::device-removed
    -- | Emitted when an input device is removed (e.g. unplugged).
    type SeatDeviceRemovedCallback =
        Gdk.Device.Device
        -- ^ /@device@/: the just removed @GdkDevice@.
        -> IO ()

    type C_SeatDeviceRemovedCallback =
        Ptr Seat ->                             -- object
        Ptr Gdk.Device.Device ->
        Ptr () ->                               -- user_data
        IO ()

    -- | Generate a function pointer callable from C code, from a `C_SeatDeviceRemovedCallback`.
    foreign import ccall "wrapper"
        mk_SeatDeviceRemovedCallback :: C_SeatDeviceRemovedCallback -> IO (FunPtr C_SeatDeviceRemovedCallback)

    wrap_SeatDeviceRemovedCallback ::
        GObject a => (a -> SeatDeviceRemovedCallback) ->
        C_SeatDeviceRemovedCallback
    wrap_SeatDeviceRemovedCallback :: forall a.
    GObject a =>
    (a -> SeatDeviceAddedCallback) -> C_SeatDeviceAddedCallback
    wrap_SeatDeviceRemovedCallback a -> SeatDeviceAddedCallback
    gi'cb Ptr Seat
    gi'selfPtr Ptr Device
    device Ptr ()
    _ = do
        device' <- ((ManagedPtr Device -> Device) -> Ptr Device -> IO Device
    forall a b.
    (HasCallStack, GObject a, GObject b) =>
    (ManagedPtr a -> a) -> Ptr b -> IO a
    newObject ManagedPtr Device -> Device
    Gdk.Device.Device) Ptr Device
    device
        B.ManagedPtr.withNewObject gi'selfPtr $ \Seat
    gi'self -> a -> SeatDeviceAddedCallback
    gi'cb (Seat -> a
    forall a b. Coercible a b => a -> b
    Coerce.coerce Seat
    gi'self)  Device
    device'

    -- | Connect a signal handler for the [deviceRemoved](#signal:deviceRemoved) signal, to be run before the default handler.
    -- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
    --
    -- @
    -- 'Data.GI.Base.Signals.on' seat #deviceRemoved callback
    -- @
    --
    --
    onSeatDeviceRemoved :: (IsSeat a, MonadIO m) => a -> ((?self :: a) => SeatDeviceRemovedCallback) -> m SignalHandlerId
    onSeatDeviceRemoved :: forall a (m :: * -> *).
    (IsSeat a, MonadIO m) =>
    a -> ((?self::a) => SeatDeviceAddedCallback) -> m SignalHandlerId
    onSeatDeviceRemoved a
    obj (?self::a) => SeatDeviceAddedCallback
    cb = IO SignalHandlerId -> m SignalHandlerId
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO SignalHandlerId -> m SignalHandlerId)
    -> IO SignalHandlerId -> m SignalHandlerId
    forall a b. (a -> b) -> a -> b
    $ do
        let wrapped :: a -> SeatDeviceAddedCallback
    wrapped a
    self = let ?self = a
    ?self::a
    self in (?self::a) => SeatDeviceAddedCallback
    SeatDeviceAddedCallback
    cb
        let wrapped' :: C_SeatDeviceAddedCallback
    wrapped' = (a -> SeatDeviceAddedCallback) -> C_SeatDeviceAddedCallback
    forall a.
    GObject a =>
    (a -> SeatDeviceAddedCallback) -> C_SeatDeviceAddedCallback
    wrap_SeatDeviceRemovedCallback a -> SeatDeviceAddedCallback
    wrapped
        wrapped'' <- C_SeatDeviceAddedCallback -> IO (FunPtr C_SeatDeviceAddedCallback)
    mk_SeatDeviceRemovedCallback C_SeatDeviceAddedCallback
    wrapped'
        connectSignalFunPtr obj "device-removed" wrapped'' SignalConnectBefore Nothing

    -- | Connect a signal handler for the [deviceRemoved](#signal:deviceRemoved) signal, to be run after the default handler.
    -- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
    --
    -- @
    -- 'Data.GI.Base.Signals.after' seat #deviceRemoved callback
    -- @
    --
    --
    --
    -- By default the object invoking the signal is not passed to the callback.
    -- If you need to access it, you can use the implit @?self@ parameter.
    -- Note that this requires activating the @ImplicitParams@ GHC extension.
    --
    afterSeatDeviceRemoved :: (IsSeat a, MonadIO m) => a -> ((?self :: a) => SeatDeviceRemovedCallback) -> m SignalHandlerId
    afterSeatDeviceRemoved :: forall a (m :: * -> *).
    (IsSeat a, MonadIO m) =>
    a -> ((?self::a) => SeatDeviceAddedCallback) -> m SignalHandlerId
    afterSeatDeviceRemoved a
    obj (?self::a) => SeatDeviceAddedCallback
    cb = IO SignalHandlerId -> m SignalHandlerId
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO SignalHandlerId -> m SignalHandlerId)
    -> IO SignalHandlerId -> m SignalHandlerId
    forall a b. (a -> b) -> a -> b
    $ do
        let wrapped :: a -> SeatDeviceAddedCallback
    wrapped a
    self = let ?self = a
    ?self::a
    self in (?self::a) => SeatDeviceAddedCallback
    SeatDeviceAddedCallback
    cb
        let wrapped' :: C_SeatDeviceAddedCallback
    wrapped' = (a -> SeatDeviceAddedCallback) -> C_SeatDeviceAddedCallback
    forall a.
    GObject a =>
    (a -> SeatDeviceAddedCallback) -> C_SeatDeviceAddedCallback
    wrap_SeatDeviceRemovedCallback a -> SeatDeviceAddedCallback
    wrapped
        wrapped'' <- C_SeatDeviceAddedCallback -> IO (FunPtr C_SeatDeviceAddedCallback)
    mk_SeatDeviceRemovedCallback C_SeatDeviceAddedCallback
    wrapped'
        connectSignalFunPtr obj "device-removed" wrapped'' SignalConnectAfter Nothing

    #if defined(ENABLE_OVERLOADING)
    data SeatDeviceRemovedSignalInfo
    instance SignalInfo SeatDeviceRemovedSignalInfo where
        type HaskellCallbackType SeatDeviceRemovedSignalInfo = SeatDeviceRemovedCallback
        connectSignal obj cb connectMode detail = do
            let cb' = wrap_SeatDeviceRemovedCallback cb
            cb'' <- mk_SeatDeviceRemovedCallback cb'
            connectSignalFunPtr obj "device-removed" cb'' connectMode detail
        dbgSignalInfo = P.Just (O.ResolvedSymbolInfo {
            O.resolvedSymbolName = "GI.Gdk.Objects.Seat::device-removed"
            , O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk4-4.0.10/docs/GI-Gdk-Objects-Seat.html#g:signal:deviceRemoved"})

    #endif

    -- signal Seat::tool-added
    -- | Emitted whenever a new tool is made known to the seat.
    --
    -- The tool may later be assigned to a device (i.e. on
    -- proximity with a tablet). The device will emit the
    -- [Device::toolChanged]("GI.Gdk.Objects.Device#g:signal:toolChanged") signal accordingly.
    --
    -- A same tool may be used by several devices.
    type SeatToolAddedCallback =
        Gdk.DeviceTool.DeviceTool
        -- ^ /@tool@/: the new @GdkDeviceTool@ known to the seat
        -> IO ()

    type C_SeatToolAddedCallback =
        Ptr Seat ->                             -- object
        Ptr Gdk.DeviceTool.DeviceTool ->
        Ptr () ->                               -- user_data
        IO ()

    -- | Generate a function pointer callable from C code, from a `C_SeatToolAddedCallback`.
    foreign import ccall "wrapper"
        mk_SeatToolAddedCallback :: C_SeatToolAddedCallback -> IO (FunPtr C_SeatToolAddedCallback)

    wrap_SeatToolAddedCallback ::
        GObject a => (a -> SeatToolAddedCallback) ->
        C_SeatToolAddedCallback
    wrap_SeatToolAddedCallback :: forall a.
    GObject a =>
    (a -> SeatToolAddedCallback) -> C_SeatToolAddedCallback
    wrap_SeatToolAddedCallback a -> SeatToolAddedCallback
    gi'cb Ptr Seat
    gi'selfPtr Ptr DeviceTool
    tool Ptr ()
    _ = do
        tool' <- ((ManagedPtr DeviceTool -> DeviceTool)
    -> Ptr DeviceTool -> IO DeviceTool
    forall a b.
    (HasCallStack, GObject a, GObject b) =>
    (ManagedPtr a -> a) -> Ptr b -> IO a
    newObject ManagedPtr DeviceTool -> DeviceTool
    Gdk.DeviceTool.DeviceTool) Ptr DeviceTool
    tool
        B.ManagedPtr.withNewObject gi'selfPtr $ \Seat
    gi'self -> a -> SeatToolAddedCallback
    gi'cb (Seat -> a
    forall a b. Coercible a b => a -> b
    Coerce.coerce Seat
    gi'self)  DeviceTool
    tool'

    -- | Connect a signal handler for the [toolAdded](#signal:toolAdded) signal, to be run before the default handler.
    -- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
    --
    -- @
    -- 'Data.GI.Base.Signals.on' seat #toolAdded callback
    -- @
    --
    --
    onSeatToolAdded :: (IsSeat a, MonadIO m) => a -> ((?self :: a) => SeatToolAddedCallback) -> m SignalHandlerId
    onSeatToolAdded :: forall a (m :: * -> *).
    (IsSeat a, MonadIO m) =>
    a -> ((?self::a) => SeatToolAddedCallback) -> m SignalHandlerId
    onSeatToolAdded a
    obj (?self::a) => SeatToolAddedCallback
    cb = IO SignalHandlerId -> m SignalHandlerId
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO SignalHandlerId -> m SignalHandlerId)
    -> IO SignalHandlerId -> m SignalHandlerId
    forall a b. (a -> b) -> a -> b
    $ do
        let wrapped :: a -> SeatToolAddedCallback
    wrapped a
    self = let ?self = a
    ?self::a
    self in (?self::a) => SeatToolAddedCallback
    SeatToolAddedCallback
    cb
        let wrapped' :: C_SeatToolAddedCallback
    wrapped' = (a -> SeatToolAddedCallback) -> C_SeatToolAddedCallback
    forall a.
    GObject a =>
    (a -> SeatToolAddedCallback) -> C_SeatToolAddedCallback
    wrap_SeatToolAddedCallback a -> SeatToolAddedCallback
    wrapped
        wrapped'' <- C_SeatToolAddedCallback -> IO (FunPtr C_SeatToolAddedCallback)
    mk_SeatToolAddedCallback C_SeatToolAddedCallback
    wrapped'
        connectSignalFunPtr obj "tool-added" wrapped'' SignalConnectBefore Nothing

    -- | Connect a signal handler for the [toolAdded](#signal:toolAdded) signal, to be run after the default handler.
    -- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
    --
    -- @
    -- 'Data.GI.Base.Signals.after' seat #toolAdded callback
    -- @
    --
    --
    --
    -- By default the object invoking the signal is not passed to the callback.
    -- If you need to access it, you can use the implit @?self@ parameter.
    -- Note that this requires activating the @ImplicitParams@ GHC extension.
    --
    afterSeatToolAdded :: (IsSeat a, MonadIO m) => a -> ((?self :: a) => SeatToolAddedCallback) -> m SignalHandlerId
    afterSeatToolAdded :: forall a (m :: * -> *).
    (IsSeat a, MonadIO m) =>
    a -> ((?self::a) => SeatToolAddedCallback) -> m SignalHandlerId
    afterSeatToolAdded a
    obj (?self::a) => SeatToolAddedCallback
    cb = IO SignalHandlerId -> m SignalHandlerId
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO SignalHandlerId -> m SignalHandlerId)
    -> IO SignalHandlerId -> m SignalHandlerId
    forall a b. (a -> b) -> a -> b
    $ do
        let wrapped :: a -> SeatToolAddedCallback
    wrapped a
    self = let ?self = a
    ?self::a
    self in (?self::a) => SeatToolAddedCallback
    SeatToolAddedCallback
    cb
        let wrapped' :: C_SeatToolAddedCallback
    wrapped' = (a -> SeatToolAddedCallback) -> C_SeatToolAddedCallback
    forall a.
    GObject a =>
    (a -> SeatToolAddedCallback) -> C_SeatToolAddedCallback
    wrap_SeatToolAddedCallback a -> SeatToolAddedCallback
    wrapped
        wrapped'' <- C_SeatToolAddedCallback -> IO (FunPtr C_SeatToolAddedCallback)
    mk_SeatToolAddedCallback C_SeatToolAddedCallback
    wrapped'
        connectSignalFunPtr obj "tool-added" wrapped'' SignalConnectAfter Nothing

    #if defined(ENABLE_OVERLOADING)
    data SeatToolAddedSignalInfo
    instance SignalInfo SeatToolAddedSignalInfo where
        type HaskellCallbackType SeatToolAddedSignalInfo = SeatToolAddedCallback
        connectSignal obj cb connectMode detail = do
            let cb' = wrap_SeatToolAddedCallback cb
            cb'' <- mk_SeatToolAddedCallback cb'
            connectSignalFunPtr obj "tool-added" cb'' connectMode detail
        dbgSignalInfo = P.Just (O.ResolvedSymbolInfo {
            O.resolvedSymbolName = "GI.Gdk.Objects.Seat::tool-added"
            , O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk4-4.0.10/docs/GI-Gdk-Objects-Seat.html#g:signal:toolAdded"})

    #endif

    -- signal Seat::tool-removed
    -- | Emitted whenever a tool is no longer known to this /@seat@/.
    type SeatToolRemovedCallback =
        Gdk.DeviceTool.DeviceTool
        -- ^ /@tool@/: the just removed @GdkDeviceTool@
        -> IO ()

    type C_SeatToolRemovedCallback =
        Ptr Seat ->                             -- object
        Ptr Gdk.DeviceTool.DeviceTool ->
        Ptr () ->                               -- user_data
        IO ()

    -- | Generate a function pointer callable from C code, from a `C_SeatToolRemovedCallback`.
    foreign import ccall "wrapper"
        mk_SeatToolRemovedCallback :: C_SeatToolRemovedCallback -> IO (FunPtr C_SeatToolRemovedCallback)

    wrap_SeatToolRemovedCallback ::
        GObject a => (a -> SeatToolRemovedCallback) ->
        C_SeatToolRemovedCallback
    wrap_SeatToolRemovedCallback :: forall a.
    GObject a =>
    (a -> SeatToolAddedCallback) -> C_SeatToolAddedCallback
    wrap_SeatToolRemovedCallback a -> SeatToolAddedCallback
    gi'cb Ptr Seat
    gi'selfPtr Ptr DeviceTool
    tool Ptr ()
    _ = do
        tool' <- ((ManagedPtr DeviceTool -> DeviceTool)
    -> Ptr DeviceTool -> IO DeviceTool
    forall a b.
    (HasCallStack, GObject a, GObject b) =>
    (ManagedPtr a -> a) -> Ptr b -> IO a
    newObject ManagedPtr DeviceTool -> DeviceTool
    Gdk.DeviceTool.DeviceTool) Ptr DeviceTool
    tool
        B.ManagedPtr.withNewObject gi'selfPtr $ \Seat
    gi'self -> a -> SeatToolAddedCallback
    gi'cb (Seat -> a
    forall a b. Coercible a b => a -> b
    Coerce.coerce Seat
    gi'self)  DeviceTool
    tool'

    -- | Connect a signal handler for the [toolRemoved](#signal:toolRemoved) signal, to be run before the default handler.
    -- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
    --
    -- @
    -- 'Data.GI.Base.Signals.on' seat #toolRemoved callback
    -- @
    --
    --
    onSeatToolRemoved :: (IsSeat a, MonadIO m) => a -> ((?self :: a) => SeatToolRemovedCallback) -> m SignalHandlerId
    onSeatToolRemoved :: forall a (m :: * -> *).
    (IsSeat a, MonadIO m) =>
    a -> ((?self::a) => SeatToolAddedCallback) -> m SignalHandlerId
    onSeatToolRemoved a
    obj (?self::a) => SeatToolAddedCallback
    cb = IO SignalHandlerId -> m SignalHandlerId
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO SignalHandlerId -> m SignalHandlerId)
    -> IO SignalHandlerId -> m SignalHandlerId
    forall a b. (a -> b) -> a -> b
    $ do
        let wrapped :: a -> SeatToolAddedCallback
    wrapped a
    self = let ?self = a
    ?self::a
    self in (?self::a) => SeatToolAddedCallback
    SeatToolAddedCallback
    cb
        let wrapped' :: C_SeatToolAddedCallback
    wrapped' = (a -> SeatToolAddedCallback) -> C_SeatToolAddedCallback
    forall a.
    GObject a =>
    (a -> SeatToolAddedCallback) -> C_SeatToolAddedCallback
    wrap_SeatToolRemovedCallback a -> SeatToolAddedCallback
    wrapped
        wrapped'' <- C_SeatToolAddedCallback -> IO (FunPtr C_SeatToolAddedCallback)
    mk_SeatToolRemovedCallback C_SeatToolAddedCallback
    wrapped'
        connectSignalFunPtr obj "tool-removed" wrapped'' SignalConnectBefore Nothing

    -- | Connect a signal handler for the [toolRemoved](#signal:toolRemoved) signal, to be run after the default handler.
    -- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
    --
    -- @
    -- 'Data.GI.Base.Signals.after' seat #toolRemoved callback
    -- @
    --
    --
    --
    -- By default the object invoking the signal is not passed to the callback.
    -- If you need to access it, you can use the implit @?self@ parameter.
    -- Note that this requires activating the @ImplicitParams@ GHC extension.
    --
    afterSeatToolRemoved :: (IsSeat a, MonadIO m) => a -> ((?self :: a) => SeatToolRemovedCallback) -> m SignalHandlerId
    afterSeatToolRemoved :: forall a (m :: * -> *).
    (IsSeat a, MonadIO m) =>
    a -> ((?self::a) => SeatToolAddedCallback) -> m SignalHandlerId
    afterSeatToolRemoved a
    obj (?self::a) => SeatToolAddedCallback
    cb = IO SignalHandlerId -> m SignalHandlerId
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO SignalHandlerId -> m SignalHandlerId)
    -> IO SignalHandlerId -> m SignalHandlerId
    forall a b. (a -> b) -> a -> b
    $ do
        let wrapped :: a -> SeatToolAddedCallback
    wrapped a
    self = let ?self = a
    ?self::a
    self in (?self::a) => SeatToolAddedCallback
    SeatToolAddedCallback
    cb
        let wrapped' :: C_SeatToolAddedCallback
    wrapped' = (a -> SeatToolAddedCallback) -> C_SeatToolAddedCallback
    forall a.
    GObject a =>
    (a -> SeatToolAddedCallback) -> C_SeatToolAddedCallback
    wrap_SeatToolRemovedCallback a -> SeatToolAddedCallback
    wrapped
        wrapped'' <- C_SeatToolAddedCallback -> IO (FunPtr C_SeatToolAddedCallback)
    mk_SeatToolRemovedCallback C_SeatToolAddedCallback
    wrapped'
        connectSignalFunPtr obj "tool-removed" wrapped'' SignalConnectAfter Nothing

    #if defined(ENABLE_OVERLOADING)
    data SeatToolRemovedSignalInfo
    instance SignalInfo SeatToolRemovedSignalInfo where
        type HaskellCallbackType SeatToolRemovedSignalInfo = SeatToolRemovedCallback
        connectSignal obj cb connectMode detail = do
            let cb' = wrap_SeatToolRemovedCallback cb
            cb'' <- mk_SeatToolRemovedCallback cb'
            connectSignalFunPtr obj "tool-removed" cb'' connectMode detail
        dbgSignalInfo = P.Just (O.ResolvedSymbolInfo {
            O.resolvedSymbolName = "GI.Gdk.Objects.Seat::tool-removed"
            , O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk4-4.0.10/docs/GI-Gdk-Objects-Seat.html#g:signal:toolRemoved"})

    #endif

    -- VVV Prop "display"
       -- Type: TInterface (Name {namespace = "Gdk", name = "Display"})
       -- Flags: [PropertyReadable,PropertyWritable,PropertyConstructOnly]
       -- Nullable: (Just False,Nothing)

    -- | Get the value of the “@display@” property.
    -- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
    --
    -- @
    -- 'Data.GI.Base.Attributes.get' seat #display
    -- @
    getSeatDisplay :: (MonadIO m, IsSeat o) => o -> m Gdk.Display.Display
    getSeatDisplay :: forall (m :: * -> *) o. (MonadIO m, IsSeat o) => o -> m Display
    getSeatDisplay o
    obj = IO Display -> m Display
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    MIO.liftIO (IO Display -> m Display) -> IO Display -> m Display
    forall a b. (a -> b) -> a -> b
    $ Text -> IO (Maybe Display) -> IO Display
    forall a. HasCallStack => Text -> IO (Maybe a) -> IO a
    checkUnexpectedNothing Text
    "getSeatDisplay" (IO (Maybe Display) -> IO Display)
    -> IO (Maybe Display) -> IO Display
    forall a b. (a -> b) -> a -> b
    $ o
    -> String -> (ManagedPtr Display -> Display) -> IO (Maybe Display)
    forall a b.
    (GObject a, GObject b) =>
    a -> String -> (ManagedPtr b -> b) -> IO (Maybe b)
    B.Properties.getObjectPropertyObject o
    obj String
    "display" ManagedPtr Display -> Display
    Gdk.Display.Display

    -- | Construct a t'GValueConstruct' with valid value for the “@display@” property. This is rarely needed directly, but it is used by `Data.GI.Base.Constructible.new`.
    constructSeatDisplay :: (IsSeat o, MIO.MonadIO m, Gdk.Display.IsDisplay a) => a -> m (GValueConstruct o)
    constructSeatDisplay :: forall o (m :: * -> *) a.
    (IsSeat o, MonadIO m, IsDisplay a) =>
    a -> m (GValueConstruct o)
    constructSeatDisplay a
    val = IO (GValueConstruct o) -> m (GValueConstruct o)
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    MIO.liftIO (IO (GValueConstruct o) -> m (GValueConstruct o))
    -> IO (GValueConstruct o) -> m (GValueConstruct o)
    forall a b. (a -> b) -> a -> b
    $ do
        IO (GValueConstruct o) -> IO (GValueConstruct o)
    forall a. IO a -> IO a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    MIO.liftIO (IO (GValueConstruct o) -> IO (GValueConstruct o))
    -> IO (GValueConstruct o) -> IO (GValueConstruct o)
    forall a b. (a -> b) -> a -> b
    $ String -> Maybe a -> IO (GValueConstruct o)
    forall a o.
    GObject a =>
    String -> Maybe a -> IO (GValueConstruct o)
    B.Properties.constructObjectPropertyObject String
    "display" (a -> Maybe a
    forall a. a -> Maybe a
    P.Just a
    val)

    #if defined(ENABLE_OVERLOADING)
    data SeatDisplayPropertyInfo
    instance AttrInfo SeatDisplayPropertyInfo where
        type AttrAllowedOps SeatDisplayPropertyInfo = '[ 'AttrConstruct, 'AttrGet, 'AttrClear]
        type AttrBaseTypeConstraint SeatDisplayPropertyInfo = IsSeat
        type AttrSetTypeConstraint SeatDisplayPropertyInfo = Gdk.Display.IsDisplay
        type AttrTransferTypeConstraint SeatDisplayPropertyInfo = Gdk.Display.IsDisplay
        type AttrTransferType SeatDisplayPropertyInfo = Gdk.Display.Display
        type AttrGetType SeatDisplayPropertyInfo = Gdk.Display.Display
        type AttrLabel SeatDisplayPropertyInfo = "display"
        type AttrOrigin SeatDisplayPropertyInfo = Seat
        attrGet = getSeatDisplay
        attrSet = undefined
        attrPut = undefined
        attrTransfer _ v = do
            unsafeCastTo Gdk.Display.Display v
        attrConstruct = constructSeatDisplay
        attrClear = undefined
        dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
            O.resolvedSymbolName = "GI.Gdk.Objects.Seat.display"
            , O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk4-4.0.10/docs/GI-Gdk-Objects-Seat.html#g:attr:display"
            })
    #endif

    #if defined(ENABLE_OVERLOADING)
    instance O.HasAttributeList Seat
    type instance O.AttributeList Seat = SeatAttributeList
    type SeatAttributeList = ('[ '("display", SeatDisplayPropertyInfo)] :: [(Symbol, DK.Type)])
    #endif

    #if defined(ENABLE_OVERLOADING)
    seatDisplay :: AttrLabelProxy "display"
    seatDisplay = AttrLabelProxy

    #endif

    #if defined(ENABLE_OVERLOADING)
    type instance O.SignalList Seat = SeatSignalList
    type SeatSignalList = ('[ '("deviceAdded", SeatDeviceAddedSignalInfo), '("deviceRemoved", SeatDeviceRemovedSignalInfo), '("notify", GObject.Object.ObjectNotifySignalInfo), '("toolAdded", SeatToolAddedSignalInfo), '("toolRemoved", SeatToolRemovedSignalInfo)] :: [(Symbol, DK.Type)])

    #endif

    -- method Seat::get_capabilities
    -- method type : OrdinaryMethod
    -- Args: [ Arg
    --           { argCName = "seat"
    --           , argType = TInterface Name { namespace = "Gdk" , name = "Seat" }
    --           , argCType = Just "GdkSeat*"
    --           , direction = DirectionIn
    --           , mayBeNull = False
    --           , argDoc =
    --               Documentation
    --                 { rawDocText = Just "a `GdkSeat`" , sinceVersion = Nothing }
    --           , argScope = ScopeTypeInvalid
    --           , argClosure = -1
    --           , argDestroy = -1
    --           , argCallerAllocates = False
    --           , argCallbackUserData = False
    --           , transfer = TransferNothing
    --           }
    --       ]
    -- Lengths: []
    -- returnType: Just
    --               (TInterface Name { namespace = "Gdk" , name = "SeatCapabilities" })
    -- throws : False
    -- Skip return : False

    foreign import ccall "gdk_seat_get_capabilities" gdk_seat_get_capabilities ::
        Ptr Seat ->                             -- seat : TInterface (Name {namespace = "Gdk", name = "Seat"})
        IO CUInt

    -- | Returns the capabilities this @GdkSeat@ currently has.
    seatGetCapabilities ::
        (B.CallStack.HasCallStack, MonadIO m, IsSeat a) =>
        a
        -- ^ /@seat@/: a @GdkSeat@
        -> m [Gdk.Flags.SeatCapabilities]
        -- ^ __Returns:__ the seat capabilities
    seatGetCapabilities :: forall (m :: * -> *) a.
    (HasCallStack, MonadIO m, IsSeat a) =>
    a -> m [SeatCapabilities]
    seatGetCapabilities a
    seat = IO [SeatCapabilities] -> m [SeatCapabilities]
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO [SeatCapabilities] -> m [SeatCapabilities])
    -> IO [SeatCapabilities] -> m [SeatCapabilities]
    forall a b. (a -> b) -> a -> b
    $ do
        seat' <- a -> IO (Ptr Seat)
    forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
    unsafeManagedPtrCastPtr a
    seat
        result <- gdk_seat_get_capabilities seat'
        let result' = CUInt -> [SeatCapabilities]
    forall a b. (Storable a, Integral a, Bits a, IsGFlag b) => a -> [b]
    wordToGFlags CUInt
    result
        touchManagedPtr seat
        return result'

    #if defined(ENABLE_OVERLOADING)
    data SeatGetCapabilitiesMethodInfo
    instance (signature ~ (m [Gdk.Flags.SeatCapabilities]), MonadIO m, IsSeat a) => O.OverloadedMethod SeatGetCapabilitiesMethodInfo a signature where
        overloadedMethod = seatGetCapabilities

    instance O.OverloadedMethodInfo SeatGetCapabilitiesMethodInfo a where
        overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
            O.resolvedSymbolName = "GI.Gdk.Objects.Seat.seatGetCapabilities",
            O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk4-4.0.10/docs/GI-Gdk-Objects-Seat.html#v:seatGetCapabilities"
            })

    #endif

    -- method Seat::get_devices
    -- method type : OrdinaryMethod
    -- Args: [ Arg
    --           { argCName = "seat"
    --           , argType = TInterface Name { namespace = "Gdk" , name = "Seat" }
    --           , argCType = Just "GdkSeat*"
    --           , direction = DirectionIn
    --           , mayBeNull = False
    --           , argDoc =
    --               Documentation
    --                 { rawDocText = Just "a `GdkSeat`" , sinceVersion = Nothing }
    --           , argScope = ScopeTypeInvalid
    --           , argClosure = -1
    --           , argDestroy = -1
    --           , argCallerAllocates = False
    --           , argCallbackUserData = False
    --           , transfer = TransferNothing
    --           }
    --       , Arg
    --           { argCName = "capabilities"
    --           , argType =
    --               TInterface Name { namespace = "Gdk" , name = "SeatCapabilities" }
    --           , argCType = Just "GdkSeatCapabilities"
    --           , direction = DirectionIn
    --           , mayBeNull = False
    --           , argDoc =
    --               Documentation
    --                 { rawDocText = Just "capabilities to get devices for"
    --                 , sinceVersion = Nothing
    --                 }
    --           , argScope = ScopeTypeInvalid
    --           , argClosure = -1
    --           , argDestroy = -1
    --           , argCallerAllocates = False
    --           , argCallbackUserData = False
    --           , transfer = TransferNothing
    --           }
    --       ]
    -- Lengths: []
    -- returnType: Just
    --               (TGList (TInterface Name { namespace = "Gdk" , name = "Device" }))
    -- throws : False
    -- Skip return : False

    foreign import ccall "gdk_seat_get_devices" gdk_seat_get_devices ::
        Ptr Seat ->                             -- seat : TInterface (Name {namespace = "Gdk", name = "Seat"})
        CUInt ->                                -- capabilities : TInterface (Name {namespace = "Gdk", name = "SeatCapabilities"})
        IO (Ptr (GList (Ptr Gdk.Device.Device)))

    -- | Returns the devices that match the given capabilities.
    seatGetDevices ::
        (B.CallStack.HasCallStack, MonadIO m, IsSeat a) =>
        a
        -- ^ /@seat@/: a @GdkSeat@
        -> [Gdk.Flags.SeatCapabilities]
        -- ^ /@capabilities@/: capabilities to get devices for
        -> m [Gdk.Device.Device]
        -- ^ __Returns:__ A list
        --   of @GdkDevices@. The list must be freed with @/g_list_free()/@,
        --   the elements are owned by GTK and must not be freed.
    seatGetDevices :: forall (m :: * -> *) a.
    (HasCallStack, MonadIO m, IsSeat a) =>
    a -> [SeatCapabilities] -> m [Device]
    seatGetDevices a
    seat [SeatCapabilities]
    capabilities = IO [Device] -> m [Device]
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO [Device] -> m [Device]) -> IO [Device] -> m [Device]
    forall a b. (a -> b) -> a -> b
    $ do
        seat' <- a -> IO (Ptr Seat)
    forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
    unsafeManagedPtrCastPtr a
    seat
        let capabilities' = [SeatCapabilities] -> CUInt
    forall b a. (Num b, IsGFlag a) => [a] -> b
    gflagsToWord [SeatCapabilities]
    capabilities
        result <- gdk_seat_get_devices seat' capabilities'
        result' <- unpackGList result
        result'' <- mapM (newObject Gdk.Device.Device) result'
        g_list_free result
        touchManagedPtr seat
        return result''

    #if defined(ENABLE_OVERLOADING)
    data SeatGetDevicesMethodInfo
    instance (signature ~ ([Gdk.Flags.SeatCapabilities] -> m [Gdk.Device.Device]), MonadIO m, IsSeat a) => O.OverloadedMethod SeatGetDevicesMethodInfo a signature where
        overloadedMethod = seatGetDevices

    instance O.OverloadedMethodInfo SeatGetDevicesMethodInfo a where
        overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
            O.resolvedSymbolName = "GI.Gdk.Objects.Seat.seatGetDevices",
            O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk4-4.0.10/docs/GI-Gdk-Objects-Seat.html#v:seatGetDevices"
            })

    #endif

    -- method Seat::get_display
    -- method type : OrdinaryMethod
    -- Args: [ Arg
    --           { argCName = "seat"
    --           , argType = TInterface Name { namespace = "Gdk" , name = "Seat" }
    --           , argCType = Just "GdkSeat*"
    --           , direction = DirectionIn
    --           , mayBeNull = False
    --           , argDoc =
    --               Documentation
    --                 { rawDocText = Just "a `GdkSeat`" , sinceVersion = Nothing }
    --           , argScope = ScopeTypeInvalid
    --           , argClosure = -1
    --           , argDestroy = -1
    --           , argCallerAllocates = False
    --           , argCallbackUserData = False
    --           , transfer = TransferNothing
    --           }
    --       ]
    -- Lengths: []
    -- returnType: Just (TInterface Name { namespace = "Gdk" , name = "Display" })
    -- throws : False
    -- Skip return : False

    foreign import ccall "gdk_seat_get_display" gdk_seat_get_display ::
        Ptr Seat ->                             -- seat : TInterface (Name {namespace = "Gdk", name = "Seat"})
        IO (Ptr Gdk.Display.Display)

    -- | Returns the @GdkDisplay@ this seat belongs to.
    seatGetDisplay ::
        (B.CallStack.HasCallStack, MonadIO m, IsSeat a) =>
        a
        -- ^ /@seat@/: a @GdkSeat@
        -> m Gdk.Display.Display
        -- ^ __Returns:__ a @GdkDisplay@. This object
        --   is owned by GTK and must not be freed.
    seatGetDisplay :: forall (m :: * -> *) a.
    (HasCallStack, MonadIO m, IsSeat a) =>
    a -> m Display
    seatGetDisplay a
    seat = IO Display -> m Display
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO Display -> m Display) -> IO Display -> m Display
    forall a b. (a -> b) -> a -> b
    $ do
        seat' <- a -> IO (Ptr Seat)
    forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
    unsafeManagedPtrCastPtr a
    seat
        result <- gdk_seat_get_display seat'
        checkUnexpectedReturnNULL "seatGetDisplay" result
        result' <- (newObject Gdk.Display.Display) result
        touchManagedPtr seat
        return result'

    #if defined(ENABLE_OVERLOADING)
    data SeatGetDisplayMethodInfo
    instance (signature ~ (m Gdk.Display.Display), MonadIO m, IsSeat a) => O.OverloadedMethod SeatGetDisplayMethodInfo a signature where
        overloadedMethod = seatGetDisplay

    instance O.OverloadedMethodInfo SeatGetDisplayMethodInfo a where
        overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
            O.resolvedSymbolName = "GI.Gdk.Objects.Seat.seatGetDisplay",
            O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk4-4.0.10/docs/GI-Gdk-Objects-Seat.html#v:seatGetDisplay"
            })

    #endif

    -- method Seat::get_keyboard
    -- method type : OrdinaryMethod
    -- Args: [ Arg
    --           { argCName = "seat"
    --           , argType = TInterface Name { namespace = "Gdk" , name = "Seat" }
    --           , argCType = Just "GdkSeat*"
    --           , direction = DirectionIn
    --           , mayBeNull = False
    --           , argDoc =
    --               Documentation
    --                 { rawDocText = Just "a `GdkSeat`" , sinceVersion = Nothing }
    --           , argScope = ScopeTypeInvalid
    --           , argClosure = -1
    --           , argDestroy = -1
    --           , argCallerAllocates = False
    --           , argCallbackUserData = False
    --           , transfer = TransferNothing
    --           }
    --       ]
    -- Lengths: []
    -- returnType: Just (TInterface Name { namespace = "Gdk" , name = "Device" })
    -- throws : False
    -- Skip return : False

    foreign import ccall "gdk_seat_get_keyboard" gdk_seat_get_keyboard ::
        Ptr Seat ->                             -- seat : TInterface (Name {namespace = "Gdk", name = "Seat"})
        IO (Ptr Gdk.Device.Device)

    -- | Returns the device that routes keyboard events.
    seatGetKeyboard ::
        (B.CallStack.HasCallStack, MonadIO m, IsSeat a) =>
        a
        -- ^ /@seat@/: a @GdkSeat@
        -> m (Maybe Gdk.Device.Device)
        -- ^ __Returns:__ a @GdkDevice@ with keyboard
        --   capabilities. This object is owned by GTK and must not be freed.
    seatGetKeyboard :: forall (m :: * -> *) a.
    (HasCallStack, MonadIO m, IsSeat a) =>
    a -> m (Maybe Device)
    seatGetKeyboard a
    seat = IO (Maybe Device) -> m (Maybe Device)
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO (Maybe Device) -> m (Maybe Device))
    -> IO (Maybe Device) -> m (Maybe Device)
    forall a b. (a -> b) -> a -> b
    $ do
        seat' <- a -> IO (Ptr Seat)
    forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
    unsafeManagedPtrCastPtr a
    seat
        result <- gdk_seat_get_keyboard seat'
        maybeResult <- convertIfNonNull result $ \Ptr Device
    result' -> do
            result'' <- ((ManagedPtr Device -> Device) -> Ptr Device -> IO Device
    forall a b.
    (HasCallStack, GObject a, GObject b) =>
    (ManagedPtr a -> a) -> Ptr b -> IO a
    newObject ManagedPtr Device -> Device
    Gdk.Device.Device) Ptr Device
    result'
            return result''
        touchManagedPtr seat
        return maybeResult

    #if defined(ENABLE_OVERLOADING)
    data SeatGetKeyboardMethodInfo
    instance (signature ~ (m (Maybe Gdk.Device.Device)), MonadIO m, IsSeat a) => O.OverloadedMethod SeatGetKeyboardMethodInfo a signature where
        overloadedMethod = seatGetKeyboard

    instance O.OverloadedMethodInfo SeatGetKeyboardMethodInfo a where
        overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
            O.resolvedSymbolName = "GI.Gdk.Objects.Seat.seatGetKeyboard",
            O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk4-4.0.10/docs/GI-Gdk-Objects-Seat.html#v:seatGetKeyboard"
            })

    #endif

    -- method Seat::get_pointer
    -- method type : OrdinaryMethod
    -- Args: [ Arg
    --           { argCName = "seat"
    --           , argType = TInterface Name { namespace = "Gdk" , name = "Seat" }
    --           , argCType = Just "GdkSeat*"
    --           , direction = DirectionIn
    --           , mayBeNull = False
    --           , argDoc =
    --               Documentation
    --                 { rawDocText = Just "a `GdkSeat`" , sinceVersion = Nothing }
    --           , argScope = ScopeTypeInvalid
    --           , argClosure = -1
    --           , argDestroy = -1
    --           , argCallerAllocates = False
    --           , argCallbackUserData = False
    --           , transfer = TransferNothing
    --           }
    --       ]
    -- Lengths: []
    -- returnType: Just (TInterface Name { namespace = "Gdk" , name = "Device" })
    -- throws : False
    -- Skip return : False

    foreign import ccall "gdk_seat_get_pointer" gdk_seat_get_pointer ::
        Ptr Seat ->                             -- seat : TInterface (Name {namespace = "Gdk", name = "Seat"})
        IO (Ptr Gdk.Device.Device)

    -- | Returns the device that routes pointer events.
    seatGetPointer ::
        (B.CallStack.HasCallStack, MonadIO m, IsSeat a) =>
        a
        -- ^ /@seat@/: a @GdkSeat@
        -> m (Maybe Gdk.Device.Device)
        -- ^ __Returns:__ a @GdkDevice@ with pointer
        --   capabilities. This object is owned by GTK and must not be freed.
    seatGetPointer :: forall (m :: * -> *) a.
    (HasCallStack, MonadIO m, IsSeat a) =>
    a -> m (Maybe Device)
    seatGetPointer a
    seat = IO (Maybe Device) -> m (Maybe Device)
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO (Maybe Device) -> m (Maybe Device))
    -> IO (Maybe Device) -> m (Maybe Device)
    forall a b. (a -> b) -> a -> b
    $ do
        seat' <- a -> IO (Ptr Seat)
    forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
    unsafeManagedPtrCastPtr a
    seat
        result <- gdk_seat_get_pointer seat'
        maybeResult <- convertIfNonNull result $ \Ptr Device
    result' -> do
            result'' <- ((ManagedPtr Device -> Device) -> Ptr Device -> IO Device
    forall a b.
    (HasCallStack, GObject a, GObject b) =>
    (ManagedPtr a -> a) -> Ptr b -> IO a
    newObject ManagedPtr Device -> Device
    Gdk.Device.Device) Ptr Device
    result'
            return result''
        touchManagedPtr seat
        return maybeResult

    #if defined(ENABLE_OVERLOADING)
    data SeatGetPointerMethodInfo
    instance (signature ~ (m (Maybe Gdk.Device.Device)), MonadIO m, IsSeat a) => O.OverloadedMethod SeatGetPointerMethodInfo a signature where
        overloadedMethod = seatGetPointer

    instance O.OverloadedMethodInfo SeatGetPointerMethodInfo a where
        overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
            O.resolvedSymbolName = "GI.Gdk.Objects.Seat.seatGetPointer",
            O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk4-4.0.10/docs/GI-Gdk-Objects-Seat.html#v:seatGetPointer"
            })

    #endif

    -- method Seat::get_tools
    -- method type : OrdinaryMethod
    -- Args: [ Arg
    --           { argCName = "seat"
    --           , argType = TInterface Name { namespace = "Gdk" , name = "Seat" }
    --           , argCType = Just "GdkSeat*"
    --           , direction = DirectionIn
    --           , mayBeNull = False
    --           , argDoc =
    --               Documentation
    --                 { rawDocText = Just "a `GdkSeat`" , sinceVersion = Nothing }
    --           , argScope = ScopeTypeInvalid
    --           , argClosure = -1
    --           , argDestroy = -1
    --           , argCallerAllocates = False
    --           , argCallbackUserData = False
    --           , transfer = TransferNothing
    --           }
    --       ]
    -- Lengths: []
    -- returnType: Just
    --               (TGList
    --                  (TInterface Name { namespace = "Gdk" , name = "DeviceTool" }))
    -- throws : False
    -- Skip return : False

    foreign import ccall "gdk_seat_get_tools" gdk_seat_get_tools ::
        Ptr Seat ->                             -- seat : TInterface (Name {namespace = "Gdk", name = "Seat"})
        IO (Ptr (GList (Ptr Gdk.DeviceTool.DeviceTool)))

    -- | Returns all @GdkDeviceTools@ that are known to the application.
    seatGetTools ::
        (B.CallStack.HasCallStack, MonadIO m, IsSeat a) =>
        a
        -- ^ /@seat@/: a @GdkSeat@
        -> m [Gdk.DeviceTool.DeviceTool]
        -- ^ __Returns:__
        --   A list of tools. Free with @/g_list_free()/@.
    seatGetTools :: forall (m :: * -> *) a.
    (HasCallStack, MonadIO m, IsSeat a) =>
    a -> m [DeviceTool]
    seatGetTools a
    seat = IO [DeviceTool] -> m [DeviceTool]
    forall a. IO a -> m a
    forall (m :: * -> *) a. MonadIO m => IO a -> m a
    liftIO (IO [DeviceTool] -> m [DeviceTool])
    -> IO [DeviceTool] -> m [DeviceTool]
    forall a b. (a -> b) -> a -> b
    $ do
        seat' <- a -> IO (Ptr Seat)
    forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
    unsafeManagedPtrCastPtr a
    seat
        result <- gdk_seat_get_tools seat'
        result' <- unpackGList result
        result'' <- mapM (newObject Gdk.DeviceTool.DeviceTool) result'
        g_list_free result
        touchManagedPtr seat
        return result''

    #if defined(ENABLE_OVERLOADING)
    data SeatGetToolsMethodInfo
    instance (signature ~ (m [Gdk.DeviceTool.DeviceTool]), MonadIO m, IsSeat a) => O.OverloadedMethod SeatGetToolsMethodInfo a signature where
        overloadedMethod = seatGetTools

    instance O.OverloadedMethodInfo SeatGetToolsMethodInfo a where
        overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
            O.resolvedSymbolName = "GI.Gdk.Objects.Seat.seatGetTools",
            O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gdk4-4.0.10/docs/GI-Gdk-Objects-Seat.html#v:seatGetTools"
            })

    #endif