GI.Gtk.Declarative.Patch

The central patching type class of this library.

Documentation

data Patch

A possible action to take on an existing Widget, decided by the patch method when comparing declarative widgets.

Constructors

Modify (IO SomeState)

An IO action to apply to a Widget to make it reflect an updated declarative widget. The action to apply is calculated from the difference between the old and the new declarative widget.

Replace (IO SomeState)

Replace the current Widget by the widget returned by the IO action.

Keep

Do nothing, i.e. keep the Widget as it is.

class Patchable widget where

A patchable widget is one that can create an underlying GTK widget, or calculate a Patch to be applied to an existing GTK widget that was previously created.

Methods

create :: widget e -> IO SomeState

Given a declarative widget that is Patchable, return an IO action that can create a new corresponding Widget. The created widget should be use in corresponding patch modifications, until it is replaced.

patch :: SomeState -> widget e1 -> widget e2 -> Patch

Given two declarative widgets of the same widget type (but not necessarily of the same event types,) calculate a Patch.

Instances

Patchable Widget

Widget is itself patchable, by delegating to the underlying widget instances.

Defined in GI.Gtk.Declarative.Widget

Methods

create :: Widget e -> IO SomeState

patch :: SomeState -> Widget e1 -> Widget e2 -> Patch

Patchable BoxChild

Defined in GI.Gtk.Declarative.Container.Box

Methods

create :: BoxChild e -> IO SomeState

patch :: SomeState -> BoxChild e1 -> BoxChild e2 -> Patch

Patchable Pane

Defined in GI.Gtk.Declarative.Container.Paned

Methods

create :: Pane e -> IO SomeState

patch :: SomeState -> Pane e1 -> Pane e2 -> Patch

Patchable MenuItem

Defined in GI.Gtk.Declarative.Container.MenuItem

Methods

create :: MenuItem e -> IO SomeState

patch :: SomeState -> MenuItem e1 -> MenuItem e2 -> Patch

Patchable (SingleWidget widget)

Defined in GI.Gtk.Declarative.SingleWidget

Methods

create :: SingleWidget widget e -> IO SomeState

patch :: SomeState -> SingleWidget widget e1 -> SingleWidget widget e2 -> Patch

IsBin parent => Patchable (Bin parent)

Defined in GI.Gtk.Declarative.Bin

Methods

create :: Bin parent e -> IO SomeState

patch :: SomeState -> Bin parent e1 -> Bin parent e2 -> Patch

IsWidget widget => Patchable (CustomWidget widget customData)

Defined in GI.Gtk.Declarative.CustomWidget

Methods

create :: CustomWidget widget customData e -> IO SomeState

patch :: SomeState -> CustomWidget widget customData e1 -> CustomWidget widget customData e2 -> Patch

(Patchable child, Typeable child, IsContainer container child) => Patchable (Container container (Children child))

Defined in GI.Gtk.Declarative.Container

Methods

create :: Container container (Children child) e -> IO SomeState

patch :: SomeState -> Container container (Children child) e1 -> Container container (Children child) e2 -> Patch