{-# LANGUAGE TypeApplications #-}


-- | Copyright  : Will Thompson and Iñaki García Etxebarria
-- License    : LGPL-2.1
-- Maintainer : Iñaki García Etxebarria
-- 
-- /No description available in the introspection data./

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

module GI.Gtk.Structs.FixedChild
    ( 

-- * Exported types
    FixedChild(..)                          ,
    newZeroFixedChild                       ,


 -- * Methods

#if defined(ENABLE_OVERLOADING)
    ResolveFixedChildMethod                 ,
#endif



 -- * Properties


-- ** widget #attr:widget#
-- | /No description available in the introspection data./

    clearFixedChildWidget                   ,
#if defined(ENABLE_OVERLOADING)
    fixedChild_widget                       ,
#endif
    getFixedChildWidget                     ,
    setFixedChildWidget                     ,


-- ** x #attr:x#
-- | /No description available in the introspection data./

#if defined(ENABLE_OVERLOADING)
    fixedChild_x                            ,
#endif
    getFixedChildX                          ,
    setFixedChildX                          ,


-- ** y #attr:y#
-- | /No description available in the introspection data./

#if defined(ENABLE_OVERLOADING)
    fixedChild_y                            ,
#endif
    getFixedChildY                          ,
    setFixedChildY                          ,




    ) where

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

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

import {-# SOURCE #-} qualified GI.Gtk.Objects.Widget as Gtk.Widget

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

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

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


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

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


-- | Get the value of the “@widget@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' fixedChild #widget
-- @
getFixedChildWidget :: MonadIO m => FixedChild -> m (Maybe Gtk.Widget.Widget)
getFixedChildWidget :: forall (m :: * -> *). MonadIO m => FixedChild -> m (Maybe Widget)
getFixedChildWidget FixedChild
s = IO (Maybe Widget) -> m (Maybe Widget)
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe Widget) -> m (Maybe Widget))
-> IO (Maybe Widget) -> m (Maybe Widget)
forall a b. (a -> b) -> a -> b
$ FixedChild
-> (Ptr FixedChild -> IO (Maybe Widget)) -> IO (Maybe Widget)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr FixedChild
s ((Ptr FixedChild -> IO (Maybe Widget)) -> IO (Maybe Widget))
-> (Ptr FixedChild -> IO (Maybe Widget)) -> IO (Maybe Widget)
forall a b. (a -> b) -> a -> b
$ \Ptr FixedChild
ptr -> do
    Ptr Widget
val <- Ptr (Ptr Widget) -> IO (Ptr Widget)
forall a. Storable a => Ptr a -> IO a
peek (Ptr FixedChild
ptr Ptr FixedChild -> Int -> Ptr (Ptr Widget)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) :: IO (Ptr Gtk.Widget.Widget)
    Maybe Widget
result <- Ptr Widget -> (Ptr Widget -> IO Widget) -> IO (Maybe Widget)
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
SP.convertIfNonNull Ptr Widget
val ((Ptr Widget -> IO Widget) -> IO (Maybe Widget))
-> (Ptr Widget -> IO Widget) -> IO (Maybe Widget)
forall a b. (a -> b) -> a -> b
$ \Ptr Widget
val' -> do
        Widget
val'' <- ((ManagedPtr Widget -> Widget) -> Ptr Widget -> IO Widget
forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
newObject ManagedPtr Widget -> Widget
Gtk.Widget.Widget) Ptr Widget
val'
        Widget -> IO Widget
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Widget
val''
    Maybe Widget -> IO (Maybe Widget)
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe Widget
result

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

