diff options
Diffstat (limited to 'src/Gtk/State.dcl')
| -rw-r--r-- | src/Gtk/State.dcl | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/Gtk/State.dcl b/src/Gtk/State.dcl index d750900..81373e2 100644 --- a/src/Gtk/State.dcl +++ b/src/Gtk/State.dcl @@ -18,11 +18,13 @@ from Gtk.Signal import :: GSignalHandlerInternal , signal_counter :: !Int } +:: GtkM a :== State GtkState a + newGtkState :: GtkState -runGtk :: !(State GtkState a) !*World -> (!a, !*World) +runGtk :: !(GtkM a) !*World -> (!a, !*World) -toState :: !(A.a: a -> a) -> State GtkState () -toStateR :: !(A.a: a -> (r,a)) -> State GtkState r +toState :: !(A.a: a -> a) -> GtkM () +toStateR :: !(A.a: a -> (r,a)) -> GtkM r -quit :: State GtkState () +quit :: GtkM () |