{-# LANGUAGE TypeApplications #-}


-- | Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
-- 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                       ,
    noFixedChild                            ,


 -- * Methods
-- ** Overloaded methods #method:Overloaded 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.ManagedPtr as B.ManagedPtr
import qualified Data.GI.Base.GClosure as B.GClosure
import qualified Data.GI.Base.GError as B.GError
import qualified Data.GI.Base.GVariant as B.GVariant
import qualified Data.GI.Base.GValue as B.GValue
import qualified Data.GI.Base.GParamSpec as B.GParamSpec
import qualified Data.GI.Base.CallStack as B.CallStack
import qualified Data.GI.Base.Properties as B.Properties
import qualified Data.GI.Base.Signals as B.Signals
import qualified Data.Text as T
import qualified Data.ByteString.Char8 as B
import qualified Data.Map as Map
import qualified Foreign.Ptr as FP
import qualified GHC.OverloadedLabels as OL

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

-- | Memory-managed wrapper type.
newtype FixedChild = FixedChild (ManagedPtr FixedChild)
    deriving (FixedChild -> FixedChild -> Bool
(FixedChild -> FixedChild -> Bool)
-> (FixedChild -> FixedChild -> Bool) -> Eq FixedChild
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: FixedChild -> FixedChild -> Bool
$c/= :: FixedChild -> FixedChild -> Bool
== :: FixedChild -> FixedChild -> Bool
$c== :: FixedChild -> FixedChild -> Bool
Eq)
instance WrappedPtr FixedChild where
    wrappedPtrCalloc :: IO (Ptr FixedChild)
wrappedPtrCalloc = Int -> IO (Ptr FixedChild)
forall a. Int -> IO (Ptr a)
callocBytes 16
    wrappedPtrCopy :: FixedChild -> IO FixedChild
wrappedPtrCopy = \p :: FixedChild
p -> FixedChild -> (Ptr FixedChild -> IO FixedChild) -> IO FixedChild
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr FixedChild
p (Int -> Ptr FixedChild -> IO (Ptr FixedChild)
forall a. WrappedPtr a => Int -> Ptr a -> IO (Ptr a)
copyBytes 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, WrappedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr FixedChild -> FixedChild
FixedChild)
    wrappedPtrFree :: Maybe (GDestroyNotify FixedChild)
wrappedPtrFree = GDestroyNotify FixedChild -> Maybe (GDestroyNotify FixedChild)
forall a. a -> Maybe a
Just GDestroyNotify FixedChild
forall a. FunPtr (Ptr a -> IO ())
ptr_to_g_free

-- | Construct a `FixedChild` struct initialized to zero.
newZeroFixedChild :: MonadIO m => m FixedChild
newZeroFixedChild :: m FixedChild
newZeroFixedChild = IO FixedChild -> m FixedChild
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. WrappedPtr a => IO (Ptr a)
wrappedPtrCalloc IO (Ptr FixedChild)
-> (Ptr FixedChild -> IO FixedChild) -> IO FixedChild
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (ManagedPtr FixedChild -> FixedChild)
-> Ptr FixedChild -> IO FixedChild
forall a.
(HasCallStack, WrappedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr FixedChild -> FixedChild
FixedChild

instance tag ~ 'AttrSet => Constructible FixedChild tag where
    new :: (ManagedPtr FixedChild -> FixedChild)
-> [AttrOp FixedChild tag] -> m FixedChild
new _ attrs :: [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 (m :: * -> *) a. Monad m => a -> m a
return FixedChild
o


-- | A convenience alias for `Nothing` :: `Maybe` `FixedChild`.
noFixedChild :: Maybe FixedChild
noFixedChild :: Maybe FixedChild
noFixedChild = Maybe FixedChild
forall a. Maybe a
Nothing

-- | 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 :: FixedChild -> m (Maybe Widget)
getFixedChildWidget s :: FixedChild
s = IO (Maybe Widget) -> m (Maybe Widget)
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 :: 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` 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
$ \val' :: 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 (m :: * -> *) a. Monad m => a -> m a
return Widget
val''
    Maybe Widget -> IO (Maybe Widget)
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 :: FixedChild -> Ptr Widget -> m ()
setFixedChildWidget s :: FixedChild
s val :: Ptr Widget
val = IO () -> m ()
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 :: 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` 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 :: FixedChild -> m ()
clearFixedChildWidget s :: FixedChild
s = IO () -> m ()
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 :: 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` 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

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 :: FixedChild -> m Int32
getFixedChildX s :: FixedChild
s = IO Int32 -> m Int32
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 :: 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` 8) :: IO Int32
    Int32 -> IO Int32
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 :: FixedChild -> Int32 -> m ()
setFixedChildX s :: FixedChild
s val :: Int32
val = IO () -> m ()
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 :: 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` 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

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 :: FixedChild -> m Int32
getFixedChildY s :: FixedChild
s = IO Int32 -> m Int32
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 :: 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` 12) :: IO Int32
    Int32 -> IO Int32
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 :: FixedChild -> Int32 -> m ()
setFixedChildY s :: FixedChild
s val :: Int32
val = IO () -> m ()
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 :: 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` 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

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, *)])
#endif

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

instance (info ~ ResolveFixedChildMethod t FixedChild, O.MethodInfo 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

#endif