GI.Gtk.Declarative.Container.Patch

This module implements the patch algorithm for containers.

Documentation

class IsContainer container child | container -> child where

Describes supported GTK+ containers and their specialized APIs for appending and replacing child widgets.

Methods

appendChild

Arguments

:: container

Container widget

-> child event

Declarative child widget

-> Widget

GTK child widget to append

-> IO ()

Append a child widget to the container.

replaceChild

Arguments

:: container

Container widget

-> child event

Declarative child widget

-> Int32

Index to replace at

-> Widget

Old GTK widget to replace

-> Widget

New GTK widget to replace with

-> IO ()

Replace the child widget at the given index in the container.

Instances

IsContainer MenuBar MenuItem

Defined in GI.Gtk.Declarative.Container.MenuItem

Methods

appendChild :: MenuBar -> MenuItem event -> Widget -> IO ()

replaceChild :: MenuBar -> MenuItem event -> Int32 -> Widget -> Widget -> IO ()

IsContainer Notebook Widget

Defined in GI.Gtk.Declarative.Container.Notebook

Methods

appendChild :: Notebook -> Widget event -> Widget0 -> IO ()

replaceChild :: Notebook -> Widget event -> Int32 -> Widget0 -> Widget0 -> IO ()

IsContainer Paned Pane

Defined in GI.Gtk.Declarative.Container.Paned

Methods

appendChild :: Paned -> Pane event -> Widget -> IO ()

replaceChild :: Paned -> Pane event -> Int32 -> Widget -> Widget -> IO ()

IsContainer MenuShell MenuItem

Defined in GI.Gtk.Declarative.Container.MenuItem

Methods

appendChild :: MenuShell -> MenuItem event -> Widget -> IO ()

replaceChild :: MenuShell -> MenuItem event -> Int32 -> Widget -> Widget -> IO ()

IsContainer Menu MenuItem

Defined in GI.Gtk.Declarative.Container.MenuItem

Methods

appendChild :: Menu -> MenuItem event -> Widget -> IO ()

replaceChild :: Menu -> MenuItem event -> Int32 -> Widget -> Widget -> IO ()

IsContainer Box BoxChild

Defined in GI.Gtk.Declarative.Container.Box

Methods

appendChild :: Box -> BoxChild event -> Widget -> IO ()

replaceChild :: Box -> BoxChild event -> Int32 -> Widget -> Widget -> IO ()

IsContainer ListBox (Bin ListBoxRow)

Defined in GI.Gtk.Declarative.Container.ListBox

Methods

appendChild :: ListBox -> Bin ListBoxRow event -> Widget -> IO ()

replaceChild :: ListBox -> Bin ListBoxRow event -> Int32 -> Widget -> Widget -> IO ()

patchInContainer :: (IsWidget container, IsContainer container, Patchable child, IsContainer container child) => StateTree ContainerState container child event cs -> container -> Vector (child e1) -> Vector (child e2) -> IO (StateTree ContainerState container child event cs)

Patch all children in a container. This does not feature any ID checking, as seen in React, so reordering children in a container can produce many updates.