{-# LANGUAGE TypeApplications #-}


-- | Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
-- License    : LGPL-2.1
-- Maintainer : Iñaki García Etxebarria
-- 
-- The t'GI.GObject.Structs.TypeValueTable.TypeValueTable' provides the functions required by the t'GI.GObject.Structs.Value.Value'
-- implementation, to serve as a container for values of a type.

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

module GI.GObject.Structs.TypeValueTable
    ( 

-- * Exported types
    TypeValueTable(..)                      ,
    newZeroTypeValueTable                   ,


 -- * Methods

#if defined(ENABLE_OVERLOADING)
    ResolveTypeValueTableMethod             ,
#endif



 -- * Properties


-- ** collectFormat #attr:collectFormat#
-- | A string format describing how to collect the contents of
--  this value bit-by-bit. Each character in the format represents
--  an argument to be collected, and the characters themselves indicate
--  the type of the argument. Currently supported arguments are:
--  - \'i\' - Integers. passed as collect_values[].v_int.
--  - \'l\' - Longs. passed as collect_values[].v_long.
--  - \'d\' - Doubles. passed as collect_values[].v_double.
--  - \'p\' - Pointers. passed as collect_values[].v_pointer.
--  It should be noted that for variable argument list construction,
--  ANSI C promotes every type smaller than an integer to an int, and
--  floats to doubles. So for collection of short int or char, \'i\'
--  needs to be used, and for collection of floats \'d\'.

    clearTypeValueTableCollectFormat        ,
    getTypeValueTableCollectFormat          ,
    setTypeValueTableCollectFormat          ,
#if defined(ENABLE_OVERLOADING)
    typeValueTable_collectFormat            ,
#endif


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

    clearTypeValueTableCollectValue         ,
    getTypeValueTableCollectValue           ,
    setTypeValueTableCollectValue           ,
#if defined(ENABLE_OVERLOADING)
    typeValueTable_collectValue             ,
#endif


-- ** lcopyFormat #attr:lcopyFormat#
-- | Format description of the arguments to collect for /@lcopyValue@/,
--  analogous to /@collectFormat@/. Usually, /@lcopyFormat@/ string consists
--  only of \'p\'s to provide @/lcopy_value()/@ with pointers to storage locations.

    clearTypeValueTableLcopyFormat          ,
    getTypeValueTableLcopyFormat            ,
    setTypeValueTableLcopyFormat            ,
#if defined(ENABLE_OVERLOADING)
    typeValueTable_lcopyFormat              ,
#endif


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

    clearTypeValueTableLcopyValue           ,
    getTypeValueTableLcopyValue             ,
    setTypeValueTableLcopyValue             ,
#if defined(ENABLE_OVERLOADING)
    typeValueTable_lcopyValue               ,
#endif


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

    clearTypeValueTableValueCopy            ,
    getTypeValueTableValueCopy              ,
    setTypeValueTableValueCopy              ,
#if defined(ENABLE_OVERLOADING)
    typeValueTable_valueCopy                ,
#endif


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

    clearTypeValueTableValueFree            ,
    getTypeValueTableValueFree              ,
    setTypeValueTableValueFree              ,
#if defined(ENABLE_OVERLOADING)
    typeValueTable_valueFree                ,
#endif


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

    clearTypeValueTableValueInit            ,
    getTypeValueTableValueInit              ,
    setTypeValueTableValueInit              ,
#if defined(ENABLE_OVERLOADING)
    typeValueTable_valueInit                ,
#endif


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

    clearTypeValueTableValuePeekPointer     ,
    getTypeValueTableValuePeekPointer       ,
    setTypeValueTableValuePeekPointer       ,
#if defined(ENABLE_OVERLOADING)
    typeValueTable_valuePeekPointer         ,
#endif




    ) 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.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.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 qualified GHC.Records as R

import qualified GI.GObject.Callbacks as GObject.Callbacks

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

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

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


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

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


-- | Get the value of the “@value_init@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' typeValueTable #valueInit
-- @
getTypeValueTableValueInit :: MonadIO m => TypeValueTable -> m (Maybe GObject.Callbacks.TypeValueTableValueInitFieldCallback)
getTypeValueTableValueInit :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable -> m (Maybe TypeValueTableValueInitFieldCallback)
getTypeValueTableValueInit TypeValueTable
s = IO (Maybe TypeValueTableValueInitFieldCallback)
-> m (Maybe TypeValueTableValueInitFieldCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe TypeValueTableValueInitFieldCallback)
 -> m (Maybe TypeValueTableValueInitFieldCallback))