-- | Set the value of the “@widget@” field to `Nothing`.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.clear' #widget
-- @
clearFixedChildWidget :: MonadIO m => FixedChild -> m ()
clearFixedChildWidget :: forall (m :: * -> *). MonadIO m => FixedChild -> m ()
clearFixedChildWidget FixedChild
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
$ FixedChild -> (Ptr FixedChild -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr FixedChild
s ((Ptr FixedChild -> IO ()) -> IO ())
-> (Ptr FixedChild -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr FixedChild
ptr -> do
    Ptr (Ptr Widget) -> Ptr Widget -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr FixedChild
ptr Ptr FixedChild -> Int -> Ptr (Ptr Widget)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) (Ptr Widget
forall a. Ptr a
FP.nullPtr :: Ptr Gtk.Widget.Widget)

#if defined(ENABLE_OVERLOADING)
data FixedChildWidgetFieldInfo
instance AttrInfo FixedChildWidgetFieldInfo where
    type AttrBaseTypeConstraint FixedChildWidgetFieldInfo = (~) FixedChild
    type AttrAllowedOps FixedChildWidgetFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint FixedChildWidgetFieldInfo = (~) (Ptr Gtk.Widget.Widget)
    type AttrTransferTypeConstraint FixedChildWidgetFieldInfo = (~)(Ptr Gtk.Widget.Widget)
    type AttrTransferType FixedChildWidgetFieldInfo = (Ptr Gtk.Widget.Widget)
    type AttrGetType FixedChildWidgetFieldInfo = Maybe Gtk.Widget.Widget
    type AttrLabel FixedChildWidgetFieldInfo = "widget"
    type AttrOrigin FixedChildWidgetFieldInfo = FixedChild
    attrGet = getFixedChildWidget
    attrSet = setFixedChildWidget
    attrConstruct = undefined
    attrClear = clearFixedChildWidget
    attrTransfer _ v = do
        return v
    dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
        O.resolvedSymbolName = "GI.Gtk.Structs.FixedChild.widget"
        , O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gtk-3.0.41/docs/GI-Gtk-Structs-FixedChild.html#g:attr:widget"
        })

fixedChild_widget :: AttrLabelProxy "widget"
fixedChild_widget = AttrLabelProxy

#endif


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

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

#if defined(ENABLE_OVERLOADING)
data FixedChildXFieldInfo
instance AttrInfo FixedChildXFieldInfo where
    type AttrBaseTypeConstraint FixedChildXFieldInfo = (~) FixedChild
    type AttrAllowedOps FixedChildXFieldInfo = '[ 'AttrSet, 'AttrGet]
    type AttrSetTypeConstraint FixedChildXFieldInfo = (~) Int32
    type AttrTransferTypeConstraint FixedChildXFieldInfo = (~)Int32
    type AttrTransferType FixedChildXFieldInfo = Int32
    type AttrGetType FixedChildXFieldInfo = Int32
    type AttrLabel FixedChildXFieldInfo = "x"
    type AttrOrigin FixedChildXFieldInfo = FixedChild
    attrGet = getFixedChildX
    attrSet = setFixedChildX
    attrConstruct = undefined
    attrClear = undefined
    attrTransfer _ v = do
        return v
    dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
        O.resolvedSymbolName = "GI.Gtk.Structs.FixedChild.x"
        , O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gtk-3.0.41/docs/GI-Gtk-Structs-FixedChild.html#g:attr:x"
        })

fixedChild_x :: AttrLabelProxy "x"
fixedChild_x = AttrLabelProxy

#endif


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

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

#if defined(ENABLE_OVERLOADING)
data FixedChildYFieldInfo
instance AttrInfo FixedChildYFieldInfo where
    type AttrBaseTypeConstraint FixedChildYFieldInfo = (~) FixedChild
    type AttrAllowedOps FixedChildYFieldInfo = '[ 'AttrSet, 'AttrGet]
    type AttrSetTypeConstraint FixedChildYFieldInfo = (~) Int32
    type AttrTransferTypeConstraint FixedChildYFieldInfo = (~)Int32
    type AttrTransferType FixedChildYFieldInfo = Int32
    type AttrGetType FixedChildYFieldInfo = Int32
    type AttrLabel FixedChildYFieldInfo = "y"
    type AttrOrigin FixedChildYFieldInfo = FixedChild
    attrGet = getFixedChildY
    attrSet = setFixedChildY
    attrConstruct = undefined
    attrClear = undefined
    attrTransfer _ v = do
        return v
    dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
        O.resolvedSymbolName = "GI.Gtk.Structs.FixedChild.y"
        , O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gtk-3.0.41/docs/GI-Gtk-Structs-FixedChild.html#g:attr:y"
        })

fixedChild_y :: AttrLabelProxy "y"
fixedChild_y = AttrLabelProxy

#endif



#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList FixedChild
type instance O.AttributeList FixedChild = FixedChildAttributeList
type FixedChildAttributeList = ('[ '("widget", FixedChildWidgetFieldInfo), '("x", FixedChildXFieldInfo), '("y", FixedChildYFieldInfo)] :: [(Symbol, DK.Type)])
#endif

#if defined(ENABLE_OVERLOADING)
type family ResolveFixedChildMethod (t :: Symbol) (o :: DK.Type) :: DK.Type where
    ResolveFixedChildMethod l o = O.MethodResolutionFailed l o

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

#endif

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

#endif