blob: b9706596f2b2f0773c378409c733cbd26f36111f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
definition module Gtk.Tune
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 :: !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
|
