{- |
Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
License    : LGPL-2.1
Maintainer : Iñaki García Etxebarria (garetxe@gmail.com)

This structure is used to provide the type system with the information
required to initialize and destruct (finalize) a parameter\'s class and
instances thereof.
The initialized structure is passed to the 'GI.GObject.Functions.paramTypeRegisterStatic'
The type system will perform a deep copy of this structure, so its memory
does not need to be persistent across invocation of
'GI.GObject.Functions.paramTypeRegisterStatic'.
-}

#define ENABLE_OVERLOADING \
       (!defined(__HADDOCK_VERSION__))

module GI.GObject.Structs.ParamSpecTypeInfo
    ( 

-- * Exported types
    ParamSpecTypeInfo(..)                   ,
    newZeroParamSpecTypeInfo                ,
    noParamSpecTypeInfo                     ,


 -- * Properties
-- ** finalize #attr:finalize#
{- | /No description available in the introspection data./
-}
    clearParamSpecTypeInfoFinalize          ,
    getParamSpecTypeInfoFinalize            ,
#if ENABLE_OVERLOADING
    paramSpecTypeInfo_finalize              ,
#endif
    setParamSpecTypeInfoFinalize            ,


-- ** instanceInit #attr:instanceInit#
{- | /No description available in the introspection data./
-}
    clearParamSpecTypeInfoInstanceInit      ,
    getParamSpecTypeInfoInstanceInit        ,
#if ENABLE_OVERLOADING
    paramSpecTypeInfo_instanceInit          ,
#endif
    setParamSpecTypeInfoInstanceInit        ,


-- ** instanceSize #attr:instanceSize#
{- | Size of the instance (object) structure.
-}
    getParamSpecTypeInfoInstanceSize        ,
#if ENABLE_OVERLOADING
    paramSpecTypeInfo_instanceSize          ,
#endif
    setParamSpecTypeInfoInstanceSize        ,


-- ** nPreallocs #attr:nPreallocs#
{- | Prior to GLib 2.10, it specified the number of pre-allocated (cached) instances to reserve memory for (0 indicates no caching). Since GLib 2.10, it is ignored, since instances are allocated with the [slice allocator][glib-Memory-Slices] now.
-}
    getParamSpecTypeInfoNPreallocs          ,
#if ENABLE_OVERLOADING
    paramSpecTypeInfo_nPreallocs            ,
#endif
    setParamSpecTypeInfoNPreallocs          ,


-- ** valueSetDefault #attr:valueSetDefault#
{- | /No description available in the introspection data./
-}
    clearParamSpecTypeInfoValueSetDefault   ,
    getParamSpecTypeInfoValueSetDefault     ,
#if ENABLE_OVERLOADING
    paramSpecTypeInfo_valueSetDefault       ,
#endif
    setParamSpecTypeInfoValueSetDefault     ,


-- ** valueType #attr:valueType#
{- | The 'GType' of values conforming to this 'GI.GObject.Objects.ParamSpec.ParamSpec'
-}
    getParamSpecTypeInfoValueType           ,
#if ENABLE_OVERLOADING
    paramSpecTypeInfo_valueType             ,
#endif
    setParamSpecTypeInfoValueType           ,


-- ** valueValidate #attr:valueValidate#
{- | /No description available in the introspection data./
-}
    clearParamSpecTypeInfoValueValidate     ,
    getParamSpecTypeInfoValueValidate       ,
#if ENABLE_OVERLOADING
    paramSpecTypeInfo_valueValidate         ,
#endif
    setParamSpecTypeInfoValueValidate       ,


-- ** valuesCmp #attr:valuesCmp#
{- | /No description available in the introspection data./
-}
    clearParamSpecTypeInfoValuesCmp         ,
    getParamSpecTypeInfoValuesCmp           ,
#if ENABLE_OVERLOADING
    paramSpecTypeInfo_valuesCmp             ,
#endif
    setParamSpecTypeInfoValuesCmp           ,




    ) 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.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.Text as T
import qualified Data.ByteString.Char8 as B
import qualified Data.Map as Map
import qualified Foreign.Ptr as FP

import qualified GI.GObject.Callbacks as GObject.Callbacks

-- | Memory-managed wrapper type.
newtype ParamSpecTypeInfo = ParamSpecTypeInfo (ManagedPtr ParamSpecTypeInfo)
instance WrappedPtr ParamSpecTypeInfo where
    wrappedPtrCalloc :: IO (Ptr ParamSpecTypeInfo)
wrappedPtrCalloc = Int -> IO (Ptr ParamSpecTypeInfo)
forall a. Int -> IO (Ptr a)
callocBytes 56
    wrappedPtrCopy :: ParamSpecTypeInfo -> IO ParamSpecTypeInfo
