diff options
| author | Camil Staps | 2019-10-21 19:59:10 +0200 |
|---|---|---|
| committer | Camil Staps | 2019-10-21 19:59:10 +0200 |
| commit | d64e5adae5cc2f8223da2da42285e1b9124d6ab2 (patch) | |
| tree | b202d5d0ed3331f118a7b3271c5f4eec6f5eb563 /src/Gtk/Tune.dcl | |
| parent | Resolve TODO: pass floats platform-independently to gtk_frame_set_label_align (diff) | |
Simplify tuning
Diffstat (limited to 'src/Gtk/Tune.dcl')
| -rw-r--r-- | src/Gtk/Tune.dcl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/Gtk/Tune.dcl b/src/Gtk/Tune.dcl index 63ad69d..b970659 100644 --- a/src/Gtk/Tune.dcl +++ b/src/Gtk/Tune.dcl @@ -4,10 +4,13 @@ from Gtk.State import :: StateT, :: Identity, :: State, :: GtkState, :: GtkM from Gtk.Types import :: GtkCSSClass, :: GtkMargins from Gtk.Widgets import :: GtkWidget, class gtkWidget -class tune elem option :: !(GtkM elem) !option -> GtkM elem +class tune elem option :: !option !elem -> GtkM elem -(<<@) infixl 2 -(<<@) elem option :== tune elem option +instance tune elem (oa,ob) | tune elem oa & tune elem ob +instance tune elem (oa,ob,oc) | tune elem oa & tune elem ob & tune elem oc +instance tune elem (oa,ob,oc,od) | tune elem oa & tune elem ob & tune elem oc & tune elem od + +(<<@) infixl 2 :: !(GtkM elem) !option -> GtkM elem | tune elem option instance tune w GtkMargins | gtkWidget w instance tune w GtkCSSClass | gtkWidget w |