Safe Haskell | None |
---|---|
Language | Haskell2010 |
Shared interfaces for containers.
Synopsis
- class IsContainer container child | container -> child where
- appendChild :: container -> child event -> Widget -> IO ()
- replaceChild :: container -> child event -> Int32 -> Widget -> Widget -> IO ()
- newtype Children child event = Children {
- unChildren :: Vector (child event)
- class ToChildren widget parent child | widget -> parent, widget -> child where
- toChildren :: (ManagedPtr widget -> widget) -> parent (child event) -> Children child event
Documentation
class IsContainer container child | container -> child where Source #
Describes supported GTK+ containers and their specialized APIs for appending and replacing child widgets.
:: container | Container widget |
-> child event | Declarative child widget |
-> Widget | GTK child widget to append |
-> IO () |
Append a child widget to the container.
:: container | Container widget |
-> child event | Declarative child widget |
-> Int32 | Index to replace at |
-> Widget | Old GTK widget to replace |
-> Widget | New GTK widget to replace with |
-> IO () |
Replace the child widget at the given index in the container.
Instances
IsContainer Grid GridChild Source # | |
IsContainer MenuBar MenuItem Source # | |
IsContainer Notebook Widget Source # | |
IsContainer Paned Pane Source # | |
IsContainer MenuShell MenuItem Source # | |
IsContainer Menu MenuItem Source # | |
IsContainer Box BoxChild 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 # |
newtype Children child event Source #
Common collection type for child widgets, used when patching containers.
Children | |
|
Instances
Functor child => Functor (Children child) Source # | |
(Patchable child, Typeable child, IsContainer container child) => Patchable (Container container (Children child)) Source # | |
EventSource child => EventSource (Container widget (Children child)) Source # | |
Defined in GI.Gtk.Declarative.Container |
class ToChildren widget parent child | widget -> parent, widget -> child where Source #
Converts a specific collection type to Children
.
Nothing
toChildren :: (ManagedPtr widget -> widget) -> parent (child event) -> Children child event Source #
default toChildren :: parent ~ Vector => (ManagedPtr widget -> widget) -> parent (child event) -> Children child event Source #