wrappedPtrCopy = \p :: ParamSpecTypeInfo
p -> ParamSpecTypeInfo
-> (Ptr ParamSpecTypeInfo -> IO ParamSpecTypeInfo)
-> IO ParamSpecTypeInfo
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
p (Int -> Ptr ParamSpecTypeInfo -> IO (Ptr ParamSpecTypeInfo)
forall a. WrappedPtr a => Int -> Ptr a -> IO (Ptr a)
copyBytes 56 (Ptr ParamSpecTypeInfo -> IO (Ptr ParamSpecTypeInfo))
-> (Ptr ParamSpecTypeInfo -> IO ParamSpecTypeInfo)
-> Ptr ParamSpecTypeInfo
-> IO ParamSpecTypeInfo
forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> (ManagedPtr ParamSpecTypeInfo -> ParamSpecTypeInfo)
-> Ptr ParamSpecTypeInfo -> IO ParamSpecTypeInfo
forall a.
(HasCallStack, WrappedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr ParamSpecTypeInfo -> ParamSpecTypeInfo
ParamSpecTypeInfo)
    wrappedPtrFree :: Maybe (FunPtr (Ptr ParamSpecTypeInfo -> IO ()))
wrappedPtrFree = FunPtr (Ptr ParamSpecTypeInfo -> IO ())
-> Maybe (FunPtr (Ptr ParamSpecTypeInfo -> IO ()))
forall a. a -> Maybe a
Just FunPtr (Ptr ParamSpecTypeInfo -> IO ())
forall a. FunPtr (Ptr a -> IO ())
ptr_to_g_free

-- | Construct a `ParamSpecTypeInfo` struct initialized to zero.
newZeroParamSpecTypeInfo :: MonadIO m => m ParamSpecTypeInfo
newZeroParamSpecTypeInfo :: m ParamSpecTypeInfo
newZeroParamSpecTypeInfo = IO ParamSpecTypeInfo -> m ParamSpecTypeInfo
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO ParamSpecTypeInfo -> m ParamSpecTypeInfo)
-> IO ParamSpecTypeInfo -> m ParamSpecTypeInfo
forall a b. (a -> b) -> a -> b
$ IO (Ptr ParamSpecTypeInfo)
forall a. WrappedPtr a => IO (Ptr a)
wrappedPtrCalloc IO (Ptr ParamSpecTypeInfo)
-> (Ptr ParamSpecTypeInfo -> IO ParamSpecTypeInfo)
-> IO ParamSpecTypeInfo
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (ManagedPtr ParamSpecTypeInfo -> ParamSpecTypeInfo)
-> Ptr ParamSpecTypeInfo -> IO ParamSpecTypeInfo
forall a.
(HasCallStack, WrappedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr ParamSpecTypeInfo -> ParamSpecTypeInfo
ParamSpecTypeInfo

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


-- | A convenience alias for `Nothing` :: `Maybe` `ParamSpecTypeInfo`.
noParamSpecTypeInfo :: Maybe ParamSpecTypeInfo
noParamSpecTypeInfo :: Maybe ParamSpecTypeInfo
noParamSpecTypeInfo = Maybe ParamSpecTypeInfo
forall a. Maybe a
Nothing

{- |
Get the value of the “@instance_size@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.get' paramSpecTypeInfo #instanceSize
@
-}
getParamSpecTypeInfoInstanceSize :: MonadIO m => ParamSpecTypeInfo -> m Word16
getParamSpecTypeInfoInstanceSize :: ParamSpecTypeInfo -> m Word16
getParamSpecTypeInfoInstanceSize s :: ParamSpecTypeInfo
s = IO Word16 -> m Word16
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Word16 -> m Word16) -> IO Word16 -> m Word16
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo
-> (Ptr ParamSpecTypeInfo -> IO Word16) -> IO Word16
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO Word16) -> IO Word16)
-> (Ptr ParamSpecTypeInfo -> IO Word16) -> IO Word16
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Word16
val <- Ptr Word16 -> IO Word16
forall a. Storable a => Ptr a -> IO a
peek (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo -> Int -> Ptr Word16
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0) :: IO Word16
    Word16 -> IO Word16
forall (m :: * -> *) a. Monad m => a -> m a
return Word16
val

{- |
Set the value of the “@instance_size@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.set' paramSpecTypeInfo [ #instanceSize 'Data.GI.Base.Attributes.:=' value ]
@
-}
setParamSpecTypeInfoInstanceSize :: MonadIO m => ParamSpecTypeInfo -> Word16 -> m ()
setParamSpecTypeInfoInstanceSize :: ParamSpecTypeInfo -> Word16 -> m ()
setParamSpecTypeInfoInstanceSize s :: ParamSpecTypeInfo
s val :: Word16
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr Word16 -> Word16 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo -> Int -> Ptr Word16
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 0) (Word16
val :: Word16)

#if ENABLE_OVERLOADING
data ParamSpecTypeInfoInstanceSizeFieldInfo
instance AttrInfo ParamSpecTypeInfoInstanceSizeFieldInfo where
    type AttrAllowedOps ParamSpecTypeInfoInstanceSizeFieldInfo = '[ 'AttrSet, 'AttrGet]
    type AttrSetTypeConstraint ParamSpecTypeInfoInstanceSizeFieldInfo = (~) Word16
    type AttrBaseTypeConstraint ParamSpecTypeInfoInstanceSizeFieldInfo = (~) ParamSpecTypeInfo
    type AttrGetType ParamSpecTypeInfoInstanceSizeFieldInfo = Word16
    type AttrLabel ParamSpecTypeInfoInstanceSizeFieldInfo = "instance_size"
    type AttrOrigin ParamSpecTypeInfoInstanceSizeFieldInfo = ParamSpecTypeInfo
    attrGet _ = getParamSpecTypeInfoInstanceSize
    attrSet _ = setParamSpecTypeInfoInstanceSize
    attrConstruct = undefined
    attrClear _ = undefined

paramSpecTypeInfo_instanceSize :: AttrLabelProxy "instanceSize"
paramSpecTypeInfo_instanceSize = AttrLabelProxy

#endif