-> IO (Maybe TypeValueTableValueInitFieldCallback)
-> m (Maybe TypeValueTableValueInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ TypeValueTable
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableValueInitFieldCallback))
-> IO (Maybe TypeValueTableValueInitFieldCallback)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable
  -> IO (Maybe TypeValueTableValueInitFieldCallback))
 -> IO (Maybe TypeValueTableValueInitFieldCallback))
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableValueInitFieldCallback))
-> IO (Maybe TypeValueTableValueInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    FunPtr C_TypeValueTableValueInitFieldCallback
val <- Ptr (FunPtr C_TypeValueTableValueInitFieldCallback)
-> IO (FunPtr C_TypeValueTableValueInitFieldCallback)
forall a. Storable a => Ptr a -> IO a
peek (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableValueInitFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) :: IO (FunPtr GObject.Callbacks.C_TypeValueTableValueInitFieldCallback)
    Maybe TypeValueTableValueInitFieldCallback
result <- FunPtr C_TypeValueTableValueInitFieldCallback
-> (FunPtr C_TypeValueTableValueInitFieldCallback
    -> IO TypeValueTableValueInitFieldCallback)
-> IO (Maybe TypeValueTableValueInitFieldCallback)
forall a b. FunPtr a -> (FunPtr a -> IO b) -> IO (Maybe b)
SP.convertFunPtrIfNonNull FunPtr C_TypeValueTableValueInitFieldCallback
val ((FunPtr C_TypeValueTableValueInitFieldCallback
  -> IO TypeValueTableValueInitFieldCallback)
 -> IO (Maybe TypeValueTableValueInitFieldCallback))
-> (FunPtr C_TypeValueTableValueInitFieldCallback
    -> IO TypeValueTableValueInitFieldCallback)
-> IO (Maybe TypeValueTableValueInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ \FunPtr C_TypeValueTableValueInitFieldCallback
val' -> do
        let val'' :: TypeValueTableValueInitFieldCallback
val'' = FunPtr C_TypeValueTableValueInitFieldCallback
-> TypeValueTableValueInitFieldCallback
forall (m :: * -> *).
(HasCallStack, MonadIO m) =>
FunPtr C_TypeValueTableValueInitFieldCallback -> GValue -> m ()
GObject.Callbacks.dynamic_TypeValueTableValueInitFieldCallback FunPtr C_TypeValueTableValueInitFieldCallback
val'
        TypeValueTableValueInitFieldCallback
-> IO TypeValueTableValueInitFieldCallback
forall (m :: * -> *) a. Monad m => a -> m a
return TypeValueTableValueInitFieldCallback
val''
    Maybe TypeValueTableValueInitFieldCallback
-> IO (Maybe TypeValueTableValueInitFieldCallback)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe TypeValueTableValueInitFieldCallback
result

-- | Set the value of the “@value_init@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' typeValueTable [ #valueInit 'Data.GI.Base.Attributes.:=' value ]
-- @
setTypeValueTableValueInit :: MonadIO m => TypeValueTable -> FunPtr GObject.Callbacks.C_TypeValueTableValueInitFieldCallback -> m ()
setTypeValueTableValueInit :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable
-> FunPtr C_TypeValueTableValueInitFieldCallback -> m ()
setTypeValueTableValueInit TypeValueTable
s FunPtr C_TypeValueTableValueInitFieldCallback
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr (FunPtr C_TypeValueTableValueInitFieldCallback)
-> FunPtr C_TypeValueTableValueInitFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableValueInitFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) (FunPtr C_TypeValueTableValueInitFieldCallback
val :: FunPtr GObject.Callbacks.C_TypeValueTableValueInitFieldCallback)

-- | Set the value of the “@value_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' #valueInit
-- @
clearTypeValueTableValueInit :: MonadIO m => TypeValueTable -> m ()
clearTypeValueTableValueInit :: forall (m :: * -> *). MonadIO m => TypeValueTable -> m ()
clearTypeValueTableValueInit TypeValueTable
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr (FunPtr C_TypeValueTableValueInitFieldCallback)
-> FunPtr C_TypeValueTableValueInitFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableValueInitFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) (FunPtr C_TypeValueTableValueInitFieldCallback
forall a. FunPtr a
FP.nullFunPtr :: FunPtr GObject.Callbacks.C_TypeValueTableValueInitFieldCallback)

#if defined(ENABLE_OVERLOADING)
data TypeValueTableValueInitFieldInfo
instance AttrInfo TypeValueTableValueInitFieldInfo where
    type AttrBaseTypeConstraint TypeValueTableValueInitFieldInfo = (~) TypeValueTable
    type AttrAllowedOps TypeValueTableValueInitFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint TypeValueTableValueInitFieldInfo = (~) (FunPtr GObject.Callbacks.C_TypeValueTableValueInitFieldCallback)
    type AttrTransferTypeConstraint TypeValueTableValueInitFieldInfo = (~)GObject.Callbacks.TypeValueTableValueInitFieldCallback
    type AttrTransferType TypeValueTableValueInitFieldInfo = (FunPtr GObject.Callbacks.C_TypeValueTableValueInitFieldCallback)
    type AttrGetType TypeValueTableValueInitFieldInfo = Maybe GObject.Callbacks.TypeValueTableValueInitFieldCallback
    type AttrLabel TypeValueTableValueInitFieldInfo = "value_init"
    type AttrOrigin TypeValueTableValueInitFieldInfo = TypeValueTable
    attrGet = getTypeValueTableValueInit
    attrSet = setTypeValueTableValueInit
    attrConstruct = undefined
    attrClear = clearTypeValueTableValueInit
    attrTransfer _ v = do
        GObject.Callbacks.mk_TypeValueTableValueInitFieldCallback (GObject.Callbacks.wrap_TypeValueTableValueInitFieldCallback Nothing v)

typeValueTable_valueInit :: AttrLabelProxy "valueInit"
typeValueTable_valueInit = AttrLabelProxy

#endif


-- | Get the value of the “@value_free@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' typeValueTable #valueFree
-- @
getTypeValueTableValueFree :: MonadIO m => TypeValueTable -> m (Maybe GObject.Callbacks.TypeValueTableValueFreeFieldCallback)
getTypeValueTableValueFree :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable -> m (Maybe TypeValueTableValueInitFieldCallback)
getTypeValueTableValueFree TypeValueTable
s = IO (Maybe TypeValueTableValueInitFieldCallback)
-> m (Maybe TypeValueTableValueInitFieldCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe TypeValueTableValueInitFieldCallback)
 -> m (Maybe TypeValueTableValueInitFieldCallback))
-> IO (Maybe TypeValueTableValueInitFieldCallback)
-> m (Maybe TypeValueTableValueInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ TypeValueTable
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableValueInitFieldCallback))
-> IO (Maybe TypeValueTableValueInitFieldCallback)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable
  -> IO (Maybe TypeValueTableValueInitFieldCallback))
 -> IO (Maybe TypeValueTableValueInitFieldCallback))
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableValueInitFieldCallback))
-> IO (Maybe TypeValueTableValueInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    FunPtr C_TypeValueTableValueInitFieldCallback
val <- Ptr (FunPtr C_TypeValueTableValueInitFieldCallback)
-> IO (FunPtr C_TypeValueTableValueInitFieldCallback)
forall a. Storable a => Ptr a -> IO a
peek (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableValueInitFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) :: IO (FunPtr GObject.Callbacks.C_TypeValueTableValueFreeFieldCallback)
    Maybe TypeValueTableValueInitFieldCallback
result <- FunPtr C_TypeValueTableValueInitFieldCallback
-> (FunPtr C_TypeValueTableValueInitFieldCallback
    -> IO TypeValueTableValueInitFieldCallback)
-> IO (Maybe TypeValueTableValueInitFieldCallback)
forall a b. FunPtr a -> (FunPtr a -> IO b) -> IO (Maybe b)
SP.convertFunPtrIfNonNull FunPtr C_TypeValueTableValueInitFieldCallback
val ((FunPtr C_TypeValueTableValueInitFieldCallback
  -> IO TypeValueTableValueInitFieldCallback)
 -> IO (Maybe TypeValueTableValueInitFieldCallback))
-> (FunPtr C_TypeValueTableValueInitFieldCallback
    -> IO TypeValueTableValueInitFieldCallback)
-> IO (Maybe TypeValueTableValueInitFieldCallback)
forall a b. (a -> b) -> a -> b
$ \FunPtr C_TypeValueTableValueInitFieldCallback
val' -> do
        let val'' :: TypeValueTableValueInitFieldCallback
val'' = FunPtr C_TypeValueTableValueInitFieldCallback
-> TypeValueTableValueInitFieldCallback
forall (m :: * -> *).
(HasCallStack, MonadIO m) =>
FunPtr C_TypeValueTableValueInitFieldCallback -> GValue -> m ()
GObject.Callbacks.dynamic_TypeValueTableValueFreeFieldCallback FunPtr C_TypeValueTableValueInitFieldCallback
val'
        TypeValueTableValueInitFieldCallback
-> IO TypeValueTableValueInitFieldCallback
forall (m :: * -> *) a. Monad m => a -> m a
return TypeValueTableValueInitFieldCallback
val''
    Maybe TypeValueTableValueInitFieldCallback
-> IO (Maybe TypeValueTableValueInitFieldCallback)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe TypeValueTableValueInitFieldCallback
result

-- | Set the value of the “@value_free@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' typeValueTable [ #valueFree 'Data.GI.Base.Attributes.:=' value ]
-- @
setTypeValueTableValueFree :: MonadIO m => TypeValueTable -> FunPtr GObject.Callbacks.C_TypeValueTableValueFreeFieldCallback -> m ()
setTypeValueTableValueFree :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable
-> FunPtr C_TypeValueTableValueInitFieldCallback -> m ()
setTypeValueTableValueFree TypeValueTable
s FunPtr C_TypeValueTableValueInitFieldCallback
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr (FunPtr C_TypeValueTableValueInitFieldCallback)
-> FunPtr C_TypeValueTableValueInitFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableValueInitFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) (FunPtr C_TypeValueTableValueInitFieldCallback
val :: FunPtr GObject.Callbacks.C_TypeValueTableValueFreeFieldCallback)

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

