Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
filterListModelGetFilter :: (HasCallStack, MonadIO m, IsFilterListModel a) => a -> m (Maybe Filter)gi-gtk4 GI.Gtk.Objects.FilterListModel Gets the GtkFilter currently set on self.
filterListModelGetIncremental :: (HasCallStack, MonadIO m, IsFilterListModel a) => a -> m Boolgi-gtk4 GI.Gtk.Objects.FilterListModel Returns whether incremental filtering is enabled. See filterListModelSetIncremental.
-
gi-gtk4 GI.Gtk.Objects.FilterListModel Gets the model currently filtered or Nothing if none.
filterListModelGetPending :: (HasCallStack, MonadIO m, IsFilterListModel a) => a -> m Word32gi-gtk4 GI.Gtk.Objects.FilterListModel Returns the number of items that have not been filtered yet. You can use this value to check if self is busy filtering by comparing the return value to 0 or you can compute the percentage of the filter remaining by dividing the return value by the total number of items in the underlying model:
c code
pending = gtk_filter_list_model_get_pending (self); model = gtk_filter_list_model_get_model (self); percentage = pending / (double) g_list_model_get_n_items (model);
If no filter operation is ongoing - in particular when FilterListModel:incremental is False - this function returns 0.-
gi-gtk4 GI.Gtk.Objects.FilterListModel Creates a new GtkFilterListModel that will filter model using the given filter.
-
gi-gtk4 GI.Gtk.Objects.FilterListModel Sets the filter used to filter items.
filterListModelSetIncremental :: (HasCallStack, MonadIO m, IsFilterListModel a) => a -> Bool -> m ()gi-gtk4 GI.Gtk.Objects.FilterListModel Sets the filter model to do an incremental sort. When incremental filtering is enabled, the GtkFilterListModel will not run filters immediately, but will instead queue an idle handler that incrementally filters the items and adds them to the list. This of course means that items are not instantly added to the list, but only appear incrementally. When your filter blocks the UI while filtering, you might consider turning this on. Depending on your model and filters, this may become interesting around 10,000 to 100,000 items. By default, incremental filtering is disabled. See filterListModelGetPending for progress information about an ongoing incremental filtering operation.
-
gi-gtk4 GI.Gtk.Objects.FilterListModel Sets the model to be filtered. Note that GTK makes no effort to ensure that model conforms to the item type of self. It assumes that the caller knows what they are doing and have set up an appropriate filter to ensure that item types match.
getFilterListModelFilter :: (MonadIO m, IsFilterListModel o) => o -> m (Maybe Filter)gi-gtk4 GI.Gtk.Objects.FilterListModel Get the value of the “filter” property. When overloading is enabled, this is equivalent to
get filterListModel #filter
getFilterListModelIncremental :: (MonadIO m, IsFilterListModel o) => o -> m Boolgi-gtk4 GI.Gtk.Objects.FilterListModel Get the value of the “incremental” property. When overloading is enabled, this is equivalent to
get filterListModel #incremental