definition module Gtk.Tune

from Gtk.State import :: GtkM
from Gtk.Types import :: GtkCSSClass, :: GtkMargins
from Gtk.Widgets import :: GtkWidget, class gtkWidget

class tune elem option :: !option !elem -> GtkM elem

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