#if defined(ENABLE_OVERLOADING)
data TypeValueTableValueFreeFieldInfo
instance AttrInfo TypeValueTableValueFreeFieldInfo where
    type AttrBaseTypeConstraint TypeValueTableValueFreeFieldInfo = (~) TypeValueTable
    type AttrAllowedOps TypeValueTableValueFreeFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint TypeValueTableValueFreeFieldInfo = (~) (FunPtr GObject.Callbacks.C_TypeValueTableValueFreeFieldCallback)
    type AttrTransferTypeConstraint TypeValueTableValueFreeFieldInfo = (~)GObject.Callbacks.TypeValueTableValueFreeFieldCallback
    type AttrTransferType TypeValueTableValueFreeFieldInfo = (FunPtr GObject.Callbacks.C_TypeValueTableValueFreeFieldCallback)
    type AttrGetType TypeValueTableValueFreeFieldInfo = Maybe GObject.Callbacks.TypeValueTableValueFreeFieldCallback
    type AttrLabel TypeValueTableValueFreeFieldInfo = "value_free"
    type AttrOrigin TypeValueTableValueFreeFieldInfo = TypeValueTable
    attrGet = getTypeValueTableValueFree
    attrSet = setTypeValueTableValueFree
    attrConstruct = undefined
    attrClear = clearTypeValueTableValueFree
    attrTransfer _ v = do
        GObject.Callbacks.mk_TypeValueTableValueFreeFieldCallback (GObject.Callbacks.wrap_TypeValueTableValueFreeFieldCallback Nothing v)

typeValueTable_valueFree :: AttrLabelProxy "valueFree"
typeValueTable_valueFree = AttrLabelProxy

#endif


-- | Get the value of the “@value_copy@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' typeValueTable #valueCopy
-- @
getTypeValueTableValueCopy :: MonadIO m => TypeValueTable -> m (Maybe GObject.Callbacks.TypeValueTableValueCopyFieldCallback)
getTypeValueTableValueCopy :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable -> m (Maybe TypeValueTableValueCopyFieldCallback)
getTypeValueTableValueCopy TypeValueTable
s = IO (Maybe TypeValueTableValueCopyFieldCallback)
-> m (Maybe TypeValueTableValueCopyFieldCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe TypeValueTableValueCopyFieldCallback)
 -> m (Maybe TypeValueTableValueCopyFieldCallback))
-> IO (Maybe TypeValueTableValueCopyFieldCallback)
-> m (Maybe TypeValueTableValueCopyFieldCallback)
forall a b. (a -> b) -> a -> b
$ TypeValueTable
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableValueCopyFieldCallback))
-> IO (Maybe TypeValueTableValueCopyFieldCallback)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable
  -> IO (Maybe TypeValueTableValueCopyFieldCallback))
 -> IO (Maybe TypeValueTableValueCopyFieldCallback))
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableValueCopyFieldCallback))
-> IO (Maybe TypeValueTableValueCopyFieldCallback)
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    FunPtr C_TypeValueTableValueCopyFieldCallback
val <- Ptr (FunPtr C_TypeValueTableValueCopyFieldCallback)
-> IO (FunPtr C_TypeValueTableValueCopyFieldCallback)
forall a. Storable a => Ptr a -> IO a
peek (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableValueCopyFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) :: IO (FunPtr GObject.Callbacks.C_TypeValueTableValueCopyFieldCallback)
    Maybe TypeValueTableValueCopyFieldCallback
result <- FunPtr C_TypeValueTableValueCopyFieldCallback
-> (FunPtr C_TypeValueTableValueCopyFieldCallback
    -> IO TypeValueTableValueCopyFieldCallback)
-> IO (Maybe TypeValueTableValueCopyFieldCallback)
forall a b. FunPtr a -> (FunPtr a -> IO b) -> IO (Maybe b)
SP.convertFunPtrIfNonNull FunPtr C_TypeValueTableValueCopyFieldCallback
val ((FunPtr C_TypeValueTableValueCopyFieldCallback
  -> IO TypeValueTableValueCopyFieldCallback)
 -> IO (Maybe TypeValueTableValueCopyFieldCallback))
-> (FunPtr C_TypeValueTableValueCopyFieldCallback
    -> IO TypeValueTableValueCopyFieldCallback)
-> IO (Maybe TypeValueTableValueCopyFieldCallback)
forall a b. (a -> b) -> a -> b
$ \FunPtr C_TypeValueTableValueCopyFieldCallback
val' -> do
        let val'' :: TypeValueTableValueCopyFieldCallback
val'' = FunPtr C_TypeValueTableValueCopyFieldCallback
-> TypeValueTableValueCopyFieldCallback
forall (m :: * -> *).
(HasCallStack, MonadIO m) =>
FunPtr C_TypeValueTableValueCopyFieldCallback
-> GValue -> GValue -> m ()
GObject.Callbacks.dynamic_TypeValueTableValueCopyFieldCallback FunPtr C_TypeValueTableValueCopyFieldCallback
val'
        TypeValueTableValueCopyFieldCallback
