gi-gtk-4.0.5: Gtk bindings
CopyrightWill Thompson and Iñaki García Etxebarria
LicenseLGPL-2.1
MaintainerIñaki García Etxebarria
Safe HaskellSafe-Inferred
LanguageHaskell2010

GI.Gtk.Objects.SelectionFilterModel

Description

GtkSelectionFilterModel is a list model that presents the selection from a GtkSelectionModel.

Synopsis

Exported types

class (GObject o, IsDescendantOf SelectionFilterModel o) => IsSelectionFilterModel o Source #

Type class for types which can be safely cast to SelectionFilterModel, for instance with toSelectionFilterModel.

Instances

Instances details
(GObject o, IsDescendantOf SelectionFilterModel o) => IsSelectionFilterModel o Source # 
Instance details

Defined in GI.Gtk.Objects.SelectionFilterModel

toSelectionFilterModel :: (MonadIO m, IsSelectionFilterModel o) => o -> m SelectionFilterModel Source #

Cast to SelectionFilterModel, for types for which this is known to be safe. For general casts, use castTo.

Methods

getModel

selectionFilterModelGetModel Source #

Arguments

:: (HasCallStack, MonadIO m, IsSelectionFilterModel a) 
=> a

self: a GtkSelectionFilterModel

-> m (Maybe SelectionModel)

Returns: The model that gets filtered

Gets the model currently filtered or Nothing if none.

new

selectionFilterModelNew Source #

Arguments

:: (HasCallStack, MonadIO m, IsSelectionModel a) 
=> Maybe a

model: the selection model to filter

-> m SelectionFilterModel

Returns: a new GtkSelectionFilterModel

Creates a new GtkSelectionFilterModel that will include the selected items from the underlying selection model.

setModel

selectionFilterModelSetModel Source #

Arguments

:: (HasCallStack, MonadIO m, IsSelectionFilterModel a, IsSelectionModel b) 
=> a

self: a GtkSelectionFilterModel

-> Maybe b

model: The model to be filtered

-> m () 

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.

Properties

model

The model being filtered.

clearSelectionFilterModelModel :: (MonadIO m, IsSelectionFilterModel o) => o -> m () Source #

Set the value of the “model” property to Nothing. When overloading is enabled, this is equivalent to

clear #model

constructSelectionFilterModelModel :: (IsSelectionFilterModel o, MonadIO m, IsSelectionModel a) => a -> m (GValueConstruct o) Source #

Construct a GValueConstruct with valid value for the “model” property. This is rarely needed directly, but it is used by new.

getSelectionFilterModelModel :: (MonadIO m, IsSelectionFilterModel o) => o -> m (Maybe SelectionModel) Source #

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

get selectionFilterModel #model

setSelectionFilterModelModel :: (MonadIO m, IsSelectionFilterModel o, IsSelectionModel a) => o -> a -> m () Source #

Set the value of the “model” property. When overloading is enabled, this is equivalent to

set selectionFilterModel [ #model := value ]