src/Gtk/Tune.icl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

implementation module Gtk.Tune

import Control.Applicative
import Control.Monad
import Control.Monad.Identity
import Control.Monad.State

import Gtk

instance tune w GtkMargins | gtkWidget w
where
	tune widgetf margins =
		widgetf >>= \widget ->
		setMargins margins widget >>|
		pure widget