-> IO TypeValueTableValueCopyFieldCallback
forall (m :: * -> *) a. Monad m => a -> m a
return TypeValueTableValueCopyFieldCallback
val''
    Maybe TypeValueTableValueCopyFieldCallback
-> IO (Maybe TypeValueTableValueCopyFieldCallback)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe TypeValueTableValueCopyFieldCallback
result

-- | Set the value of the “@value_copy@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' typeValueTable [ #valueCopy 'Data.GI.Base.Attributes.:=' value ]
-- @
setTypeValueTableValueCopy :: MonadIO m => TypeValueTable -> FunPtr GObject.Callbacks.C_TypeValueTableValueCopyFieldCallback -> m ()
setTypeValueTableValueCopy :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable
-> FunPtr C_TypeValueTableValueCopyFieldCallback -> m ()
setTypeValueTableValueCopy TypeValueTable
s FunPtr C_TypeValueTableValueCopyFieldCallback
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr (FunPtr C_TypeValueTableValueCopyFieldCallback)
-> FunPtr C_TypeValueTableValueCopyFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableValueCopyFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) (FunPtr C_TypeValueTableValueCopyFieldCallback
val :: FunPtr GObject.Callbacks.C_TypeValueTableValueCopyFieldCallback)

-- | Set the value of the “@value_copy@” 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' #valueCopy
-- @
clearTypeValueTableValueCopy :: MonadIO m => TypeValueTable -> m ()
clearTypeValueTableValueCopy :: forall (m :: * -> *). MonadIO m => TypeValueTable -> m ()
clearTypeValueTableValueCopy TypeValueTable
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr (FunPtr C_TypeValueTableValueCopyFieldCallback)
-> FunPtr C_TypeValueTableValueCopyFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableValueCopyFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) (FunPtr C_TypeValueTableValueCopyFieldCallback
forall a. FunPtr a
FP.nullFunPtr :: FunPtr GObject.Callbacks.C_TypeValueTableValueCopyFieldCallback)

#if defined(ENABLE_OVERLOADING)
data TypeValueTableValueCopyFieldInfo
instance AttrInfo TypeValueTableValueCopyFieldInfo where
    type AttrBaseTypeConstraint TypeValueTableValueCopyFieldInfo = (~) TypeValueTable
    type AttrAllowedOps TypeValueTableValueCopyFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint TypeValueTableValueCopyFieldInfo = (~) (FunPtr GObject.Callbacks.C_TypeValueTableValueCopyFieldCallback)
    type AttrTransferTypeConstraint TypeValueTableValueCopyFieldInfo = (~)GObject.Callbacks.TypeValueTableValueCopyFieldCallback
    type AttrTransferType TypeValueTableValueCopyFieldInfo = (FunPtr GObject.Callbacks.C_TypeValueTableValueCopyFieldCallback)
    type AttrGetType TypeValueTableValueCopyFieldInfo = Maybe GObject.Callbacks.TypeValueTableValueCopyFieldCallback
    type AttrLabel TypeValueTableValueCopyFieldInfo = "value_copy"
    type AttrOrigin TypeValueTableValueCopyFieldInfo = TypeValueTable
    attrGet = getTypeValueTableValueCopy
    attrSet = setTypeValueTableValueCopy
    attrConstruct = undefined
    attrClear = clearTypeValueTableValueCopy
    attrTransfer _ v = do
        GObject.Callbacks.mk_TypeValueTableValueCopyFieldCallback (GObject.Callbacks.wrap_TypeValueTableValueCopyFieldCallback Nothing v)

typeValueTable_valueCopy :: AttrLabelProxy "valueCopy"
typeValueTable_valueCopy = AttrLabelProxy

#endif


-- | Get the value of the “@value_peek_pointer@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' typeValueTable #valuePeekPointer
-- @
getTypeValueTableValuePeekPointer :: MonadIO m => TypeValueTable -> m (Maybe GObject.Callbacks.TypeValueTableValuePeekPointerFieldCallback)
getTypeValueTableValuePeekPointer :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable
-> m (Maybe TypeValueTableValuePeekPointerFieldCallback)
getTypeValueTableValuePeekPointer TypeValueTable
s = IO (Maybe TypeValueTableValuePeekPointerFieldCallback)
-> m (Maybe TypeValueTableValuePeekPointerFieldCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe TypeValueTableValuePeekPointerFieldCallback)
 -> m (Maybe TypeValueTableValuePeekPointerFieldCallback))
