GI.Gtk.Declarative.Widget

A Widget value can wrap any Patchable widget, hiding the underlying widget type, such that you can embed heterogeneous collections of widgets in containers.

Documentation

data Widget event where

A Widget value wraps a Patchable and EventSource widget, providing a constrained equivalent of a Dynamic value. It is used to support heterogeneous containers of widgets, and to support equality checks on different types of widgets when calculating patches.

Constructors

Widget :: (Typeable widget, Patchable widget, Functor widget, EventSource widget) => widget event -> Widget event

Instances

Functor Widget

Defined in GI.Gtk.Declarative.Widget

Methods

fmap :: (a -> b) -> Widget a -> Widget b

(<$) :: a -> Widget b -> Widget a

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

EventSource Widget

Defined in GI.Gtk.Declarative.Widget

Methods

subscribe :: Widget event -> SomeState -> (event -> IO ()) -> IO Subscription

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 ()

ToChildren Notebook Vector Widget

Defined in GI.Gtk.Declarative.Container.Notebook

Methods

toChildren :: (ManagedPtr Notebook -> Notebook) -> Vector (Widget event) -> Children Widget event

(Typeable parent, Typeable child, Patchable (parent child), Functor (parent child), EventSource (parent child)) => FromWidget (parent child) Widget

Defined in GI.Gtk.Declarative.Widget

Methods

fromWidget :: parent child event -> Widget event

(Typeable widget, Typeable children, Patchable (Container widget children), EventSource (Container widget children)) => FromWidget (Container widget children) Widget

Defined in GI.Gtk.Declarative.Container

Methods

fromWidget :: Container widget children event -> Widget event

Widget to Markup conversion

class FromWidget widget target where

Convert a widget to a target type. This is deliberately unconstrained in it's types, and is used by smart constructors to implement return type polymorphism, so that a smart contructor can return either a Widget, or some specifically typed widget, depending on the context in which it's used.

Methods

fromWidget :: widget event -> target event

Instances

FromWidget widget Widget => FromWidget widget BoxChild

Any widget that can be converted to a Widget can be wrapped as a BoxChild with the default properties.

Defined in GI.Gtk.Declarative.Widget.Conversions

Methods

fromWidget :: widget event -> BoxChild event

(Typeable parent, Typeable child, Patchable (parent child), Functor (parent child), EventSource (parent child)) => FromWidget (parent child) Widget

Defined in GI.Gtk.Declarative.Widget

Methods

fromWidget :: parent child event -> Widget event

a ~ b => FromWidget (Bin a) (Bin b)

Defined in GI.Gtk.Declarative.Bin

Methods

fromWidget :: Bin a event -> Bin b event

(Typeable widget, Typeable children, Patchable (Container widget children), EventSource (Container widget children)) => FromWidget (Container widget children) Widget

Defined in GI.Gtk.Declarative.Container

Methods

fromWidget :: Container widget children event -> Widget event

a ~ b => FromWidget (Container a children) (Container b children)

Defined in GI.Gtk.Declarative.Container

Methods

fromWidget :: Container a children event -> Container b children event