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


-- | Copyright  : Will Thompson and Iñaki García Etxebarria
-- License    : LGPL-2.1
-- Maintainer : Iñaki García Etxebarria
-- 
-- @GtkSectionModel@ is an interface that adds support for sections to list models.
-- 
-- A @GtkSectionModel@ groups successive items into so-called sections. List widgets
-- like @GtkListView@ and @GtkGridView@ then allow displaying section headers for
-- these sections by installing a header factory.
-- 
-- Many GTK list models support sections inherently, or they pass through the sections
-- of a model they are wrapping.
-- 
-- When the section groupings of a model change, the model will emit the
-- [SectionModel::sectionsChanged]("GI.Gtk.Interfaces.SectionModel#g:signal:sectionsChanged") signal by calling the
-- 'GI.Gtk.Interfaces.SectionModel.sectionModelSectionsChanged' function. All sections in the given range
-- then need to be queried again.
-- The [ListModel::itemsChanged]("GI.Gio.Interfaces.ListModel#g:signal:itemsChanged") signal has the same effect, all sections in
-- that range are invalidated, too.
-- 
-- /Since: 4.12/

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

module GI.Gtk.Interfaces.SectionModel
    ( 

-- * Exported types
    SectionModel(..)                        ,
    IsSectionModel                          ,
    toSectionModel                          ,


 -- * Methods
-- | 
-- 
--  === __Click to display all available methods, including inherited ones__
-- ==== Methods
-- [bindProperty]("GI.GObject.Objects.Object#g:method:bindProperty"), [bindPropertyFull]("GI.GObject.Objects.Object#g:method:bindPropertyFull"), [forceFloating]("GI.GObject.Objects.Object#g:method:forceFloating"), [freezeNotify]("GI.GObject.Objects.Object#g:method:freezeNotify"), [getv]("GI.GObject.Objects.Object#g:method:getv"), [isFloating]("GI.GObject.Objects.Object#g:method:isFloating"), [itemsChanged]("GI.Gio.Interfaces.ListModel#g:method:itemsChanged"), [notify]("GI.GObject.Objects.Object#g:method:notify"), [notifyByPspec]("GI.GObject.Objects.Object#g:method:notifyByPspec"), [ref]("GI.GObject.Objects.Object#g:method:ref"), [refSink]("GI.GObject.Objects.Object#g:method:refSink"), [runDispose]("GI.GObject.Objects.Object#g:method:runDispose"), [sectionsChanged]("GI.Gtk.Interfaces.SectionModel#g:method:sectionsChanged"), [stealData]("GI.GObject.Objects.Object#g:method:stealData"), [stealQdata]("GI.GObject.Objects.Object#g:method:stealQdata"), [thawNotify]("GI.GObject.Objects.Object#g:method:thawNotify"), [unref]("GI.GObject.Objects.Object#g:method:unref"), [watchClosure]("GI.GObject.Objects.Object#g:method:watchClosure").
-- 
-- ==== Getters
-- [getData]("GI.GObject.Objects.Object#g:method:getData"), [getItem]("GI.Gio.Interfaces.ListModel#g:method:getItem"), [getItemType]("GI.Gio.Interfaces.ListModel#g:method:getItemType"), [getNItems]("GI.Gio.Interfaces.ListModel#g:method:getNItems"), [getProperty]("GI.GObject.Objects.Object#g:method:getProperty"), [getQdata]("GI.GObject.Objects.Object#g:method:getQdata"), [getSection]("GI.Gtk.Interfaces.SectionModel#g:method:getSection").
-- 
-- ==== Setters
-- [setData]("GI.GObject.Objects.Object#g:method:setData"), [setDataFull]("GI.GObject.Objects.Object#g:method:setDataFull"), [setProperty]("GI.GObject.Objects.Object#g:method:setProperty").

#if defined(ENABLE_OVERLOADING)
    ResolveSectionModelMethod               ,
#endif

-- ** getSection #method:getSection#

#if defined(ENABLE_OVERLOADING)
    SectionModelGetSectionMethodInfo        ,
#endif
    sectionModelGetSection                  ,


-- ** sectionsChanged #method:sectionsChanged#

#if defined(ENABLE_OVERLOADING)
    SectionModelSectionsChangedMethodInfo   ,
#endif
    sectionModelSectionsChanged             ,




 -- * Signals


-- ** sectionsChanged #signal:sectionsChanged#

    SectionModelSectionsChangedCallback     ,
#if defined(ENABLE_OVERLOADING)
    SectionModelSectionsChangedSignalInfo   ,
#endif
    afterSectionModelSectionsChanged        ,
    onSectionModelSectionsChanged           ,




    ) where

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

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