-> IO (Maybe TypeValueTableValuePeekPointerFieldCallback)
-> m (Maybe TypeValueTableValuePeekPointerFieldCallback)
forall a b. (a -> b) -> a -> b
$ TypeValueTable
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableValuePeekPointerFieldCallback))
-> IO (Maybe TypeValueTableValuePeekPointerFieldCallback)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable
  -> IO (Maybe TypeValueTableValuePeekPointerFieldCallback))
 -> IO (Maybe TypeValueTableValuePeekPointerFieldCallback))
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableValuePeekPointerFieldCallback))
-> IO (Maybe TypeValueTableValuePeekPointerFieldCallback)
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    FunPtr C_TypeValueTableValuePeekPointerFieldCallback
val <- Ptr (FunPtr C_TypeValueTableValuePeekPointerFieldCallback)
-> IO (FunPtr C_TypeValueTableValuePeekPointerFieldCallback)
forall a. Storable a => Ptr a -> IO a
peek (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int
-> Ptr (FunPtr C_TypeValueTableValuePeekPointerFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24) :: IO (FunPtr GObject.Callbacks.C_TypeValueTableValuePeekPointerFieldCallback)
    Maybe TypeValueTableValuePeekPointerFieldCallback
result <- FunPtr C_TypeValueTableValuePeekPointerFieldCallback
-> (FunPtr C_TypeValueTableValuePeekPointerFieldCallback
    -> IO TypeValueTableValuePeekPointerFieldCallback)
-> IO (Maybe TypeValueTableValuePeekPointerFieldCallback)
forall a b. FunPtr a -> (FunPtr a -> IO b) -> IO (Maybe b)
SP.convertFunPtrIfNonNull FunPtr C_TypeValueTableValuePeekPointerFieldCallback
val ((FunPtr C_TypeValueTableValuePeekPointerFieldCallback
  -> IO TypeValueTableValuePeekPointerFieldCallback)
 -> IO (Maybe TypeValueTableValuePeekPointerFieldCallback))
-> (FunPtr C_TypeValueTableValuePeekPointerFieldCallback
    -> IO TypeValueTableValuePeekPointerFieldCallback)
-> IO (Maybe TypeValueTableValuePeekPointerFieldCallback)
forall a b. (a -> b) -> a -> b
$ \FunPtr C_TypeValueTableValuePeekPointerFieldCallback
val' -> do
        let val'' :: TypeValueTableValuePeekPointerFieldCallback
val'' = FunPtr C_TypeValueTableValuePeekPointerFieldCallback
-> TypeValueTableValuePeekPointerFieldCallback
forall (m :: * -> *).
(HasCallStack, MonadIO m) =>
FunPtr C_TypeValueTableValuePeekPointerFieldCallback
-> GValue -> m (Ptr ())
GObject.Callbacks.dynamic_TypeValueTableValuePeekPointerFieldCallback FunPtr C_TypeValueTableValuePeekPointerFieldCallback
val'
        TypeValueTableValuePeekPointerFieldCallback
-> IO TypeValueTableValuePeekPointerFieldCallback
forall (m :: * -> *) a. Monad m => a -> m a
return TypeValueTableValuePeekPointerFieldCallback
val''
    Maybe TypeValueTableValuePeekPointerFieldCallback
-> IO (Maybe TypeValueTableValuePeekPointerFieldCallback)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe TypeValueTableValuePeekPointerFieldCallback
result

-- | Set the value of the “@value_peek_pointer@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' typeValueTable [ #valuePeekPointer 'Data.GI.Base.Attributes.:=' value ]
-- @
setTypeValueTableValuePeekPointer :: MonadIO m => TypeValueTable -> FunPtr GObject.Callbacks.C_TypeValueTableValuePeekPointerFieldCallback -> m ()
setTypeValueTableValuePeekPointer :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable
-> FunPtr C_TypeValueTableValuePeekPointerFieldCallback -> m ()
setTypeValueTableValuePeekPointer TypeValueTable
s FunPtr C_TypeValueTableValuePeekPointerFieldCallback
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr (FunPtr C_TypeValueTableValuePeekPointerFieldCallback)
-> FunPtr C_TypeValueTableValuePeekPointerFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int
-> Ptr (FunPtr C_TypeValueTableValuePeekPointerFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24) (FunPtr C_TypeValueTableValuePeekPointerFieldCallback
val :: FunPtr GObject.Callbacks.C_TypeValueTableValuePeekPointerFieldCallback)

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

#if defined(ENABLE_OVERLOADING)
data TypeValueTableValuePeekPointerFieldInfo
instance AttrInfo TypeValueTableValuePeekPointerFieldInfo where
    type AttrBaseTypeConstraint TypeValueTableValuePeekPointerFieldInfo = (~) TypeValueTable
    type AttrAllowedOps TypeValueTableValuePeekPointerFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint TypeValueTableValuePeekPointerFieldInfo = (~) (FunPtr GObject.Callbacks.C_TypeValueTableValuePeekPointerFieldCallback)
    type AttrTransferTypeConstraint TypeValueTableValuePeekPointerFieldInfo = (~)GObject.Callbacks.TypeValueTableValuePeekPointerFieldCallback
    type AttrTransferType TypeValueTableValuePeekPointerFieldInfo = (FunPtr GObject.Callbacks.C_TypeValueTableValuePeekPointerFieldCallback)
    type AttrGetType TypeValueTableValuePeekPointerFieldInfo = Maybe GObject.Callbacks.TypeValueTableValuePeekPointerFieldCallback
    type AttrLabel TypeValueTableValuePeekPointerFieldInfo = "value_peek_pointer"
    type AttrOrigin TypeValueTableValuePeekPointerFieldInfo = TypeValueTable
    attrGet = getTypeValueTableValuePeekPointer
    attrSet = setTypeValueTableValuePeekPointer
    attrConstruct = undefined
    attrClear = clearTypeValueTableValuePeekPointer
    attrTransfer _ v = do
        GObject.Callbacks.mk_TypeValueTableValuePeekPointerFieldCallback (GObject.Callbacks.wrap_TypeValueTableValuePeekPointerFieldCallback Nothing v)

typeValueTable_valuePeekPointer :: AttrLabelProxy "valuePeekPointer"
typeValueTable_valuePeekPointer = AttrLabelProxy

#endif


-- | Get the value of the “@collect_format@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' typeValueTable #collectFormat
-- @
getTypeValueTableCollectFormat :: MonadIO m => TypeValueTable -> m (Maybe T.Text)
getTypeValueTableCollectFormat :: forall (m :: * -> *). MonadIO m => TypeValueTable -> m (Maybe Text)
getTypeValueTableCollectFormat TypeValueTable
s = IO (Maybe Text) -> m (Maybe Text)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe Text) -> m (Maybe Text))
-> IO (Maybe Text) -> m (Maybe Text)
forall a b. (a -> b) -> a -> b
$ TypeValueTable
-> (Ptr TypeValueTable -> IO (Maybe Text)) -> IO (Maybe Text)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO (Maybe Text)) -> IO (Maybe Text))
-> (Ptr TypeValueTable -> IO (Maybe Text)) -> IO (Maybe Text)
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    CString
val <- Ptr CString -> IO CString
forall a. Storable a => Ptr a -> IO a
peek (Ptr TypeValueTable
ptr Ptr TypeValueTable -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
32) :: IO CString
    Maybe Text
result <- CString -> (CString -> IO Text) -> IO (Maybe Text)
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
SP.convertIfNonNull CString
val ((CString -> IO Text) -> IO (Maybe Text))
-> (CString -> IO Text) -> IO (Maybe Text)
forall a b. (a -> b) -> a -> b
$ \CString
val' -> do
        Text
val'' <- HasCallStack => CString -> IO Text
CString -> IO Text
cstringToText CString
val'
        Text -> IO Text
forall (m :: * -> *) a. Monad m => a -> m a
return Text
val''
    Maybe Text -> IO (Maybe Text)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe Text
result

-- | Set the value of the “@collect_format@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' typeValueTable [ #collectFormat 'Data.GI.Base.Attributes.:=' value ]
-- @
setTypeValueTableCollectFormat :: MonadIO m => TypeValueTable -> CString -> m ()
setTypeValueTableCollectFormat :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable -> CString -> m ()
setTypeValueTableCollectFormat TypeValueTable
s CString
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr CString -> CString -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
32) (CString
val :: CString)