{- |
Get the value of the “@n_preallocs@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.get' paramSpecTypeInfo #nPreallocs
@
-}
getParamSpecTypeInfoNPreallocs :: MonadIO m => ParamSpecTypeInfo -> m Word16
getParamSpecTypeInfoNPreallocs :: ParamSpecTypeInfo -> m Word16
getParamSpecTypeInfoNPreallocs s :: ParamSpecTypeInfo
s = IO Word16 -> m Word16
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Word16 -> m Word16) -> IO Word16 -> m Word16
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo
-> (Ptr ParamSpecTypeInfo -> IO Word16) -> IO Word16
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO Word16) -> IO Word16)
-> (Ptr ParamSpecTypeInfo -> IO Word16) -> IO Word16
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Word16
val <- Ptr Word16 -> IO Word16
forall a. Storable a => Ptr a -> IO a
peek (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo -> Int -> Ptr Word16
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 2) :: IO Word16
    Word16 -> IO Word16
forall (m :: * -> *) a. Monad m => a -> m a
return Word16
val

{- |
Set the value of the “@n_preallocs@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.set' paramSpecTypeInfo [ #nPreallocs 'Data.GI.Base.Attributes.:=' value ]
@
-}
setParamSpecTypeInfoNPreallocs :: MonadIO m => ParamSpecTypeInfo -> Word16 -> m ()
setParamSpecTypeInfoNPreallocs :: ParamSpecTypeInfo -> Word16 -> m ()
setParamSpecTypeInfoNPreallocs s :: ParamSpecTypeInfo
s val :: Word16
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr Word16 -> Word16 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo -> Int -> Ptr Word16
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 2) (Word16
val :: Word16)

#if ENABLE_OVERLOADING
data ParamSpecTypeInfoNPreallocsFieldInfo
instance AttrInfo ParamSpecTypeInfoNPreallocsFieldInfo where
    type AttrAllowedOps ParamSpecTypeInfoNPreallocsFieldInfo = '[ 'AttrSet, 'AttrGet]
    type AttrSetTypeConstraint ParamSpecTypeInfoNPreallocsFieldInfo = (~) Word16
    type AttrBaseTypeConstraint ParamSpecTypeInfoNPreallocsFieldInfo = (~) ParamSpecTypeInfo
    type AttrGetType ParamSpecTypeInfoNPreallocsFieldInfo = Word16
    type AttrLabel ParamSpecTypeInfoNPreallocsFieldInfo = "n_preallocs"
    type AttrOrigin ParamSpecTypeInfoNPreallocsFieldInfo = ParamSpecTypeInfo
    attrGet _ = getParamSpecTypeInfoNPreallocs
    attrSet _ = setParamSpecTypeInfoNPreallocs
    attrConstruct = undefined
    attrClear _ = undefined

paramSpecTypeInfo_nPreallocs :: AttrLabelProxy "nPreallocs"
paramSpecTypeInfo_nPreallocs = AttrLabelProxy

#endif


