definition module Gtk.Signal

from System._Pointer import :: Pointer

from Gtk.State import :: GtkM, :: GtkState
from Gtk.Tune import class tune
from Gtk.Widgets import class gtkWidget

class signalHandler h
where
	signalName :: !h -> String
	signalHandler :: !h -> SignalHandlerInternal

:: SignalHandler = E.h: SignalHandler h & signalHandler h

:: GSignalHandler
	= DestroyHandler  !(GtkM ())
	| ActivateHandler !(GtkM ())

instance signalHandler GSignalHandler

:: SignalHandlerInternal
	= SHI_Void !(GtkM ())
	| SHI_Pointer_Bool !(Pointer -> GtkM Bool)
	| SHI_Int_Int_Pointer_Pointer_Bool !(Int Int Pointer Pointer -> GtkM Bool)

installSignalHandler :: !h !w -> GtkM w | signalHandler h & gtkWidget w

instance tune w SignalHandler | gtkWidget w

saveState :: GtkM ()
retrieveState :: GtkM GtkState
handleSignal :: !Int !{#Int} -> Int