-- | Set the value of the “@collect_format@” 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' #collectFormat
-- @
clearTypeValueTableCollectFormat :: MonadIO m => TypeValueTable -> m ()
clearTypeValueTableCollectFormat :: forall (m :: * -> *). MonadIO m => TypeValueTable -> m ()
clearTypeValueTableCollectFormat TypeValueTable
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr CString -> CString -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
32) (CString
forall a. Ptr a
FP.nullPtr :: CString)

#if defined(ENABLE_OVERLOADING)
data TypeValueTableCollectFormatFieldInfo
instance AttrInfo TypeValueTableCollectFormatFieldInfo where
    type AttrBaseTypeConstraint TypeValueTableCollectFormatFieldInfo = (~) TypeValueTable
    type AttrAllowedOps TypeValueTableCollectFormatFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint TypeValueTableCollectFormatFieldInfo = (~) CString
    type AttrTransferTypeConstraint TypeValueTableCollectFormatFieldInfo = (~)CString
    type AttrTransferType TypeValueTableCollectFormatFieldInfo = CString
    type AttrGetType TypeValueTableCollectFormatFieldInfo = Maybe T.Text
    type AttrLabel TypeValueTableCollectFormatFieldInfo = "collect_format"
    type AttrOrigin TypeValueTableCollectFormatFieldInfo = TypeValueTable
    attrGet = getTypeValueTableCollectFormat
    attrSet = setTypeValueTableCollectFormat
    attrConstruct = undefined
    attrClear = clearTypeValueTableCollectFormat
    attrTransfer _ v = do
        return v

typeValueTable_collectFormat :: AttrLabelProxy "collectFormat"
typeValueTable_collectFormat = AttrLabelProxy

#endif


-- | Get the value of the “@collect_value@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' typeValueTable #collectValue
-- @
getTypeValueTableCollectValue :: MonadIO m => TypeValueTable -> m (Maybe GObject.Callbacks.TypeValueTableCollectValueFieldCallback)
getTypeValueTableCollectValue :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable -> m (Maybe TypeValueTableCollectValueFieldCallback)
getTypeValueTableCollectValue TypeValueTable
s = IO (Maybe TypeValueTableCollectValueFieldCallback)
-> m (Maybe TypeValueTableCollectValueFieldCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe TypeValueTableCollectValueFieldCallback)
 -> m (Maybe TypeValueTableCollectValueFieldCallback))
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
-> m (Maybe TypeValueTableCollectValueFieldCallback)
forall a b. (a -> b) -> a -> b
$ TypeValueTable
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableCollectValueFieldCallback))
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable
  -> IO (Maybe TypeValueTableCollectValueFieldCallback))
 -> IO (Maybe TypeValueTableCollectValueFieldCallback))
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableCollectValueFieldCallback))
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    FunPtr C_TypeValueTableCollectValueFieldCallback
val <- Ptr (FunPtr C_TypeValueTableCollectValueFieldCallback)
-> IO (FunPtr C_TypeValueTableCollectValueFieldCallback)
forall a. Storable a => Ptr a -> IO a
peek (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableCollectValueFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
40) :: IO (FunPtr GObject.Callbacks.C_TypeValueTableCollectValueFieldCallback)
    Maybe TypeValueTableCollectValueFieldCallback
result <- FunPtr C_TypeValueTableCollectValueFieldCallback
-> (FunPtr C_TypeValueTableCollectValueFieldCallback
    -> IO TypeValueTableCollectValueFieldCallback)
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
forall a b. FunPtr a -> (FunPtr a -> IO b) -> IO (Maybe b)
SP.convertFunPtrIfNonNull FunPtr C_TypeValueTableCollectValueFieldCallback
val ((FunPtr C_TypeValueTableCollectValueFieldCallback
  -> IO TypeValueTableCollectValueFieldCallback)
 -> IO (Maybe TypeValueTableCollectValueFieldCallback))
-> (FunPtr C_TypeValueTableCollectValueFieldCallback
    -> IO TypeValueTableCollectValueFieldCallback)
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
forall a b. (a -> b) -> a -> b
$ \FunPtr C_TypeValueTableCollectValueFieldCallback
val' -> do
        let val'' :: TypeValueTableCollectValueFieldCallback
val'' = FunPtr C_TypeValueTableCollectValueFieldCallback
-> TypeValueTableCollectValueFieldCallback
forall (m :: * -> *).
(HasCallStack, MonadIO m) =>
FunPtr C_TypeValueTableCollectValueFieldCallback
-> GValue -> Word32 -> TypeCValue -> Word32 -> m Text
GObject.Callbacks.dynamic_TypeValueTableCollectValueFieldCallback FunPtr C_TypeValueTableCollectValueFieldCallback
val'
        TypeValueTableCollectValueFieldCallback
-> IO TypeValueTableCollectValueFieldCallback
forall (m :: * -> *) a. Monad m => a -> m a
return TypeValueTableCollectValueFieldCallback
val''
    Maybe TypeValueTableCollectValueFieldCallback
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe TypeValueTableCollectValueFieldCallback
result

-- | Set the value of the “@collect_value@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' typeValueTable [ #collectValue 'Data.GI.Base.Attributes.:=' value ]
-- @
setTypeValueTableCollectValue :: MonadIO m => TypeValueTable -> FunPtr GObject.Callbacks.C_TypeValueTableCollectValueFieldCallback -> m ()
setTypeValueTableCollectValue :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable
-> FunPtr C_TypeValueTableCollectValueFieldCallback -> m ()
setTypeValueTableCollectValue TypeValueTable
s FunPtr C_TypeValueTableCollectValueFieldCallback
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr (FunPtr C_TypeValueTableCollectValueFieldCallback)
-> FunPtr C_TypeValueTableCollectValueFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableCollectValueFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
40) (FunPtr C_TypeValueTableCollectValueFieldCallback
val :: FunPtr GObject.Callbacks.C_TypeValueTableCollectValueFieldCallback)

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