-- Workaround for https://gitlab.haskell.org/ghc/ghc/-/issues/23392
#if MIN_VERSION_base(4,18,0)
import qualified GI.GObject.Objects.Object as GObject.Object
import qualified GI.Gio.Interfaces.ListModel as Gio.ListModel

#else
import qualified GI.GObject.Objects.Object as GObject.Object
import qualified GI.Gio.Interfaces.ListModel as Gio.ListModel

#endif

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

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

foreign import ccall "gtk_section_model_get_type"
    c_gtk_section_model_get_type :: IO B.Types.GType

instance B.Types.TypedObject SectionModel where
    glibType :: IO GType
glibType = IO GType
c_gtk_section_model_get_type

instance B.Types.GObject SectionModel

-- | Type class for types which can be safely cast to `SectionModel`, for instance with `toSectionModel`.
class (SP.GObject o, O.IsDescendantOf SectionModel o) => IsSectionModel o
instance (SP.GObject o, O.IsDescendantOf SectionModel o) => IsSectionModel o

instance O.HasParentTypes SectionModel
type instance O.ParentTypes SectionModel = '[Gio.ListModel.ListModel, GObject.Object.Object]

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

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

#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList SectionModel
type instance O.AttributeList SectionModel = SectionModelAttributeList
type SectionModelAttributeList = ('[ ] :: [(Symbol, DK.Type)])
#endif

#if defined(ENABLE_OVERLOADING)
#endif

#if defined(ENABLE_OVERLOADING)
type family ResolveSectionModelMethod (t :: Symbol) (o :: DK.Type) :: DK.Type where
    ResolveSectionModelMethod "bindProperty" o = GObject.Object.ObjectBindPropertyMethodInfo
    ResolveSectionModelMethod "bindPropertyFull" o = GObject.Object.ObjectBindPropertyFullMethodInfo
    ResolveSectionModelMethod "forceFloating" o = GObject.Object.ObjectForceFloatingMethodInfo
    ResolveSectionModelMethod "freezeNotify" o = GObject.Object.ObjectFreezeNotifyMethodInfo
    ResolveSectionModelMethod "getv" o = GObject.Object.ObjectGetvMethodInfo
    ResolveSectionModelMethod "isFloating" o = GObject.Object.ObjectIsFloatingMethodInfo
    ResolveSectionModelMethod "itemsChanged" o = Gio.ListModel.ListModelItemsChangedMethodInfo
    ResolveSectionModelMethod "notify" o = GObject.Object.ObjectNotifyMethodInfo
    ResolveSectionModelMethod "notifyByPspec" o = GObject.Object.ObjectNotifyByPspecMethodInfo
    ResolveSectionModelMethod "ref" o = GObject.Object.ObjectRefMethodInfo
    ResolveSectionModelMethod "refSink" o = GObject.Object.ObjectRefSinkMethodInfo
    ResolveSectionModelMethod "runDispose" o = GObject.Object.ObjectRunDisposeMethodInfo
    ResolveSectionModelMethod "sectionsChanged" o = SectionModelSectionsChangedMethodInfo
    ResolveSectionModelMethod "stealData" o = GObject.Object.ObjectStealDataMethodInfo
    ResolveSectionModelMethod "stealQdata" o = GObject.Object.ObjectStealQdataMethodInfo
    ResolveSectionModelMethod "thawNotify" o = GObject.Object.ObjectThawNotifyMethodInfo
    ResolveSectionModelMethod "unref" o = GObject.Object.ObjectUnrefMethodInfo
    ResolveSectionModelMethod "watchClosure" o = GObject.Object.ObjectWatchClosureMethodInfo
    ResolveSectionModelMethod "getData" o = GObject.Object.ObjectGetDataMethodInfo
    ResolveSectionModelMethod "getItem" o = Gio.ListModel.ListModelGetItemMethodInfo
    ResolveSectionModelMethod "getItemType" o = Gio.ListModel.ListModelGetItemTypeMethodInfo
    ResolveSectionModelMethod "getNItems" o = Gio.ListModel.ListModelGetNItemsMethodInfo
    ResolveSectionModelMethod "getProperty" o = GObject.Object.ObjectGetPropertyMethodInfo
    ResolveSectionModelMethod "getQdata" o = GObject.Object.ObjectGetQdataMethodInfo
    ResolveSectionModelMethod "getSection" o = SectionModelGetSectionMethodInfo
    ResolveSectionModelMethod "setData" o = GObject.Object.ObjectSetDataMethodInfo
    ResolveSectionModelMethod "setDataFull" o = GObject.Object.ObjectSetDataFullMethodInfo
    ResolveSectionModelMethod "setProperty" o = GObject.Object.ObjectSetPropertyMethodInfo
    ResolveSectionModelMethod l o = O.MethodResolutionFailed l o

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

#endif

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

#endif

-- method SectionModel::get_section
-- method type : OrdinaryMethod
-- Args: [ Arg
--           { argCName = "self"
--           , argType =
--               TInterface Name { namespace = "Gtk" , name = "SectionModel" }
--           , direction = DirectionIn
--           , mayBeNull = False
--           , argDoc =
--               Documentation
--                 { rawDocText = Just "a `GtkSectionModel`"
--                 , sinceVersion = Nothing
--                 }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , argCallbackUserData = False
--           , transfer = TransferNothing
--           }
--       , Arg
--           { argCName = "position"
--           , argType = TBasicType TUInt
--           , direction = DirectionIn
--           , mayBeNull = False
--           , argDoc =
--               Documentation
--                 { rawDocText = Just "the position of the item to query"
--                 , sinceVersion = Nothing
--                 }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , argCallbackUserData = False
--           , transfer = TransferNothing
--           }
--       , Arg
--           { argCName = "out_start"
--           , argType = TBasicType TUInt
--           , direction = DirectionOut
--           , mayBeNull = False
--           , argDoc =
--               Documentation
--                 { rawDocText = Just "the position of the first item in the section"
--                 , sinceVersion = Nothing
--                 }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , argCallbackUserData = False
--           , transfer = TransferEverything
--           }
--       , Arg
--           { argCName = "out_end"
--           , argType = TBasicType TUInt
--           , direction = DirectionOut
--           , mayBeNull = False
--           , argDoc =
--               Documentation
--                 { rawDocText =
--                     Just
--                       "the position of the first item not part of the section\n  anymore."
--                 , sinceVersion = Nothing
--                 }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , argCallbackUserData = False
--           , transfer = TransferEverything
--           }
--       ]
-- Lengths: []
-- returnType: Nothing
-- throws : False
-- Skip return : False

foreign import ccall "gtk_section_model_get_section" gtk_section_model_get_section :: 
    Ptr SectionModel ->                     -- self : TInterface (Name {namespace = "Gtk", name = "SectionModel"})
    Word32 ->                               -- position : TBasicType TUInt
    Ptr Word32 ->                           -- out_start : TBasicType TUInt
    Ptr Word32 ->                           -- out_end : TBasicType TUInt
    IO ()

-- | Query the section that covers the given position. The number of
-- items in the section can be computed by @out_end - out_start@.
-- 
-- If the position is larger than the number of items, a single
-- range from n_items to G_MAXUINT will be returned.
-- 
-- /Since: 4.12/
sectionModelGetSection ::
    (B.CallStack.HasCallStack, MonadIO m, IsSectionModel a) =>
    a
    -- ^ /@self@/: a @GtkSectionModel@
    -> Word32
    -- ^ /@position@/: the position of the item to query
    -> m ((Word32, Word32))
sectionModelGetSection :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsSectionModel a) =>
a -> Word32 -> m (Word32, Word32)
sectionModelGetSection a
self Word32
position = IO (Word32, Word32) -> m (Word32, Word32)
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO (Word32, Word32) -> m (Word32, Word32))
-> IO (Word32, Word32) -> m (Word32, Word32)
forall a b. (a -> b) -> a -> b
$ do
    Ptr SectionModel
