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.

  1. filterListModelGetFilter :: (HasCallStack, MonadIO m, IsFilterListModel a) => a -> m (Maybe Filter)

    gi-gtk4 GI.Gtk.Objects.FilterListModel

    Gets the GtkFilter currently set on self.

  2. filterListModelGetIncremental :: (HasCallStack, MonadIO m, IsFilterListModel a) => a -> m Bool

    gi-gtk4 GI.Gtk.Objects.FilterListModel

    Returns whether incremental filtering is enabled. See filterListModelSetIncremental.

  3. filterListModelGetModel :: (HasCallStack, MonadIO m, IsFilterListModel a) => a -> m (Maybe ListModel)

    gi-gtk4 GI.Gtk.Objects.FilterListModel

    Gets the model currently filtered or Nothing if none.

  4. filterListModelGetPending :: (HasCallStack, MonadIO m, IsFilterListModel a) => a -> m Word32

    gi-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.

  5. filterListModelNew :: (HasCallStack, MonadIO m, IsListModel a, IsFilter b) => Maybe a -> Maybe b -> m FilterListModel

    gi-gtk4 GI.Gtk.Objects.FilterListModel

    Creates a new GtkFilterListModel that will filter model using the given filter.

  6. filterListModelSetFilter :: (HasCallStack, MonadIO m, IsFilterListModel a, IsFilter b) => a -> Maybe b -> m ()

    gi-gtk4 GI.Gtk.Objects.FilterListModel

    Sets the filter used to filter items.

  7. 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.

  8. filterListModelSetModel :: (HasCallStack, MonadIO m, IsFilterListModel a, IsListModel b) => a -> Maybe b -> m ()

    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.

  9. 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
    

  10. getFilterListModelIncremental :: (MonadIO m, IsFilterListModel o) => o -> m Bool

    gi-gtk4 GI.Gtk.Objects.FilterListModel

    Get the value of the “incremental” property. When overloading is enabled, this is equivalent to

    get filterListModel #incremental
    

Page 128 of many | Previous | Next