#if defined(ENABLE_OVERLOADING)
data TypeValueTableCollectValueFieldInfo
instance AttrInfo TypeValueTableCollectValueFieldInfo where
    type AttrBaseTypeConstraint TypeValueTableCollectValueFieldInfo = (~) TypeValueTable
    type AttrAllowedOps TypeValueTableCollectValueFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint TypeValueTableCollectValueFieldInfo = (~) (FunPtr GObject.Callbacks.C_TypeValueTableCollectValueFieldCallback)
    type AttrTransferTypeConstraint TypeValueTableCollectValueFieldInfo = (~)GObject.Callbacks.TypeValueTableCollectValueFieldCallback
    type AttrTransferType TypeValueTableCollectValueFieldInfo = (FunPtr GObject.Callbacks.C_TypeValueTableCollectValueFieldCallback)
    type AttrGetType TypeValueTableCollectValueFieldInfo = Maybe GObject.Callbacks.TypeValueTableCollectValueFieldCallback
    type AttrLabel TypeValueTableCollectValueFieldInfo = "collect_value"
    type AttrOrigin TypeValueTableCollectValueFieldInfo = TypeValueTable
    attrGet = getTypeValueTableCollectValue
    attrSet = setTypeValueTableCollectValue
    attrConstruct = undefined
    attrClear = clearTypeValueTableCollectValue
    attrTransfer _ v = do
        GObject.Callbacks.mk_TypeValueTableCollectValueFieldCallback (GObject.Callbacks.wrap_TypeValueTableCollectValueFieldCallback Nothing v)

typeValueTable_collectValue :: AttrLabelProxy "collectValue"
typeValueTable_collectValue = AttrLabelProxy

#endif


-- | Get the value of the “@lcopy_format@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' typeValueTable #lcopyFormat
-- @
getTypeValueTableLcopyFormat :: MonadIO m => TypeValueTable -> m (Maybe T.Text)
getTypeValueTableLcopyFormat :: forall (m :: * -> *). MonadIO m => TypeValueTable -> m (Maybe Text)
getTypeValueTableLcopyFormat TypeValueTable
s = IO (Maybe Text) -> m (Maybe Text)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe Text) -> m (Maybe Text))
-> IO (Maybe Text) -> m (Maybe Text)
forall a b. (a -> b) -> a -> b
$ TypeValueTable
-> (Ptr TypeValueTable -> IO (Maybe Text)) -> IO (Maybe Text)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO (Maybe Text)) -> IO (Maybe Text))
-> (Ptr TypeValueTable -> IO (Maybe Text)) -> IO (Maybe Text)
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    CString
val <- Ptr CString -> IO CString
forall a. Storable a => Ptr a -> IO a
peek (Ptr TypeValueTable
ptr Ptr TypeValueTable -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
48) :: IO CString
    Maybe Text
result <- CString -> (CString -> IO Text) -> IO (Maybe Text)
forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
SP.convertIfNonNull CString
val ((CString -> IO Text) -> IO (Maybe Text))
-> (CString -> IO Text) -> IO (Maybe Text)
forall a b. (a -> b) -> a -> b
$ \CString
val' -> do
        Text
val'' <- HasCallStack => CString -> IO Text
CString -> IO Text
cstringToText CString
val'
        Text -> IO Text
forall (m :: * -> *) a. Monad m => a -> m a
return Text
val''
    Maybe Text -> IO (Maybe Text)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe Text
result

-- | Set the value of the “@lcopy_format@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' typeValueTable [ #lcopyFormat 'Data.GI.Base.Attributes.:=' value ]
-- @
setTypeValueTableLcopyFormat :: MonadIO m => TypeValueTable -> CString -> m ()
setTypeValueTableLcopyFormat :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable -> CString -> m ()
setTypeValueTableLcopyFormat TypeValueTable
s CString
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr CString -> CString -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
48) (CString
val :: CString)

-- | Set the value of the “@lcopy_format@” 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' #lcopyFormat
-- @
clearTypeValueTableLcopyFormat :: MonadIO m => TypeValueTable -> m ()
clearTypeValueTableLcopyFormat :: forall (m :: * -> *). MonadIO m => TypeValueTable -> m ()
clearTypeValueTableLcopyFormat TypeValueTable
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr CString -> CString -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable -> Int -> Ptr CString
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
48) (CString
forall a. Ptr a
FP.nullPtr :: CString)

#if defined(ENABLE_OVERLOADING)
data TypeValueTableLcopyFormatFieldInfo
instance AttrInfo TypeValueTableLcopyFormatFieldInfo where
    type AttrBaseTypeConstraint TypeValueTableLcopyFormatFieldInfo = (~) TypeValueTable
    type AttrAllowedOps TypeValueTableLcopyFormatFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint TypeValueTableLcopyFormatFieldInfo = (~) CString
    type AttrTransferTypeConstraint TypeValueTableLcopyFormatFieldInfo = (~)CString
    type AttrTransferType TypeValueTableLcopyFormatFieldInfo = CString
    type AttrGetType TypeValueTableLcopyFormatFieldInfo = Maybe T.Text
    type AttrLabel TypeValueTableLcopyFormatFieldInfo = "lcopy_format"
    type AttrOrigin TypeValueTableLcopyFormatFieldInfo = TypeValueTable
    attrGet = getTypeValueTableLcopyFormat
    attrSet = setTypeValueTableLcopyFormat
    attrConstruct = undefined
    attrClear = clearTypeValueTableLcopyFormat
    attrTransfer _ v = do
        return v

typeValueTable_lcopyFormat :: AttrLabelProxy "lcopyFormat"
typeValueTable_lcopyFormat = AttrLabelProxy

#endif


-- | Get the value of the “@lcopy_value@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.get' typeValueTable #lcopyValue
-- @
getTypeValueTableLcopyValue :: MonadIO m => TypeValueTable -> m (Maybe GObject.Callbacks.TypeValueTableLcopyValueFieldCallback)
getTypeValueTableLcopyValue :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable -> m (Maybe TypeValueTableCollectValueFieldCallback)
getTypeValueTableLcopyValue TypeValueTable
s = IO (Maybe TypeValueTableCollectValueFieldCallback)
-> m (Maybe TypeValueTableCollectValueFieldCallback)
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Maybe TypeValueTableCollectValueFieldCallback)
 -> m (Maybe TypeValueTableCollectValueFieldCallback))
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
-> m (Maybe TypeValueTableCollectValueFieldCallback)
forall a b. (a -> b) -> a -> b
$ TypeValueTable
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableCollectValueFieldCallback))
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable
  -> IO (Maybe TypeValueTableCollectValueFieldCallback))
 -> IO (Maybe TypeValueTableCollectValueFieldCallback))
-> (Ptr TypeValueTable
    -> IO (Maybe TypeValueTableCollectValueFieldCallback))
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    FunPtr C_TypeValueTableCollectValueFieldCallback
val <- Ptr (FunPtr C_TypeValueTableCollectValueFieldCallback)
-> IO (FunPtr C_TypeValueTableCollectValueFieldCallback)
forall a. Storable a => Ptr a -> IO a
peek (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableCollectValueFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
56) :: IO (FunPtr GObject.Callbacks.C_TypeValueTableLcopyValueFieldCallback)
    Maybe TypeValueTableCollectValueFieldCallback