self' <- a -> IO (Ptr SectionModel)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
    Ptr Word32
outStart <- IO (Ptr Word32)
forall a. Storable a => IO (Ptr a)
allocMem :: IO (Ptr Word32)
    Ptr Word32
outEnd <- IO (Ptr Word32)
forall a. Storable a => IO (Ptr a)
allocMem :: IO (Ptr Word32)
    Ptr SectionModel -> Word32 -> Ptr Word32 -> Ptr Word32 -> IO ()
gtk_section_model_get_section Ptr SectionModel
self' Word32
position Ptr Word32
outStart Ptr Word32
outEnd
    Word32
outStart' <- Ptr Word32 -> IO Word32
forall a. Storable a => Ptr a -> IO a
peek Ptr Word32
outStart
    Word32
outEnd' <- Ptr Word32 -> IO Word32
forall a. Storable a => Ptr a -> IO a
peek Ptr Word32
outEnd
    a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
    Ptr Word32 -> IO ()
forall a. Ptr a -> IO ()
freeMem Ptr Word32
outStart
    Ptr Word32 -> IO ()
forall a. Ptr a -> IO ()
freeMem Ptr Word32
outEnd
    (Word32, Word32) -> IO (Word32, Word32)
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return (Word32
outStart', Word32
outEnd')

#if defined(ENABLE_OVERLOADING)
data SectionModelGetSectionMethodInfo
instance (signature ~ (Word32 -> m ((Word32, Word32))), MonadIO m, IsSectionModel a) => O.OverloadedMethod SectionModelGetSectionMethodInfo a signature where
    overloadedMethod = sectionModelGetSection

instance O.OverloadedMethodInfo SectionModelGetSectionMethodInfo a where
    overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
        O.resolvedSymbolName = "GI.Gtk.Interfaces.SectionModel.sectionModelGetSection",
        O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gtk-4.0.9/docs/GI-Gtk-Interfaces-SectionModel.html#v:sectionModelGetSection"
        })