{- |
Get the value of the “@instance_init@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.get' paramSpecTypeInfo #instanceInit
@
-}
getParamSpecTypeInfoInstanceInit :: MonadIO m => ParamSpecTypeInfo -> m (Maybe GObject.Callbacks.ParamSpecTypeInfoInstanceInitFieldCallback)
getParamSpecTypeInfoInstanceInit :: ParamSpecTypeInfo
-> m (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
getParamSpecTypeInfoInstanceInit s :: ParamSpecTypeInfo
s = IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
-> m (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
 -> m (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
-> m (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo
-> (Ptr ParamSpecTypeInfo
    -> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo
  -> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
 -> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
-> (Ptr ParamSpecTypeInfo
    -> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val <- Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
-> IO (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
forall a. Storable a => Ptr a -> IO a
peek (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int -> Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 8) :: IO (FunPtr GObject.Callbacks.C_ParamSpecTypeInfoInstanceInitFieldCallback)
    Maybe ParamSpecTypeInfoInstanceInitFieldCallback
result <- FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
-> (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
    -> IO ParamSpecTypeInfoInstanceInitFieldCallback)
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. FunPtr a -> (FunPtr a -> IO b) -> IO (Maybe b)
SP.convertFunPtrIfNonNull FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val ((FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
  -> IO ParamSpecTypeInfoInstanceInitFieldCallback)
 -> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
-> (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
    -> IO ParamSpecTypeInfoInstanceInitFieldCallback)
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ \val' :: FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val' -> do
        let val'' :: ParamSpecTypeInfoInstanceInitFieldCallback
val'' = FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
-> ParamSpecTypeInfoInstanceInitFieldCallback
forall (m :: * -> *).
(HasCallStack, MonadIO m) =>
FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
-> GParamSpec -> m ()
GObject.Callbacks.dynamic_ParamSpecTypeInfoInstanceInitFieldCallback FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val'
        ParamSpecTypeInfoInstanceInitFieldCallback
-> IO ParamSpecTypeInfoInstanceInitFieldCallback
forall (m :: * -> *) a. Monad m => a -> m a
return ParamSpecTypeInfoInstanceInitFieldCallback
val''
    Maybe ParamSpecTypeInfoInstanceInitFieldCallback
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe ParamSpecTypeInfoInstanceInitFieldCallback
result

{- |
Set the value of the “@instance_init@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.set' paramSpecTypeInfo [ #instanceInit 'Data.GI.Base.Attributes.:=' value ]
@
-}
setParamSpecTypeInfoInstanceInit :: MonadIO m => ParamSpecTypeInfo -> FunPtr GObject.Callbacks.C_ParamSpecTypeInfoInstanceInitFieldCallback -> m ()
setParamSpecTypeInfoInstanceInit :: ParamSpecTypeInfo
-> FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback -> m ()
setParamSpecTypeInfoInstanceInit s :: ParamSpecTypeInfo
s val :: FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
-> FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int -> Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 8) (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val :: FunPtr GObject.Callbacks.C_ParamSpecTypeInfoInstanceInitFieldCallback)

{- |
Set the value of the “@instance_init@” 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' #instanceInit
@
-}
clearParamSpecTypeInfoInstanceInit :: MonadIO m => ParamSpecTypeInfo -> m ()
clearParamSpecTypeInfoInstanceInit :: ParamSpecTypeInfo -> m ()
clearParamSpecTypeInfoInstanceInit s :: ParamSpecTypeInfo
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
-> FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int -> Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 8) (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
forall a. FunPtr a
FP.nullFunPtr :: FunPtr GObject.Callbacks.C_ParamSpecTypeInfoInstanceInitFieldCallback)

#if ENABLE_OVERLOADING
data ParamSpecTypeInfoInstanceInitFieldInfo
instance AttrInfo ParamSpecTypeInfoInstanceInitFieldInfo where
    type AttrAllowedOps ParamSpecTypeInfoInstanceInitFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint ParamSpecTypeInfoInstanceInitFieldInfo = (~) (FunPtr GObject.Callbacks.C_ParamSpecTypeInfoInstanceInitFieldCallback)
    type AttrBaseTypeConstraint ParamSpecTypeInfoInstanceInitFieldInfo = (~) ParamSpecTypeInfo
    type AttrGetType ParamSpecTypeInfoInstanceInitFieldInfo = Maybe GObject.Callbacks.ParamSpecTypeInfoInstanceInitFieldCallback
    type AttrLabel ParamSpecTypeInfoInstanceInitFieldInfo = "instance_init"
    type AttrOrigin ParamSpecTypeInfoInstanceInitFieldInfo = ParamSpecTypeInfo
    attrGet _ = getParamSpecTypeInfoInstanceInit
    attrSet _ = setParamSpecTypeInfoInstanceInit
    attrConstruct = undefined
    attrClear _ = clearParamSpecTypeInfoInstanceInit

paramSpecTypeInfo_instanceInit :: AttrLabelProxy "instanceInit"
paramSpecTypeInfo_instanceInit = AttrLabelProxy

#endif


{- |
Get the value of the “@value_type@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.get' paramSpecTypeInfo #valueType
@
-}
getParamSpecTypeInfoValueType :: MonadIO m => ParamSpecTypeInfo -> m GType
getParamSpecTypeInfoValueType :: ParamSpecTypeInfo -> m GType
getParamSpecTypeInfoValueType s :: ParamSpecTypeInfo
s = IO GType -> m GType
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO GType -> m GType) -> IO GType -> m GType
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo
-> (Ptr ParamSpecTypeInfo -> IO GType) -> IO GType
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO GType) -> IO GType)
-> (Ptr ParamSpecTypeInfo -> IO GType) -> IO GType
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    CGType
val <- Ptr CGType -> IO CGType
forall a. Storable a => Ptr a -> IO a
peek (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo -> Int -> Ptr CGType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16) :: IO CGType
    let val' :: GType
val' = CGType -> GType
GType CGType
val
    GType -> IO GType
forall (m :: * -> *) a. Monad m => a -> m a
return GType
val'

{- |
Set the value of the “@value_type@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.set' paramSpecTypeInfo [ #valueType 'Data.GI.Base.Attributes.:=' value ]
@
-}
setParamSpecTypeInfoValueType :: MonadIO m => ParamSpecTypeInfo -> GType -> m ()
setParamSpecTypeInfoValueType :: ParamSpecTypeInfo -> GType -> m ()
setParamSpecTypeInfoValueType s :: ParamSpecTypeInfo
s val :: GType
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    let val' :: CGType
val' = GType -> CGType
gtypeToCGType GType
val
    Ptr CGType -> CGType -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo -> Int -> Ptr CGType
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 16) (CGType
val' :: CGType)

#if ENABLE_OVERLOADING
data ParamSpecTypeInfoValueTypeFieldInfo
instance AttrInfo ParamSpecTypeInfoValueTypeFieldInfo where
    type AttrAllowedOps ParamSpecTypeInfoValueTypeFieldInfo = '[ 'AttrSet, 'AttrGet]
    type AttrSetTypeConstraint ParamSpecTypeInfoValueTypeFieldInfo = (~) GType
    type AttrBaseTypeConstraint ParamSpecTypeInfoValueTypeFieldInfo = (~) ParamSpecTypeInfo
    type AttrGetType ParamSpecTypeInfoValueTypeFieldInfo = GType
    type AttrLabel ParamSpecTypeInfoValueTypeFieldInfo = "value_type"
    type AttrOrigin ParamSpecTypeInfoValueTypeFieldInfo = ParamSpecTypeInfo
    attrGet _ = getParamSpecTypeInfoValueType
    attrSet _ = setParamSpecTypeInfoValueType
    attrConstruct = undefined
    attrClear _ = undefined

paramSpecTypeInfo_valueType :: AttrLabelProxy "valueType"
paramSpecTypeInfo_valueType = AttrLabelProxy

#endif


{- |
Get the value of the “@finalize@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.get' paramSpecTypeInfo #finalize
@
-}
getParamSpecTypeInfoFinalize :: MonadIO m => ParamSpecTypeInfo -> m (Maybe GObject.Callbacks.ParamSpecTypeInfoFinalizeFieldCallback)
getParamSpecTypeInfoFinalize :: ParamSpecTypeInfo
-> m (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
getParamSpecTypeInfoFinalize s :: ParamSpecTypeInfo
s = IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
-> m (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
 -> m (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
-> m (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo
-> (Ptr ParamSpecTypeInfo
    -> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo
  -> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
 -> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
-> (Ptr ParamSpecTypeInfo
    -> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val <- Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
-> IO (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
forall a. Storable a => Ptr a -> IO a
peek (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int -> Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 24) :: IO (FunPtr GObject.Callbacks.C_ParamSpecTypeInfoFinalizeFieldCallback)
    Maybe ParamSpecTypeInfoInstanceInitFieldCallback
result <- FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
-> (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
    -> IO ParamSpecTypeInfoInstanceInitFieldCallback)
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. FunPtr a -> (FunPtr a -> IO b) -> IO (Maybe b)
SP.convertFunPtrIfNonNull FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val ((FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
  -> IO ParamSpecTypeInfoInstanceInitFieldCallback)
 -> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback))
-> (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
    -> IO ParamSpecTypeInfoInstanceInitFieldCallback)
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ \val' :: FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val' -> do
        let val'' :: ParamSpecTypeInfoInstanceInitFieldCallback
val'' = FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
-> ParamSpecTypeInfoInstanceInitFieldCallback
forall (m :: * -> *).
(HasCallStack, MonadIO m) =>
FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
-> GParamSpec -> m ()
GObject.Callbacks.dynamic_ParamSpecTypeInfoFinalizeFieldCallback FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val'
        ParamSpecTypeInfoInstanceInitFieldCallback
-> IO ParamSpecTypeInfoInstanceInitFieldCallback
forall (m :: * -> *) a. Monad m => a -> m a
return ParamSpecTypeInfoInstanceInitFieldCallback
val''
    Maybe ParamSpecTypeInfoInstanceInitFieldCallback
-> IO (Maybe ParamSpecTypeInfoInstanceInitFieldCallback)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe ParamSpecTypeInfoInstanceInitFieldCallback
result

{- |
Set the value of the “@finalize@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.set' paramSpecTypeInfo [ #finalize 'Data.GI.Base.Attributes.:=' value ]
@
-}
setParamSpecTypeInfoFinalize :: MonadIO m => ParamSpecTypeInfo -> FunPtr GObject.Callbacks.C_ParamSpecTypeInfoFinalizeFieldCallback -> m ()
setParamSpecTypeInfoFinalize :: ParamSpecTypeInfo
-> FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback -> m ()
setParamSpecTypeInfoFinalize s :: ParamSpecTypeInfo
s val :: FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
-> FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int -> Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 24) (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
val :: FunPtr GObject.Callbacks.C_ParamSpecTypeInfoFinalizeFieldCallback)

{- |
Set the value of the “@finalize@” 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' #finalize
@
-}
clearParamSpecTypeInfoFinalize :: MonadIO m => ParamSpecTypeInfo -> m ()
clearParamSpecTypeInfoFinalize :: ParamSpecTypeInfo -> m ()
clearParamSpecTypeInfoFinalize s :: ParamSpecTypeInfo
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
-> FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int -> Ptr (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 24) (FunPtr C_ParamSpecTypeInfoInstanceInitFieldCallback
forall a. FunPtr a
FP.nullFunPtr :: FunPtr GObject.Callbacks.C_ParamSpecTypeInfoFinalizeFieldCallback)

#if ENABLE_OVERLOADING
data ParamSpecTypeInfoFinalizeFieldInfo
instance AttrInfo ParamSpecTypeInfoFinalizeFieldInfo where
    type AttrAllowedOps ParamSpecTypeInfoFinalizeFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint ParamSpecTypeInfoFinalizeFieldInfo = (~) (FunPtr GObject.Callbacks.C_ParamSpecTypeInfoFinalizeFieldCallback)
    type AttrBaseTypeConstraint ParamSpecTypeInfoFinalizeFieldInfo = (~) ParamSpecTypeInfo
    type AttrGetType ParamSpecTypeInfoFinalizeFieldInfo = Maybe GObject.Callbacks.ParamSpecTypeInfoFinalizeFieldCallback
    type AttrLabel ParamSpecTypeInfoFinalizeFieldInfo = "finalize"
    type AttrOrigin ParamSpecTypeInfoFinalizeFieldInfo = ParamSpecTypeInfo
    attrGet _ = getParamSpecTypeInfoFinalize
    attrSet _ = setParamSpecTypeInfoFinalize
    attrConstruct = undefined
    attrClear _ = clearParamSpecTypeInfoFinalize

paramSpecTypeInfo_finalize :: AttrLabelProxy "finalize"
paramSpecTypeInfo_finalize = AttrLabelProxy

#endif


{- |
Get the value of the “@value_set_default@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.get' paramSpecTypeInfo #valueSetDefault
@
-}
getParamSpecTypeInfoValueSetDefault :: MonadIO m => ParamSpecTypeInfo -> m (Maybe GObject.Callbacks.ParamSpecTypeInfoValueSetDefaultFieldCallback)
getParamSpecTypeInfoValueSetDefault :: ParamSpecTypeInfo
-> m (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback)
getParamSpecTypeInfoValueSetDefault s :: ParamSpecTypeInfo
s = IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback)
-> m (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback)
 -> m (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback))
-> IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback)
-> m (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback)
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo
-> (Ptr ParamSpecTypeInfo
    -> IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback))
-> IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo
  -> IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback))
 -> IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback))
