definition module Gtk.State

from StdMaybe import :: Maybe

from Control.Applicative import class pure
from Control.Monad.State import :: State, :: StateT,
	instance pure (StateT m s)
from Control.Monad.Identity import :: Identity,
	instance pure Identity
from Data.Map import :: Map

from Gtk.Signal import :: GSignalHandlerInternal

:: GtkState =
	{ world           :: !()
	, return          :: !Bool
	, signal_handlers :: !Map Int GSignalHandlerInternal
	, signal_counter  :: !Int
	}

:: GtkM a :== State GtkState a

newGtkState :: GtkState

runGtk :: !(GtkM a) !*World -> (!a, !*World)

toState :: !(A.a: a -> a) -> GtkM ()
toStateR :: !(A.a: a -> (r,a)) -> GtkM r

appWorld :: !(*World -> *World) -> GtkM ()
accWorld :: !(*World -> (r,*World)) -> GtkM r

quit :: GtkM ()