#endif

-- method SectionModel::sections_changed
-- method type : OrdinaryMethod
-- Args: [ Arg
--           { argCName = "self"
--           , argType =
--               TInterface Name { namespace = "Gtk" , name = "SectionModel" }
--           , direction = DirectionIn
--           , mayBeNull = False
--           , argDoc =
--               Documentation { rawDocText = Nothing , sinceVersion = Nothing }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , argCallbackUserData = False
--           , transfer = TransferNothing
--           }
--       , Arg
--           { argCName = "position"
--           , argType = TBasicType TUInt
--           , direction = DirectionIn
--           , mayBeNull = False
--           , argDoc =
--               Documentation { rawDocText = Nothing , sinceVersion = Nothing }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , argCallbackUserData = False
--           , transfer = TransferNothing
--           }
--       , Arg
--           { argCName = "n_items"
--           , argType = TBasicType TUInt
--           , direction = DirectionIn
--           , mayBeNull = False
--           , argDoc =
--               Documentation { rawDocText = Nothing , sinceVersion = Nothing }
--           , argScope = ScopeTypeInvalid
--           , argClosure = -1
--           , argDestroy = -1
--           , argCallerAllocates = False
--           , argCallbackUserData = False
--           , transfer = TransferNothing
--           }
--       ]
-- Lengths: []
-- returnType: Nothing
-- throws : False
-- Skip return : False

foreign import ccall "gtk_section_model_sections_changed" gtk_section_model_sections_changed :: 
    Ptr SectionModel ->                     -- self : TInterface (Name {namespace = "Gtk", name = "SectionModel"})
    Word32 ->                               -- position : TBasicType TUInt
    Word32 ->                               -- n_items : TBasicType TUInt
    IO ()

-- | /No description available in the introspection data./
sectionModelSectionsChanged ::
    (B.CallStack.HasCallStack, MonadIO m, IsSectionModel a) =>
    a
    -> Word32
    -> Word32
    -> m ()
sectionModelSectionsChanged :: forall (m :: * -> *) a.
(HasCallStack, MonadIO m, IsSectionModel a) =>
a -> Word32 -> Word32 -> m ()
sectionModelSectionsChanged a
self Word32
position Word32
nItems = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ do
    Ptr SectionModel
self' <- a -> IO (Ptr SectionModel)
forall a b. (HasCallStack, ManagedPtrNewtype a) => a -> IO (Ptr b)
unsafeManagedPtrCastPtr a
self
    Ptr SectionModel -> Word32 -> Word32 -> IO ()
gtk_section_model_sections_changed Ptr SectionModel
self' Word32
position Word32
nItems
    a -> IO ()
forall a. ManagedPtrNewtype a => a -> IO ()
touchManagedPtr a
self
    () -> IO ()
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return ()

#if defined(ENABLE_OVERLOADING)
data SectionModelSectionsChangedMethodInfo
instance (signature ~ (Word32 -> Word32 -> m ()), MonadIO m, IsSectionModel a) => O.OverloadedMethod SectionModelSectionsChangedMethodInfo a signature where
    overloadedMethod = sectionModelSectionsChanged