-> (Ptr ParamSpecTypeInfo
    -> IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback))
-> IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback)
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
val <- Ptr (FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback)
-> IO (FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback)
forall a. Storable a => Ptr a -> IO a
peek (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int
-> Ptr (FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 32) :: IO (FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValueSetDefaultFieldCallback)
    Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback
result <- FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
-> (FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
    -> IO ParamSpecTypeInfoValueSetDefaultFieldCallback)
-> IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback)
forall a b. FunPtr a -> (FunPtr a -> IO b) -> IO (Maybe b)
SP.convertFunPtrIfNonNull FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
val ((FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
  -> IO ParamSpecTypeInfoValueSetDefaultFieldCallback)
 -> IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback))
-> (FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
    -> IO ParamSpecTypeInfoValueSetDefaultFieldCallback)
-> IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback)
forall a b. (a -> b) -> a -> b
$ \val' :: FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
val' -> do
        let val'' :: ParamSpecTypeInfoValueSetDefaultFieldCallback
val'' = FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
-> ParamSpecTypeInfoValueSetDefaultFieldCallback
forall (m :: * -> *).
(HasCallStack, MonadIO m) =>
FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
-> GParamSpec -> GValue -> m ()
GObject.Callbacks.dynamic_ParamSpecTypeInfoValueSetDefaultFieldCallback FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
val'
        ParamSpecTypeInfoValueSetDefaultFieldCallback
