Safe Haskell | None |
---|---|
Language | Haskell2010 |
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) -> [Attribute widget event] -> MarkupOf child event () -> target
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 # | |
(Typeable widget, Typeable children, Patchable (Container widget children), EventSource (Container widget children), Functor (Container widget children)) => FromWidget (Container widget children) event (Widget event) Source # | |
Defined in GI.Gtk.Declarative.Container 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 # | |
Defined in GI.Gtk.Declarative.Container fromWidget :: Container widget children event -> Markup event a Source # | |
a ~ () => FromWidget (Container widget children) event (MarkupOf (Container widget children) event a) Source # | |
Defined in GI.Gtk.Declarative.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) | A container widget constructor from the underlying gi-gtk library. |
-> [Attribute widget event] | List of |
-> MarkupOf child event () | The container's |
-> target | The target, whose type is decided by |
Construct a container widget, i.e. a widget with zero or more children.