instance O.OverloadedMethodInfo SectionModelSectionsChangedMethodInfo a where
    overloadedMethodInfo = P.Just (O.ResolvedSymbolInfo {
        O.resolvedSymbolName = "GI.Gtk.Interfaces.SectionModel.sectionModelSectionsChanged",
        O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gtk-4.0.9/docs/GI-Gtk-Interfaces-SectionModel.html#v:sectionModelSectionsChanged"
        })


#endif

-- signal SectionModel::sections-changed
-- | Emitted when the start-of-section state of some of the items in /@model@/ changes.
-- 
-- Note that this signal does not specify the new section state of the
-- items, they need to be queried manually. It is also not necessary for
-- a model to change the section state of any of the items in the section
-- model, though it would be rather useless to emit such a signal.
-- 
-- The [ListModel::itemsChanged]("GI.Gio.Interfaces.ListModel#g:signal:itemsChanged") implies the effect of the
-- [SectionModel::sectionsChanged]("GI.Gtk.Interfaces.SectionModel#g:signal:sectionsChanged") signal for all the items
-- it covers.
-- 
-- /Since: 4.12/
type SectionModelSectionsChangedCallback =
    Word32
    -- ^ /@position@/: The first item that may have changed
    -> Word32
    -- ^ /@nItems@/: number of items with changes
    -> IO ()

type C_SectionModelSectionsChangedCallback =
    Ptr SectionModel ->                     -- object
    Word32 ->
    Word32 ->
    Ptr () ->                               -- user_data
    IO ()

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

wrap_SectionModelSectionsChangedCallback :: 
    GObject a => (a -> SectionModelSectionsChangedCallback) ->
    C_SectionModelSectionsChangedCallback
wrap_SectionModelSectionsChangedCallback :: forall a.
GObject a =>
(a -> Word32 -> Word32 -> IO ())
-> C_SectionModelSectionsChangedCallback
wrap_SectionModelSectionsChangedCallback a -> Word32 -> Word32 -> IO ()
gi'cb Ptr SectionModel
gi'selfPtr Word32
position Word32
nItems Ptr ()
_ = do
    Ptr SectionModel -> (SectionModel -> IO ()) -> IO ()