-> IO ParamSpecTypeInfoValueSetDefaultFieldCallback
forall (m :: * -> *) a. Monad m => a -> m a
return ParamSpecTypeInfoValueSetDefaultFieldCallback
val''
    Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback
-> IO (Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe ParamSpecTypeInfoValueSetDefaultFieldCallback
result

{- |
Set the value of the “@value_set_default@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.set' paramSpecTypeInfo [ #valueSetDefault 'Data.GI.Base.Attributes.:=' value ]
@
-}
setParamSpecTypeInfoValueSetDefault :: MonadIO m => ParamSpecTypeInfo -> FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValueSetDefaultFieldCallback -> m ()
setParamSpecTypeInfoValueSetDefault :: ParamSpecTypeInfo
-> FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback -> m ()
setParamSpecTypeInfoValueSetDefault s :: ParamSpecTypeInfo
s val :: FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr (FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback)
-> FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int
-> Ptr (FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 32) (FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
val :: FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValueSetDefaultFieldCallback)

{- |
Set the value of the “@value_set_default@” 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' #valueSetDefault
@
-}
clearParamSpecTypeInfoValueSetDefault :: MonadIO m => ParamSpecTypeInfo -> m ()
clearParamSpecTypeInfoValueSetDefault :: ParamSpecTypeInfo -> m ()
clearParamSpecTypeInfoValueSetDefault s :: ParamSpecTypeInfo
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr (FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback)
-> FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int
-> Ptr (FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 32) (FunPtr C_ParamSpecTypeInfoValueSetDefaultFieldCallback
forall a. FunPtr a
FP.nullFunPtr :: FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValueSetDefaultFieldCallback)

#if ENABLE_OVERLOADING
data ParamSpecTypeInfoValueSetDefaultFieldInfo
instance AttrInfo ParamSpecTypeInfoValueSetDefaultFieldInfo where
    type AttrAllowedOps ParamSpecTypeInfoValueSetDefaultFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint ParamSpecTypeInfoValueSetDefaultFieldInfo = (~) (FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValueSetDefaultFieldCallback)
    type AttrBaseTypeConstraint ParamSpecTypeInfoValueSetDefaultFieldInfo = (~) ParamSpecTypeInfo
    type AttrGetType ParamSpecTypeInfoValueSetDefaultFieldInfo = Maybe GObject.Callbacks.ParamSpecTypeInfoValueSetDefaultFieldCallback
    type AttrLabel ParamSpecTypeInfoValueSetDefaultFieldInfo = "value_set_default"
    type AttrOrigin ParamSpecTypeInfoValueSetDefaultFieldInfo = ParamSpecTypeInfo
    attrGet _ = getParamSpecTypeInfoValueSetDefault
    attrSet _ = setParamSpecTypeInfoValueSetDefault
    attrConstruct = undefined
    attrClear _ = clearParamSpecTypeInfoValueSetDefault

paramSpecTypeInfo_valueSetDefault :: AttrLabelProxy "valueSetDefault"
paramSpecTypeInfo_valueSetDefault = AttrLabelProxy

#endif


{- |
Get the value of the “@value_validate@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.get' paramSpecTypeInfo #valueValidate
@
-}
getParamSpecTypeInfoValueValidate :: MonadIO m => ParamSpecTypeInfo -> m (Maybe GObject.Callbacks.ParamSpecTypeInfoValueValidateFieldCallback)
getParamSpecTypeInfoValueValidate :: ParamSpecTypeInfo
-> m (Maybe ParamSpecTypeInfoValueValidateFieldCallback)
getParamSpecTypeInfoValueValidate s :: ParamSpecTypeInfo
s = IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback)
-> m (Maybe ParamSpecTypeInfoValueValidateFieldCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback)
 -> m (Maybe ParamSpecTypeInfoValueValidateFieldCallback))
-> IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback)
-> m (Maybe ParamSpecTypeInfoValueValidateFieldCallback)
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo
-> (Ptr ParamSpecTypeInfo
    -> IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback))
-> IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo
  -> IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback))
 -> IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback))
-> (Ptr ParamSpecTypeInfo
    -> IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback))
-> IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback)
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
val <- Ptr (FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback)
-> IO (FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback)
forall a. Storable a => Ptr a -> IO a
peek (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int
-> Ptr (FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 40) :: IO (FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValueValidateFieldCallback)
    Maybe ParamSpecTypeInfoValueValidateFieldCallback
result <- FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
-> (FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
    -> IO ParamSpecTypeInfoValueValidateFieldCallback)
-> IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback)
forall a b. FunPtr a -> (FunPtr a -> IO b) -> IO (Maybe b)
SP.convertFunPtrIfNonNull FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
val ((FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
  -> IO ParamSpecTypeInfoValueValidateFieldCallback)
 -> IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback))
-> (FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
    -> IO ParamSpecTypeInfoValueValidateFieldCallback)
-> IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback)
forall a b. (a -> b) -> a -> b
$ \val' :: FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
val' -> do
        let val'' :: ParamSpecTypeInfoValueValidateFieldCallback
val'' = FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
-> ParamSpecTypeInfoValueValidateFieldCallback
forall (m :: * -> *).
(HasCallStack, MonadIO m) =>
FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
-> GParamSpec -> GValue -> m Bool
GObject.Callbacks.dynamic_ParamSpecTypeInfoValueValidateFieldCallback FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
val'
        ParamSpecTypeInfoValueValidateFieldCallback
-> IO ParamSpecTypeInfoValueValidateFieldCallback
forall (m :: * -> *) a. Monad m => a -> m a
return ParamSpecTypeInfoValueValidateFieldCallback
val''
    Maybe ParamSpecTypeInfoValueValidateFieldCallback
-> IO (Maybe ParamSpecTypeInfoValueValidateFieldCallback)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe ParamSpecTypeInfoValueValidateFieldCallback
result

{- |
Set the value of the “@value_validate@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.set' paramSpecTypeInfo [ #valueValidate 'Data.GI.Base.Attributes.:=' value ]
@
-}
setParamSpecTypeInfoValueValidate :: MonadIO m => ParamSpecTypeInfo -> FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValueValidateFieldCallback -> m ()
setParamSpecTypeInfoValueValidate :: ParamSpecTypeInfo
-> FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback -> m ()
setParamSpecTypeInfoValueValidate s :: ParamSpecTypeInfo
s val :: FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr (FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback)
-> FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int
-> Ptr (FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 40) (FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
val :: FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValueValidateFieldCallback)

{- |
Set the value of the “@value_validate@” 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' #valueValidate
@
-}
clearParamSpecTypeInfoValueValidate :: MonadIO m => ParamSpecTypeInfo -> m ()
clearParamSpecTypeInfoValueValidate :: ParamSpecTypeInfo -> m ()
clearParamSpecTypeInfoValueValidate s :: ParamSpecTypeInfo
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr (FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback)
-> FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int
-> Ptr (FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 40) (FunPtr C_ParamSpecTypeInfoValueValidateFieldCallback
forall a. FunPtr a
FP.nullFunPtr :: FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValueValidateFieldCallback)

#if ENABLE_OVERLOADING
data ParamSpecTypeInfoValueValidateFieldInfo
instance AttrInfo ParamSpecTypeInfoValueValidateFieldInfo where
    type AttrAllowedOps ParamSpecTypeInfoValueValidateFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint ParamSpecTypeInfoValueValidateFieldInfo = (~) (FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValueValidateFieldCallback)
    type AttrBaseTypeConstraint ParamSpecTypeInfoValueValidateFieldInfo = (~) ParamSpecTypeInfo
    type AttrGetType ParamSpecTypeInfoValueValidateFieldInfo = Maybe GObject.Callbacks.ParamSpecTypeInfoValueValidateFieldCallback
    type AttrLabel ParamSpecTypeInfoValueValidateFieldInfo = "value_validate"
    type AttrOrigin ParamSpecTypeInfoValueValidateFieldInfo = ParamSpecTypeInfo
    attrGet _ = getParamSpecTypeInfoValueValidate
    attrSet _ = setParamSpecTypeInfoValueValidate
    attrConstruct = undefined
    attrClear _ = clearParamSpecTypeInfoValueValidate

paramSpecTypeInfo_valueValidate :: AttrLabelProxy "valueValidate"
paramSpecTypeInfo_valueValidate = AttrLabelProxy

#endif


{- |
Get the value of the “@values_cmp@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.get' paramSpecTypeInfo #valuesCmp
@
-}
getParamSpecTypeInfoValuesCmp :: MonadIO m => ParamSpecTypeInfo -> m (Maybe GObject.Callbacks.ParamSpecTypeInfoValuesCmpFieldCallback)
getParamSpecTypeInfoValuesCmp :: ParamSpecTypeInfo
-> m (Maybe ParamSpecTypeInfoValuesCmpFieldCallback)
getParamSpecTypeInfoValuesCmp s :: ParamSpecTypeInfo
s = IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback)
-> m (Maybe ParamSpecTypeInfoValuesCmpFieldCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback)
 -> m (Maybe ParamSpecTypeInfoValuesCmpFieldCallback))
-> IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback)
-> m (Maybe ParamSpecTypeInfoValuesCmpFieldCallback)
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo
-> (Ptr ParamSpecTypeInfo
    -> IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback))
-> IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo
  -> IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback))
 -> IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback))
-> (Ptr ParamSpecTypeInfo
    -> IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback))
-> IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback)
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
val <- Ptr (FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback)
-> IO (FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback)
forall a. Storable a => Ptr a -> IO a
peek (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int -> Ptr (FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 48) :: IO (FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValuesCmpFieldCallback)
    Maybe ParamSpecTypeInfoValuesCmpFieldCallback
result <- FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
-> (FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
    -> IO ParamSpecTypeInfoValuesCmpFieldCallback)
-> IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback)
forall a b. FunPtr a -> (FunPtr a -> IO b) -> IO (Maybe b)
SP.convertFunPtrIfNonNull FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
val ((FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
  -> IO ParamSpecTypeInfoValuesCmpFieldCallback)
 -> IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback))
-> (FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
    -> IO ParamSpecTypeInfoValuesCmpFieldCallback)
-> IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback)
forall a b. (a -> b) -> a -> b
$ \val' :: FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
val' -> do
        let val'' :: ParamSpecTypeInfoValuesCmpFieldCallback
