diff options
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 |