GI.Gtk.Declarative.Container

Implementations for common Gtk.Container.

Documentation

data Container widget children event

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)

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

Defined in GI.Gtk.Declarative.Container

Methods

create :: Container container (Children child) e -> IO SomeState

patch :: SomeState -> Container container (Children child) e1 -> Container container (Children child) e2 -> Patch

(Typeable child, EventSource child) => EventSource (Container widget (Children child))

Defined in GI.Gtk.Declarative.Container

Methods

subscribe :: Container widget (Children child) event -> SomeState -> (event -> IO ()) -> IO Subscription

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

Defined in GI.Gtk.Declarative.Container

Methods

fromWidget :: Container widget children event -> Widget event

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

Defined in GI.Gtk.Declarative.Container

Methods

fromWidget :: Container widget children event -> Markup event a

FromWidget (Container widget children) event (Container widget children event)

Defined in GI.Gtk.Declarative.Container

Methods

fromWidget :: Container widget children event -> Container widget children event

a ~ () => FromWidget (Container widget children) event (MarkupOf (Container widget children) event a)

Defined in GI.Gtk.Declarative.Container

Methods

fromWidget :: Container widget children event -> MarkupOf (Container widget children) event a

container

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 Attributes.

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

Instances

Functor child => Functor (Children child)

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

Defined in GI.Gtk.Declarative.Container

Methods

create :: Container container (Children child) e -> IO SomeState

patch :: SomeState -> Container container (Children child) e1 -> Container container (Children child) e2 -> Patch

(Typeable child, EventSource child) => EventSource (Container widget (Children child))

Defined in GI.Gtk.Declarative.Container

Methods

subscribe :: Container widget (Children child) event -> SomeState -> (event -> IO ()) -> IO Subscription