Hoogle Search
Within LTS Haskell 24.58 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
listHeaderGetChild :: (HasCallStack, MonadIO m, IsListHeader a) => a -> m (Maybe Widget)gi-gtk4 GI.Gtk.Objects.ListHeader Gets the child previously set via listHeaderSetChild or Nothing if none was set. Since: 4.12
listHeaderGetEnd :: (HasCallStack, MonadIO m, IsListHeader a) => a -> m Word32gi-gtk4 GI.Gtk.Objects.ListHeader Gets the end position in the model of the section that self is currently the header for. If self is unbound, INVALID_LIST_POSITION is returned. Since: 4.12
listHeaderGetItem :: (HasCallStack, MonadIO m, IsListHeader a) => a -> m (Maybe Object)gi-gtk4 GI.Gtk.Objects.ListHeader Gets the model item at the start of the section. This is the item that occupies the list model at position ListHeader:start. If self is unbound, this function returns Nothing. Since: 4.12
listHeaderGetNItems :: (HasCallStack, MonadIO m, IsListHeader a) => a -> m Word32gi-gtk4 GI.Gtk.Objects.ListHeader Gets the the number of items in the section. If self is unbound, 0 is returned. Since: 4.12
listHeaderGetStart :: (HasCallStack, MonadIO m, IsListHeader a) => a -> m Word32gi-gtk4 GI.Gtk.Objects.ListHeader Gets the start position in the model of the section that self is currently the header for. If self is unbound, INVALID_LIST_POSITION is returned. Since: 4.12
listHeaderSetChild :: (HasCallStack, MonadIO m, IsListHeader a, IsWidget b) => a -> Maybe b -> m ()gi-gtk4 GI.Gtk.Objects.ListHeader Sets the child to be used for this listitem. This function is typically called by applications when setting up a header so that the widget can be reused when binding it multiple times. Since: 4.12
setListHeaderChild :: (MonadIO m, IsListHeader o, IsWidget a) => o -> a -> m ()gi-gtk4 GI.Gtk.Objects.ListHeader Set the value of the “child” property. When overloading is enabled, this is equivalent to
set listHeader [ #child := value ]
toListHeader :: (MonadIO m, IsListHeader o) => o -> m ListHeadergi-gtk4 GI.Gtk.Objects.ListHeader Cast to ListHeader, for types for which this is known to be safe. For general casts, use castTo.
clearListViewHeaderFactory :: (MonadIO m, IsListView o) => o -> m ()gi-gtk4 GI.Gtk.Objects.ListView Set the value of the “header-factory” property to Nothing. When overloading is enabled, this is equivalent to
clear #headerFactory
-
gi-gtk4 GI.Gtk.Objects.ListView Construct a GValueConstruct with valid value for the “header-factory” property. This is rarely needed directly, but it is used by new.