lgtk-0.5: lens-based API for Gtk
LGtk.ADTEditor
Synopsis
data List a Source
Type-level lists
Constructors
data Elems xs whereSource
Heterogeneous lists
class ADTLens a whereSource
Lens for editable ADTs
Associated Types
type ADTEls a :: List *Source
Methods
adtLens :: ([(String, [Int])], Elems (ADTEls a), Lens (Int, Elems (ADTEls a)) a)Source
Instances
ADTLens instance for T
ADTLens
T
adtEditor :: (EffRef m, ADTLens a) => Ref m a -> m (Widget m)Source
A generic ADT editor