From 1af27a3bb964caad3a1fd5ec80e94e681ae57e10 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Mon, 28 Oct 2019 09:24:11 +0100 Subject: Add GtkLabel, GtkGrid, and alignment tuning for GtkWidget --- src/Gtk/Tune.icl | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'src/Gtk/Tune.icl') diff --git a/src/Gtk/Tune.icl b/src/Gtk/Tune.icl index d04d691..a275ea2 100644 --- a/src/Gtk/Tune.icl +++ b/src/Gtk/Tune.icl @@ -7,18 +7,6 @@ import Control.Monad import Gtk -instance tune elem (oa,ob) | tune elem oa & tune elem ob -where - tune (a,b) elem = tune a elem >>= tune b - -instance tune elem (oa,ob,oc) | tune elem oa & tune elem ob & tune elem oc -where - tune (a,b,c) elem = tune a elem >>= tune b >>= tune c - -instance tune elem (oa,ob,oc,od) | tune elem oa & tune elem ob & tune elem oc & tune elem od -where - tune (a,b,c,d) elem = tune a elem >>= tune b >>= tune c >>= tune d - (<<@) infixl 2 :: !(GtkM elem) !option -> GtkM elem | tune elem option (<<@) elemf option = elemf >>= tune option -- cgit v1.2.3