GUI.MLens.Gtk.ADTEditor

Documentation

data List a

Type-level lists

Constructors

Nil

Cons a (List a)

data Elems xs where

Heterogeneous lists

Constructors

ElemsNil :: Elems Nil

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

class ADTLens a where

Lens for editable ADTs

Associated Types

type ADTEls a :: List *

Methods

adtLens :: ([(String, [Int])], Elems (ADTEls a), Lens (Int, Elems (ADTEls a)) a)

Instances

ADTLens T

ADTLens instance for T

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

A generic ADT editor