result <- FunPtr C_TypeValueTableCollectValueFieldCallback
-> (FunPtr C_TypeValueTableCollectValueFieldCallback
    -> IO TypeValueTableCollectValueFieldCallback)
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
forall a b. FunPtr a -> (FunPtr a -> IO b) -> IO (Maybe b)
SP.convertFunPtrIfNonNull FunPtr C_TypeValueTableCollectValueFieldCallback
val ((FunPtr C_TypeValueTableCollectValueFieldCallback
  -> IO TypeValueTableCollectValueFieldCallback)
 -> IO (Maybe TypeValueTableCollectValueFieldCallback))
-> (FunPtr C_TypeValueTableCollectValueFieldCallback
    -> IO TypeValueTableCollectValueFieldCallback)
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
forall a b. (a -> b) -> a -> b
$ \FunPtr C_TypeValueTableCollectValueFieldCallback
val' -> do
        let val'' :: TypeValueTableCollectValueFieldCallback
val'' = FunPtr C_TypeValueTableCollectValueFieldCallback
-> TypeValueTableCollectValueFieldCallback
forall (m :: * -> *).
(HasCallStack, MonadIO m) =>
FunPtr C_TypeValueTableCollectValueFieldCallback
-> GValue -> Word32 -> TypeCValue -> Word32 -> m Text
GObject.Callbacks.dynamic_TypeValueTableLcopyValueFieldCallback FunPtr C_TypeValueTableCollectValueFieldCallback
val'
        TypeValueTableCollectValueFieldCallback
-> IO TypeValueTableCollectValueFieldCallback
forall (m :: * -> *) a. Monad m => a -> m a
return TypeValueTableCollectValueFieldCallback
val''
    Maybe TypeValueTableCollectValueFieldCallback
-> IO (Maybe TypeValueTableCollectValueFieldCallback)
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe TypeValueTableCollectValueFieldCallback
result

-- | Set the value of the “@lcopy_value@” field.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Attributes.set' typeValueTable [ #lcopyValue 'Data.GI.Base.Attributes.:=' value ]
-- @
setTypeValueTableLcopyValue :: MonadIO m => TypeValueTable -> FunPtr GObject.Callbacks.C_TypeValueTableLcopyValueFieldCallback -> m ()
setTypeValueTableLcopyValue :: forall (m :: * -> *).
MonadIO m =>
TypeValueTable
-> FunPtr C_TypeValueTableCollectValueFieldCallback -> m ()
setTypeValueTableLcopyValue TypeValueTable
s FunPtr C_TypeValueTableCollectValueFieldCallback
val = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr (FunPtr C_TypeValueTableCollectValueFieldCallback)
-> FunPtr C_TypeValueTableCollectValueFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableCollectValueFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
56) (FunPtr C_TypeValueTableCollectValueFieldCallback
val :: FunPtr GObject.Callbacks.C_TypeValueTableLcopyValueFieldCallback)

-- | Set the value of the “@lcopy_value@” 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' #lcopyValue
-- @
clearTypeValueTableLcopyValue :: MonadIO m => TypeValueTable -> m ()
clearTypeValueTableLcopyValue :: forall (m :: * -> *). MonadIO m => TypeValueTable -> m ()
clearTypeValueTableLcopyValue TypeValueTable
s = IO () -> m ()
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ TypeValueTable -> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr TypeValueTable
s ((Ptr TypeValueTable -> IO ()) -> IO ())
-> (Ptr TypeValueTable -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr TypeValueTable
ptr -> do
    Ptr (FunPtr C_TypeValueTableCollectValueFieldCallback)
-> FunPtr C_TypeValueTableCollectValueFieldCallback -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr TypeValueTable
ptr Ptr TypeValueTable
-> Int -> Ptr (FunPtr C_TypeValueTableCollectValueFieldCallback)
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
56) (FunPtr C_TypeValueTableCollectValueFieldCallback
forall a. FunPtr a
FP.nullFunPtr :: FunPtr GObject.Callbacks.C_TypeValueTableLcopyValueFieldCallback)

#if defined(ENABLE_OVERLOADING)
data TypeValueTableLcopyValueFieldInfo
instance AttrInfo TypeValueTableLcopyValueFieldInfo where
    type AttrBaseTypeConstraint TypeValueTableLcopyValueFieldInfo = (~) TypeValueTable
    type AttrAllowedOps TypeValueTableLcopyValueFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
    type AttrSetTypeConstraint TypeValueTableLcopyValueFieldInfo = (~) (FunPtr GObject.Callbacks.C_TypeValueTableLcopyValueFieldCallback)
    type AttrTransferTypeConstraint TypeValueTableLcopyValueFieldInfo = (~)GObject.Callbacks.TypeValueTableLcopyValueFieldCallback
    type AttrTransferType TypeValueTableLcopyValueFieldInfo = (FunPtr GObject.Callbacks.C_TypeValueTableLcopyValueFieldCallback)
    type AttrGetType TypeValueTableLcopyValueFieldInfo = Maybe GObject.Callbacks.TypeValueTableLcopyValueFieldCallback
    type AttrLabel TypeValueTableLcopyValueFieldInfo = "lcopy_value"
    type AttrOrigin TypeValueTableLcopyValueFieldInfo = TypeValueTable
    attrGet = getTypeValueTableLcopyValue
    attrSet = setTypeValueTableLcopyValue
    attrConstruct = undefined
    attrClear = clearTypeValueTableLcopyValue
    attrTransfer _ v = do
        GObject.Callbacks.mk_TypeValueTableLcopyValueFieldCallback (GObject.Callbacks.wrap_TypeValueTableLcopyValueFieldCallback Nothing v)

typeValueTable_lcopyValue :: AttrLabelProxy "lcopyValue"
typeValueTable_lcopyValue = AttrLabelProxy

#endif



#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList TypeValueTable
type instance O.AttributeList TypeValueTable = TypeValueTableAttributeList
type TypeValueTableAttributeList = ('[ '("valueInit", TypeValueTableValueInitFieldInfo), '("valueFree", TypeValueTableValueFreeFieldInfo), '("valueCopy", TypeValueTableValueCopyFieldInfo), '("valuePeekPointer", TypeValueTableValuePeekPointerFieldInfo), '("collectFormat", TypeValueTableCollectFormatFieldInfo), '("collectValue", TypeValueTableCollectValueFieldInfo), '("lcopyFormat", TypeValueTableLcopyFormatFieldInfo), '("lcopyValue", TypeValueTableLcopyValueFieldInfo)] :: [(Symbol, *)])
#endif

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

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

#endif

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

#endif