val'' = FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
-> ParamSpecTypeInfoValuesCmpFieldCallback
forall (m :: * -> *).
(HasCallStack, MonadIO m) =>
FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
-> GParamSpec -> GValue -> GValue -> m Int32
GObject.Callbacks.dynamic_ParamSpecTypeInfoValuesCmpFieldCallback FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
val'
        ParamSpecTypeInfoValuesCmpFieldCallback
-> IO ParamSpecTypeInfoValuesCmpFieldCallback
forall (m :: * -> *) a. Monad m => a -> m a
return ParamSpecTypeInfoValuesCmpFieldCallback
val''
    Maybe ParamSpecTypeInfoValuesCmpFieldCallback
-> IO (Maybe ParamSpecTypeInfoValuesCmpFieldCallback)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe ParamSpecTypeInfoValuesCmpFieldCallback
result

{- |
Set the value of the “@values_cmp@” field.
When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to

@
'Data.GI.Base.Attributes.set' paramSpecTypeInfo [ #valuesCmp 'Data.GI.Base.Attributes.:=' value ]
@
-}
setParamSpecTypeInfoValuesCmp :: MonadIO m => ParamSpecTypeInfo -> FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValuesCmpFieldCallback -> m ()
setParamSpecTypeInfoValuesCmp :: ParamSpecTypeInfo
-> FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback -> m ()
setParamSpecTypeInfoValuesCmp s :: ParamSpecTypeInfo
s val :: FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr (FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback)
-> FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int -> Ptr (FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 48) (FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
val :: FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValuesCmpFieldCallback)

{- |
Set the value of the “@values_cmp@” 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' #valuesCmp
@
-}
clearParamSpecTypeInfoValuesCmp :: MonadIO m => ParamSpecTypeInfo -> m ()
clearParamSpecTypeInfoValuesCmp :: ParamSpecTypeInfo -> m ()
clearParamSpecTypeInfoValuesCmp s :: ParamSpecTypeInfo
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ ParamSpecTypeInfo -> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr ParamSpecTypeInfo
s ((Ptr ParamSpecTypeInfo -> IO ()) -> IO ())
-> (Ptr ParamSpecTypeInfo -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \ptr :: Ptr ParamSpecTypeInfo
ptr -> do
    Ptr (FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback)
-> FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr ParamSpecTypeInfo
ptr Ptr ParamSpecTypeInfo
-> Int -> Ptr (FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` 48) (FunPtr C_ParamSpecTypeInfoValuesCmpFieldCallback
forall a. FunPtr a
FP.nullFunPtr :: FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValuesCmpFieldCallback)

#if ENABLE_OVERLOADING
data ParamSpecTypeInfoValuesCmpFieldInfo
instance AttrInfo ParamSpecTypeInfoValuesCmpFieldInfo where
    type AttrAllowedOps ParamSpecTypeInfoValuesCmpFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint ParamSpecTypeInfoValuesCmpFieldInfo = (~) (FunPtr GObject.Callbacks.C_ParamSpecTypeInfoValuesCmpFieldCallback)
    type AttrBaseTypeConstraint ParamSpecTypeInfoValuesCmpFieldInfo = (~) ParamSpecTypeInfo
    type AttrGetType ParamSpecTypeInfoValuesCmpFieldInfo = Maybe GObject.Callbacks.ParamSpecTypeInfoValuesCmpFieldCallback
    type AttrLabel ParamSpecTypeInfoValuesCmpFieldInfo = "values_cmp"
    type AttrOrigin ParamSpecTypeInfoValuesCmpFieldInfo = ParamSpecTypeInfo
    attrGet _ = getParamSpecTypeInfoValuesCmp
    attrSet _ = setParamSpecTypeInfoValuesCmp
    attrConstruct = undefined
    attrClear _ = clearParamSpecTypeInfoValuesCmp

paramSpecTypeInfo_valuesCmp :: AttrLabelProxy "valuesCmp"
paramSpecTypeInfo_valuesCmp = AttrLabelProxy

#endif



#if ENABLE_OVERLOADING
instance O.HasAttributeList ParamSpecTypeInfo
type instance O.AttributeList ParamSpecTypeInfo = ParamSpecTypeInfoAttributeList
type ParamSpecTypeInfoAttributeList = ('[ '("instanceSize", ParamSpecTypeInfoInstanceSizeFieldInfo), '("nPreallocs", ParamSpecTypeInfoNPreallocsFieldInfo), '("instanceInit", ParamSpecTypeInfoInstanceInitFieldInfo), '("valueType", ParamSpecTypeInfoValueTypeFieldInfo), '("finalize", ParamSpecTypeInfoFinalizeFieldInfo), '("valueSetDefault", ParamSpecTypeInfoValueSetDefaultFieldInfo), '("valueValidate", ParamSpecTypeInfoValueValidateFieldInfo), '("valuesCmp", ParamSpecTypeInfoValuesCmpFieldInfo)] :: [(Symbol, *)])
#endif

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

instance (info ~ ResolveParamSpecTypeInfoMethod t ParamSpecTypeInfo, O.MethodInfo info ParamSpecTypeInfo p) => O.IsLabelProxy t (ParamSpecTypeInfo -> p) where
    fromLabelProxy _ = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)

#if MIN_VERSION_base(4,9,0)
instance (info ~ ResolveParamSpecTypeInfoMethod t ParamSpecTypeInfo, O.MethodInfo info ParamSpecTypeInfo p) => O.IsLabel t (ParamSpecTypeInfo -> p) where
#if MIN_VERSION_base(4,10,0)
    fromLabel = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)
#else
    fromLabel _ = O.overloadedMethod (O.MethodProxy :: O.MethodProxy info)
#endif
#endif

#endif