Safe Haskell | None |
---|---|
Language | Haskell2010 |
A declarative representation of Bin
in GTK.
Synopsis
- data Bin widget event where
- Bin :: (Typeable widget, IsContainer widget, IsBin widget, IsWidget widget) => (ManagedPtr widget -> widget) -> Vector (Attribute widget event) -> Widget event -> Bin widget event
- bin :: (Typeable widget, IsContainer widget, IsBin widget, IsWidget widget, FromWidget (Bin widget) target) => (ManagedPtr widget -> widget) -> Vector (Attribute widget event) -> Widget event -> target event
Documentation
data Bin widget event where Source #
Declarative version of a bin widget, i.e. a widget with exactly one child.
Bin :: (Typeable widget, IsContainer widget, IsBin widget, IsWidget widget) => (ManagedPtr widget -> widget) -> Vector (Attribute widget event) -> Widget event -> Bin widget event |
Instances
ToChildren ListBox Vector (Bin ListBoxRow) Source # | |
Defined in GI.Gtk.Declarative.Container.ListBox toChildren :: (ManagedPtr ListBox -> ListBox) -> Vector (Bin ListBoxRow event) -> Children (Bin ListBoxRow) event Source # | |
IsContainer ListBox (Bin ListBoxRow) Source # | |
Defined in GI.Gtk.Declarative.Container.ListBox appendChild :: ListBox -> Bin ListBoxRow event -> Widget -> IO () Source # replaceChild :: ListBox -> Bin ListBoxRow event -> Int32 -> Widget -> Widget -> IO () Source # | |
Functor (Bin widget) Source # | |
IsBin parent => Patchable (Bin parent) Source # | |
IsBin parent => EventSource (Bin parent) Source # | |
Defined in GI.Gtk.Declarative.Bin | |
a ~ b => FromWidget (Bin a) (Bin b) Source # | |
Defined in GI.Gtk.Declarative.Bin fromWidget :: Bin a event -> Bin b event Source # |
:: (Typeable widget, IsContainer widget, IsBin widget, IsWidget widget, FromWidget (Bin widget) target) | |
=> (ManagedPtr widget -> widget) | A bin widget constructor from the underlying gi-gtk library. |
-> Vector (Attribute widget event) | List of |
-> Widget event | The bin's child widget |
-> target event | The target, whose type is decided by |
Construct a bin widget, i.e. a widget with exactly one child.