forall o b.
(HasCallStack, GObject o) =>
Ptr o -> (o -> IO b) -> IO b
B.ManagedPtr.withNewObject Ptr SectionModel
gi'selfPtr ((SectionModel -> IO ()) -> IO ())
-> (SectionModel -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \SectionModel
gi'self -> a -> Word32 -> Word32 -> IO ()
gi'cb (SectionModel -> a
forall a b. Coercible a b => a -> b
Coerce.coerce SectionModel
gi'self)  Word32
position Word32
nItems


-- | Connect a signal handler for the [sectionsChanged](#signal:sectionsChanged) signal, to be run before the default handler.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Signals.on' sectionModel #sectionsChanged callback
-- @
-- 
-- 
onSectionModelSectionsChanged :: (IsSectionModel a, MonadIO m) => a -> ((?self :: a) => SectionModelSectionsChangedCallback) -> m SignalHandlerId
onSectionModelSectionsChanged :: forall a (m :: * -> *).
(IsSectionModel a, MonadIO m) =>
a -> ((?self::a) => Word32 -> Word32 -> IO ()) -> m SignalHandlerId
onSectionModelSectionsChanged a
obj (?self::a) => Word32 -> Word32 -> IO ()
cb = IO SignalHandlerId -> m SignalHandlerId
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
    let wrapped :: a -> Word32 -> Word32 -> IO ()
wrapped a
self = let ?self = a
?self::a
self in (?self::a) => Word32 -> Word32 -> IO ()
Word32 -> Word32 -> IO ()
cb
    let wrapped' :: C_SectionModelSectionsChangedCallback
wrapped' = (a -> Word32 -> Word32 -> IO ())
-> C_SectionModelSectionsChangedCallback
forall a.
GObject a =>
(a -> Word32 -> Word32 -> IO ())
-> C_SectionModelSectionsChangedCallback
wrap_SectionModelSectionsChangedCallback a -> Word32 -> Word32 -> IO ()
wrapped
    FunPtr C_SectionModelSectionsChangedCallback
wrapped'' <- C_SectionModelSectionsChangedCallback
-> IO (FunPtr C_SectionModelSectionsChangedCallback)
mk_SectionModelSectionsChangedCallback C_SectionModelSectionsChangedCallback
wrapped'
    a
-> Text
-> FunPtr C_SectionModelSectionsChangedCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj Text
"sections-changed" FunPtr C_SectionModelSectionsChangedCallback
wrapped'' SignalConnectMode
SignalConnectBefore Maybe Text
forall a. Maybe a
Nothing

-- | Connect a signal handler for the [sectionsChanged](#signal:sectionsChanged) signal, to be run after the default handler.
-- When <https://github.com/haskell-gi/haskell-gi/wiki/Overloading overloading> is enabled, this is equivalent to
-- 
-- @
-- 'Data.GI.Base.Signals.after' sectionModel #sectionsChanged callback
-- @
-- 
-- 
-- 
-- By default the object invoking the signal is not passed to the callback.
-- If you need to access it, you can use the implit @?self@ parameter.
-- Note that this requires activating the @ImplicitParams@ GHC extension.
-- 
afterSectionModelSectionsChanged :: (IsSectionModel a, MonadIO m) => a -> ((?self :: a) => SectionModelSectionsChangedCallback) -> m SignalHandlerId
afterSectionModelSectionsChanged :: forall a (m :: * -> *).
(IsSectionModel a, MonadIO m) =>
a -> ((?self::a) => Word32 -> Word32 -> IO ()) -> m SignalHandlerId
afterSectionModelSectionsChanged a
obj (?self::a) => Word32 -> Word32 -> IO ()
cb = IO SignalHandlerId -> m SignalHandlerId
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO SignalHandlerId -> m SignalHandlerId)
-> IO SignalHandlerId -> m SignalHandlerId
forall a b. (a -> b) -> a -> b
$ do
    let wrapped :: a -> Word32 -> Word32 -> IO ()
wrapped a
self = let ?self = a
?self::a
self in (?self::a) => Word32 -> Word32 -> IO ()
Word32 -> Word32 -> IO ()
cb
    let wrapped' :: C_SectionModelSectionsChangedCallback
wrapped' = (a -> Word32 -> Word32 -> IO ())
-> C_SectionModelSectionsChangedCallback
forall a.
GObject a =>
(a -> Word32 -> Word32 -> IO ())
-> C_SectionModelSectionsChangedCallback
wrap_SectionModelSectionsChangedCallback a -> Word32 -> Word32 -> IO ()
wrapped
    FunPtr C_SectionModelSectionsChangedCallback
wrapped'' <- C_SectionModelSectionsChangedCallback
-> IO (FunPtr C_SectionModelSectionsChangedCallback)
mk_SectionModelSectionsChangedCallback C_SectionModelSectionsChangedCallback
wrapped'
    a
-> Text
-> FunPtr C_SectionModelSectionsChangedCallback
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
forall o a.
GObject o =>
o
-> Text
-> FunPtr a
-> SignalConnectMode
-> Maybe Text
-> IO SignalHandlerId
connectSignalFunPtr a
obj Text
"sections-changed" FunPtr C_SectionModelSectionsChangedCallback
wrapped'' SignalConnectMode
SignalConnectAfter Maybe Text
forall a. Maybe a
Nothing


#if defined(ENABLE_OVERLOADING)
data SectionModelSectionsChangedSignalInfo
instance SignalInfo SectionModelSectionsChangedSignalInfo where
    type HaskellCallbackType SectionModelSectionsChangedSignalInfo = SectionModelSectionsChangedCallback
    connectSignal obj cb connectMode detail = do
        let cb' = wrap_SectionModelSectionsChangedCallback cb
        cb'' <- mk_SectionModelSectionsChangedCallback cb'
        connectSignalFunPtr obj "sections-changed" cb'' connectMode detail
    dbgSignalInfo = P.Just (O.ResolvedSymbolInfo {
        O.resolvedSymbolName = "GI.Gtk.Interfaces.SectionModel::sections-changed"
        , O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gtk-4.0.9/docs/GI-Gtk-Interfaces-SectionModel.html#g:signal:sectionsChanged"})

#endif

#if defined(ENABLE_OVERLOADING)
type instance O.SignalList SectionModel = SectionModelSignalList
type SectionModelSignalList = ('[ '("itemsChanged", Gio.ListModel.ListModelItemsChangedSignalInfo), '("notify", GObject.Object.ObjectNotifySignalInfo), '("sectionsChanged", SectionModelSectionsChangedSignalInfo)] :: [(Symbol, DK.Type)])

#endif