Safe Haskell	None
Language	Haskell2010

GI.Gtk.Declarative.Container

Description

Implementations for common Gtk.Container.

Synopsis

data Container widget children event
container :: (Patchable (Container widget (Children child)), Typeable widget, Typeable child, Typeable event, Functor child, IsWidget widget, IsContainer widget, FromWidget (Container widget (Children child)) event target) => (ManagedPtr widget -> widget) -> Vector (Attribute widget event) -> MarkupOf child event () -> target
data Children child event

Documentation

data Container widget children event Source #

Declarative version of a container widget, i.e. a widget with zero or more child widgets. The type of children is parameterized, and differs across the supported container widgets, as some containers require specific types of child widgets. These type relations are decided by IsContainer, and instances can found in GI.Gtk.Declarative.Container.Patch.

Instances

Functor (Container widget children) Source #
Instance details Defined in GI.Gtk.Declarative.Container Methods fmap :: (a -> b) -> Container widget children a -> Container widget children b # (<$) :: a -> Container widget children b -> Container widget children a #
(Patchable child, Typeable child, IsContainer container child) => Patchable (Container container (Children child)) Source #
Instance details Defined in GI.Gtk.Declarative.Container Methods create :: Container container (Children child) e -> IO SomeState Source # patch :: SomeState -> Container container (Children child) e1 -> Container container (Children child) e2 -> Patch Source #
(Typeable child, EventSource child) => EventSource (Container widget (Children child)) Source #
Instance details Defined in GI.Gtk.Declarative.Container Methods subscribe :: Container widget (Children child) event -> SomeState -> (event -> IO ()) -> IO Subscription Source #
(Typeable widget, Typeable children, Patchable (Container widget children), EventSource (Container widget children), Functor (Container widget children)) => FromWidget (Container widget children) event (Widget event) Source #
Instance details Defined in GI.Gtk.Declarative.Container Methods fromWidget :: Container widget children event -> Widget event Source #
(a ~ (), Typeable widget, Typeable children, Patchable (Container widget children), EventSource (Container widget children), Functor (Container widget children)) => FromWidget (Container widget children) event (Markup event a) Source #
Instance details Defined in GI.Gtk.Declarative.Container Methods fromWidget :: Container widget children event -> Markup event a Source #
FromWidget (Container widget children) event (Container widget children event) Source #
Instance details Defined in GI.Gtk.Declarative.Container Methods fromWidget :: Container widget children event -> Container widget children event Source #
a ~ () => FromWidget (Container widget children) event (MarkupOf (Container widget children) event a) Source #
Instance details Defined in GI.Gtk.Declarative.Container Methods fromWidget :: Container widget children event -> MarkupOf (Container widget children) event a Source #

container Source #

Arguments

:: (Patchable (Container widget (Children child)), Typeable widget, Typeable child, Typeable event, Functor child, IsWidget widget, IsContainer widget, FromWidget (Container widget (Children child)) event target)
=> (ManagedPtr widget -> widget)	A container widget constructor from the underlying gi-gtk library.
-> Vector (Attribute widget event)	List of `Attribute`s.
-> MarkupOf child event ()	The container's `child` widgets, in a `MarkupOf` builder.
-> target	The target, whose type is decided by `FromWidget`.

Construct a container widget, i.e. a widget with zero or more children.

data Children child event Source #

Instances

Functor child => Functor (Children child) Source #
Instance details Defined in GI.Gtk.Declarative.Container Methods fmap :: (a -> b) -> Children child a -> Children child b # (<$) :: a -> Children child b -> Children child a #
(Patchable child, Typeable child, IsContainer container child) => Patchable (Container container (Children child)) Source #
Instance details Defined in GI.Gtk.Declarative.Container Methods create :: Container container (Children child) e -> IO SomeState Source # patch :: SomeState -> Container container (Children child) e1 -> Container container (Children child) e2 -> Patch Source #
(Typeable child, EventSource child) => EventSource (Container widget (Children child)) Source #
Instance details Defined in GI.Gtk.Declarative.Container Methods subscribe :: Container widget (Children child) event -> SomeState -> (event -> IO ()) -> IO Subscription Source #