lgtk-0.1.0.1: lens-based GUI with Gtk backend

Safe HaskellNone

GUI.MLens.Gtk.ADTEditor

Synopsis

Documentation

data List a Source

Type-level lists

Constructors

Nil 
Cons a (List a) 

data Elems xs whereSource

Heterogeneous lists

Constructors

ElemsNil :: Elems Nil 
ElemsCons :: ADTLens a => a -> Elems as -> Elems (Cons a as) 

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 T

ADTLens instance for T

adtEditor :: (ExtRef m, ADTLens a) => Ref m a -> m (I m)Source

A generic ADT editor