GUI.MLens.Gtk.Interface

Lens-based Gtk interface

Documentation

data I m

Interface description parametrized by a monad

Constructors

Label (Free m String)

label

Button

button

Fields

label_ :: Free m String

action_ :: Free m (Maybe (m ()))

when the Maybe value is Nothing, the button is inactive

Checkbox (Ref m Bool)

checkbox

Combobox [String] (Ref m Int)

combo box

Entry (Ref m String)

entry field

List ListLayout [I m]

group interfaces into row or column

Notebook [(String, I m)]

tabs

forall a . Eq a => Cell

dynamic interface

Fields

remember_content_ :: Bool

remember the content or not? (info for the renderer)

underlying_value_ :: m a

dynamic_interface_ :: a -> I m

Action (m (I m))

do an action before giving the interface

data ListLayout

Constructors

Horizontal

Vertical