diff options
| author | Camil Staps | 2019-10-20 16:03:52 +0200 |
|---|---|---|
| committer | Camil Staps | 2019-10-20 16:03:52 +0200 |
| commit | 3670cdea024845e211cbf840cd9aebb20b5e74ae (patch) | |
| tree | 54f535e0873bea5ef4ed3fe11a151bdd0850d5f0 /src/Gtk/Tune.dcl | |
| parent | Add synonym type GtkM a :== State GtkState a (diff) | |
Add tune class for margins
Diffstat (limited to 'src/Gtk/Tune.dcl')
| -rw-r--r-- | src/Gtk/Tune.dcl | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/Gtk/Tune.dcl b/src/Gtk/Tune.dcl new file mode 100644 index 0000000..07d0507 --- /dev/null +++ b/src/Gtk/Tune.dcl @@ -0,0 +1,12 @@ +definition module Gtk.Tune + +from Gtk.State import :: StateT, :: Identity, :: State, :: GtkState, :: GtkM +from Gtk.Types import :: GtkMargins +from Gtk.Widgets import :: GtkWidget, class gtkWidget + +class tune elem option :: !(GtkM elem) !option -> GtkM elem + +(<<@) infixl 2 +(<<@) elem option :== tune elem option + +instance tune w GtkMargins | gtkWidget w |